Related papers: All subterminal schemes
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…
The goal of this paper is to provide a method, based on the theory of extensions of left-symmetric algebras, for classifying left-invariant affine structures on a given solvable Lie group of low dimension. To better illustrate our method,…
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log…
Any symmetric closed subset of a finite crystallographic root system must be a closed subroot system. This is not, in general, true for real affine root systems. In this paper, we determine when this is true and also give a very explicit…
We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study…
We introduce the notion of a topological symmetry as a quantum mechanical symmetry involving a certain topological invariant. We obtain the underlying algebraic structure of the Z_2-graded uniform topological symmetries of type (1,1) and…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…
A compact classification of the projective lines defined over (commutative) rings (with unity) of all orders up to thirty-one is given. There are altogether sixty-five different types of them. For each type we introduce the total number of…
We classify subalgebras of a ring of differential operators which are big in the sense that the extension of associated graded rings is finite. We show that these subalgebras correspond, up to automorphisms, to uniformly ramified finite…
The authors classify the finite index subgroups of R. Thompson's group $F$. All such groups that are not isomorphic to $F$ are non-split extensions of finite cyclic groups by $F$. The classification describes precisely which finite index…
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
We use categorification of monoid actions to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by To\"{e}n and Vaqui\'{e}, along…
We develop a theory of simple pentagonal subdivision of quadrilateral tilings, on orientable as well as non-orientable surfaces. Then we apply the theory to answer questions related to pentagonal tilings of surfaces, especially those…
In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…
We investigate the notion of subsystem in the framework of spectral triple as a generalized notion of noncommutative submanifold. In the case of manifolds, we consider several conditions on Dirac operators which turn embedded submanifolds…
In this note, we characterize affine and non-affine Coxeter systems among all Coxeter systems in terms of the structure of their reflection orders. For an infinite irreducible system $(W,S)$, we show that affineness can be characterized in…
We analyze and compare different dynamical systems and groupoids which can be obtained from projection point patterns. We define the cohomology of a point pattern as the cocycle cohomology of the pattern groupoid. We describe this…
We observe that for a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine. Examples…
We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions…
It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type…