arXiv subjects
Publications and source records attributed to Dajano Tossici.
If the characteristic of a field $k$ is odd any infinitesimal group scheme of $PGL_{2,k}$ lifts to $SL_{2,k}$. In this paper, we prove that this is not true in characteristic $2$ and we give a complete description, up to isomorphism, of infinitesimal unipotent subgroup schemes of $PGL_{2,k}$. Also, the infinitesimal trigonalizable case is considered.
Let $k$ be a base field and $G$ be an algebraic group over $k$. J.-P. Serre defined $G$ to be special if every $G$-torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$. In recent papers an a priori weaker condition is used: $G$ is called special if every $G$-torsor $T \to Spec(K)$ is split for every field $K$ containing $k$. We show that these two definitions are equivalent. We also generalize this fact and propose a strengthened version of the Grothendieck-Serre conjecture based on the notion of essential dimension.
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G \rightarrow 1$ where G is an affine, smooth group scheme over k. Here k is an arbitrary commutative ring and $k[I] = k \oplus I$ with $I^2 = 0$. The equivalence is given by Weil restriction, and we provide a quasi-inverse which we call Weil extension. It is compatible with the exact structures and the $\mathbb{O}_k$-module stack structures on both categories. Our constructions rely on the use of the group algebra scheme of an affine group scheme; we introduce this object and establish its main properties. As an application, we establish a Dieudonné classification for smooth, commutative, unipotent group schemes over $k[I]$.
In this paper we develop the theory of essential dimension of group schemes over an integral base. Shortly we concentrate over a local base. As a consequence of our theory we give a result of invariance of the essential dimension over a field. The case of group schemes over a discrete valuation ring is discussed. Moreover we propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in positive characteristic, for finite commutative unipotent group schemes. And we show some results and some consequences of this new conjecture.
We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new conjecture.
Let O_K be a discrete valuation ring of mixed characteristics (0,p), with residue field k. Using work of Sekiguchi and Suwa, we construct some finite flat O_K-models of the group scheme μ_{p^n,K} of p^n-th roots of unity, which we call Kummer group schemes. We set carefully the general framework and algebraic properties of this construction. When k is perfect and O_K is a complete totally ramified extension of the ring of Witt vectors W(k), we provide a parallel study of the Breuil-Kisin modules of finite flat models of μ_{p^n,K}, in such a way that the construction of Kummer groups and Breuil-Kisin modules can be compared. We compute these objects for n < 4. This leads us to conjecture that all finite flat models of μ_{p^n,K} are Kummer group schemes.
We present an account of the construction by S. Sekiguchi and N. Suwa of a cyclic isogeny of affine smooth group schemes unifying the Kummer and Artin-Schreier-Witt isogenies. We complete the construction over an arbitrary base ring. We extend the statements of some results in a form adapted to a further investigation of the models of the group schemes of roots of unity.
Let $Φ$ be an endomorphism of $\SR(\bar{\Q})$, the projective line over the algebraic closure of $\Q$, of degree $\geq2$ defined over a number field $K$. Let $v$ be a non-archimedean valuation of $K$. We say that $Φ$ has critically good reduction at $v$ if any pair of distinct ramification points of $Φ$ do not collide under reduction modulo $v$ and the same holds for any pair of branch points. We say that $Φ$ has simple good reduction at $v$ if the map $Φ_v$, the reduction of $Φ$ modulo $v$, has the same degree of $Φ$. We prove that if $Φ$ has critically good reduction at $v$ and the reduction map $Φ_v$ is separable, then $Φ$ has simple good reduction at $v$.
We discuss essential dimension of group schemes, with particular attention to infinitesimal group schemes. We prove that the essential dimension of a group scheme of finite type over a field k is at least equal to the difference between the dimension of its Lie algebra and its dimension. Furthermore, we show that the essential dimension of a trigonalizable group scheme of length p^{n} over a field of characteristic p>0 is at most n. We give several examples.
Let R be a discrete valuation ring with residue field of characteristic p>0. Let K be its fraction field. We prove that any finite and flat R-group scheme, isomorphic to μ_{p^2,K} on the generic fiber, is the kernel in a short exact sequence which generically coincides with the Kummer sequence. We will explicitly describe and classify such models. In the appendix X. Caruso shows how to classify models of μ_{p^2,K}, in the case of unequal characteristic, using the Breuil-Kisin theory.
Let R be a discrete valuation ring of unequal characteristic with fraction field K which contains a primitive p^2-th root of unity. Let X be a faithfully flat R-scheme and G be a finite abstract group. Let us consider a G-torsor Y_K\to X_K and let Y be the normalization of X_K in Y. If G=Z/p^n Z, n<3, under some hypothesis on X, we attach some invariants to Y_K \to X_K. If p>2, we determine, through these invariants, when Y\to X has a structure of torsor which extends that of Y_K\to X_K. Moreover we explicitly calculate the effective model (defined by Romagny) of the action of G on Y.
Let R be a discrete valuation ring of unequal characteristic which contains a primitive p^2-th root of unity. If K is the fraction field of R, it is well known that (Z/p^2 Z)_K is isomorphic to μ_{p^2,K}. We prove that any finite and flat R-group scheme of order p^2 isomorphic to (Z/p^2 Z)_K on the generic fiber (i.e. a model of (Z/p^2 Z)_K), is the kernel in a short exact sequence which generically coincides with the Kummer sequence. We will explicitly describe and classify such models.
We construct for any smooth projective curve of genus $q\ge 2$ with a fixed point free automorphism a nonisotrivial family of curves. Moreover we study the space of modular curves and that of parameters.