Related papers: Affine models for Noetherian schemes
Classical affine Lie algebras appear e.g. as symmetries of infinite dimensional integrable systems and are related to certain differential equations. They are central extensions of current algebras associated to finite-dimensional Lie…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We study what we call quasi-spline sheaves over locally Noetherian schemes. This is done with the intention of considering splines from the point of view of moduli theory. In other words, we study the way in which certain objects that arise…
In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive…
For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…
We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
We construct a group structure on the set of pointed naive homotopy classes of scheme morphisms from the Jouanolou device to the projective line. The group operation is defined via matrix multiplication on generating sections of line…
Let $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed…
We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…
Let $S$ be a locally Noetherian normal scheme and $\blacklozenge/S$ a set of properties of $S$-schemes. Then we shall write Sch$_{\blacklozenge/S}$ for the full subcategory of the category of $S$-schemes Sch$_{/S}$ determined by the objects…
The notion of $1$-affineness was originally formulated by Gaitsgory in the context of derived algebraic geometry. Motivated by applications to rigid and analytic geometry, we introduce two very general and abstract frameworks where it makes…
We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…
We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates…
Let X be a flexible variety of F be an isomorphism of closed one-dimensional subschemes of $X$. We develop criteria which guarantee that F extends to au automorphism of X.
We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.
If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving…
Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…
We introduce the notion of a poset scheme and study the categories of quasi-coherent sheaves on such spaces. We then show that smooth poset schemes may be used to obtain categorical resolutions of singularities for usual singular schemes.…