|
Fourier–Mukai Transform
In algebraic geometry, a Fourier–Mukai transform ''Φ''''K'' is a functor between derived categories of coherent sheaves D(''X'') → D(''Y'') for schemes ''X'' and ''Y'', which is, in a sense, an integral transform along a kernel object ''K'' ∈ D(''X''×''Y''). Most natural functors, including basic ones like pushforwards and pullbacks, are of this type. These kinds of functors were introduced by in order to prove an equivalence between the derived categories of coherent sheaves on an abelian variety and its dual. That equivalence is analogous to the classical Fourier transform that gives an isomorphism between tempered distributions on a finite-dimensional real vector space and its dual. Definition Let ''X'' and ''Y'' be smooth projective varieties, ''K'' ∈ Db(''X''×''Y'') an object in the derived category of coherent sheaves on their product. Denote by ''q'' the projection ''X''×''Y''→''X'', by ''p'' the projection ''X''×''Y''→''Y''. Then the Fourier-Mukai tran ... [...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 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] |
T-duality
In theoretical physics, T-duality (short for target-space duality) is an equivalence of two physical theories, which may be either quantum field theories or string theories. In the simplest example of this relationship, one of the theories describes strings propagating in a spacetime shaped like a circle of some radius R, while the other theory describes strings propagating on a spacetime shaped like a circle of radius proportional to 1/R. The idea of T-duality was first noted by Bala Sathiapalan in an obscure paper in 1987. The two T-dual theories are equivalent in the sense that all observable quantities in one description are identified with quantities in the dual description. For example, momentum in one description takes discrete values and is equal to the number of times the string winds around the circle in the dual description. The idea of T-duality can be extended to more complicated theories, including superstring theories. The existence of these dualities implies that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chow Motive
In algebraic geometry, motives (or sometimes motifs, following French usage) is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety. In the formulation of Grothendieck for smooth projective varieties, a motive is a triple (X, p, m), where ''X'' is a smooth projective variety, p: X \vdash X is an idempotent correspondence, and ''m'' an integer, however, such a triple contains almost no information outside the context of Grothendieck's category of pure motives, where a morphism from (X, p, m) to (Y, q, n) is given by a correspondence of degree n-m. A more object-focused approach is taken by Pierre Deligne in ''Le Groupe Fondamental de la Droite Projective Moins Trois Points''. In that article, a motive is a "system of realisations" – that is, a t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standard Conjectures On Algebraic Cycles
In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. One of the original applications of these conjectures, envisaged by Alexander Grothendieck, was to prove that his construction of pure motives gave an abelian category that is semisimple. Moreover, as he pointed out, the standard conjectures also imply the hardest part of the Weil conjectures, namely the "Riemann hypothesis" conjecture that remained open at the end of the 1960s and was proved later by Pierre Deligne; for details on the link between Weil and standard conjectures, see . The standard conjectures remain open problems, so that their application gives only conditional proofs of results. In quite a few cases, including that of the Weil conjectures, other methods have been found to prove such results unconditionally. The classical formulations of the standard conjectures involve a fixed Weil cohomology theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Product
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W denoted v \otimes w. An element of the form v \otimes w is called the tensor product of and . An element of V \otimes W is a tensor, and the tensor product of two vectors is sometimes called an ''elementary tensor'' or a ''decomposable tensor''. The elementary tensors span V \otimes W in the sense that every element of V \otimes W is a sum of elementary tensors. If bases are given for and , a basis of V \otimes W is formed by all tensor products of a basis element of and a basis element of . The tensor product of two vector spaces captures the properties of all bilinear maps in the sense that a bilinear map from V\times W into another vector space factors uniquely through a linear map V\otimes W\to Z (see Universal property). Tenso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pontryagin Product
In mathematics, the Pontryagin product, introduced by , is a product on the Homology (mathematics), homology of a topological space induced by a product on the topological space. Special cases include the Pontryagin product on the homology of an abelian group, the Pontryagin product on an H-space, and the Pontryagin product on a loop space. Cross product In order to define the Pontryagin product we first need a map which sends the direct product of the m-th and n-th homology group to the (m+n)-th homology group of a space. We therefore define the cross product, starting on the level of singular chains. Given two topological spaces X and Y and two singular simplices f:\Delta^m\to X and g:\Delta^n\to Y we can define the product map f\times g:\Delta^m\times\Delta^n\to X\times Y, the only difficulty is showing that this defines a singular (m+n)-simplex in X\times Y. To do this one can subdivide \Delta^m\times\Delta^n into (m+n)-simplices. It is then easy to show that this map induces a ... [...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] |
Canonical Bundle
In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,\!\Omega^n = \omega, which is the ''n''th exterior power of the cotangent bundle Ω on ''V''. Over the complex numbers, it is the determinant bundle of holomorphic ''n''-forms on ''V''. This is the dualising object for Serre duality on ''V''. It may equally well be considered as an invertible sheaf. The canonical class is the divisor class of a Cartier divisor ''K'' on ''V'' giving rise to the canonical bundle — it is an equivalence class for linear equivalence on ''V'', and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −''K'' with ''K'' canonical. The anticanonical bundle is the corresponding inverse bundle ω−1. When the anticanonical bundle of V is ample, V is called a Fano variety. The adjunction formula Suppose that ''X'' is a smooth variety and that ''D'' is a smooth divisor on ''X'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Bundle
In mathematics, a dual abelian variety can be defined from an abelian variety ''A'', defined over a field ''K''. Definition To an abelian variety ''A'' over a field ''k'', one associates a dual abelian variety ''A''v (over the same field), which is the solution to the following moduli problem. A family of degree 0 line bundles parametrized by a ''k''-variety ''T'' is defined to be a line bundle ''L'' on ''A''×''T'' such that # for all t \in T, the restriction of ''L'' to ''A''× is a degree 0 line bundle, # the restriction of ''L'' to ×''T'' is a trivial line bundle (here 0 is the identity of ''A''). Then there is a variety ''A''v and a line bundle P \to A \times A^\vee,, called the Poincaré bundle, which is a family of degree 0 line bundles parametrized by ''A''v in the sense of the above definition. Moreover, this family is universal, that is, to any family ''L'' parametrized by ''T'' is associated a unique morphism ''f'': ''T'' → ''A''v so that ''L'' is isomorphic to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Abelian Variety
In mathematics, a dual abelian variety can be defined from an abelian variety ''A'', defined over a field ''K''. Definition To an abelian variety ''A'' over a field ''k'', one associates a dual abelian variety ''A''v (over the same field), which is the solution to the following moduli problem. A family of degree 0 line bundles parametrized by a ''k''-variety ''T'' is defined to be a line bundle ''L'' on ''A''×''T'' such that # for all t \in T, the restriction of ''L'' to ''A''× is a degree 0 line bundle, # the restriction of ''L'' to ×''T'' is a trivial line bundle (here 0 is the identity of ''A''). Then there is a variety ''A''v and a line bundle P \to A \times A^\vee,, called the Poincaré bundle, which is a family of degree 0 line bundles parametrized by ''A''v in the sense of the above definition. Moreover, this family is universal, that is, to any family ''L'' parametrized by ''T'' is associated a unique morphism ''f'': ''T'' → ''A''v so that ''L'' is isomorphic to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjoint Functor
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology. By definition, an adjunction between categories \mathcal and \mathcal is a pair of functors (assumed to be covariant) :F: \mathcal \rightarrow \mathcal and G: \mathcal \rightarrow \mathcal and, for all objects X in \mathcal and Y in \mathcal a bijection between the respective morphism s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Variety")
