|
Hopf Surface
In complex geometry, a Hopf surface is a compact complex surface obtained as a quotient of the complex vector space (with zero deleted) \Complex^2\setminus \ by a free action of a discrete group. If this group is the integers the Hopf surface is called primary, otherwise it is called secondary. (Some authors use the term "Hopf surface" to mean "primary Hopf surface".) The first example was found by , with the discrete group isomorphic to the integers, with a generator acting on \Complex^2 by multiplication by 2; this was the first example of a compact complex surface with no Kähler metric. Higher-dimensional analogues of Hopf surfaces are called Hopf manifolds. Invariants Hopf surfaces are surfaces of class VII and in particular all have Kodaira dimension -\infty, and all their plurigenera vanish. The geometric genus is 0. The fundamental group has a normal central infinite cyclic subgroup of finite index. The Hodge diamond is In particular the first Betti number is 1 and the s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Geometry
In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis. Complex geometry sits at the intersection of algebraic geometry, differential geometry, and complex analysis, and uses tools from all three areas. Because of the blend of techniques and ideas from various areas, problems in complex geometry are often more tractable or concrete than in general. For example, the classification of complex manifolds and complex algebraic varieties through the minimal model program and the construction of moduli spaces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space. Vector spaces generalize Euclidean vectors, which allow modeling of physical quantities, such as forces and velocity, that have not only a magnitude, but also a direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix, which allows computing in vector spaces. This provides a concise and synthetic way for manipulating and studying systems of linear eq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Metric
Kähler may refer to: ;People * Alexander Kähler (born 1960), German television journalist * Birgit Kähler (born 1970), German high jumper *Erich Kähler (1906–2000), German mathematician *Heinz Kähler (1905–1974), German art historian and archaeologist *Luise Kähler (1869–1955), German trade union leader and politician *Martin Kähler (1835–1912), German theologian *Otto Kähler (1894–1967), German admiral *Wilhelmine Kähler (1864–1941), German politician ;Other * Kähler Keramik, a Danish ceramics manufacturer *Kähler manifold, an important geometric complex manifold See also *Kahler (other) Kahler may refer to: Places *Kahler, Luxembourg, a small town in the commune of Garnich *Kahler Asten, a German mountain range Other uses *Kahler (surname) *Kahler's disease, a cancer otherwise known as ''multiple myeloma'' *Kahler Tremolo System, ... {{disambiguation, surname Occupational surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Manifold
In complex geometry, a Hopf manifold is obtained as a quotient of the complex vector space (with zero deleted) (^n\backslash 0) by a free action of the group \Gamma \cong of integers, with the generator \gamma of \Gamma acting by holomorphic contractions. Here, a ''holomorphic contraction'' is a map \gamma:\; ^n \to ^n such that a sufficiently big iteration \;\gamma^N maps any given compact subset of ^n onto an arbitrarily small neighbourhood of 0. Two-dimensional Hopf manifolds are called Hopf surfaces. Examples In a typical situation, \Gamma is generated by a linear contraction, usually a diagonal matrix q\cdot Id, with q\in a complex number, 0<, q, <1. Such manifold is called ''a classical Hopf manifold''. Properties A Hopf manifold isdiffeomorphic
In mathem ...
[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surfaces Of Class VII
In mathematics, surfaces of class VII are non-algebraic complex surfaces studied by that have Kodaira dimension −∞ and first Betti number 1. Minimal surfaces of class VII (those with no rational curves with self-intersection −1) are called surfaces of class VII0. Every class VII surface is birational to a unique minimal class VII surface, and can be obtained from this minimal surface by blowing up points a finite number of times. The name "class VII" comes from , which divided minimal surfaces into 7 classes numbered I0 to VII0. However Kodaira's class VII0 did not have the condition that the Kodaira dimension is −∞, but instead had the condition that the geometric genus is 0. As a result, his class VII0 also included some other surfaces, such as secondary Kodaira surfaces, that are no longer considered to be class VII as they do not have Kodaira dimension −∞. The minimal surfaces of class VII are the class numbered "7" on the list of surfaces ... [...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] |
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface), and some point in it, and all the loops both starting and ending at this point— paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homological Mirror Symmetry
Homological mirror symmetry is a mathematical conjecture made by Maxim Kontsevich. It seeks a systematic mathematical explanation for a phenomenon called mirror symmetry first observed by physicists studying string theory. History In an address to the 1994 International Congress of Mathematicians in Zürich, speculated that mirror symmetry for a pair of Calabi–Yau manifolds ''X'' and ''Y'' could be explained as an equivalence of a triangulated category constructed from the algebraic geometry of ''X'' (the derived category of coherent sheaves on ''X'') and another triangulated category constructed from the symplectic geometry of ''Y'' (the derived Fukaya category). Edward Witten originally described the topological twisting of the N=(2,2) supersymmetric field theory into what he called the A and B model topological string theories. These models concern maps from Riemann surfaces into a fixed target—usually a Calabi–Yau manifold. Most of the mathematical predictions of mi ... [...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] |
Enriques–Kodaira Classification
In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be 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. Max Noether began the systematic study of algebraic surfaces, and Guido Castelnuovo proved important parts of the classification. described the classification of complex projective surfaces. later extended the classification to include non-algebraic compact surfaces. The analogous classification of surfaces in positive characteristic was begun by and completed by ; it is similar to the characteristic 0 projective case, except that one also gets singular and supersingular Enriques surfaces in characteristic 2, and quasi-hyperelliptic surfaces in characteristics 2 and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Picard Group
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds. Alternatively, the Picard group can be defined as the sheaf cohomology group :H^1 (X, \mathcal_X^).\, For integral schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group. The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces. Examples * The Picard group of the spectrum of a Dedekind domain is its '' ideal class group''. * The invertible sheaves on projective space P''n''(''k'') for ''k'' a field, are the twisting shea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
