|
Higher Stack
In mathematics, especially algebraic geometry and algebraic topology, a higher stack is a higher category generalization of a stack (a category-valued sheaf). The notion goes back to Grothendieck’s ''Pursuing Stacks ''Pursuing Stacks'' () is an influential 1983 mathematical manuscript by Alexander Grothendieck. It consists of a 12-page letter to Daniel Quillen followed by about 600 pages of research notes. The topic of the work is a generalized homotopy the ...''. Toën suggests the following principle:Bertrand Toën, Higher and Derived Stacks: A Global Overview, arXiv:math /0604504 Sometimes a derived stack (or a spectral stack) is defined as a higher stack of some sort. References *Carlos Simpson, Algebraic (geometric) n-stacks, 1996, arXiv:alg-geom/9609014. *André Hirschowitz, Carlos Simpson, Descente pour les n-champs (Descent for n-stacks), 1998, arXiv:math/9807049. * Further reading * https://ncatlab.org/nlab/show/higher+stack * David Carchedia, On the étale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Higher Category
In mathematics, higher category theory is the part of category theory at a ''higher order'', which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants of spaces, such as the fundamental . In higher category theory, the concept of higher categorical structures, such as (), allows for a more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have the same fundamental group but differ in their higher homotopy groups. This approach is particularly valuable when dealing with spaces with intricate topological features, such as the Eilenberg-MacLane space. Strict higher categories An ordinary category has objects and morphisms, which are called in the context of higher cat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Stack (mathematics)
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf (mathematics), sheaf that takes values in category (mathematics), categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist. Descent theory is concerned with generalisations of situations where isomorphism, isomorphic, compatible geometrical objects (such as vector bundles on topological spaces) can be "glued together" within a restriction of the topological basis. In a more general set-up the restrictions are replaced with Pullback (category theory), pullbacks; fibred category, fibred categories then make a good framework to discuss the possibility of such gluing. The intuitive meaning of a stack is that it is a fibred category such that "all possible gluings work". The specification of gluings requires a definition of coverings with regard to which the gluings can be considered. It turns out that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Pursuing Stacks
''Pursuing Stacks'' () is an influential 1983 mathematical manuscript by Alexander Grothendieck. It consists of a 12-page letter to Daniel Quillen followed by about 600 pages of research notes. The topic of the work is a generalized homotopy theory using higher category theory. The word "stacks" in the title refers to what are nowadays usually called " ∞-groupoids", one possible definition of which Grothendieck sketches in his manuscript. (The stacks of algebraic geometry, which also go back to Grothendieck, are not the focus of this manuscript.) Among the concepts introduced in the work are derivators and test categories. Some parts of the manuscript were later developed in: * * Overview of manuscript I. The letter to Daniel Quillen Pursuing stacks started out as a letter from Grothendieck to Daniel Quillen. In this letter he discusses Quillen's progress on the foundations for homotopy theory and remarked on the lack of progress since then. He remarks how some of his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Derived Stack
In algebraic geometry, a derived stack is, roughly, a stack together with a sheaf of commutative ring spectra. It generalizes a derived scheme. Derived stacks are the "spaces" studied in derived algebraic geometry Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb), simplicial commutative .... Notes References * * * * Algebraic geometry {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Spectral Stack
''Spectral'' is a 2016 Hungarian-American military science fiction action film co-written and directed by Nic Mathieu. Written with Ian Fried & George Nolfi, the film stars James Badge Dale as DARPA research scientist Mark Clyne, with Max Martini, Emily Mortimer, Clayne Crawford, and Bruce Greenwood in supporting roles. The film is set in a civil war-ridden Moldova as invisible entities slaughter any living being caught in their path. The film was released worldwide on December 9, 2016 on Netflix. On February 1, 2017, Netflix released a prequel graphic novel of the film called ''Spectral: Ghosts of War'' which was made available digitally through the website ComiXology. Plot DARPA researcher Mark Clyne is sent to a US military airbase on the outskirts of Chișinău, to consult his created line of hyperspectral imaging goggles issued to US Army Special Forces led by Army General James Orland, who is covertly supporting the Moldovan government in an ongoing civil war against ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Higher Category Theory
In mathematics, higher category theory is the part of category theory at a ''higher order'', which means that some equalities are replaced by explicit morphism, arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic Invariant (mathematics), invariants of topological space, spaces, such as the Fundamental groupoid, fundamental . In higher category theory, the concept of higher categorical structures, such as (), allows for a more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have the same fundamental group but differ in their higher homotopy groups. This approach is particularly valuable when dealing with spaces with intricate topological features, such as the Eilenberg-MacLane space. Strict higher categories An ordinary category (m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
