Adjunction Formula
   HOME





Adjunction Formula
In mathematics, especially in algebraic geometry and the theory of complex manifolds, the adjunction formula relates the canonical bundle of a variety and a hypersurface inside that variety. It is often used to deduce facts about varieties embedded in well-behaved spaces such as projective space or to prove theorems by induction. Adjunction for smooth varieties Formula for a smooth subvariety Let ''X'' be a smooth algebraic variety or smooth complex manifold and ''Y'' be a smooth subvariety of ''X''. Denote the inclusion map by ''i'' and the ideal sheaf of ''Y'' in ''X'' by \mathcal. The conormal exact sequence for ''i'' is :0 \to \mathcal/\mathcal^2 \to i^*\Omega_X \to \Omega_Y \to 0, where Ω denotes a cotangent bundle. The determinant of this exact sequence is a natural isomorphism :\omega_Y = i^*\omega_X \otimes \operatorname(\mathcal/\mathcal^2)^\vee, where \vee denotes the dual of a line bundle. The particular case of a smooth divisor Suppose that ''D'' is a smooth div ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Normal Bundle
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Definition Riemannian manifold Let (M,g) be a Riemannian manifold, and S \subset M a Riemannian submanifold. Define, for a given p \in S, a vector n \in \mathrm_p M to be '' normal'' to S whenever g(n,v)=0 for all v\in \mathrm_p S (so that n is orthogonal to \mathrm_p S). The set \mathrm_p S of all such n is then called the ''normal space'' to S at p. Just as the total space of the tangent bundle to a manifold is constructed from all tangent spaces to the manifold, the total space of the normal bundle \mathrm S to S is defined as :\mathrmS := \coprod_ \mathrm_p S. The conormal bundle is defined as the dual bundle to the normal bundle. It can be realised naturally as a sub-bundle of the cotangent bundle. General definition More abstractly, given an immersion i: N \to M (for instance an em ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Thom Conjecture
In mathematics, a smooth algebraic curve C in the complex projective plane, of degree d, has genus given by the genus–degree formula :g = (d-1)(d-2)/2. The Thom conjecture, named after French mathematician René Thom, states that if \Sigma is any smoothly embedded connected curve representing the same class in homology as C, then the genus g of \Sigma satisfies the inequality :g \geq (d-1)(d-2)/2. In particular, ''C'' is known as a ''genus minimizing representative'' of its homology class. It was first proved by Peter Kronheimer and Tomasz Mrowka in October 1994, using the then-new Seiberg–Witten invariants. Assuming that \Sigma has nonnegative self intersection number this was generalized to Kähler manifolds (an example being the complex projective plane) by John Morgan, Zoltán Szabó, and Clifford Taubes, also using the Seiberg–Witten invariants. There is at least one generalization of this conjecture, known as the symplectic Thom conjecture (which is no ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]




Logarithmic Form
In algebraic geometry and the theory of complex manifolds, a logarithmic differential form is a differential form with poles of a certain kind. The concept was introduced by Pierre Deligne. In short, logarithmic differentials have the mildest possible singularities needed in order to give information about an open submanifold (the complement of the divisor of poles). (This idea is made precise by several versions of de Rham's theorem discussed below.) Let ''X'' be a complex manifold, ''D'' ⊂ ''X'' a reduced divisor (a sum of distinct codimension-1 complex subspaces), and ω a holomorphic ''p''-form on ''X''−''D''. If both ω and ''d''ω have a pole of order at most 1 along ''D'', then ω is said to have a logarithmic pole along ''D''. ω is also known as a logarithmic ''p''-form. The ''p''-forms with log poles along ''D'' form a subsheaf of the meromorphic ''p''-forms on ''X'', denoted :\Omega^p_X(\log D). The name comes from the fact that in complex analysis, d(\log z)=dz/z; ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Kronecker Pairing
Kronecker is a German surname. Notable people with the surname include: * Hugo Kronecker (1839–1914), German physiologist, brother of Leopold * Leopold Kronecker Leopold Kronecker (; 7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, abstract algebra and logic, and criticized Georg Cantor's work on set theory. Heinrich Weber quoted Kronecker as having said, ... (1823–1891), German mathematician {{surname German-language surnames ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


Complete Intersection
In mathematics, an algebraic variety ''V'' in projective space is a complete intersection if the ideal of ''V'' is generated by exactly ''codim V'' elements. That is, if ''V'' has dimension ''m'' and lies in projective space ''P''''n'', there should exist ''n'' − ''m'' homogeneous polynomials: :F_i(X_0,\cdots,X_n), 1\leq i\leq n - m, in the homogeneous coordinates ''X''''j'', which generate all other homogeneous polynomials that vanish on ''V''. Geometrically, each ''F''''i'' defines a hypersurface; the intersection of these hypersurfaces should be ''V''. The intersection of hypersurfaces will always have dimension at least ''m'', assuming that the field of scalars is an algebraically closed field such as the complex numbers. The question is essentially, can we get the dimension down to ''m'', with no extra points in the intersection? This condition is fairly hard to check as soon as the codimension . When then ''V'' is automatically a hypersurface and there is nothin ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Riemann–Roch Theorem
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus ''g'', in a way that can be carried over into purely algebraic settings. Initially proved as Riemann's inequality by , the theorem reached its definitive form for Riemann surfaces after work of Riemann's short-lived student . It was later generalized to algebraic curves, to higher-dimensional varieties and beyond. Preliminary notions A Riemann surface X is a topological space that is locally homeomorphic to an open subset of \Complex, the set of complex numbers. In addition, the transition maps between these open subsets are required to be holomorphic. The latter condition allows one to transfer the notions and methods of c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]




Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Divisor (algebraic Geometry)
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-''r'' subvariety need not be definable by only ''r'' equations when ''r'' is greater than 1. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvarieti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   [Amazon]