-
Lifting Galois representations via Kummer flags
Authors:
Andrea Conti,
Cyril Demarche,
Mathieu Florence
Abstract:
Let $Γ$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $μ_{p^2} \subset F$. We give an elementary and unified proof that every representation $ρ_1: Γ\to \mathbf{GL}_d(\mathbb{F}_p)$ lifts to a representation $ρ_2: Γ\to \mathbf{GL}_d(\mathbb{Z}/p^2)$. [In case i), it…
▽ More
Let $Γ$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $μ_{p^2} \subset F$. We give an elementary and unified proof that every representation $ρ_1: Γ\to \mathbf{GL}_d(\mathbb{F}_p)$ lifts to a representation $ρ_2: Γ\to \mathbf{GL}_d(\mathbb{Z}/p^2)$. [In case i), it is understood these are continuous.] The actual statement is much stronger: for all $r \geq 1$, under "suitable" assumptions, triangular representations $ρ_r: Γ\to \mathbf{B}_d(\mathbb{Z}/p^r)$ lift to $ρ_{r+1}: Γ\to \mathbf{B}_d(\mathbb{Z}/p^{r+1})$, in the strongest possible step-by-step sense. Here "suitable" is made precise by the concept of $\textit{Kummer flag}$. An essential aspect of this work, is to identify the common properties of groups i) and ii), that suffice to ensure the existence of such lifts.
△ Less
Submitted 2 March, 2025; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Algebraic Groups with Torsors That Are Versal for All Affine Varieties
Authors:
Uriya A. First,
Mathieu Florence,
Zev Rosengarten
Abstract:
Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 0$, there exists a $G$-torsor over a finite type $k$-scheme that is weakly versal for finite type affine…
▽ More
Let $k$ be a field and let $G$ be an affine $k$-algebraic group. Call a $G$-torsor weakly versal for a class of $k$-schemes $\mathscr{C}$ if it specializes to every $G$-torsor over a scheme in $\mathscr{C}$. A recent result of the first author, Reichstein and Williams says that for any $d\geq 0$, there exists a $G$-torsor over a finite type $k$-scheme that is weakly versal for finite type affine $k$-schemes of dimension at most $d$. The first author also observed that if $G$ is unipotent, then $G$ admits a torsor over a finite type $k$-scheme that is weakly versal for all affine $k$-schemes, and that the converse holds if $\operatorname{char} k=0$. In this work, we extend this to all fields, showing that $G$ is unipotent if and only if it admits a $G$-torsor over a quasi-compact base that is weakly versal for all finite type regular affine $k$-schemes. Our proof is characteristic-free and it also gives rise to a quantitative statement: If $G$ is a non-unipotent subgroup of $\mathbf{GL}_n$, then a $G$-torsor over a quasi-projective $k$-scheme of dimension $d$ is not weakly versal for finite type regular affine $k$-schemes of dimension $n(d+1)+2$. This means in particular that every such $G$ admits a nontrivial torsor over a regular affine $(n+2)$-dimensional variety. When $G$ contains a nontrivial torus, we show that nontrivial torsors already exist over $3$-dimensional smooth affine varieties (even when $G$ is special), and this is optimal in general.
In the course of the proof, we show that for every $m,\ell\in\mathbb{N}\cup\{0\}$ with $\ell\neq 1$, there exists a smooth affine $k$-scheme $X$ carrying an $\ell$-torsion line bundle that cannot be generated by $m$ global sections. We moreover study the minimal possible dimension of such an $X$ and show that it is $m$, $m+1$ or $m+2$.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Realisation of linear algebraic groups as automorphism groups
Authors:
Mathieu Florence
Abstract:
Let $G$ be a linear algebraic group, over a field $F$. We show that $G$ is isomorphic to the automorphism group scheme of a smooth projective $F$-variety, defined as the blow-up of a projective space, along a suitable smooth subvariety.
Let $G$ be a linear algebraic group, over a field $F$. We show that $G$ is isomorphic to the automorphism group scheme of a smooth projective $F$-variety, defined as the blow-up of a projective space, along a suitable smooth subvariety.
△ Less
Submitted 23 November, 2023; v1 submitted 7 November, 2023;
originally announced November 2023.
-
On composition of torsors
Authors:
Mathieu Florence,
Diego Izquierdo,
Giancarlo Lucchini Arteche
Abstract:
Let $K$ be a field, let $X$ be a connected smooth $K$-scheme and let $G,H$ be two smooth connected $K$-group schemes. Given $Y \to X$ a $G$-torsor and $Z \to Y$ an $H$-torsor, we study whether one can find an extension $E$ of $G$ by $H$ so that the composite $Z \to X$ is an $E$-torsor. We give both positive and negative results, depending on the nature of the groups $G$ and $H$.
Let $K$ be a field, let $X$ be a connected smooth $K$-scheme and let $G,H$ be two smooth connected $K$-group schemes. Given $Y \to X$ a $G$-torsor and $Z \to Y$ an $H$-torsor, we study whether one can find an extension $E$ of $G$ by $H$ so that the composite $Z \to X$ is an $E$-torsor. We give both positive and negative results, depending on the nature of the groups $G$ and $H$.
△ Less
Submitted 6 March, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Realisation of abelian varieties as automorphism groups
Authors:
Mathieu Florence
Abstract:
Let $A/F$ be an abelian variety over a field. Does there exist a smooth projective $F$-variety $X$, such that $A$ is isomorphic to the automorphism group scheme of $X/F$? We show that the answer is positive, if and only if $A$ has only finitely many automorphisms, over an algebraic closure of $F$. When $F=\mathbb C$, this result is due to Lombardo and Maffei. When $F$ is algebraically closed, it w…
▽ More
Let $A/F$ be an abelian variety over a field. Does there exist a smooth projective $F$-variety $X$, such that $A$ is isomorphic to the automorphism group scheme of $X/F$? We show that the answer is positive, if and only if $A$ has only finitely many automorphisms, over an algebraic closure of $F$. When $F=\mathbb C$, this result is due to Lombardo and Maffei. When $F$ is algebraically closed, it was obtained independently by Blanc and Brion.
△ Less
Submitted 12 May, 2022; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Smooth profinite groups, III: the Smoothness Theorem
Authors:
Charles De Clercq,
Mathieu Florence
Abstract:
Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new proof of the Norm Residue Isomorphism Theorem, entirely disjoint from motivic cohomology. A byproduct of this approach, is that the latter Theorem follows from…
▽ More
Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new proof of the Norm Residue Isomorphism Theorem, entirely disjoint from motivic cohomology. A byproduct of this approach, is that the latter Theorem follows from mod $p^2$ Kummer theory for fields alone. We moreover extend it, from absolute Galois groups of fields, to algebraic fundamental groups of (not necessarily smooth, nor proper) curves over algebraically closed fields.
△ Less
Submitted 18 March, 2025; v1 submitted 20 December, 2020;
originally announced December 2020.
-
Common Splitting Fields of Symbol Algebras
Authors:
Adam Chapman,
Mathieu Florence,
Kelly McKinnie
Abstract:
We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees…
▽ More
We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees $p^{m_0},\dots,p^{m_t}$ share a cyclic splitting field of degree $p^{m_0+\dots+m_t}$. This generalization recovers the known fact that every tensor product of symbol algebras is a symbol algebra. We apply a result of Tignol's to bound the symbol length of classes in $\operatorname{Br}_{p^m}(F)$ whose symbol length when embedded into $\operatorname{Br}_{p^{m+1}}(F)$ is 2 for $p\in \{2,3\}$. We also study similar situations in other Kato-Milne cohomology groups, where the necessary norm conditions for splitting exist.
△ Less
Submitted 11 May, 2022; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Smooth profinite groups, II: the Uplifting Pattern
Authors:
Mathieu Florence
Abstract:
This text presents a scheme-theoretic enhancement of the theory of smooth profinite groups and cyclotomic pairs, introduced in the paper `Smooth profinite groups, I'. To do so, our main technical tools are Hochschild cohomology of affine group schemes and lifting frobenius of vector bundles. The main contribution of this work is the Uplifting Pattern. It is a natural process, to lift a given equiv…
▽ More
This text presents a scheme-theoretic enhancement of the theory of smooth profinite groups and cyclotomic pairs, introduced in the paper `Smooth profinite groups, I'. To do so, our main technical tools are Hochschild cohomology of affine group schemes and lifting frobenius of vector bundles. The main contribution of this work is the Uplifting Pattern. It is a natural process, to lift a given equivariant extension of vector bundles, to its $\mathbf W_2$-counterpart, upon a `reasonable' combination of base-change and group-change. This is the key ingredient to prove the Smoothness Theorem, in the paper `Smooth profinite groups, III'.
△ Less
Submitted 18 March, 2025; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Smooth profinite groups, I: geometrizing Kummer theory
Authors:
Charles De Clercq,
Mathieu Florence
Abstract:
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These coefficients are enhanced, to $G$-linearized line bundles in Witt vectors, over $G$-schemes of characteristic $p$. In the second paper, this upgrade is pushed even f…
▽ More
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These coefficients are enhanced, to $G$-linearized line bundles in Witt vectors, over $G$-schemes of characteristic $p$. In the second paper, this upgrade is pushed even further, to the scheme-theoretic setting.
In this first article, we introduce cyclotomic pairs, smooth profinite groups and $(G,S)$-cohomology. We prove a first lifting theorem for $G$-linearized torsors under line bundles (Theorem A). With the help of the algebro-geometric tools developed in the second article, this formalism is applied in the third one, to prove the Smoothness Theorem, whose essence reads as follows. Let $G$ be profinite group. Assume that, for every open subgroup $H \subset G$, and for $n=1$, the natural arrow $H^n(H,\mathbb{Z}/p^2) \to H^n(H,\mathbb{Z}/p)$ is surjective. Then, it is also surjective for every such $H$, and every $n \geq 2$. Applied to absolute Galois groups, the Smoothness Theorem provides a new proof of the Norm Residue Isomorphism Theorem, entirely disjoint from motivic cohomology.
△ Less
Submitted 18 March, 2025; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Residues on Affine Grassmannians
Authors:
Mathieu Florence,
Philippe Gille
Abstract:
Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative group iff G(k[[t]])= G(k((t))). In the case of a reductive group, we offer an explicit connection with the theory of affine grassmannians.
Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative group iff G(k[[t]])= G(k((t))). In the case of a reductive group, we offer an explicit connection with the theory of affine grassmannians.
△ Less
Submitted 8 February, 2021; v1 submitted 31 October, 2019;
originally announced October 2019.
-
On extensions of algebraic groups
Authors:
Mathieu Florence,
Giancarlo Lucchini Arteche
Abstract:
We extend to the context of algebraic groups a classic result on extensions of abstract groups relating the set of isomorphism classes of extensions of $G$ by $H$ with that of extensions of $G$ by the center $Z$ of $H$. The proof should be easily generalizable to other contexts. We also study the subset of classes of split extensions and give a quick application by proving a finiteness result on t…
▽ More
We extend to the context of algebraic groups a classic result on extensions of abstract groups relating the set of isomorphism classes of extensions of $G$ by $H$ with that of extensions of $G$ by the center $Z$ of $H$. The proof should be easily generalizable to other contexts. We also study the subset of classes of split extensions and give a quick application by proving a finiteness result on these sets over a finite field.
△ Less
Submitted 28 January, 2020; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Lifting low-dimensional local systems
Authors:
Charles De Clercq,
Mathieu Florence
Abstract:
Let $k$ be a field of characteristic $p>0$. Denote by $W_r(k)$ the ring of truntacted Witt vectors of length $r \geq 2$, built out of $k$. In this text, we consider the following question, depending on a given profinite group $G$.
$Q(G)$: Does every (continuous) representation $G\longrightarrow GL_d(k)$ lift to a representation $G\longrightarrow GL_d(W_r(k))$?
We work in the class of cyclotomi…
▽ More
Let $k$ be a field of characteristic $p>0$. Denote by $W_r(k)$ the ring of truntacted Witt vectors of length $r \geq 2$, built out of $k$. In this text, we consider the following question, depending on a given profinite group $G$.
$Q(G)$: Does every (continuous) representation $G\longrightarrow GL_d(k)$ lift to a representation $G\longrightarrow GL_d(W_r(k))$?
We work in the class of cyclotomic pairs (Definition 4.3), first introduced in [DCF] under the name "smooth profinite groups". Using Grothendieck-Hilbert' theorem 90, we show that the algebraic fundamental groups of the following schemes are cyclotomic: spectra of semilocal rings over $\mathbb{Z}[\frac{1}{p}]$, smooth curves over algebraically closed fields, and affine schemes over $\mathbb{F}_p$. In particular, absolute Galois groups of fields fit into this class. We then give a positive partial answer to $Q(G)$, for a cyclotomic profinite group $G$: the answer is positive, when $d=2$ and $r=2$. When $d=2$ and $r=\infty$, we show that any $2$-dimensional representation of $G$ stably lifts to a representation over $W(k)$: see Theorem 6.1. \\When $p=2$ and $k=\mathbb{F}_2$, we prove the same results, up to dimension $d=4$.
We then give a concrete application to algebraic geometry: we prove that local systems of low dimension lift Zariski-locally (Corollary 6.3).
△ Less
Submitted 23 May, 2021; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Lifting vector bundles to Witt vector bundles
Authors:
Charles De Clercq,
Mathieu Florence,
Giancarlo Lucchini Arteche
Abstract:
Let $X$ be a scheme. Let $r \geq 2$ be an integer. Denote by $W_r(X)$ the scheme of Witt vectors of length $r$, built out of $X$. We are concerned with the question of extending (=lifting) vector bundles on $X$, to vector bundles on $W_r(X)$-promoting a systematic use of Witt modules and Witt vector bundles. To begin with, we investigate two elementary but significant cases, in which the answer to…
▽ More
Let $X$ be a scheme. Let $r \geq 2$ be an integer. Denote by $W_r(X)$ the scheme of Witt vectors of length $r$, built out of $X$. We are concerned with the question of extending (=lifting) vector bundles on $X$, to vector bundles on $W_r(X)$-promoting a systematic use of Witt modules and Witt vector bundles. To begin with, we investigate two elementary but significant cases, in which the answer to this question is positive: line bundles, and the tautological vector bundle of a projective bundle over an affine base. We then offer a simple (re)formulation of classical results in deformation theory of smooth varieties over a field $k$ of characteristic $p>0$, and extend them to reduced $k$-schemes. Some of these results were recently recovered, in another form, by Stefan Schröer. As an application, we prove that the tautological vector bundle of the Grassmannian $Gr_{\mathbb{F}_p}(m,n)$ does not extend to $W_2(Gr_{\mathbb{F}_p}(m,n))$, if $2 \leq m \leq n-2$. To conclude, we establish a connection to the work of Zdanowicz, on non-liftability of some projective bundles.
△ Less
Submitted 15 October, 2023; v1 submitted 12 July, 2018;
originally announced July 2018.
-
Splitting families in Galois cohomology
Authors:
Cyril Demarche,
Mathieu Florence
Abstract:
Let $k$ be a field, with absolute Galois group $Γ$. Let $A/k$ be a finite étale group scheme of multiplicative type, i.e. a discrete $Γ$-module. Let $n \geq 2$ be an integer, and let $x \in H^n(k,A)$ be a cohomology class. We show that there exists a countable set $I$, and a familiy $(X_i)_{i \in I}$ of (smooth, geometrically integral) $k$-varieties, such that the following holds. For any field ex…
▽ More
Let $k$ be a field, with absolute Galois group $Γ$. Let $A/k$ be a finite étale group scheme of multiplicative type, i.e. a discrete $Γ$-module. Let $n \geq 2$ be an integer, and let $x \in H^n(k,A)$ be a cohomology class. We show that there exists a countable set $I$, and a familiy $(X_i)_{i \in I}$ of (smooth, geometrically integral) $k$-varieties, such that the following holds. For any field extension $l/k$, the restriction of $x$ vanishes in $H^n(l,A)$ if and only if (at least) one of the $X_i$'s has an $l$-point. We moreover show that the $X_i$'s can be made into an ind-variety. In the case $n=2$, we note that one variety is enough.
△ Less
Submitted 29 March, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
Lifting Theorems and Smooth Profinite Groups
Authors:
C. De Clercq,
M. Florence
Abstract:
This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to further applications. Let p be a prime number. Let k be a perfect field of characteristic p. Let m be a positive integer. Our first goal is to provide a canonic…
▽ More
This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to further applications. Let p be a prime number. Let k be a perfect field of characteristic p. Let m be a positive integer. Our first goal is to provide a canonical process for "lifting" a module M, over the ring of Witt vectors $W_m(k)$ (of length m), to a $W_{m+1}(k)$-module, in a way that deeply respects Pontryagin duality. These are our big, medium and small Omega powers, each of which naturally occurs as a direct factor of the previous one. In the case where M is a k-vector space, they come equipped with Verschiebung and Frobenius operations. If moreover the field k is finite, Omega powers are endowed with a striking extra operation: the Transfer, to shifted Omega powers of finite-codimensional linear subspaces. To show how this formalism fits into Galois theory, we first offer an axiomatized approach to Hilbert's Theorem 90 (or more precisely, to its consequence for cohomology with finite coefficients: Kummer theory). In the context of profinite group cohomology, we thus define the notions a cyclotomic G-module, and of a smooth profinite group. We bear in mind that the fundamental example is that of an absolute Galois group, together with the Tate module of roots of unity. We then define the notion of exact sequences of G-modules of Kummer type. To finish, we give applications of this formalism. The first ones are the Stable Lifting Theorems, enabling the lifting to higher torsion in the cohomology of smooth profinite groups, with p-primary coefficients. We finish by an application to p-adic deformations. We state and prove a general descent statement, for the quotient map $\mathbb{Z}/p^2\mathbb{Z}\rightarrow\mathbb{Z}/p\mathbb{Z}$.
△ Less
Submitted 29 October, 2017;
originally announced October 2017.
-
The rationality problem for forms of $\overline{M_{0, n}}$
Authors:
Mathieu Florence,
Zinovy Reichstein
Abstract:
Let $X$ be a del Pezzo surface of degree $5$ defined over a field $F$. A theorem of Yu. I. Manin and P. Swinnerton-Dyer asserts that every Del Pezzo surface of degree $5$ is rational. In this paper we generalize this result as follows. Recall that del Pezzo surfaces of degree $5$ over a field $F$ are precisely the twisted $F$-forms of the moduli space $\overline{M_{0, 5}}$ of stable curves of genu…
▽ More
Let $X$ be a del Pezzo surface of degree $5$ defined over a field $F$. A theorem of Yu. I. Manin and P. Swinnerton-Dyer asserts that every Del Pezzo surface of degree $5$ is rational. In this paper we generalize this result as follows. Recall that del Pezzo surfaces of degree $5$ over a field $F$ are precisely the twisted $F$-forms of the moduli space $\overline{M_{0, 5}}$ of stable curves of genus $0$ with $5$ marked points. Suppose $n \geq 5$ is an integer, and $F$ is an infinite field of characteristic $\neq 2$. It is easy to see that every twisted $F$-form of $\overline{M_{0, n}}$ is unirational over $F$. We show that
(a) if $n$ is odd, then every twisted $F$-form of $\overline{M_{0, n}}$ is rational over $F$.
(b) If $n$ is even, there exists a field extension $F/k$ and a twisted $F$-form $X$ of $\overline{M_{0, n}}$ such that $X$ is not retract rational over $F$.
△ Less
Submitted 17 September, 2017;
originally announced September 2017.
-
On the rationality problem for forms of moduli spaces of stable marked curves of positive genus
Authors:
Mathieu Florence,
Norbert Hoffmann,
Zinovy Reichstein
Abstract:
Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas asse…
▽ More
Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not $M_{g, n}$ (or equivalently, $\overline{M_{g, n}}$) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that $M_{g, n}$ is not unirational for any $n \geqslant 0$ if $g \geqslant 22$. Moreover, P. Belorousski and A. Logan showed that $M_{g, n}$ is unirational for only finitely many pairs $(g, n)$ with $g \geqslant 1$. Finding the precise range of pairs $(g, n)$, where $M_{g, n}$ is rational, stably rational or unirational, is a problem of ongoing interest. In this paper we address the rationality problem for twisted forms of $\overline{M_{g, n}}$ defined over an arbitrary field $F$ of characteristic $\neq 2$. We show that all $F$-forms of $\overline{M_{g, n}}$ are stably rational for $g = 1$ and $3 \leqslant n \leqslant 4$, $g = 2$ and $2 \leqslant n \leqslant 3$, $g = 3$ and $1 \leqslant n \leqslant 14$, $g = 4$ and $1 \leqslant n \leqslant 9$, $g = 5$ and $1 \leqslant n \leqslant 12$.
△ Less
Submitted 10 April, 2020; v1 submitted 17 September, 2017;
originally announced September 2017.
-
A constructive approach to a conjecture by Voskresenskii
Authors:
Mathieu Florence,
Michel van Garrel
Abstract:
Voskresenskii conjectured that stably rational tori are rational. Klyachko proved this assertion for a wide class of tori by general principles. We re-prove Klyachko's result by providing simple explicit birational isomorphisms, and elaborate on some links to torus-based cryptography.
Voskresenskii conjectured that stably rational tori are rational. Klyachko proved this assertion for a wide class of tori by general principles. We re-prove Klyachko's result by providing simple explicit birational isomorphisms, and elaborate on some links to torus-based cryptography.
△ Less
Submitted 18 April, 2017; v1 submitted 21 August, 2016;
originally announced August 2016.
-
The Lie algebra of type G_2 is rational over its quotient by the adjoint action
Authors:
Dave Anderson,
Mathieu Florence,
Zinovy Reichstein
Abstract:
Let G be a split simple group of type G_2 over a field k, and let g be its Lie algebra. Answering a question of Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein, we show that the function field k(g) is generated by algebraically independent elements over the field of adjoint invariants k(g)^G.
Soit G un groupe algébrique simple et déployé de type G_2 sur un corps k. Soit g son algèbre de Lie.…
▽ More
Let G be a split simple group of type G_2 over a field k, and let g be its Lie algebra. Answering a question of Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein, we show that the function field k(g) is generated by algebraically independent elements over the field of adjoint invariants k(g)^G.
Soit G un groupe algébrique simple et déployé de type G_2 sur un corps k. Soit g son algèbre de Lie. On démontre que le corps des fonctions k(g) est transcendant pur sur le corps k(g)^G des invariants adjoints. Ceci répond par l'affirmative à une question posée par Colliot-Thélène, Kunyavskiĭ, Popov et Reichstein.
△ Less
Submitted 24 October, 2013; v1 submitted 27 August, 2013;
originally announced August 2013.
-
The valuation criterion for normal basis generators
Authors:
Bart de Smit,
Mathieu Florence,
Lara Thomas
Abstract:
If $L/K$ is a finite Galois extension of local fields, we say that the valuation criterion $VC(L/K)$ holds if there is an integer $d$ such that every element $x \in L$ with valuation $d$ generates a normal basis for $L/K$. Answering a question of Byott and Elder, we first prove that $VC(L/K)$ holds if and only if the tamely ramified part of the extension $L/K$ is trivial and every non-zero $K[G]$-…
▽ More
If $L/K$ is a finite Galois extension of local fields, we say that the valuation criterion $VC(L/K)$ holds if there is an integer $d$ such that every element $x \in L$ with valuation $d$ generates a normal basis for $L/K$. Answering a question of Byott and Elder, we first prove that $VC(L/K)$ holds if and only if the tamely ramified part of the extension $L/K$ is trivial and every non-zero $K[G]$-submodule of $L$ contains a unit. Moreover, the integer $d$ can take one value modulo $[L:K]$ only, namely $-d_{L/K}-1$, where $d_{L/K}$ is the valuation of the different of $L/K$. When $K$ has positive characteristic, we thus recover a recent result of Elder and Thomas, proving that $VC(L/K)$ is valid for all extensions $L/K$ in this context. When $\char{\;K}=0$, we identify all abelian extensions $L/K$ for which $VC(L/K)$ is true, using algebraic arguments. These extensions are determined by the behaviour of their cyclic Kummer subextensions.
△ Less
Submitted 14 April, 2010;
originally announced April 2010.
-
Géométrie birationnelle équivariante des grassmanniennes
Authors:
Mathieu Florence
Abstract:
Let k be a field, and A a finite-dimensional k-algebra. Let d be an integer. Denote by Gr(d,A) the Grassmannian of d-subspaces of A (viewed as a k-vector space), and by GL_1(A) the algebraic k-group whose points are invertible elements of A. The group GL_1(A) acts naturally on Gr(d,A) (by the formula g.E=gE). The aim of this paper is to study some birational properties of this action. More preci…
▽ More
Let k be a field, and A a finite-dimensional k-algebra. Let d be an integer. Denote by Gr(d,A) the Grassmannian of d-subspaces of A (viewed as a k-vector space), and by GL_1(A) the algebraic k-group whose points are invertible elements of A. The group GL_1(A) acts naturally on Gr(d,A) (by the formula g.E=gE). The aim of this paper is to study some birational properties of this action. More precisely, let r be the gcd of d and dim(A). Under some hypothesis on A (satisfied if A/k is étale), I show that the variety Gr(d,A) is birationally and GL_1(A)-equivariantly isomorphic to the product of Gr(r,A) by a projective space (on which GL_1(A) acts trivially). By twisting, this result has some corollaries in the theory of central simple algebras. For instance, let B and C be two central simple algebras over k, of coprime degrees. Then the Severi-Brauer variety SB(B \otimes C) is birational to the product of SB(B) \times SB(C) by an affine space of the correct dimension. These corollaries are in the spirit of Krashen's generalized version of Amitsur's conjecture.
△ Less
Submitted 26 January, 2010;
originally announced January 2010.
-
Completely symmetric configurations for sigma-games on grid graphs
Authors:
Mathieu Florence,
Frédéric Meunier
Abstract:
The paper deals with sigma-games on grid graphs (in dimension 2 and more) and conditions under which any completely symmetric configuration of lit vertices can be reached -- in particular the completely lit configuration -- when starting with the all-unlit configuration. The answer is complete in dimension 2. In dimension greater than or equal to 3, the answer is complete for the sigma^+ -game,…
▽ More
The paper deals with sigma-games on grid graphs (in dimension 2 and more) and conditions under which any completely symmetric configuration of lit vertices can be reached -- in particular the completely lit configuration -- when starting with the all-unlit configuration. The answer is complete in dimension 2. In dimension greater than or equal to 3, the answer is complete for the sigma^+ -game, and for the sigma^- -game if at least one of the sizes is even. The case sigma^-, dimension greater than or equal to 3 and all sizes odd remains open.
△ Less
Submitted 3 March, 2009; v1 submitted 2 March, 2009;
originally announced March 2009.
