Flat Degeneration
   HOME





Flat Degeneration
In algebraic geometry, a degeneration (or specialization) is the act of taking a limit of a family of varieties. Precisely, given a morphism :\pi: \mathcal \to C, of a variety (or a scheme) to a curve ''C'' with origin 0 (e.g., affine or projective line), the fibers :\pi^(t) form a family of varieties over ''C''. Then the fiber \pi^(0) may be thought of as the limit of \pi^(t) as t \to 0. One then says the family \pi^(t), t \ne 0 ''degenerates'' to the ''special'' fiber \pi^(0). The limiting process behaves nicely when \pi is a flat morphism and, in that case, the degeneration is called a flat degeneration. Many authors assume degenerations to be flat. When the family \pi^(t) is trivial away from a special fiber; i.e., \pi^(t) is independent of t \ne 0 up to (coherent) isomorphisms, \pi^(t), t \ne 0 is called a general fiber. Degenerations of curves In the study of moduli of curves, the important point is to understand the boundaries of the moduli, which amounts to understand deg ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Flat Morphism
In mathematics, in particular in algebraic geometry, a flat morphism ''f'' from a scheme (mathematics), scheme ''X'' to a scheme ''Y'' is a morphism such that the induced map on every Stalk (sheaf), stalk is a flat map of rings, i.e., :f_P\colon \mathcal_ \to \mathcal_ is a flat map for all ''P'' in ''X''. A map of rings A\to B is called flat if it is a homomorphism that makes ''B'' a flat module, flat ''A''-module. A morphism of schemes is called faithfully flat if it is both surjective and flat. Two basic intuitions regarding flat morphisms are: *flatness is a generic property; and *the failure of flatness occurs on the jumping set of the morphism. The first of these comes from commutative algebra: subject to some finiteness condition on a morphism of schemes, finiteness conditions on ''f'', it can be shown that there is a non-empty open subscheme Y' of ''Y'', such that ''f'' restricted to Y' is a flat morphism (generic flatness). Here 'restriction' is interpreted by means of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Moduli Of Curves
In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) 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. The most basic problem is that of moduli of smooth complete curves of a fixed genus. Over the field of complex numbers these correspond precisely to compact Riemann surfaces of the given genus, for which Bernhard Riemann proved the first results about moduli spaces, in particular their dimensions ("number of parameters on which the complex structure depends"). Moduli stacks of stable curves The moduli stack \mathcal_ classifies families of smooth projective curves, together with their isomorphisms. When ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Normal Scheme
In algebraic geometry, an algebraic variety or scheme ''X'' is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety ''X'' (understood to be irreducible) is normal if and only if the ring ''O''(''X'') of regular functions on ''X'' is an integrally closed domain. A variety ''X'' over a field is normal if and only if every finite birational morphism from any variety ''Y'' to ''X'' is an isomorphism. Normal varieties were introduced by . Geometric and algebraic interpretations of normality A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve ''X'' in the affine plane ''A''2 defined by ''x''2 = ''y''3 is not normal, because there is a finite birational morphism ''A''1 → ''X'' (namely, ''t'' maps to (''t''3, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Projective Scheme
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying that ther ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ring Of Dual Numbers
In algebra, the dual numbers are a hypercomplex number system first introduced in the 19th century. They are expressions of the form , where and are real numbers, and is a symbol taken to satisfy \varepsilon^2 = 0 with \varepsilon\neq 0. Dual numbers can be added component-wise, and multiplied by the formula : (a+b\varepsilon)(c+d\varepsilon) = ac + (ad+bc)\varepsilon, which follows from the property and the fact that multiplication is a bilinear operation. The dual numbers form a commutative algebra of dimension two over the reals, and also an Artinian local ring. They are one of the simplest examples of a ring that has nonzero nilpotent elements. History Dual numbers were introduced in 1873 by William Clifford, and were used at the beginning of the twentieth century by the German mathematician Eduard Study, who used them to represent the dual angle which measures the relative position of two skew lines in space. Study defined a dual angle as , where is the angle b ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Deformation (algebraic Geometry)
Deformation can refer to: * Deformation (engineering), changes in an object's shape or form due to the application of a force or forces. ** Deformation (physics), such changes considered and analyzed as displacements of continuum bodies. * Deformation (meteorology), a measure of the rate at which the shapes of clouds and other fluid bodies change. * Deformation (mathematics), the study of conditions leading to slightly different solutions of mathematical equations, models and problems. * Deformation (volcanology), a measure of the rate at which the shapes of volcanoes change. * Deformation (biology), a harmful mutation or other deformation in an organism. See also * Deformity (medicine), a major difference in the shape of a body part or organ compared to its common or average shape. * Plasticity (physics) In physics and materials science, plasticity (also known as plastic deformation) is the ability of a solid material to undergo permanent Deformation (engineering), defo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Flat Module
In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion-free modules. Formally, a module (mathematics), module ''M'' over a ring (mathematics), ring ''R'' is ''flat'' if taking the tensor product of modules, tensor product over ''R'' with ''M'' preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact. Flatness was introduced by in his paper ''Géometrie Algébrique et Géométrie Analytique''. Definition A left module over a ring is ''flat'' if the following condition is satisfied: for every injective module homomorphism, linear map \varphi: K \to L of right -modules, the map : \varphi \otimes_R M: K \otimes_R M \to L \otimes_R M is also injective, where \varphi \otimes_R M is the map induced by k \otimes m \mapsto \varphi(k) \otimes m. For this definition, it is enough to restrict the injections \varphi to ...
[...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 the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Differential Graded Lie Algebra
In mathematics, in particular abstract algebra and topology, a differential graded Lie algebra (or dg Lie algebra, or dgla) is a graded vector space with added Lie algebra and chain complex structures that are compatible. Such objects have applications in deformation theory and rational homotopy theory. Definition A differential graded Lie algebra is a graded vector space L = \bigoplus L_i over a field (mathematics), field of characteristic (algebra), characteristic zero together with a bilinear map [\cdot,\cdot]\colon L_i \otimes L_j \to L_ and a differential d: L_i \to L_ satisfying :[x,y] = (-1)^[y,x], the graded Jacobi identity: :(-1)^[x,[y,z +(-1)^[y,[z,x +(-1)^[z,[x,y = 0, and the graded product rule, Leibniz rule: :d [x,y] = [d x,y] + (-1)^[x, d y] for any homogeneous elements ''x'', ''y'' and ''z'' in ''L''. Notice here that the differential lowers the degree and so this differential graded Lie algebra is considered to be homology (mathematics), homologically grade ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Kodaira–Spencer Map
In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a Map (mathematics), map associated to a Deformation theory, deformation of a Scheme (mathematics), scheme or complex manifold ''X'', taking a tangent space of a point of the deformation space to the first cohomology group of the sheaf (mathematics), sheaf of vector fields on ''X''. Definition Historical motivation The Kodaira–Spencer map was originally constructed in the setting of complex manifolds. Given a complex analytic manifold M with charts U_i and biholomorphic maps f_ sending z_k \to z_j = (z_j^1,\ldots, z_j^n) gluing the charts together, the idea of deformation theory is to replace these transition maps f_(z_k) by parametrized transition maps f_(z_k, t_1,\ldots, t_k) over some base B (which could be a real manifold) with coordinates t_1,\ldots, t_k, such that f_(z_k, 0,\ldots, 0) = f_(z_k). This means the parameters t_i deform the complex structure of the origina ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Frobenius Splitting
In mathematics, a Frobenius splitting, introduced by , is a splitting of the injective morphism O''X''→F*O''X'' from a structure sheaf O''X'' of a characteristic ''p'' > 0 variety ''X'' to its image F*O''X'' under the Frobenius endomorphism F*. give a detailed discussion of Frobenius splittings. A fundamental property of Frobenius-split projective schemes ''X'' is that the higher cohomology ''H''''i''(''X'',''L'') (''i'' > 0) of ample line bundle In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of ...s ''L'' vanishes. References * * External linksConferenceon Frobenius splitting in algebraic geometry, commutative algebra, and representation theory at Michigan, 2010. Algebraic geometry {{algebraic-geometry-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Relative Effective Cartier Divisor
Relative may refer to: General use *Kinship and family, the principle binding the most basic social units of society. If two people are connected by circumstances of birth, they are said to be ''relatives''. Philosophy *Relativism, the concept that points of view have no absolute truth or validity, having only relative, subjective value according to differences in perception and consideration, or relatively, as in the relative value of an object to a person * Relative value (philosophy) Economics *Relative value (economics) Popular culture Film and television * ''Relatively Speaking'' (1965 play), 1965 British play * ''Relatively Speaking'' (game show), late 1980s television game show * ''Everything's Relative'' (episode)#Yu-Gi-Oh! (Yu-Gi-Oh! Duel Monsters), 2000 Japanese anime ''Yu-Gi-Oh! Duel Monsters'' episode *'' Relative Values'', 2000 film based on the play of the same name. *'' It's All Relative'', 2003-4 comedy television series *''Intelligence is Relative'', tag line ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]