Searcharxiv⌕ Search

arXiv subjects

Michel Matignon

Publications and source records attributed to Michel Matignon.

9 recordsLinked to original sources
arXiv2025

On the arithmetic and geometry of spaces $L_{m+1,n}$

Let $p$ be a prime number. Motivated by the local lifting problem for $(\mathbb{Z}/p\mathbb{Z})^n$ with $n>1$, we prove several new results on certain $\mathbb{F}_p$-vector spaces of logarithmic differential forms on the projective line in characteristic $p$, called "spaces $L_{m+1,n}$". Expanding the previous work by the first two authors, we prove positive and negative results for the existence of spaces $L_{m+1,n}$ in many situations. Moreover, we classify all spaces $L_{4p,2}$ for any $p$, and all spaces $L_{15,2}$ for $p=3$. Among the novel tools we use, Moore determinants and computational algebra play a prominent role.

math.NT↗
arXiv2022

On M-O.Ore determinants

The existence of certain Fq-spaces of differential forms of the projective line over a field K containing Fq leads us to prove an identity linking the determinant of the Moore matrix of n indeterminates with the determinant of the Moore matrix of the cofactors of its first row. These same spaces give an interpretation of Elkies pairing in terms of residues of differential forms. This pairing puts in duality the Fq-vector space of the roots of a Fq-linear polynomial and that of the roots of its reversed polynomial.

math.AC↗
arXiv2019

Good rings and homogeneous polynomials

In 2011, Khurana, Lam and Wang define the following property. (*)A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b $\in$ A with aA + bA = A there are an integer N = N (a, b) $\ge$ 1 and $\lambda$ = $\lambda$(a, b) $\in$ A such that b N + $\lambda$a $\in$ A x , the unit group of A. In 2019, Berman and Erman consider rings with the following property (**) A commutative unital ring A has enough homogeneous polynomials if for any k $\ge$ 1 and set S := {p 1 , p 2 , ..., p k } , of primitive points in A n and any n $\ge$ 2, there exists an homogeneous polynomial P (X 1 , X 2 , ..., X n) $\in$ A[X 1 , X 2 , ..., X n ]) with deg P $\ge$ 1 and P (p i) $\in$ A x for 1 $\le$ i $\le$ k. We show in this article that the two properties (*) and (**) are equivalent and we shall call a commutative unital ring with these properties a good ring. When A is a commutative unital ring of pictorsion as defined by Gabber, Lorenzini and Liu in 2015, we show that A is a good ring. Using a Dedekind domain we built by Goldman in 1963,we show that the converse is false.

math.AC↗
arXiv2011

Maximal monodromy in unequal characteristic

Let $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with fraction field $K$. We study stable models of $p$-cyclic covers of $\Proj_K$. First, we determine the monodromy extension, the monodromy group, its filtration and the Swan conductor for special covers of arbitrarily high genus with potential good reduction. In the case $p=2$ we consider hyperelliptic curves of genus 2.

math.AG↗
arXiv2008

On smooth curves endowed with a large automorphism $p$-group in characteristic $p>0$

Let $k$ be an algebraically closed field of characteristic $p>0$ and $C$ a connected nonsingular projective curve over $k$ with genus $g \geq 2$. This paper continues the work begun by Lehr and Matignon, namely the study of "big actions", i.e. the pairs $(C,G)$ where $G$ is a $p$-subgroup of the $k$-automorphism group of $C$ such that$\frac{|G|}{g} >\frac{2 p}{p-1}$. If $G_2$ denotes the second ramification group of $G$ at the unique ramification point of the cover $C \to C/G$, we display necessary conditions on $G_2$ for $(C,G)$ to be a big action, which allows us to pursue the classification of big actions. Our main source of examples comes from the construction of curves with many rational points using ray class field theory for global function fields, as initiated by J-P. Serre and followed by Lauter and Auer. In particular, we obtain explicit examples of big actions with $G_2$ abelian of large exponent.

math.NT↗
arXiv2006

Wild monodromy and automorphisms of curves

Let $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with field of fractions $K$ containing the $p$-th roots of unity. This paper is concerned with semi-stable models of $p$-cyclic covers of the projective line $C \la \PK$. We start by providing a new construction of a semi-stable model of $C$ in the case of an equidistant branch locus. If the cover is given by the Kummer equation $Z^p=f(X_0)$ we define what we called the monodromy polynomial ${\mathcal L}(Y)$ of $f(X_0)$; a polynomial with coefficients in $K$. Its zeros are key to obtaining a semi-stable model of $C$. As a corollary we obtain an upper bound for the minimal extension $K'/K$ over which a stable model of the curve $C$ exists. Consider the polynomial ${\cal L}(Y)\prod(Y^p-f(y_i))$ where the $y_i$ range over the zeros of ${\cal L}(Y)$. We show that the splitting field of this polynomial always contains $K'$, and that in some instances the two fields are equal.

math.AG↗
arXiv2003

Automorphisms groups for $p$-cyclic covers of the affine line

Let $k$ be an algebraically closed field of positive characteristic $p>0$ and $C \to {\mathbb P}^1_k$ a $p$-cyclic cover of the projective line ramified in exactly one point. We are interested in the $p$-part of the full automorphism group $Aut_k C$. First we prove that these groups are exactly the extra-special $p$-groups and groups G which are subgroups of an extra-special group E such that $Z(E) \subseteq G$. The paper also describes an efficient algorithm to compute the $p$-part of $\Aut_k C$ starting from an Artin-Schreier equation for the cover $C \to {\mathbb P}^1_k$. The interest for these objects initially came from the study of the stable reduction of $p$-cyclic covers over the $p$-adics. There the covers $C \to {\mathbb P}^1_k$ naturally arise and their automorphism groups play a major role in understanding the arithmetic monodromy. Our methods rely on previous work by Stichtenoth whose approach we have adopted.

math.AG↗
arXiv2001

Vers un algorithme pour la réduction stable des revêtements p-cycliques de la droite projective sur un corps p-adique

In his Ph. D. thesis, C. Lehr offers an algorithm which gives the stable model for p-cyclic covers of the projective line over a p-adic field under the conditions that the branch locus whose cardinal is m+1 has the so called equidistant geometry and m<p. In this note we give an algorithm also in the equidistant geometry case but without condition on m. In particular we are able to study the reduction at 2 of hyperelliptic curves with equidistant branch locus.

math.NT↗