Kac–Moody $${\widetilde{E}_k}$$-bundles over elliptic curves and del Pezzo surfaces with singularities of type A

Given an elliptic curve Σ, flat E _k -bundles over Σ are in one-to-one correspondence with smooth del Pezzo surfaces of degree 9 − k containing Σ as an anti-canonical curve. This correspondence was generalized to Lie groups of any type. In this article, we show that there is a similar correspondence between del Pezzo surfaces of degree 0 with an A _d -singularity containing Σ as an anti-canonical curve and Kac–Moody [(E)\tilde]_k{\widetilde{E}_{k}}-bundles over Σ with k = 8 − d. In the degenerate case where surfaces are rational elliptic surfaces, the corresponding [(E)\tilde]_k{\widetilde{E}_k}-bundles over Σ can be reduced to E _k -bundles.     

Deformation of a singularity of type E8 and Mordell‐Weil lattices in characteristic 2

In this paper, we study the Mordell‐Weil lattices of the family of elliptic surfaces which is arising from the E₈⁴ singularity, one of the ADE singularities in characteristic 2. And we construct a subfamily of the universal family of supersingular K 3 surfaces in characteristic 2 as an application (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves

We study homological mirror symmetry for Del Pezzo surfaces and their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves on a Del Pezzo surface X _k obtained by blowing up ℂℙ² at k points is equivalent to the derived category of vanishing cycles of a certain elliptic fibration W _k :M _k →ℂ with k+3 singular fibers, equipped with a suitable symplectic form. Moreover, we also show that this mirror correspondence between derived categories can be extended to noncommutative deformations of X _k , and give an explicit correspondence between the deformation parameters for X _k and the cohomology class [B+iω]∈H ²(M _k ,ℂ).     

Cyclic caps in PG(3,q)

This article investigates cyclic completek-caps in PG(3,q). Namely, the different types of completek-capsK in PG(3,q) stabilized by a cyclic projective groupG of orderk, acting regularly on the points ofK, are determined. We show that in PG(3,q),q even, the elliptic quadric is the only cyclic completek-cap. Forq odd, it is shown that besides the elliptic quadric, there also exist cyclick-caps containingk/2 points of two disjoint elliptic quadrics or two disjoint hyperbolic quadrics and that there exist cyclick-caps stabilized by a transitive cyclic groupG fixing precisely one point and one plane of PG(3,q). Concrete examples of such caps, found using AXIOM and CAYLEY, are presented.     

Elliptic semiplanes and group divisible designs with orthogonal resolutions

In this paper we prove that there exists an elliptic semiplaneS(v, k, m) withk –m 2 if and only if there exists a group divisible design GDD _k ((k –m)(k – 1);k –m; 0, 1) withm pairwise orthogonal resolutions. As an example of this theorem, we construct an elliptic semiplaneW(45, 7, 3) and show thatW is isomorphic to the elliptic semiplaneS(45, 7, 3) given by R. D. Baker.     

Kawamata–Viehweg vanishing on rational surfaces in positive characteristic

We prove that the Kawamata–Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W ₂(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata–Viehweg vanishing theorem holds on log del Pezzo surfaces in positive characteristic.     

Existence result for minimal hypersurfaces¶with a prescribed finite number of planar ends

Paralleling what has been done for minimal surfaces in ℝ³, we develop a gluing procedure to produce, for any k≥ 2 and any n≥ 3 complete immersed minimal hypersurfaces of ℝ ^{n +1} which have k planar ends. These surfaces are of the topological type of a sphere with k punctures and they all have finite total curvature. Received: 1 July 1999 / Revised version: 31 May 2000     

The moduli space of complete embedded constant mean curvature surfaces

We examine the space of finite topology surfaces in ³ which are complete, properly embedded and have nonzero constant mean curvature. These surfaces are noncompact provided we exclude the case of the round sphere. We prove that the spaceM _k of all such surfaces withk ends (where surfaces are identified if they differ by an isometry of ³) is locally a real analytic variety. When the linearization of the quasilinear elliptic equation specifying mean curvature equal to one has noL ²-nullspace, we prove thatM _k is locally the quotient of a real analytic manifold of dimension 3k–6 by a finite group (i.e. a real analytic orbifold), fork 3. This finite group is the isotropy subgroup of the surface in the group of Euclidean motions. It is of interest to note that the dimension ofM _k is independent of the genus of the underlying punctured Riemann surface to which is conformally equivalent. These results also apply to hypersurfaces of H ⁿ⁺¹ with nonzero constant mean curvature greater than that of a horosphere and whose ends are cylindrically bounded.Research of the first author supported in part by NSF grant # DMS9404278 and an NSF Postdoctoral Fellowship, of the second auther by NSF Young Investigator Award, a Sloan Foundation Postdoctoral Fellowship and NSF grant # DMS9303236, and of the third author by NSF grant # DMS9022140 and an NSF Postdoctoral Fellowship.     

On a stratification of the moduli of K3 surfaces

In this paper we give a characterization of the height of K3 surfaces in characteristic p>0. This enables us to calculate the cycle classes in families of K3 surfaces of the loci where the height is at least h. The formulas for such loci can be seen as generalizations of the famous formula of Deuring for the number of supersingular elliptic curves in characteristic p. In order to describe the tangent spaces to these loci we study the first cohomology of higher closed forms. Received October 14, 1999 / final version received February 22, 2000?Published online May 22, 2000     

Rational surfaces over perfect fields

Résumé Letk be a perfect field of arbitrary characteristic. The main object of this paper is to establish some new objects associated with algebraic surfaces F defined overk which are invariants for birational transformations defined overk. There are two main applications. The first is that if K is any extension ofk of degree 2, then there are infinitely many birationally inequivalent rational surfaces defined overk which all become birationally equivalent to the plane over K. The second application is to a partial classification of the del Pezzo surfaces for birational equivalence overk. For our purposes a del Pezzo surface defined overk is a nonsingular rational surface with a very ample anticanonical system, so the nonsingular cubic surfaces are a special care. As we use the language of schemes, we have to prove some classical results in the new framework, notably some results of Enriques [7] on the classification of rational surfaces. In the last section we produce evidence for the conjecture that if the fieldk is quasialgebraically closed (in the sense of Lang [11]), then a rational surface defined overk always has a point on it defined overk. We shall now describe the contents of our paper in more detail.      

K3 surfaces, rational curves, and rational points

We prove that for any of a wide class of elliptic surfaces X defined over a number field k, if there is an algebraic point on X that lies on only finitely many rational curves, then there is an algebraic point on X that lies on no rational curves. In particular, our theorem applies to a large class of elliptic K3 surfaces, which relates to a question posed by Bogomolov in 1981.     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

The local ultraconvergence of high‐order finite element method for second‐order elliptic problems with constant coefficients over a rectangular partition

In this article, we will discuss the local ultraconvergence of high‐degree finite element method based on a rectangular partition for the second‐degree elliptic problem with constant coefficients in Ω ? ?² , u( y ) = 0 on ?Ω . Based on suitable regularity, ultraconvergence of the displacement of the extrapolated kth (k ≥ 3) degree finite element solution has been obtained by an extrapolation technique. Finally, numerical experiments are applied to demonstrate our theoretical findings.     

Lokale Untersuchungen an Normalenkongruenzen im dreidimensionalen elliptischen Raum

In this paper we study rectlinear congruence surfaces of rectlinear normal congruences in the three dimensional elliptic space. First we characterize normal congruences by their principal parameters of distribution d₁ and d₂ and establish relations between d₁, d₂ and the principal curvatures k₁ and k₂ of the middle surfaces along the asymptotic lines and the lines of curvature of the middle surfaces. Finally we show that the congruence surfaces with a constant parameter of distribution cross the middle surfaces along curves whose strips are certain CESARO-strips.     

Integral Models of Extremal Rational Elliptic Surfaces

Miranda and Persson classified all extremal rational elliptic surfaces in characteristic zero. We show that each surface in Miranda and Persson's classification has an integral model with good reduction everywhere (except for those of type X ₁₁(j), which is an exceptional case), and that every extremal rational elliptic surface over an algebraically closed field of characteristic p > 0 can be obtained by reducing one of these integral models mod p.     

Zagier's conjecture on L(E,2)

In this paper we introduce an elliptic analog of the Bloch-Suslin complex and prove that it (essentially) computes the weight two parts of the groups K ₂(E) and K ₁(E) for an elliptic curve E over an arbitrary field k. Combining this with the results of Bloch and Beilinson we proved Zagier's conjecture on L(E,2) for modular elliptic curves over ℚ. Oblatum 3-VI-1996 & 16-V-1997     

Ultraconvergence of the derivative of high-order finite element method for elliptic problems with constant coefficients

In this article, for second order elliptic problems with constant coefficients, the local ultraconvergence of the derivative of finite element method using piecewise polynomials of degrees k (k ≥ 2) is studied by the interpolation postprocessing technique. Under suitable regularity and mesh conditions, we prove that at an interior vertex, which is away from the boundary with a fixed distance, the gradient of the postprecessed finite element solution using piecewise polynomials of degrees k (k ≥ 2) converges to the gradient of the exact solution with order . Numerical experiments are used to illustrate our theoretical findings.     

Convexity and Bernstein polynomials onk-simploids

This paper is concerned with Bernstein polynomials onk-simploids by which we mean a cross product ofk lower dimensional simplices. Specifically, we show that if the Bernstein polynomials of a given functionf on ak-simploid form a decreasing sequence thenf +l, wherel is any corresponding tensor product of affine functions, achieves its maximum on the boundary of thek-simploid. This extends recent results in [1] for bivariate Bernstein polynomials on triangles. Unlike the approach used in [1] our approach is based on semigroup techniques and the maximum principle for second order elliptic operators. Furthermore, we derive analogous results for cube spline surfaces.This work was partially supported by NATO Grant No. DJ RG 639/84.     

The Patterson–Sullivan Embedding and Minimal Volume Entropy for Outer Space

Motivated by Bonahon’s result for hyperbolic surfaces, we construct an analogue of the Patterson–Sullivan–Bowen–Margulis map from the Culler–Vogtmann outer space CV (F _k ) into the space of projectivized geodesic currents on a free group. We prove that this map is a continuous embedding and thus obtain a new compactification of the outer space. We also prove that for every k ≥ 2 the minimum of the volume entropy of the universal covers of finite connected volume-one metric graphs with fundamental group of rank k and without degree-one vertices is equal to (3k − 3) log 2 and that this minimum is realized by trivalent graphs with all edges of equal lengths, and only by such graphs. Received: December 2005, Accepted: March 2006     

On the limit cycles available from polynomial perturbations of the Bogdanov-Takens Hamiltonian

The displacement map related to small polynomial perturbations of the planar Hamiltonian systemdH=0 is studied in the elliptic caseH=1/2y ²+1/2x ²−1/3x ³. An estimate of the number of isolated zeros for each of the successive Melnikov functionsM _k(h),k=1, 2,…is given in terms of the orderk and the maximal degreen of the perturbation. This sets up an upper bound to the number of limit cycles emerging from the periodic orbits of the Hamiltonian system under polynomial perturbations. Research partially supported by grant MM810/98 from the NSF of Bulgaria and MURST, Italy.