For every $q=l^3$ with $l$ a prime power greater than 2, the GK curve $X$ is an $F_{q^2}$-maximal curve that is not $F_{q^2}$-covered by any $F_{q^2}$-maximal Deligne-Lusztig curve. Interestingly, $X$ has a very large $F_{q^2}$-automorphism group with respect to its genus. In this paper we compute the genera of a large variety of curves that are Galois-covered by the GK curve, thus providing several new values in the spectrum of genera of $F_{q^2}$-maximal curves.
We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …
Let $N\geq 1$ be a non-square free integer and let $W_N$ be a non-trivial subgroup of the group of the Atkin-Lehner involutions of $X_0(N)$ such that the modular curve $X_0(N)/W_N$ has genus at least two. We determine all pairs $(N,W_N)$ such that $X_0(N)/W_N$ is a bielliptic curve and the pairs $(N,W_N)$ such that $X_0(N)/W_N$ has an infinite number of quadratic points over $\mathbb{Q}$.
A criterion for the existence of a birational embedding with two Galois points for quotient curves is presented. We apply our criterion to several curves, for example, some cyclic subcovers of the Giulietti-Korchmaros curve or of the curves constructed by Skabelund. They are new examples of plane curves with two Galois points.
We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of complex hyperbolic balls. We show in Theorem 7.4 that the two ball-quotient constructions can be unified in a geometric way.
Let $\mathbb{F}_{q^2}$ be the finite field with $q^2$ elements. Most of the known $\mathbb{F}_{q^2}$-maximal curves arise as quotient curves of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_{q}$. After a seminal paper by Garcia, Stichtenoth and Xing, many papers have provided genera of quotients of $\mathcal{H}_q$, but their complete determination is a challenging open problem. In this paper we determine completely the spectrum of genera of quotients of $\mathcal{H}_q$ for any $q\equiv1\pmod4$.
We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equation of the mirror $M$ of the orbifold ball quotient $(X,M)$ and by taking the quotient by an involution, we obtain an orbifold ball quotient surface with mirror birational to an interesting configuration of plane curves of degrees $1,2$ and $3$. We also exhibit an arrangement of f…
We study mixed surfaces, the minimal resolution S of the singularities of a quotient (C x C)/G of the "square" of a curve by a finite group G of automorphisms that contains elements not preserving the factors. We study them through the "further quotients" by (C x C)/G' where G' contains G. As a first application we prove that if the irregularity is at least 3, then S is also minimal. The result is sharp. The main result is a complete description of the Albanese morphism of S through a determined further quotient (C x C)/G' that is an étale cover of the symmetric square of a curve. In particula…
The geometry of the ball quotient model of the moduli space of genus four curves
S. Kondo构造了非超椭圆亏格四条曲线的模空间的球商紧化。在本文中，我们表明，这个空间基本上符合GIT商的Chow品种的典型嵌入亏格四曲线。更具体地说，我们给出了一个明确的描述，这个GIT商，并表明，从这个空间到近藤空间的双有理映射是解决了一个点的爆破。这为近藤空间边界上的点提供了一个模块化的解释。还讨论了Hassett-Keel程序中与斜率九空间的连接。
We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue of a similar formula for the class of Quot schemes in the Grothendieck ring of varieties by Bagnarol-Fantechi-Perroni. It is a special case of a more general Quot formula of relative dimension one, which is regarded as a Bosonic counterpart of the Quot formula conjectured by Jiang and proved by the author. The proof involves categorical wall-crossing formul…
A group $H \cong {\mathbb Z}_{2}^{n}$, $n \geq 3$, of conformal automorphisms of a closed Riemann surface $S$ such that $S/H$ has genus zero and exactly $(n+1)$ cone points is called a generalized Humbert group of type $n$, in which case, $S$ is called a generalized Humbert curve of type $n$. It is known that a generalized Humbert curve $S$ of type $n \geq 4$ is non-hyperelliptic and that it admits a unique generalized Humbert group $H$ of type $n$. We describe those subgroups $K$ of $H$, acting freely on $S$, such that $S/K$ is hyperelliptic.
In this paper we deal with the problem of classifying the genera of quotient curves $\mathcal{H}_q/G$, where $\mathcal{H}_q$ is the $\mathbb{F}_{q^2}$-maximal Hermitian curve and $G$ is an automorphism group of $\mathcal{H}_q$. The groups $G$ considered in the literature fix either a point or a triangle in the plane ${\rm PG}(2,q^6)$. In this paper, we give a complete list of genera of quotients $\mathcal{H}_q/G$, when $G \leq {\rm Aut}(\mathcal{H}_q) \cong {\rm PGU}(3,q)$ does not leave invariant any point or triangle in the plane. As a result, the classification of subgroups $G$ of ${\rm PGU…
In this paper we characterize the genera of those quotient curves $\mathcal{H}_q/G$ of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_q$ for which $G$ is contained in the maximal subgroup $\mathcal{M}_1$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a self-polar triangle, or $q$ is even and $G$ is contained in the maximal subgroup $\mathcal{M}_2$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a pole-polar pair $(P,\ell)$ with respect to the unitary polarity associated to $\mathcal{H}_q(\mathbb{F}_{q^2})$. In this way several new values for the genus of a maximal curve over a finite field are obtaine…
We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its Atkin-Lehner involutions, for all square-free values of $N$.
A closed Riemann surface $S$ is called a generalized Fermat curve of type $(p,n)$, where $n,p \geq 2$ are integers such that $(p-1)(n-1)>2$, if it admits a group $H \cong {\mathbb Z}_{p}^{n}$ of conformal automorphisms with quotient orbifold $S/H$ of genus zero with exactly $n+1$ cone points, each one of order $p$; in this case $H$ is called a generalized Fermat group of type $(p,n)$. In this case, it is known that $S$ is non-hyperelliptic and that $H$ is its unique generalized Fermat group of type $(p,n)$. Also, explicit equations for them, as a fiber product of classical Fermat curves of deg…
We prove the existence of a pair $(Σ,\, Γ)$, where $Σ$ is a compact Riemann surface with $\text{genus}(Σ)\, \geq\, 2$, and $Γ\, \subset\, {\mathrm SL}(2, \mathbb C)$ is a cocompact lattice, such that there is a generically injective holomorphic map $Σ\, \longrightarrow\, {\mathrm SL}(2, \mathbb C)/Γ$. This gives an affirmative answer to a question raised by Huckleberry and Winkelmann \cite{HW} and by Ghys \cite{Gh}.
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological integrals against the virtual fundamental classes of Quot schemes of dimension 0 and 1 quotients on surfaces (using also universality, torus localization, and cosection localization). The virtual Euler characteristics of Quot schemes of surfaces, a new theory parallel to the Vafa-Witten Euler characteristics of the moduli of bundles, is defined and studied. Co…
We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial vector bundle, we obtain answers in genus zero. We also study the Euler characteristics of the symmetric powers of the tautological bundles, for rank zero quotients.
A quotient of the Bruhat-Tits building classifying maximal matrix orders over curves
Universidad de Chile, Facultad de Ciencias（智利大学理学院）；Universidad de Talca, Instituto de Matemáticas（塔尔卡大学数学研究所）；Facultad de Ingeniería y Ciencias, Universidad Diego Portales（迭戈·波特莱斯大学工程与理学院）
For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class depends only on the rank of the sheaf and on the length of the quotients. As an application, we obtain an explicit formula that expresses it in terms of the symmetric products of the curve.
