|
étale Topology
In algebraic geometry, the étale topology is a Grothendieck topology on the category of schemes which has properties similar to the Euclidean topology, but unlike the Euclidean topology, it is also defined in positive characteristic. The étale topology was originally introduced by Alexander Grothendieck to define étale cohomology, and this is still the étale topology's most well-known use. Definitions For any scheme ''X'', let Ét(''X'') be the category of all étale morphisms from a scheme to ''X''. This is the analog of the category of open subsets of ''X'' (that is, the category whose objects are varieties and whose morphisms are open immersions). Its objects can be informally thought of as étale open subsets of ''X''. The intersection of two objects corresponds to their fiber product over ''X''. Ét(''X'') is a large category, meaning that its objects do not form a set. An étale presheaf on ''X'' is a contravariant functor from Ét(''X'') to the category of sets. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Zariski Topology
In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf Theory
In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well-behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every datum is the sum of its constituent data). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their precise definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or mor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topos Theory
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally, on a site). Topoi behave much like the category of sets and possess a notion of localization. The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formalizing the heuristic. An important example of this programma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Étale Spectrum
In mathematics, more specifically in algebra Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ..., the adjective étale refers to several closely related concepts: * Étale morphism ** Formally étale morphism * Étale cohomology * Étale topology * Étale fundamental group * Étale group scheme * Étale algebra Other * Étale (mountain) in Savoie and Haute-Savoie, France See also * Étalé space * Etail, or online commerce {{disambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
â„“-adic Sheaf
In algebraic geometry, an ℓ-adic sheaf on a Noetherian scheme ''X'' is an inverse system consisting of \mathbb/\ell^n-modules F_n in the étale topology and F_ \to F_n inducing F_ \otimes_ \mathbb/\ell^n \overset\to F_n.. Bhatt–Scholze's pro-étale topology gives an alternative approach. Motivation The development of étale cohomology as a whole was fueled by the desire to produce a 'topological' theory of cohomology for algebraic varieties, i.e. a Weil cohomology theory that works in any characteristic. An essential feature of such a theory is that it admits coefficients in a field of characteristic 0. However, constant étale sheaves with no torsion have no interesting cohomology. For example, if X is a smooth variety over a field k, then H^i(X_\text,\mathbb)=0 for all positive i. On the other hand, the constant sheaves \mathbb/m do produce the 'correct' cohomology, as long as m is invertible in the ground field k. So one takes a prime \ell for which this is true and defin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Topology
In algebraic geometry, the smooth topology is a certain Grothendieck topology, which is finer than étale topology. Its main use is to define the cohomology of an algebraic stack with coefficients in, say, the étale sheaf \mathbb_l. To understand the problem that motivates the notion, consider the classifying stack In algebraic geometry, a quotient stack is a stack that parametrizes equivariant objects. Geometrically, it generalizes a quotient of a scheme or a variety by a group: a quotient variety, say, would be a coarse approximation of a quotient stack. ... B\mathbb_m over \operatorname \mathbf_q. Then B\mathbb_m = \operatorname \mathbf_q in the étale topology; i.e., just a point. However, we expect the "correct" cohomology ring of B\mathbb_m to be more like that of \mathbb P^\infty as the ring should classify line bundles. Thus, the cohomology of B\mathbb_m should be defined using smooth topology for formulae like Behrend's fixed point formula to hold. Notes Referenc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nisnevich Topology
In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles. Definition A morphism of schemes f:Y \to X is called a Nisnevich morphism if it is an étale morphism such that for every (possibly non-closed) point ''x'' ∈ ''X'', there exists a point ''y'' ∈ ''Y'' in the fiber such that the induced map of residue fields ''k''(''x'') → ''k''(''y'') is an isomorphism. Equivalently, ''f'' must be flat, unramified, locally of finite presentation, and for every point ''x'' ∈ ''X'', there must exist a point ''y'' in the fiber such that ''k''(''x'') → ''k''(''y'') is an isomorphism. A family of morphisms is a Nisnevich cover if each morphism in the family is étale and for every (possibly non-clo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exact Sequence
In mathematics, an exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next. Definition In the context of group theory, a sequence :G_0\;\xrightarrow\; G_1 \;\xrightarrow\; G_2 \;\xrightarrow\; \cdots \;\xrightarrow\; G_n of groups and group homomorphisms is said to be exact at G_i if \operatorname(f_i)=\ker(f_). The sequence is called exact if it is exact at each G_i for all 1\leq i |
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 Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covariance And Contravariance Of Functors
In mathematics, specifically category theory, a functor is a mapping between 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 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 linguistic context; see function word. Definition Let ''C'' and ''D'' be 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'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Pretopology
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category ''C'' that makes the objects of ''C'' act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site. Grothendieck topologies axiomatize the notion of an open cover. Using the notion of covering provided by a Grothendieck topology, it becomes possible to define Sheaf (mathematics), sheaves on a category and their cohomology. This was first done in algebraic geometry and algebraic number theory by Alexander Grothendieck to define the étale cohomology of a scheme (mathematics), scheme. It has been used to define other cohomology theories since then, such as ℓ-adic cohomology, flat cohomology, and crystalline cohomology. While Grothendieck topologies are most often used to define cohomology theories, they have found other applications as well, such as to John Tate (mathematician), John Tate's theory of rigid analytic geomet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
