Source author record

Mathieu Florence

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
5topics
4close collaborators

Published work

7 publications

preprint2022arXiv

Common Splitting Fields of Symbol Algebras

We study the common splitting fields of symbol algebras of degree pmp^m over fields FF of char⁡(F)=p\operatorname{char}(F)=p. We first show that if any finite number of such algebras share a degree pmp^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 pm0,…,pmtp^{m_0},\dots,p^{m_t} share a cyclic splitting field of degree pm0+⋯+mtp^{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 Br⁡pm(F)\operatorname{Br}_{p^m}(F) whose symbol length when embedded into Br⁡pm+1(F)\operatorname{Br}_{p^{m+1}}(F) is 2 for p∈{2,3}p\in \{2,3\}. We also study similar situations in other Kato-Milne cohomology groups, where the necessary norm conditions for splitting exist.

preprint2022arXiv

Realisation of abelian varieties as automorphism groups

Let A/FA/F be an abelian variety over a field. Does there exist a smooth projective FF-variety XX, such that AA is isomorphic to the automorphism group scheme of X/FX/F? We show that the answer is positive, if and only if AA has only finitely many automorphisms, over an algebraic closure of FF. When F=CF=\mathbb C, this result is due to Lombardo and Maffei. When FF is algebraically closed, it was obtained independently by Blanc and Brion.

preprint2020arXiv

On the rationality problem for forms of moduli spaces of stable marked curves of positive genus

Let Mg,nM_{g, n} (respectively, Mg,n‾\overline{M_{g, n}}) be the moduli space of smooth (respectively stable) curves of genus gg with nn marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to determine whether or not Mg,nM_{g, n} (or equivalently, Mg,n‾\overline{M_{g, n}}) is a rational variety. Theorems of J. Harris, D. Mumford, D. Eisenbud and G. Farkas assert that Mg,nM_{g, n} is not unirational for any n⩾0n \geqslant 0 if g⩾22g \geqslant 22. Moreover, P. Belorousski and A. Logan showed that Mg,nM_{g, n} is unirational for only finitely many pairs (g,n)(g, n) with g⩾1g \geqslant 1. Finding the precise range of pairs (g,n)(g, n), where Mg,nM_{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 Mg,n‾\overline{M_{g, n}} defined over an arbitrary field FF of characteristic ≠2\neq 2. We show that all FF-forms of Mg,n‾\overline{M_{g, n}} are stably rational for g=1g = 1 and 3⩽n⩽43 \leqslant n \leqslant 4, g=2g = 2 and 2⩽n⩽32 \leqslant n \leqslant 3, g=3g = 3 and 1⩽n⩽141 \leqslant n \leqslant 14, g=4g = 4 and 1⩽n⩽91 \leqslant n \leqslant 9, g=5g = 5 and 1⩽n⩽121 \leqslant n \leqslant 12.

preprint2013arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

The valuation criterion for normal basis generators

If L/KL/K is a finite Galois extension of local fields, we say that the valuation criterion VC(L/K)VC(L/K) holds if there is an integer dd such that every element x∈Lx \in L with valuation dd generates a normal basis for L/KL/K. Answering a question of Byott and Elder, we first prove that VC(L/K)VC(L/K) holds if and only if the tamely ramified part of the extension L/KL/K is trivial and every non-zero K[G]K[G]-submodule of LL contains a unit. Moreover, the integer dd can take one value modulo [L:K][L:K] only, namely −dL/K−1-d_{L/K}-1, where dL/Kd_{L/K} is the valuation of the different of L/KL/K. When KK has positive characteristic, we thus recover a recent result of Elder and Thomas, proving that VC(L/K)VC(L/K) is valid for all extensions L/KL/K in this context. When $\char{\;K}=0$, we identify all abelian extensions L/KL/K for which VC(L/K)VC(L/K) is true, using algebraic arguments. These extensions are determined by the behaviour of their cyclic Kummer subextensions.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.