Hyperelliptic surface

Last updated April 09, 2024

In mathematics, a hyperelliptic surface, or bi-elliptic surface, is a surface whose Albanese morphism is an elliptic fibration. Any such surface can be written as the quotient of a product of two elliptic curves by a finite abelian group. Hyperelliptic surfaces form one of the classes of surfaces of Kodaira dimension 0 in the Enriques–Kodaira classification.

Invariants

The Kodaira dimension is 0.

Hodge diamond:

		1
	1		1
0		2		0
	1		1
		1

Classification

Any hyperelliptic surface is a quotient (E×F)/G, where E = C/Λ and F are elliptic curves, and G is a subgroup of F (acting on F by translations), which acts on E not only by translations. There are seven families of hyperelliptic surfaces as in the following table.

order of K	Λ	G	Action of G on E
2	Any	Z/2Z	e → −e
2	Any	Z/2Z ⊕ Z/2Z	e → −e, e → e+c, −c=c
3	Z ⊕ Zω	Z/3Z	e → ωe
3	Z ⊕ Zω	Z/3Z ⊕ Z/3Z	e → ωe, e → e+c, ωc=c
4	Z ⊕ Zi;	Z/4Z	e → ie
4	Z ⊕ Zi	Z/4Z ⊕ Z/2Z	e → ie, e → e+c, ic=c
6	Z ⊕ Zω	Z/6Z	e → −ωe

Here ω is a primitive cube root of 1 and i is a primitive 4th root of 1.

Quasi hyperelliptic surfaces

A quasi-hyperelliptic surface is a surface whose canonical divisor is numerically equivalent to zero, the Albanese mapping maps to an elliptic curve, and all its fibers are rational with a cusp. They only exist in characteristics 2 or 3. Their second Betti number is 2, the second Chern number vanishes, and the holomorphic Euler characteristic vanishes. They were classified by ( Bombieri & Mumford 1976 ), who found six cases in characteristic 3 (in which case 6K= 0) and eight in characteristic 2 (in which case 6K or 4K vanishes). Any quasi-hyperelliptic surface is a quotient (E×F)/G, where E is a rational curve with one cusp, F is an elliptic curve, and G is a finite subgroup scheme of F (acting on F by translations).

Related Research Articles

In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold.

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau who proved the Calabi conjecture.

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory.

In relation to the history of mathematics, the Italian school of algebraic geometry refers to mathematicians and their work in birational geometry, particularly on algebraic surfaces, centered around Rome roughly from 1885 to 1935. There were 30 to 40 leading mathematicians who made major contributions, about half of those being Italian. The leadership fell to the group in Rome of Guido Castelnuovo, Federigo Enriques and Francesco Severi, who were involved in some of the deepest discoveries, as well as setting the style.

David Bryant Mumford is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.

In mathematics, the Jacobian varietyJ(C) of a non-singular algebraic curve C of genus g is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of C, hence an abelian variety.

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with а trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

In mathematics, the canonical bundle of a non-singular algebraic variety $of dimension over a field is the line bundle, which is the n th exterior power of the cotangent bundle on .$

Abramo Giulio Umberto Federigo Enriques was an Italian mathematician, now known principally as the first to give a classification of algebraic surfaces in birational geometry, and other contributions in algebraic geometry.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2. Because of Chow's theorem any compact complex manifold of dimension 2 and with Kodaira dimension 2 will actually be an algebraic surface, and in some sense most surfaces are in this class.

In algebraic geometry, a moduli space of (algebraic) curves is a geometric space whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.

In mathematics, the Enriques–Kodaira classification groups compact complex surfaces into ten classes, each parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

In mathematics, an elliptic surface is a surface that has an elliptic fibration, in other words a proper morphism with connected fibers to an algebraic curve such that almost all fibers are smooth curves of genus 1. This is equivalent to the generic fiber being a smooth curve of genus one. This follows from proper base change.

In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity q = 0 and the canonical line bundle K is non-trivial but has trivial square. Enriques surfaces are all projective and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces. Enriques surfaces were first studied in detail by Enriques as an answer to a question discussed by Castelnuovo (1895) about whether a surface with q = p_g = 0 is necessarily rational, though some of the Reye congruences introduced earlier by Reye are also examples of Enriques surfaces.

In mathematics, a Raynaud surface is a particular kind of algebraic surface that was introduced in William E. Lang and named for Michel Raynaud. To be precise, a Raynaud surface is a quasi-elliptic surface over an algebraic curve of genus g greater than 1, such that all fibers are irreducible and the fibration has a section. The Kodaira vanishing theorem fails for such surfaces; in other words the Kodaira theorem, valid in algebraic geometry over the complex numbers, has such surfaces as counterexamples, and these can only exist in characteristic p.

In mathematics, the irregularity of a complex surface X is the Hodge number $, usually denoted by q. The irregularity of an algebraic surface is sometimes defined to be this Hodge number, and sometimes defined to be the dimension of the Picard variety, which is the same in characteristic 0 but can be smaller in positive characteristic.$

This is a glossary of algebraic geometry.

References

Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlin, ISBN 978-3-540-00832-3, MR 2030225 - the standard reference book for compact complex surfaces
Beauville, Arnaud (1996), Complex algebraic surfaces, London Mathematical Society Student Texts, vol. 34 (2nd ed.), Cambridge University Press, ISBN 978-0-521-49510-3, MR 1406314, ISBN 978-0-521-49842-5
Bombieri, Enrico; Mumford, David (1976), "Enriques' classification of surfaces in char. p. III." (PDF), Inventiones Mathematicae , 35: 197–232, doi:10.1007/BF01390138, ISSN 0020-9910, MR 0491720
Bombieri, Enrico; Mumford, David (1977), "Enriques' classification of surfaces in char. p. II", Complex analysis and algebraic geometry, Tokyo: Iwanami Shoten, pp. 23–42, MR 0491719

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.