A theorem of B. Green states that if A is a Dedekind ring whose fraction field is a local or global field, every normal projective curve over Spec(A) has a finite morphism to P^1_A. We give a different proof of a variant of this result using intersection theory and work of Moret-Bailly.
Let $G$, $G_1$ and $G_2$ be quasi-finite and flat group schemes over a complete discrete valuation ring $R$, $φ_1:G\to G_1$ any morphism of $R$-group schemes and $φ_2:G\to G_2$ a model map. We construct the pushout $P$ of $G_1$ and $G_2$ over $G$ in the category of $R$-affine group schemes. In particular when $φ_1$ is a model map too we show that $P$ is still a model of the generic fibre of $G$. We also provide a short proof for the existence of cokernels and quotients of finite and flat group schemes over any Dedekind ring.
For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semis…
We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality due to Saavedra to study morphisms between flat affine group schemes. Next, we apply our new duality to the category of stratified sheaves on a smooth scheme over a Dedekind ring R to define the relative differential fundamental group scheme of the given scheme and compare the fibers of this group scheme with the fundamental group scheme of the fibers. When R …
We develop properties of unramified, étale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our results hold for any valued field, rings of integers of a number field and discrete valuation rings. Those cases are treated by a unified way.
Recently, the author defined multiple Dedekind zeta values [5] associated to a number K field and a cone C. These objects are number theoretic analogues of multiple zeta values. In this paper we prove that every multiple Dedekind zeta value over any number field K is a period of a mixed Tate motive. Moreover, if K is a totally real number field, then we can choose a cone C so that every multiple Dedekind zeta associated to the pair (K;C) is unramified over the ring of algebraic integers in K. In [7], the author proves similar statements in the special case of a real quadratic fields for a part…
We show that $\mathbb{A}^1$-localization decreases the Nisnevich-stalkwise connectivity by at most one over a Dedekind scheme with infinite residue fields. For the proof, we establish a Nisnevich-local version of Gabber's geometric presentation lemma over a henselian discrete valuation ring with infinite residue field.
Recently, the author defined multiple Dedekind zeta values \cite{MDZF} associated to a number $K$ field and a cone $C$. In this paper we construct explicitly non-trivial examples of mixed Tate motives over the ring of integers in $K$, for a real quadratic number field $K$ and a particular cone C. The period of such a motive is a multiple Dedekind zeta values at $(s_1,s_2)=(1,2)$, associated to the pair $(K;C)$, times a nonzero element of $K$.
Eventually after Dieudonné-Grothendieck, we give intrinsic definitions of étale, lisse and non-ramifié morphisms for general adic rings and general locally convex rings. And we investigate the corresponding étale-like, lisse-like and non-ramifié-like morphisms for general $\infty$-Banach, $\infty$-Borné and $\infty$-ind-Fréchet $\infty$-rings and $\infty$-functors into $\infty$-groupoid (as in the work of Bambozzi-Ben-Bassat-Kremnizer) in some intrinsic way by using the corresponding infinitesimal stacks and crystalline stacks. The two directions of generalization will intersect at Huber's boo…
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite dimensional representations.
We establish that the extended Robba rings associated to a perfect nonarchimedean field of characteristic p, which arise in p-adic Hodge theory as certain completed localizations of the ring of Witt vectors, are strongly noetherian Banach rings; that is, the completed polynomial ring in any number of variables over such a Banach ring is noetherian. This enables Huber's theory of adic spaces to be applied to such rings. We also establish that rational localizations of these rings are principal ideal domains and that etale covers of these rings (in the sense of Huber) are Dedekind domains.
We extend the Cox-Hu-Keel construction of the Cox rings to any proper birational morphisms of normal noetherian schemes. It allows the representation of any proper birational morphism by a map of schemes with mild singularities with torus actions. In a particular case, the notion generalizes the combinatorial construction of Satriano and the recent construction of multiple weighted blow-ups on Artin-stacks by Abramovich-Quek. The latter can be viewed as an extension of stack theoretic blow-ups by Abramovich, Temkin, and Wlodarczyk, a similar construction of McQuillan and the author's recent co…
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that …
Let $S$ be a connected Dedekind scheme and $X$ an $S$-scheme provided with a section $x$. We prove that the morphism of fundamental group schemes $π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}})$ induced by the canonical morphism from $X$ to its Albanese scheme $\mathbf{Alb}_{X/S}$ (when the latter exists) fits in an exact sequence of group schemes $0\to (\mathbf{NS}^τ_{X/S})^{\vee}\to π_1(X,x)^{ab}\to π_1(\mathbf{Alb}_{X/S},0_{\mathbf{Alb}_{X/S}}) \to 0$ where the kernel is a finite and flat $S$-group scheme. Furthermore we prove that any finite and commutative quotient pointe…
We introduce the notion of a separator for a morphism of schemes f:T\to S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some affine covering more, in order to make the scheme separated. When f is quasi-separated, its separator exists if and only if the schematic closure of the diagonal projects on both factors by flat morphisms of finite type. In particular, f admits a separator if T is Noetherian Dedekind and S=Spec(Z), or if f is étale of finite presentation and S is normal. Any…
We show a conditional exactness statement for the Nisnevich Gersten complex associated to an $\mathbb{A}^1$-invariant cohomology theory with Nisnevich descent for smooth schemes over a Dedekind ring with only infinite residue fields. As an application we derive a Nisnevich analogue of the Bloch-Ogus theorem for étale cohomology over a henselian discrete valuation ring with infinite residue field.
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed space, endowed with a finite open covering, produces a ringed finite space. We introduce the notions of schematic finite space and schematic morphism, showing that they behave, with respect to quasi-coherence, like schemes and morphisms of schemes do. Finally, we construct a fully faithful and essentially surjective functor from a localization of a full subc…
We prove a generalization of Gabrielov's rank theorem for families of rings of power series which we call W-temperate. Examples include the families of complex analytic functions and of Eisenstein series. As a Corollary, we provide rank Theorems for convergent series in general characteristic zero complete valued fields (not necessarily algebraically closed, nor archimedean).
We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$. Using our methods, we also reduce the general Gersten conjecture for regular, unramified local rings to the case of a discrete valuation ring which is essentially smooth over $\mathbb{Z}$. We apply our results to the the theory of algebraic cycles --- globally to obtain relative versions of Bloch's Formula and locally to address the Claborn-Fossum Conjectur…
The first part of this paper is a refinement of Winkelmann's work on invariant rings and quotients of algebraic groups actions on affine varieties, where we take a more geometric point of view. We show that the (algebraic) quotient $X/\!/\!G$ given by the possibly not finitely generated ring of invariants is "almost" an algebraic variety, and that the quotient morphism $π\colon X \to X/\!/\! G$ has a number of nice properties. One of the main difficulties comes from the fact that the quotient morphism is not necessarily surjective. These general results are then refined for actions of the addi…
Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$, considered as graded $R^{p^r}$-module, for $r \geq 2$. This is a companion paper to our earlier paper, where the case $r=1$ was treated, and taken together, our results imply that $R$ has finite F-representation type (FFRT). Though it is expected that all rings of invariants for reductive groups have FFRT, ours is the first non-trivial example of such a ring f…
In this paper it is established that all two-dimensional polynomial automorphisms over a regular ring R are stably tame. In the case R is a Dedekind Q-algebra, some stronger results are obtained. A key element in the proof is a theorem which yields the following corollary: Over an Artinian ring A all two-dimensional polynomial automorphisms having Jacobian determinant one are stably tame, and are tame if A is a Q-algebra. Another crucial ingredient, of interest in itself, is that stable tameness is a local property: If an automorphism is locally tame, then it is stably tame.
Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms, and the existence of hypersurfaces in X/S containing a given closed subscheme C, and intersecting properly a closed set F. Assume now that the base S is the spectrum of a ring R such that for any finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied if…
We reconstruct hermitian K-theory via algebraic symplectic cobordism. In the motivic stable homotopy category SH(S) there is a unique morphism g : MSp -> BO of commutative ring T- spectra which sends the Thom class th^{MSp} to the Thom class th^{BO}. We show that the induced morphism of bigraded cohomology theories MSp^{*,*} -> BO^{*,*} is isomorphic to the morphism of bigraded cohomology theories obtained by applying to MSp^{*,*} the "change of (simply graded) coefficients rings" MSp^{4*,2*} -> BO^{4*,2*}. This is an algebraic version of the theorem of Conner and Floyd reconstructing real K-t…
