SearcharxivSearch

arXiv subjects

Mathieu Florence

Publications and source records attributed to Mathieu Florence.

23 records · Page 2Linked to original sources

A constructive approach to a conjecture by Voskresenskii

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.

math.AG

The Lie algebra of type G_2 is rational over its quotient by the adjoint action

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.

math.AG

The valuation criterion for normal basis generators

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.

math.NT

Géométrie birationnelle équivariante des grassmanniennes

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.

math.AG

Completely symmetric configurations for sigma-games on grid graphs

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.

math.CO