Kodaira Surface
In mathematics, a Kodaira surface is a compact space, compact algebraic surface, complex surface of Kodaira dimension 0 and odd first Betti number. The concept is named after Kunihiko Kodaira. These are never algebraic, though they have non-constant meromorphic functions. They are usually divided into two subtypes: primary Kodaira surfaces with trivial canonical bundle, and secondary Kodaira surfaces which are quotients of these by finite groups of orders 2, 3, 4, or 6, and which have non-trivial canonical bundles. The secondary Kodaira surfaces have the same relation to primary ones that Enriques surfaces have to K3 surfaces, or bielliptic surfaces have to abelian surfaces. Invariants: If the surface is the quotient of a primary Kodaira surface by a group of order ''k'' = 1,2,3,4,6, then the plurigenera ''P''''n'' are 1 if ''n'' is divisible by ''k'' and 0 otherwise. Hodge diamond: Examples: Take a non-trivial line bundle over an elliptic curve, remove the zero sect ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Surface
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two). Many results were obtained, however, in the Italian school of algebraic geometry, and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one varieties are classified by only the topological genus, but dimension two, the difference between the arithmetic genus p_a and the geometric genus p_g turns to be important because we cannot distinguish birationally only the topological genus. Then we introduce the irregularity for the classification of them. A summary of the results (in det ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kodaira Dimension
In algebraic geometry, the Kodaira dimension ''κ''(''X'') measures the size of the canonical ring, canonical model of a projective variety ''X''. Igor Shafarevich, in a seminar introduced an important numerical invariant of surfaces with the notation ''κ''. Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The plurigenera The canonical bundle of a smooth scheme, smooth algebraic variety ''X'' of dimension ''n'' over a field is the line bundle of ''n''-forms, :\,\!K_X = \bigwedge^n\Omega^1_X, which is the ''n''th exterior power of the cotangent bundle of ''X''. For an integer ''d'', the ''d''th tensor power of ''K''''X'' is again a line bundle. For ''d'' ≥ 0, the vector space of global sections ''H''0(''X'',''K''''X''''d'') has the remarkable property that it is a birational invariant of smooth projective varieties ''X''. That is, this vector spa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Betti Number
In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicial complexes or CW complexes), the sequence of Betti numbers is 0 from some point onward (Betti numbers vanish above the dimension of a space), and they are all finite. The ''n''th Betti number represents the rank of the ''n''th homology group, denoted ''H''''n'', which tells us the maximum number of cuts that can be made before separating a surface into two pieces or 0-cycles, 1-cycles, etc. For example, if H_n(X) \cong 0 then b_n(X) = 0, if H_n(X) \cong \mathbb then b_n(X) = 1, if H_n(X) \cong \mathbb \oplus \mathbb then b_n(X) = 2, if H_n(X) \cong \mathbb \oplus \mathbb\oplus \mathbb then b_n(X) = 3, etc. Note that only the ranks of infinite groups are considered, so for example if H_n(X) \cong \mathbb^k \oplus \mathbb/(2) , where \mat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kunihiko Kodaira
was a Japanese mathematician known for distinguished work in algebraic geometry and the theory of complex manifolds, and as the founder of the Japanese school of algebraic geometers. He was awarded a Fields Medal in 1954, being the first Japanese national to receive this honour. Early years Kodaira was born in Tokyo. He graduated from the University of Tokyo in 1938 with a degree in mathematics and also graduated from the physics department at the University of Tokyo in 1941. During the war years he worked in isolation, but was able to master Hodge theory as it then stood. He obtained his PhD from the University of Tokyo in 1949, with a thesis entitled ''Harmonic fields in Riemannian manifolds''. He was involved in cryptographic work from about 1944, while holding an academic post in Tokyo. Institute for Advanced Study and Princeton University In 1949 he travelled to the Institute for Advanced Study in Princeton, New Jersey at the invitation of Hermann Weyl. He was subseque ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Enriques Surface
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 therefore Kähler over the complex numbers) 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 as an answer to a question discussed by about whether a surface with ''q'' = ''p''''g'' = 0 is necessarily rational, though some of the Reye congruences introduced earlier by are also examples of Enriques surfaces. Enriques surfaces can also be defined over other fields. Over fields of characteristic other than 2, showed that the theory is similar to that over the complex numbers. Over fields of characteristic 2 the definition is modified, and there are two new ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
K3 Surface
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 :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic varieti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bielliptic Surface
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: 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). There are seven families of hyperelliptic surfaces as in the following table. 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 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abelian Surface
In mathematics, an abelian surface is a 2-dimensional abelian variety. One-dimensional complex tori are just elliptic curves and are all algebraic, but Riemann discovered that most complex tori of dimension 2 are not algebraic via the Riemann bilinear relations. Essentially, these are conditions on the parameter space of period matrices for complex tori which define an algebraic subvariety. This subvariety contains all of the points whose period matrices correspond to a period matrix of an abelian variety. The algebraic ones are called abelian surfaces and are exactly the 2-dimensional abelian varieties. Most of their theory is a special case of the theory of higher-dimensional tori or abelian varieties. Finding criteria for a complex torus of dimension 2 to be a product of two elliptic curves (up to isogeny) was a popular subject of study in the nineteenth century. Invariants: The plurigenera are all 1. The surface is diffeomorphic to ''S''1×''S''1×''S''1×''S''1 so the funda ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
American Journal Of Mathematics
The ''American Journal of Mathematics'' is a bimonthly mathematics journal published by the Johns Hopkins University Press. History The ''American Journal of Mathematics'' is the oldest continuously published mathematical journal in the United States, established in 1878 at the Johns Hopkins University by James Joseph Sylvester, an English-born mathematician who also served as the journal's editor-in-chief from its inception through early 1884. Initially W. E. Story was associate editor in charge; he was replaced by Thomas Craig in 1880. For volume 7 Simon Newcomb became chief editor with Craig managing until 1894. Then with volume 16 it was "Edited by Thomas Craig with the Co-operation of Simon Newcomb" until 1898. Other notable mathematicians who have served as editors or editorial associates of the journal include Frank Morley, Oscar Zariski, Lars Ahlfors, Hermann Weyl, Wei-Liang Chow, S. S. Chern, André Weil, Harish-Chandra, Jean Dieudonné, Henri Cartan, Stephen S ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |