Hilbert Scheme
   HOME
*





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]  


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mark Haiman
Mark David Haiman is a mathematician at the University of California at Berkeley who proved the Macdonald positivity conjecture for Macdonald polynomials. He received his Ph.D in 1984 in the Massachusetts Institute of Technology under the direction of Gian-Carlo Rota. Previous to his appointment at Berkeley, he held positions at the University of California, San Diego and the Massachusetts Institute of Technology. In 2004 he received the inaugural AMS Moore Prize. In 2012 he became a fellow of the American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ....List of Fellows of the American Mathematical Soci ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Quot Scheme
In algebraic geometry, the Quot scheme is a scheme parametrizing locally free sheaves on a projective scheme. More specifically, if ''X'' is a projective scheme over a Noetherian scheme ''S'' and if ''F'' is a coherent sheaf on ''X'', then there is a scheme \operatorname_F(X) whose set of ''T''-points \operatorname_F(X)(T) = \operatorname_S(T, \operatorname_F(X)) is the set of isomorphism classes of the quotients of F \times_S T that are flat over ''T''. The notion was introduced by Alexander Grothendieck. It is typically used to construct another scheme parametrizing geometric objects that are of interest such as a Hilbert scheme. (In fact, taking ''F'' to be the structure sheaf \mathcal_X gives a Hilbert scheme.) Definition For a scheme of finite type X \to S over a Noetherian base scheme S, and a coherent sheaf \mathcal \in \text(X), there is a functor\mathcal_: (Sch/S)^ \to \textsending T \to S to\mathcal_(T) = \left\/ \simwhere X_T = X\times_ST and \mathcal_T = pr_X^*\math ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Kummer Surface
In algebraic geometry, a Kummer quartic surface, first studied by , is an irreducible nodal surface of degree 4 in \mathbb^3 with the maximal possible number of 16 double points. Any such surface is the Kummer variety of the Jacobian variety of a smooth hyperelliptic curve of genus 2; i.e. a quotient of the Jacobian by the Kummer involution ''x'' ↦ −''x''. The Kummer involution has 16 fixed points: the 16 2-torsion point of the Jacobian, and they are the 16 singular points of the quartic surface. Resolving the 16 double points of the quotient of a (possibly nonalgebraic) torus by the Kummer involution gives a K3 surface with 16 disjoint rational curves; these K3 surfaces are also sometimes called Kummer surfaces. Other surfaces closely related to Kummer surfaces include Weddle surfaces, wave surfaces, and tetrahedroids. Geometry of the Kummer surface Singular quartic surfaces and the double plane model Let K\subset\mathbb^3 be a quartic surface with an ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hyperkähler Manifold
In differential geometry, a hyperkähler manifold is a Riemannian manifold (M, g) endowed with three integrable almost complex structures I, J, K that are Kähler with respect to the Riemannian metric g and satisfy the quaternionic relations I^2=J^2=K^2=IJK=-1. In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds. Hyperkähler manifolds were defined by Eugenio Calabi in 1979. Equivalent definition in terms of holonomy Equivalently, a hyperkähler manifold is a Riemannian manifold (M, g) of dimension 4n whose holonomy group is contained in the compact symplectic group . Indeed, if (M, g, I, J, K) is a hyperkähler manifold, then the tangent space is a quaternionic vector space for each point of , i.e. it is isomorphic to \mathbb^n for some integer n, where \mathbb is the algebra of quaternions. The compact symplectic group can be considered as the group of orthogonal transformations of \mathbb^n whic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Calabi Conjecture
In the mathematical field of differential geometry, the Calabi conjecture was a conjecture about the existence of certain kinds of Riemannian metrics on certain complex manifolds, made by . It was proved by , who received the Fields Medal and Oswald Veblen Prize in part for his proof. His work, principally an analysis of an elliptic partial differential equation known as the complex Monge–Ampère equation, was an influential early result in the field of geometric analysis. More precisely, Calabi's conjecture asserts the resolution of the prescribed Ricci curvature problem within the setting of Kähler metrics on closed complex manifolds. According to Chern–Weil theory, the Ricci form of any such metric is a closed differential 2-form which represents the first Chern class. Calabi conjectured that for any such differential form , there is exactly one Kähler metric in each Kähler class whose Ricci form is . (Some compact complex manifolds admit no Kähler classes, in which ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Hyperkähler Manifold
In differential geometry, a hyperkähler manifold is a Riemannian manifold (M, g) endowed with three integrable almost complex structures I, J, K that are Kähler with respect to the Riemannian metric g and satisfy the quaternionic relations I^2=J^2=K^2=IJK=-1. In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds. Hyperkähler manifolds were defined by Eugenio Calabi in 1979. Equivalent definition in terms of holonomy Equivalently, a hyperkähler manifold is a Riemannian manifold (M, g) of dimension 4n whose holonomy group is contained in the compact symplectic group . Indeed, if (M, g, I, J, K) is a hyperkähler manifold, then the tangent space is a quaternionic vector space for each point of , i.e. it is isomorphic to \mathbb^n for some integer n, where \mathbb is the algebra of quaternions. The compact symplectic group can be considered as the group of orthogonal transformations of \mathbb^n whic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hartogs' Principle
In the theory of functions of several complex variables, Hartogs's extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the singularities of such functions cannot be compact, therefore the singular set of a function of several complex variables must (loosely speaking) 'go off to infinity' in some direction. More precisely, it shows that an isolated singularity is always a removable singularity for any analytic function of complex variables. A first version of this theorem was proved by Friedrich Hartogs,See the original paper of and its description in various historical surveys by , and . In particular, in this last reference on p. 132, the Author explicitly writes :-"''As it is pointed out in the title of , and as the reader shall soon see, the key tool in the proof is the Cauchy integral formula''". and as such it is known also as Hartogs's lemma and Hartogs's principle: in earlier S ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Arnaud Beauville
Arnaud Beauville (born 10 May 1947) is a French mathematician, whose research interest is algebraic geometry. Beauville earned his doctorate from Paris Diderot University in 1977, with a thesis regarding Prym varieties and the Schottky problem, under supervision of Jean-Louis Verdier. He has been a professor at the Université Paris-Sud, then Director of the Mathematics Department at the École Normale Supérieure. He is currently Professor emeritus at the Université de Nice Sophia-Antipolis. Beauville was a visiting scholar at the Institute for Advanced Study in the summer of 1982. He was an invited speaker at the International Congress of Mathematicians in 1986 at Berkeley. He was a member of Bourbaki. He has had 25 Ph.D. students, among them Claire Voisin, Olivier Debarre, Yves Laszlo. In 2012 he became a fellow of the American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Akira Fujiki
Akira may refer to: Arts and entertainment *Akira (franchise), ''Akira'' (franchise), a Japanese cyberpunk franchise **Akira (manga), ''Akira'' (manga), a 1980s cyberpunk manga by Katsuhiro Otomo **Akira (1988 film), ''Akira'' (1988 film), an anime film adaptation of the manga **Akira (video game), ''Akira'' (video game), a 1988 video game based on the anime film **''Akira Psycho Ball'', a 2002 pinball simulator for PlayStation 2 based on the anime film **Akira (planned film), ''Akira'' (planned film), a planned live-action film adaptation of the manga *Akira (2016 Hindi film), ''Akira'' (2016 Hindi film), a Bollywood film starring Konkana Sen Sharma, Sonakshi Sinha and Anurag Kashyap *Akira (2016 Kannada film), ''Akira'' (2016 Kannada film), a Kannada film starring Anish Tejeshwar *Akira (album), ''Akira'' (album), a 2017 album by Black Cab *"Akira", a song by Kaddisfly from ''Buy Our Intention; We'll Buy You a Unicorn'' Characters *Akira Yuki, a major character of the ''Virtua F ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Symplectic Geometry
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed differential form, closed, nondegenerate form, nondegenerate differential form, 2-form. Symplectic geometry has its origins in the Hamiltonian mechanics, Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold. The term "symplectic", introduced by Weyl, is a calque of "complex"; previously, the "symplectic group" had been called the "line complex group". "Complex" comes from the Latin ''com-plexus'', meaning "braided together" (co- + plexus), while symplectic comes from the corresponding Greek ''sym-plektikos'' (συμπλεκτικός); in both cases the stem comes from the Indo-European root wiktionary:Reconstruction:Proto-Indo-European/pleḱ-, *pleḱ- The name reflects the deep connections between complex and sym ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]