arXiv subjects
Publications and source records attributed to Xavier Roulleau.
We construct new examples of free curve arrangements in the complex projective plane using point-line operators recently defined by the second author. In particular, we construct a new example of a conic-line arrangement with ordinary quasi-homogeneous singularities that has non-trivial monodromy.
For an integer $n\geq 7$, we investigate the matroid realization space of a specific deformation of the regular $n$-gon along with its lines of symmetry. It turns out that this particular realization space is birational to the elliptic modular surface $Ξ_{1}(n)$ over the modular curve $X_{1}(n)$. In this way, we obtain a model of $Ξ_{1}(n)$ defined over the rational numbers. Furthermore, a natural geometric operator acts on these matroid realizations. On the elliptic modular surface, this operator corresponds to the multiplication by $-2$ on the elliptic curves. This provides a new geometric approach to computing multiplication by $-2$ on elliptic curves.
This paper further studies the matroid realization space of a specific deformation of the regular $n$-gon with its lines of symmetry. Recently, we obtained that these particular realization spaces are birational to the elliptic modular surfaces $Ξ_{1}(n)$ over the modular curve $X_1(n)$. Here, we focus on the peculiar cases when $n=7,8$ in more detail. We obtain concrete quartic surfaces in $\mathbb{P}^3$ equipped with a dominant rational self-map stemming from an operator on line arrangements, which yields K3 surfaces with a dynamical system that is semi-conjugated to the plane.
Starting from computer experiments with the fundamental group of the Cartwright--Steger surface, we construct an infinite tower $(X_n)_{n\ge 1}$ of normal projective surfaces obtained by successive $\mathbb Z/3$-Galois covers $X_{n}\to X_{n-1}$. For $n>1$, their minimal resolutions $\widetilde{X}_n$ lie on the line $K^2 = 9χ- 18$ (equivalently $c_1^2 = 3c_2 - 72$), which is parallel to the Bogomolov--Miyaoka--Yau line $K^2 = 9χ$ of ball quotients. We compute the fundamental groups for the first cases, showing that $π_1(\widetilde{X}_n)=1$ for $n=1,\ldots,5$. Motivated by the geometry of the construction, we conjecture that all $\widetilde{X}_n$ are simply connected.
Let $X$ be a compact, complex surface of general type whose cotangent bundle $Ω_X$ is strongly semi-ample. We study the pluri-cotangent maps of $X$, namely the morphisms $ψ_n \colon \mathbb{P}(Ω_X) \to \mathbb{P}(H^0(X, \, S^n Ω_X))$ defined by the vector space of global sections $H^0(X, \, S^n Ω_X)$.
For integers $n,k,s$, we give a formula for the number $T(n,k,s)$ of order $k$ subsets of the ring $\mathbb{Z}/n\mathbb{Z}$ whose sum of elements is $s$ modulo $n$. To do so, we describe explicitly a sequence of matrices $M(k)$, for positive integers $k$, such that the size of $M(k)$ is the number of divisors of $k$, and for two coprime integers $k_{1},k_{2}$, the matrix $M(k_{1}k_{2})$ is the Kronecker product of $M(k_{1})$ and $M(k_{2})$. For $s=0, 1, 2$, and for $s=k/2$ when $k$ is even, the sequences $T(n,k,s)$ are related to the number of necklaces with $k$ black beads and $n-k$ white beads, and to Lyndon words. This work begins with empirical determinations of $M(k)$ up to $k=10000$, from which we infer a closed formula that encompasses many entries in the Encyclopedia of Integer Sequences. Its proof comes from work on Ramanujan sums, by Ramanathan, with a generalization to wider problems linked to representation theory and recently described by Deligne.
We describe a new infinite family of line arrangements in the projective plane with only triple points singularities and recover previously known examples.
A generalized Kummer surface $X$ of order $3$ is the minimal resolution of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism. We study a generalization of a problem of Shioda for classical Kummer surfaces, which is to understand how much $X$ is determined by $A$ and conversely. The surface $X$ posses a big and nef divisor $L_{X}$ such that $L_{X}^{2}=0$ or $2$ mod $6$. We show that for surfaces with $L_{X}^{2}=6k$ with $k\neq0,6\,mod\,9$, the surface $X$ determines the transcendental lattice $T(A)$ of $A$ and the Hodge structure on $T(A)$. Conversely if $A$ and $B$ are Fourier-Mukai partners (i.e. if the Hodge structures of their transcendental lattices are isomorphic) and $Y$ is the generalized Kummer surface which is the minimal resolution of the quotient of $B$ by an order $3$ symplectic automorphism, we obtain that $X$ and $Y$ are isomorphic. These results are also know to hold for surfaces with $L_{X}^{2}=2\,mod\,6$ from a previous work. When $k=0\text{ or }6\,mod\,9,$ we show that $X$ determines $T(A)$ and its Hodge structure, but the converse does not hold in general.
We study some natural operators acting on configurations of points and lines in the plane and remark that many interesting configurations are fixed points for these operators. We review ancient and recent results on line or point arrangements though the realm of these operators. We study the first dynamical properties of the iteration of these operators on some line arrangements.
We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Picard number greater than 10. For Picard number greater than 9, the K3 surfaces in question possess a second birational model, in the form of a projective quartic hypersurface, generalizing the Inose quartic.
For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$. Thus, it provides a realization of a certain matroid. We study this matroid in detail and prove that its realization space is isomorphic (over $\mathbb{C}$) to the modular curve $X_1(n)$, provided $n\geq 10$, which also provides an integral model of $X_1(n)$. In the process, we find a connection to the classical Ceva and Böröczky examples of special point and line configurations. We also discuss the situation for smaller values of $n$.
A generalized Kummer surface $X=Km_{3}(A,G_{A})$ is the minimal resolution of the quotient of a $2$-dimensional complex torus by an order 3 symplectic automorphism group $G_{A}$. A Kummer structure on $X$ is an isomorphism class of pairs $(B,G_{B})$ such that $X\simeq Km_{3}(B,G_{B})$. When the surface is algebraic, we obtain that the number of Kummer structures is linked with the number of order $3$ elliptic points on some Shimura curve naturally related to $A$. For each $n\in\mathbb{N}$, we obtain generalized Kummer surfaces $X_{n}$ for which the number of Kummer structures is $2^{n}$. We then give a classification of the moduli spaces of generalized Kummer surfaces. When the surface is non algebraic, there is only one Kummer structure, but the number of irreducible components of the moduli spaces of such surfaces is large compared to the algebraic case. The endomorphism rings of the complex $2$-tori we study are mainly quaternion orders, these order contain the ring of Eisenstein integers. One can also see this paper as a study of quaternion orders $\mathcal{O}$ over $\mathbb{Q}$ that contain the ring of Eisenstein integers. We obtain that such order is determined up to isomorphism by its discriminant, and when the quaternion algebra is indefinite, the order $\mathcal{O}$ is principal.
The operator $Λ_{\{2\},\{3\}}$ acting on line arrangements is defined by associating to a line arrangement \mathcal{A}, the line arrangement which is the union of the lines containing exactly three points among the double points of \mathcal{A}. We say that six lines not tangent to a conic form an unassuming arrangement if the singularities of their union are only double points, but the dual line arrangement has six triple points, six 5-points and 27 double points. The moduli space of unassuming arrangements is the union of a point and a line. The image by the operator $Λ_{\{2\},\{3\}}$ of an unassuming arrangement is again an unassuming arrangement. We study the dynamics of the operator $Λ_{\{2\},\{3\}}$ on these arrangements and we obtain that the periodic arrangements are related to the Ceva arrangements of lines.
We study generalized Kummer surfaces Km$_{3}(A)$, by which we mean the K3 surfaces obtained by desingularization of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism group. Such a surface carries $9$ disjoint configurations of two smooth rational curves $C,C'$ with $CC'=1$. This $9{\bf A}_{2}$-configuration plays a role similar to the Nikulin configuration of $16$ disjoint smooth rational curves on (classical) Kummer surfaces. We study the (generalized) question of T. Shioda: suppose that Km$_{3}(A)$ is isomorphic to Km$_{3}(B)$, does that imply that $A$ and $B$ are isomorphic? We answer by the negative in general, by two methods: by a link between that problem and Fourier-Mukai partners of $A$, and by construction of $9{\bf A}_{2}$-configurations on Km$_{3}(A)$ which cannot be exchanged under the automorphism group.
We study the geometry of the K3 surfaces $X$ with a finite number automorphisms and Picard number $\geq 3$. We describe these surfaces classified by Nikulin and Vinberg as double covers of simpler surfaces or embedded in a projective space. We study moreover the configurations of their finite set of $(-2)$-curves.
Nikulin and Vinberg proved that there are only a finite number of lattices of rank $\geq 3$ that are the Néron-Severi group of projective K3 surfaces with a finite automorphism group. The aim of this paper is to provide a more geometric description of such K3 surfaces $X$, when these surfaces have moreover no elliptic fibrations. In that case we show that such K3 surface is either a quartic with special hyperplane sections or a double cover of the plane branched over a smooth sextic curve which has special tangencies properties with some lines, conics or cuspidal cubic curves. We then study the converse i.e. if the geometric description we obtained characterizes these surfaces. In $4$ cases the description is sufficient, in each of the $4$ other cases there is exactly another one possibility which we study. We obtain that at least 5 moduli spaces of K3 surfaces (among the 8 we study) are unirational.
Given coprime positive integers $d',d''$, Bézout's Lemma tells us that there are integers $u,v$ so that $d'u-d''v=1$. We show that, interchanging $d'$ and $d''$ if necessary, we may choose $u$ and $v$ to be Loeschian numbers, i.e., of the form $|α|^2$, where $α\in\mathbb{Z}[j]$, the ring of integers of the number field $\mathbb{Q}(j)$, where $j^2+j+1=0$. We do this by using Atkin-Lehner elements in some quaternion algebras $\mathcal{H}$. We use this fact to count the number of conjugacy classes of elements of order 3 in an order $\mathcal{O}\subset\mathcal{H}$.
A generalized Kummer surface $X$ obtained as the quotient of an abelian surface by a symplectic automorphism of order 3 contains a $9\mathbf{A}_{2}$-configuration of $(-2)$-curves. Such a configuration plays the role of the $16\mathbf{A}_{1}$-configurations for usual Kummer surfaces. In this paper we construct $9$ other such $9\mathbf{A}_{2}$-configurations on the generalized Kummer surface associated to the double cover of the plane branched over the sextic dual curve of a cubic curve. The new $9\mathbf{A}_{2}$-configurations are obtained by taking the pullback of a certain configuration of $12$ conics which are in special position with respect to the branch curve, plus some singular quartic curves. We then construct some automorphisms of the K3 surface sending one configuration to another. We also give various models of $X$ and of the generic fiber of its natural elliptic pencil.