|
Perverse Sheaf
The mathematical term perverse sheaves refers to the objects of certain abelian categories associated to topological spaces, which may be a real or complex manifold, or more general topologically stratified spaces, possibly singular. The concept was introduced in the work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne (1982) as a consequence of the Riemann-Hilbert correspondence, which establishes a connection between the derived categories regular holonomic D-modules and constructible sheaves. Perverse sheaves are the objects in the latter that correspond to individual D-modules (and not more general complexes thereof); a perverse sheaf ''is'' in general represented by a complex of sheaves. The concept of perverse sheaves is already implicit in a 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules. A key observation was that the intersection homology of Mark Goresky and Robert MacPherson could be described using sheaf complexes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Category
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very ''stable'' categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of Complex analysis, analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verdier Duality
In mathematics, Verdier duality is a cohomology, cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact space, locally compact topological spaces of Alexander Grothendieck's theory of Étale cohomology#Poincaré duality and cohomology with compact support, Poincaré duality in étale cohomology for scheme (mathematics), schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism. Verdier duality generalises the classical Poincaré duality of manifolds in two directions: it applies to continuous maps from one space to another (reducing to the classical case for the unique map from a manifold to a one-point space), and it applies to spaces that fail to be manifolds due to the presence of singularities. It is commonly encountered when studying const ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
T-structure
In the branch of mathematics called homological algebra, a ''t''-structure is a way to axiomatize the properties of an abelian subcategory of a derived category. A ''t''-structure on \mathcal consists of two subcategories (\mathcal^, \mathcal^) of a triangulated category or stable infinity category which abstract the idea of complexes whose cohomology vanishes in positive, respectively negative, degrees. There can be many distinct ''t''-structures on the same category, and the interplay between these structures has implications for algebra and geometry. The notion of a ''t''-structure arose in the work of Beilinson, Bernstein, Deligne, and Gabber on perverse sheaves. Definition Fix a triangulated category \mathcal with translation functor /math>. A ''t''-structure on \mathcal is a pair (\mathcal^, \mathcal^) of full subcategories, each of which is stable under isomorphism, which satisfy the following three axioms. # If ''X'' is an object of \mathcal^ and ''Y'' is an object ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Valuation Ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain ''R'' which satisfies any one of the following equivalent conditions: # ''R'' is a local principal ideal domain, and not a field. # ''R'' is a valuation ring with a value group isomorphic to the integers under addition. # ''R'' is a local Dedekind domain and not a field. # ''R'' is a Noetherian local domain whose maximal ideal is principal, and not a field.https://mathoverflow.net/a/155639/114772 # ''R'' is an integrally closed Noetherian local ring with Krull dimension one. # ''R'' is a principal ideal domain with a unique non-zero prime ideal. # ''R'' is a principal ideal domain with a unique irreducible element ( up to multiplication by units). # ''R'' is a unique factorization domain with a unique irreducible element (up to multiplication by units). # ''R'' is Noetherian, not a field, and every nonzero fractio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henselian Ring
In mathematics, a Henselian ring (or Hensel ring) is a local ring in which Hensel's lemma holds. They were introduced by , who named them after Kurt Hensel. Azumaya originally allowed Henselian rings to be non-commutative, but most authors now restrict them to be commutative. Some standard references for Hensel rings are , , and . Definitions In this article rings will be assumed to be commutative, though there is also a theory of non-commutative Henselian rings. * A local ring ''R'' with maximal ideal ''m'' is called Henselian if Hensel's lemma holds. This means that if ''P'' is a monic polynomial in ''R'' 'x'' then any factorization of its image ''P'' in (''R''/''m'') 'x''into a product of coprime monic polynomials can be lifted to a factorization in ''R'' 'x'' * A local ring is Henselian if and only if every finite ring extension is a product of local rings. * A Henselian local ring is called strictly Henselian if its residue field is separably closed. * By abuse of termino ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local System
In mathematics, a local system (or a system of local coefficients) on a topological space ''X'' is a tool from algebraic topology which interpolates between cohomology with coefficients in a fixed abelian group ''A'', and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943. The category of perverse sheaves on a manifold is equivalent to the category of local systems on the manifold. Definition Let ''X'' be a topological space. A local system (of abelian groups/modules/...) on ''X'' is a locally constant sheaf (of abelian groups/modules...) on ''X''. In other words, a sheaf \mathcal is a local system if every point has an open neighborhood U such that the restricted sheaf \mathcal, _U is isomorphic to the sheafification of some constant presheaf. Equivalent definitions Path-connected spaces If ''X'' is path-connected, a local system \mathcal of abelian groups has the same stalk ''L'' at eve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constructible Sheaf
In mathematics, a constructible sheaf is a sheaf of abelian groups over some topological space ''X'', such that ''X'' is the union of a finite number of locally closed subsets on each of which the sheaf is a locally constant sheaf. It has its origins in algebraic geometry, where in étale cohomology constructible sheaves are defined in a similar way . For the derived category of constructible sheaves, see a section in ℓ-adic sheaf. The finiteness theorem in étale cohomology states that the higher direct images of a constructible sheaf are constructible. Definition of étale constructible sheaves on a scheme ''X'' Here we use the definition of constructible étale sheaves from the book by Freitag and Kiehl referenced below. In what follows in this subsection, all sheaves \mathcal on schemes X are étale sheaves unless otherwise noted. A sheaf \mathcal is called constructible if X can be written as a finite union of locally closed subschemes i_Y:Y \to X such that for each subsche ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morse Theory
In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differentiable function on a manifold will reflect the topology quite directly. Morse theory allows one to find CW structures and handle decompositions on manifolds and to obtain substantial information about their homology. Before Morse, Arthur Cayley and James Clerk Maxwell had developed some of the ideas of Morse theory in the context of topography. Morse originally applied his theory to geodesics ( critical points of the energy functional on the space of paths). These techniques were used in Raoul Bott's proof of his periodicity theorem. The analogue of Morse theory for complex manifolds is Picard–Lefschetz theory. Basic concepts To illustrate, consider a mountainous landscape surface M (more generally, a manifold). If f is the function M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other 'tan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangulated Categories
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 conje ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MathOverflow
MathOverflow is a mathematics question-and-answer (Q&A) website, which serves as an online community of mathematicians. It allows users to ask questions, submit answers, and rate both, all while getting merit points for their activities. It is a part of the Stack Exchange Network. It is primarily for asking questions on mathematics research – i.e. related to unsolved problems and the extension of knowledge of mathematics into areas that are not yet known – and does not welcome requests from non-mathematicians for instruction, for example homework exercises. It does welcome various questions on other topics that might normally be discussed among mathematicians, for example about publishing, refereeing, advising, getting tenure, etc. It is generally inhospitable to questions perceived as tendentious or argumentative. Origin and history The website was started by Berkeley graduate students and postdocs Anton Geraschenko, David Zureick-Brown, and Scott Morrison on 28 Septe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
