|
Seshadri Constant
In algebraic geometry, a Seshadri constant is an invariant of an ample line bundle ''L'' at a point ''P'' on an algebraic variety. It was introduced by Jean-Pierre Demailly, Demailly to measure a certain ''rate of growth'', of the tensor powers of ''L'', in terms of the jet (mathematics), jets of the Section (category theory), sections of the ''L''''k''. The object was the study of the Fujita conjecture. The name is in honour of the Indian mathematician C. S. Seshadri. It is known that Nagata's conjecture on algebraic curves is equivalent to the assertion that for more than nine general points, the Seshadri constants of the projective plane are maximal. There is a general conjecture for algebraic surfaces, the Nagata–Biran conjecture. Definition Let be a smooth projective variety, an ample line bundle on it, a point of , = . . Here, denotes the intersection number of and , measures how many times passing through . Definition: One says that is the Seshadri constant of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Projective Plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus ''any'' two distinct lines in a projective plane intersect at exactly one point. Renaissance artists, in developing the techniques of drawing in perspective, laid the groundwork for this mathematical topic. The archetypical example is the real projective plane, also known as the extended Euclidean plane. This example, in slightly different guises, is important in algebraic geometry, topology and projective geometry where it may be denoted variously by , RP2, or P2(R), among other notations. There are many other projective planes, both infinite, such as the complex projective plane, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Varieties
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Variety
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory. An abelian variety can be defined by equations having coefficients in any field; the variety is then said to be defined ''over'' that field. Historically the first abelian varieties to be studied were those defined over the field of complex numbers. Such abelian varieties turn out to be exactly those complex tori that can be embedded into a complex projective space. Abelian varieties defined over algebraic number fields are a special case, which is important also from the viewpoint of number theory. Localization techniques lead naturally fr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Number
In mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of ''x''- and ''y''-axes which should be one. The complexity enters when calculating intersections at points of tangency and intersections along positive dimensional sets. For example, if a plane is tangent to a surface along a line, the intersection number along the line should be at least two. These questions are discussed systematically in intersection theory. Definition for Riemann surfaces Let ''X'' be a Riemann surface. Then the intersection number of two closed curves on ''X'' has a simple definition in terms of an integral. For every closed curve '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb^n. 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 dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagata–Biran Conjecture
In mathematics, the Nagata–Biran conjecture, named after Masayoshi Nagata and Paul Biran, is a generalisation of Nagata's conjecture on curves to arbitrary polarised surfaces. Statement Let ''X'' be a smooth algebraic surface and ''L'' be an ample line bundle on ''X'' of degree ''d''. The Nagata–Biran conjecture states that for sufficiently large ''r'' the Seshadri constant In algebraic geometry, a Seshadri constant is an invariant of an ample line bundle ''L'' at a point ''P'' on an algebraic variety. It was introduced by Jean-Pierre Demailly, Demailly to measure a certain ''rate of growth'', of the tensor powers of ' ... satisfies : \varepsilon(p_1,\ldots,p_r;X,L) = . References *. *. See in particular page 3 of the pdf. Algebraic surfaces Conjectures {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Surfaces
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] |
Nagata's Conjecture On Algebraic Curves
In mathematics, the Nagata conjecture on curves, named after Masayoshi Nagata, governs the minimal degree required for a plane algebraic curve to pass through a collection of very general points with prescribed multiplicities. History Nagata arrived at the conjecture via work on the 14th problem of Hilbert, which asks whether the invariant ring of a linear group action on the polynomial ring over some field is finitely generated. Nagata published the conjecture in a 1959 paper in the American Journal of Mathematics, in which he presented a counterexample to Hilbert's 14th problem. Statement :Nagata Conjecture. Suppose are very general points in and that are given positive integers. Then for any curve in that passes through each of the points with multiplicity must satisfy ::\deg C > \frac\sum_^r m_i. The condition is necessary: The cases and are distinguished by whether or not the anti-canonical bundle on the blowup of at a collection of points is nef. In the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety ''X'' amounts to understanding the different ways of mapping ''X'' into projective space. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of an ample divisor. In more detail, a line bundle is called basepoint-free if it has enough sections to give a morphism to projective space. A line bundle is semi-ample if some positive power of it is basepoint-free; semi-ampleness is a kind of "nonnegativity". More strongly, a line bun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fujita Conjecture
In mathematics, Fujita's conjecture is a problem in the theories of algebraic geometry and complex manifolds, unsolved . It is named after Takao Fujita, who formulated it in 1985. Statement In complex geometry, the conjecture states that for a positive holomorphic line bundle ''L'' on a compact complex manifold ''M'', the line bundle ''K''''M'' ⊗ ''L''⊗''m'' (where ''K''''M'' is a canonical line bundle of ''M'') is * spanned by sections when ''m'' ≥ ''n'' + 1 ; * very ample when ''m'' ≥ ''n'' + 2, where ''n'' is the complex dimension of ''M''. Note that for large ''m'' the line bundle ''K''''M'' ⊗ ''L''⊗''m'' is very ample by the standard Serre's vanishing theorem (and its complex analytic variant). Fujita conjecture provides an explicit bound on ''m'', which is optimal for projective spaces. Known cases For surfaces the Fujita conjecture follows from Reider's theorem In algebraic geometry, Reider's theorem gives conditions for a line bundle on a projective surface ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Section (category Theory)
In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism. In other words, if f: X\to Y and g: Y\to X are morphisms whose composition f \circ g: Y\to Y is the identity morphism on Y, then g is a section of f, and f is a retraction of g. Every section is a monomorphism (every morphism with a left inverse is left-cancellative), and every retraction is an epimorphism (every morphism with a right inverse is right-cancellative). In algebra, sections are also called split monomorphisms and retractions are also called split epimorphisms. In an abelian category, if f: X\to Y is a split epimorphism with split monomorphism g: Y\to X, then X is isomorphic to the direct sum of Y and the kernel of f. The synonym coretraction for section is sometimes seen in the literature, although rarely in recent work. Properties * A section that is also an epimorphism is an isomorphism. Dually a retraction that is al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Variety")
