Showing 1–13 of 13 results for author: Tossici, D

Unexpected subgroup schemes of PGL_{2,k} in characteristic 2

Authors: Bianca Gouthier, Dajano Tossici

Abstract: 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. 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. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 9 pages

MSC Class: 14L15; 14L30

Special groups, versality and the Grothendieck-Serre conjecture

Authors: Zinovy Reichstein, Dajano Tossici

Abstract: 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 t… ▽ More 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. △ Less

Submitted 27 April, 2020; v1 submitted 17 December, 2019; originally announced December 2019.

Comments: 15 pages. Presentation has been improved. To appear in Documenta Mathematica

Smooth affine group schemes over the dual numbers

Authors: Matthieu Romagny, Dajano Tossici

Abstract: 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 give… ▽ More 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]$. △ Less

Submitted 22 June, 2019; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 38 pages. Accepted in Epiga, final version

Essential dimension of infinitesimal unipotent group schemes

Authors: Dajano Tossici

Abstract: 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. 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. △ Less

Submitted 3 September, 2017; originally announced September 2017.

Comments: 7 pages. This was originally the last section of arXiv:1602.07187v1. We added the (conditional) essential dimension of abelian varieties in positive characteristic

MSC Class: 14L15; 14L30

Essential dimension of group schemes over a local scheme

Authors: Dajano Tossici

Abstract: 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 essentia… ▽ More 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. △ Less

Submitted 7 September, 2017; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 22 pages. It has been removed the last section, which is now arXiv:1709.00677. To appear in Journal of Algebra

MSC Class: 14L15; 14L30

Models of the group schemes of roots of unity

Authors: Ariane Mézard, Matthieu Romagny, Dajano Tossici

Abstract: 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… ▽ More 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. △ Less

Submitted 14 January, 2013; v1 submitted 12 April, 2011; originally announced April 2011.

Comments: 63 pages, final version, minor changes. To appear in Annales de l'Institut Fourier

MSC Class: 14L15 (primary); 13F35; 14G20 (secondary)

Sekiguchi-Suwa theory revisited

Authors: Ariane Mézard, Matthieu Romagny, Dajano Tossici

Abstract: 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. 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. △ Less

Submitted 12 April, 2011; originally announced April 2011.

Comments: 29 pages

MSC Class: 14L15 (primary); 13F35 (secondary)

On some notions of good reduction for endomorphisms of the projective line

Authors: Jung Kyu Canci, Giulio Peruginelli, Dajano Tossici

Abstract: 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… ▽ More 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$. △ Less

Submitted 20 March, 2011; originally announced March 2011.

Comments: 15 pages

MSC Class: 14H25; 37P05; 37P35

On the essential dimension of infinitesimal group schemes

Authors: Dajano Tossici, Angelo Vistoli

Abstract: 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… ▽ More 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. △ Less

Submitted 25 October, 2010; v1 submitted 22 January, 2010; originally announced January 2010.

Comments: 11 pages; proof of Theorem 1.2 slightly changed; improved the exposition in section 4 and added Proposition 4.3. Accepted for publication in The American Journal of Mathematics

MSC Class: 14L20; 14L30

Models of mu_{p^2,K} over a discrete valuation ring

Authors: Dajano Tossici, Xavier Caruso

Abstract: 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… ▽ More 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. △ Less

Submitted 9 January, 2010; originally announced January 2010.

Comments: 38 pages. This paper replaces the previous preprint "Models over a d.v.r. of unequal caracteristic" arXiv:0803.3702. To appear on Journal of Algebra

MSC Class: 14L15; 11F85

Effective models and extension of torsors over a discrete valuation ring of unequal characteristic

Authors: Dajano Tossici

Abstract: 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, thr… ▽ More 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. △ Less

Submitted 19 October, 2008; v1 submitted 26 March, 2008; originally announced March 2008.

Comments: 40 pages, final version, corrected and improved some statements in the sections 4,5,6 and 7

MSC Class: 14L15; 14L30; 11G25

Journal ref: Internat. Math. Res. Not. (2008); Vol. 2008, article ID:rnn111, 68 pages

Models of Z/p^2 Z over a d.v.r. of unequal characteristic

Authors: Dajano Tossici

Abstract: 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 generic… ▽ More 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. △ Less

Submitted 26 March, 2008; originally announced March 2008.

Comments: 40 pages

MSC Class: 14L15

Nonisotrivial families over curves with fixed point free automorphisms

Authors: Dajano Tossici, Francesca Vetro

Abstract: 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. 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. △ Less

Submitted 22 September, 2005; v1 submitted 6 September, 2005; originally announced September 2005.

Comments: 13 pages.A not expected logo of Transaction of Ams has accidentally appeared on the first page for a few days (till 14 September when they noticed the logo and they removed it). So it has been withdrawn in sign of respect towards Transaction of Ams and Le Matematiche of Catania where the paper has been sent

MSC Class: 14H10; 14H37