|
Exceptional Collection
In mathematics, a semiorthogonal decomposition is a way to divide a triangulated category into simpler pieces. One way to produce a semiorthogonal decomposition is from an exceptional collection, a special sequence of objects in a triangulated category. For an algebraic variety ''X'', it has been fruitful to study semiorthogonal decompositions of the bounded derived category of coherent sheaves, \text^(X). Semiorthogonal decomposition Alexei Bondal and Mikhail Kapranov (1989) defined a semiorthogonal decomposition of a triangulated category \mathcal to be a sequence \mathcal_1,\ldots,\mathcal_n of strictly full triangulated subcategories such that: *for all 1\leq i [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangulated Category
In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology. Much of homological algebra is clarified and extended by the language of triangulated categories, an important example being the theory of sheaf cohomology. In the 1960s, a typical use of triangulated categories was to extend properties of sheaves on a space ''X'' to complexes of sheaves, viewed as objects of the derived category of sheaves on ''X''. More recently, triangulated categories have become objects of interest in their own right. Many equivalences between triangulated categories of different origins have been proved or conjectured. For example, the homological mirror symmetry conj ... [...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] |
Toric Varieties
In algebraic geometry, a toric variety or torus embedding is an algebraic variety containing an algebraic torus as an open dense subset, such that the action of the torus on itself extends to the whole variety. Some authors also require it to be normal. Toric varieties form an important and rich class of examples in algebraic geometry, which often provide a testing ground for theorems. The geometry of a toric variety is fully determined by the combinatorics of its associated fan, which often makes computations far more tractable. For a certain special, but still quite general class of toric varieties, this information is also encoded in a polytope, which creates a powerful connection of the subject with convex geometry. Familiar examples of toric varieties are affine space, projective spaces, products of projective spaces and bundles over projective space. Toric varieties from tori The original motivation to study toric varieties was to study torus embeddings. Given the algebrai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the fol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Beilinson
Alexander A. Beilinson (born 1957) is the David and Mary Winton Green University professor at the University of Chicago and works on mathematics. His research has spanned representation theory, algebraic geometry and mathematical physics. In 1999 Beilinson was awarded the Ostrowski Prize with Helmut Hofer. In 2017 he was elected to the National Academy of Sciences. Work In 1978, Beilinson published a paper on coherent sheaves and several problems in linear algebra. His two-page note in the journal ''Functional Analysis and Its Applications'' was one of the papers on the study of derived categories of coherent sheaf (mathematics), sheaves. In 1981 Beilinson announced a proof of the Kazhdan–Lusztig conjectures and Jantzen conjectures with Joseph Bernstein. Independent of Beilinson and Bernstein, Jean-Luc Brylinski, Brylinski and Masaki Kashiwara, Kashiwara obtained a proof of the Kazhdan–Lusztig conjectures. However, the proof of Beilinson–Bernstein introduced a method ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cycle Class Map
In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general. Rational equivalence and Chow groups For what follows, define a variety over a field k to be an integral scheme of finite type over k. For any scheme X of finite type over k, an algebraic cycle on X means a finite linear combination of subvarieties of X with integer coefficients. (Here and below, subvarieties are understood t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hodge Theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic. The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology. It has major applications in two settings: Riemannian manifolds and Kähler manifolds. Hodge's primary motivation, the study of complex projective varieties, is encompassed by the latter case. Hodge theory has become an important tool in algebraic geometry, particularly through its connection to the study of algebraic cycles. While Hodge theory is intrinsically dependent upon the real and complex numbers, it can be applied to questions in nu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Abelian Group
In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors. The elements of a free abelian group with basis B may be described in several equivalent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countably
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is ''countable'' if its cardinality (its number of elements) is not greater than that of the natural numbers. A countable set that is not finite is said countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. A note on terminology Although the terms "countable" and "countably infinite" as defined here are quite com ... [...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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
