|
Smooth Stack
In algebraic geometry, given algebraic stacks p: X \to C, \, q: Y \to C over a base category ''C'', a morphism f: X \to Y of algebraic stacks is a functor such that q \circ f = p. More generally, one can also consider a morphism between prestacks; (a stackification would be an example.) Types One particular important example is a presentation of a stack, which is widely used in the study of stacks. An algebraic stack ''X'' is said to be smooth of dimension ''n'' - ''j'' if there is a smooth presentation U \to X of relative dimension ''j'' for some smooth scheme ''U'' of dimension ''n''. For example, if \operatorname_n denotes the moduli stack of rank-''n'' vector bundles, then there is a presentation \operatorname(k) \to \operatorname_n given by the trivial bundle \mathbb^n_k over \operatorname(k). A quasi-affine morphism between algebraic stacks is a morphism that factorizes as a quasi-compact open immersion followed by an affine morphism.§ 8.6 of F. MeyerNotes on algebraic ... [...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] |
Algebraic Stack
In mathematics, an algebraic stack is a vast generalization of algebraic spaces, or schemes, which are foundational for studying moduli theory. Many moduli spaces are constructed using techniques specific to algebraic stacks, such as Artin's representability theorem, which is used to construct the moduli space of pointed algebraic curves \mathcal_ and the moduli stack of elliptic curves. Originally, they were introduced by Grothendieck to keep track of automorphisms on moduli spaces, a technique which allows for treating these moduli spaces as if their underlying schemes or algebraic spaces are smooth. But, through many generalizations the notion of algebraic stacks was finally discovered by Michael Artin. Definition Motivation One of the motivating examples of an algebraic stack is to consider a groupoid scheme (R,U,s,t,m) over a fixed scheme S. For example, if R = \mu_n\times_S\mathbb^n_S (where \mu_n is the group scheme of roots of unity), U = \mathbb^n_S, s = \text_U is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous function, continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prestack
In algebraic geometry, a prestack ''F'' over a category ''C'' equipped with some Grothendieck topology is a category together with a functor ''p'': ''F'' → ''C'' satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object. Prestacks that appear in nature are typically stacks but some naively constructed prestacks (e.g., groupoid scheme or the prestack of projectivized vector bundles) may not be stacks. Prestacks may be studied on their own or passed to stacks. Since a stack is a prestack, all the results on prestacks are valid for stacks as well. Throughout the article, we work with a fixed base category ''C''; for example, ''C'' can be the category of all schemes over some fixed scheme equipped with some Grothendieck topology. Informal definition Let ''F'' be a category and suppose it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Stack Of Vector Bundles
In algebraic geometry, the moduli stack of rank-''n'' vector bundles Vect''n'' is the stack parametrizing vector bundles (or locally free sheaves) of rank ''n'' over some reasonable spaces. It is a smooth algebraic stack of the negative dimension -n^2. Moreover, viewing a rank-''n'' vector bundle as a principal GL_n-bundle, Vect''n'' is isomorphic to the classifying stack BGL_n = text/GL_n Definition For the base category, let ''C'' be the category of schemes of finite type over a fixed field ''k''. Then \operatorname_n is the category where # an object is a pair (U, E) of a scheme ''U'' in ''C'' and a rank-''n'' vector bundle ''E'' over ''U'' # a morphism (U, E) \to (V, F) consists of f: U \to V in ''C'' and a bundle-isomorphism f^* F \overset\to E. Let p: \operatorname_n \to C be the forgetful functor. Via ''p'', \operatorname_n is a prestack over ''C''. That it is a stack over ''C'' is precisely the statement "vector bundles have the descent property". Note that each fiber ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-compact Morphism
In algebraic geometry, a morphism f: X \to Y between schemes is said to be quasi-compact if ''Y'' can be covered by open affine subschemes V_i such that the pre-images f^(V_i) are quasi-compact (as topological space). If ''f'' is quasi-compact, then the pre-image of a quasi-compact open subscheme (e.g., open affine subscheme) under ''f'' is quasi-compact. It is not enough that ''Y'' admits a covering by quasi-compact open subschemes whose pre-images are quasi-compact. To give an example, let ''A'' be a ring that does not satisfy the ascending chain conditions on radical ideals, and put X = \operatorname A. ''X'' contains an open subset ''U'' that is not quasi-compact. Let ''Y'' be the scheme obtained by gluing two ''Xs along ''U''. ''X'', ''Y'' are both quasi-compact. If f: X \to Y is the inclusion of one of the copies of ''X'', then the pre-image of the other ''X'', open affine in ''Y'', is ''U'', not quasi-compact. Hence, ''f'' is not quasi-compact. A morphism from a quasi-compac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open Immersion
Open or OPEN may refer to: Music * Open (band), Australian pop/rock band * The Open (band), English indie rock band * ''Open'' (Blues Image album), 1969 * ''Open'' (Gotthard album), 1999 * ''Open'' (Cowboy Junkies album), 2001 * ''Open'' (YFriday album), 2001 * ''Open'' (Shaznay Lewis album), 2004 * ''Open'' (Jon Anderson EP), 2011 * ''Open'' (Stick Men album), 2012 * ''Open'' (The Necks album), 2013 * ''Open'', a 1967 album by Julie Driscoll, Brian Auger and the Trinity * ''Open'', a 1979 album by Steve Hillage * "Open" (Queensrÿche song) * "Open" (Mýa song) * "Open", the first song on The Cure album ''Wish'' Literature * ''Open'' (Mexican magazine), a lifestyle Mexican publication * ''Open'' (Indian magazine), an Indian weekly English language magazine featuring current affairs * ''OPEN'' (North Dakota magazine), an out-of-print magazine that was printed in the Fargo, North Dakota area of the U.S. * Open: An Autobiography, Andre Agassi's 2009 memoir Computin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Morphism
In algebraic geometry, a sheaf of algebras on a ringed space ''X'' is a sheaf of commutative rings on ''X'' that is also a sheaf of \mathcal_X-modules. It is quasi-coherent if it is so as a module. When ''X'' is a scheme, just like a ring, one can take the global Spec of a quasi-coherent sheaf of algebras: this results in the contravariant functor \operatorname_X from the category of quasi-coherent (sheaves of) \mathcal_X-algebras on ''X'' to the category of schemes that are affine over ''X'' (defined below). Moreover, it is an equivalence: the quasi-inverse is given by sending an affine morphism f: Y \to X to f_* \mathcal_Y. Affine morphism A morphism of schemes f: X \to Y is called affine if Y has an open affine cover U_i's such that f^(U_i) are affine. For example, a finite morphism is affine. An affine morphism is quasi-compact and separated; in particular, the direct image of a quasi-coherent sheaf along an affine morphism is quasi-coherent. The base change of an affine m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stacks Project
The Stacks Project is an open source collaborative mathematics textbook writing project with the aim to cover "algebraic stacks and the algebraic geometry needed to define them". , the book consists of 115 chapters (excluding the license and index chapters) spreading over 7500 pages. The maintainer of the project, who reviews and accepts the changes, is Aise Johan de Jong. See alsoKerodona Stacks project inspired online textbook on categorical homotopy theory maintained by Jacob Lurie Jacob Alexander Lurie (born December 7, 1977) is an American mathematician who is a professor at the Institute for Advanced Study. Lurie is a 2014 MacArthur Fellow. Life When he was a student in the Science, Mathematics, and Computer Science ... References External linksProject website*Latest from the Stacks Project(as of 2013) (Accessed 2020-04-01) Mathematics textbooks {{mathematics-lit-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
