Definition
A universally subtrusive map is a map f: X→Y of quasi-compact, quasi-separated schemes such that for any map v: Spec (V) →Y, where V is a valuation ring, there is an extension (of valuation rings) and a map Spec W→X lifting v.
In mathematics, especially in algebraic geometry, the v-topology (also known as the universally subtrusive topology) is a Grothendieck topology whose covers are characterized by lifting maps from valuation rings. This topology was introduced by Rydh (2010) and studied further by Bhatt & Scholze (2017), who introduced the name v-topology, where v stands for valuation.
A universally subtrusive map is a map f: X→Y of quasi-compact, quasi-separated schemes such that for any map v: Spec (V) →Y, where V is a valuation ring, there is an extension (of valuation rings) and a map Spec W→X lifting v.
Examples of v-covers include faithfully flat maps, proper surjective maps. In particular, any Zariski covering is a v-covering. Moreover, universal homeomorphisms, such as , the normalisation of the cusp, and the Frobenius in positive characteristic are v-coverings. In fact, the perfection of a scheme is a v-covering.
Bhatt & Mathew (2018) have introduced the arc-topology, which is similar in its definition, except that only valuation rings of rank ≤ 1 are considered in the definition. A variant of this topology, with an analogous relationship that the h-topology has with the cdh topology, called the cdarc-topology was later introduced by Elmanto, Hoyois, Iwasa and Kelly (2020). [1]
Bhatt & Scholze (2019 , §8) show that the Amitsur complex of an arc covering of perfect rings is an exact complex.
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.
In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
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 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.
The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.
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 Grothendieck to define étale cohomology, and this is still the étale topology's most well-known use.
In mathematics, the flat topology is a Grothendieck topology used in algebraic geometry. It is used to define the theory of flat cohomology; it also plays a fundamental role in the theory of descent. The term flat here comes from flat modules.
In algebraic geometry, a morphism between schemes is said to be quasi-compact if Y can be covered by open affine subschemes such that the pre-images are quasi-compact. If f is quasi-compact, then the pre-image of a quasi-compact open subscheme under f is quasi-compact.
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in 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.
In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F1, or, in a French–English pun, Fun. The name "field with one element" and the notation F1 are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F1 refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F1 have been proposed, but it is not clear which, if any, of them give F1 all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.
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.
In algebraic geometry and algebraic topology, branches of mathematics, A1homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is. The theory has seen spectacular applications such as Voevodsky's construction of the derived category of mixed motives and the proof of the Milnor and Bloch-Kato conjectures.
In algebraic geometry, the h topology is a Grothendieck topology introduced by Vladimir Voevodsky to study the homology of schemes. It combines several good properties possessed by its related "sub"topologies, such as the qfh and cdh topologies. It has subsequently been used by Beilinson to study p-adic Hodge theory, in Bhatt and Scholze's work on projectivity of the affine Grassmanian, Huber and Jörder's study of differential forms, etc.
This is a glossary of algebraic geometry.
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p.
In algebra, the Amitsur complex is a natural complex associated to a ring homomorphism. It was introduced by Shimshon Amitsur (1959). When the homomorphism is faithfully flat, the Amitsur complex is exact, which is the basis of the theory of faithfully flat descent.
In algebraic geometry, an ℓ-adic sheaf on a Noetherian scheme X is an inverse system consisting of -modules in the étale topology and inducing .
In mathematics, specifically category theory, an overcategory is a distinguished class of categories used in multiple contexts, such as with covering spaces. They were introduced as a mechanism for keeping track of data surrounding a fixed object in some category . There is a dual notion of undercategory, which is defined similarly.
Bhargav Bhatt is a mathematician who is the Fernholz Joint Professor at the Institute for Advanced Study and Princeton University and works in arithmetic geometry and commutative algebra.
Condensed mathematics is a theory developed by Dustin Clausen and Peter Scholze which aims to unify various mathematical subfields, including topology, complex geometry, and algebraic geometry.
