|
Hironaka's Example
In geometry, Hironaka's example is a non-Kähler complex manifold that is a deformation of Kähler manifolds found by . Hironaka's example can be used to show that several other plausible statements holding for smooth varieties of dimension at most 2 fail for smooth varieties of dimension at least 3. Hironaka's example Take two smooth curves ''C'' and ''D'' in a smooth projective 3-fold ''P'', intersecting in two points ''c'' and ''d'' that are nodes for the reducible curve C\cup D. For some applications these should be chosen so that there is a fixed-point-free automorphism exchanging the curves ''C'' and ''D'' and also exchanging the points ''c'' and ''d''. Hironaka's example ''V'' is obtained by gluing two quasi-projective varieties V_1 and V_2. Let V_1 be the variety obtained by blowing up P \setminus c along C and then along the strict transform of D, and let V_2 be the variety obtained by blowing up P\setminus d along ''D'' and then along the strict transform of ''C''. Since ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deformation Theory
In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesimal conditions are the result of applying the approach of differential calculus to solving a problem with constraints. The name is an analogy to non-rigid structures that deform slightly to accommodate external forces. Some characteristic phenomena are: the derivation of first-order equations by treating the ε quantities as having negligible squares; the possibility of ''isolated solutions'', in that varying a solution may not be possible, ''or'' does not bring anything new; and the question of whether the infinitesimal constraints actually 'integrate', so that their solution does provide small variations. In some form these considerations have a history of centuries in mathematics, but also in physics and engineering. For example, in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Manifold
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics. Every smooth complex projective variety is a Kähler manifold. Hodge theory is a central part of algebraic geometry, proved using Kähler metrics. Definitions Since Kähler manifolds are equipped with several compatible structures, they can be described from different points of view: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Algebraic Space
In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology. The resulting category of algebraic spaces extends the category of schemes and allows one to carry out several natural constructions that are used in the construction of moduli spaces but are not always possible in the smaller category of schemes, such as taking the quotient of a free action by a finite group (cf. the Keel–Mori theorem). Definition There are two common ways to define algebraic spaces: they can be defined as either quotients of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moishezon Manifold
In mathematics, a Moishezon manifold is a compact complex manifold such that the field of meromorphic functions on each component has transcendence degree equal the complex dimension of the component: :\dim_\mathbfM=a(M)=\operatorname_\mathbf\mathbf(M). Complex algebraic varieties have this property, but the converse is not true: Hironaka's example gives a smooth 3-dimensional Moishezon manifold that is not an algebraic variety or scheme. showed that a Moishezon manifold is a projective algebraic variety if and only if it admits a Kähler metric. showed that any Moishezon manifold carries an algebraic space In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, w ... structure; more precisely, the category of Moishezon spaces (similar to Moishezon manifolds, but are allowed to have singul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Scheme
In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes. Hilbert scheme of projective space The Hilbert scheme \mathbf(n) of \mathbb^n classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme , the set of -valued points :\operatorname(S, \mathbf(n)) of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of \mathbb^n \times S that are flat over . The closed subschemes of \mathbb^n \times S that are flat over can informally be thought of as the families of subschemes of projective space parameterized by . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
