-
Boundary of equisymmetric loci of Riemann surfaces with abelian symmetry
Authors:
Raquel Díaz,
Víctor González-Aguilera
Abstract:
Let ${\mathcal M}_g$ be the moduli space of compact connected Riemann surfaces of genus $g\geq 2$ and let $\widehat{{\mathcal M}_g}$ be its Deligne-Mumford compactification, which is stratified by the topological type of the stable Riemann surfaces. We consider the equisymmetric loci in $\mathcal M_g$ corresponding to Riemann surfaces whose automorphism group is abelian and determine the topologic…
▽ More
Let ${\mathcal M}_g$ be the moduli space of compact connected Riemann surfaces of genus $g\geq 2$ and let $\widehat{{\mathcal M}_g}$ be its Deligne-Mumford compactification, which is stratified by the topological type of the stable Riemann surfaces. We consider the equisymmetric loci in $\mathcal M_g$ corresponding to Riemann surfaces whose automorphism group is abelian and determine the topological type of the maximal dimension strata at their boundary. For the particular cases of the hyperelliptic and the cyclic $p$-gonal actions, we describe all the topological strata at the boundary in terms of trees with a fixed number of edges.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
On a Torelli Principle for automorphisms of Klein hypersurfaces
Authors:
Víctor González-Aguilera,
Alvaro Liendo,
Pedro Montero,
Roberto Villaflor Loyola
Abstract:
Using a refinement of the differential method introduced by Oguiso and Yu, we provide effective conditions under which the automorphisms of a smooth degree $d$ hypersurface of $\mathbf{P}^{n+1}$ are given by generalized triangular matrices. Applying this criterion we compute all the remaining automorphism groups of Klein hypersurfaces of dimension $n\geq 1$ and degree $d\geq 3$ with…
▽ More
Using a refinement of the differential method introduced by Oguiso and Yu, we provide effective conditions under which the automorphisms of a smooth degree $d$ hypersurface of $\mathbf{P}^{n+1}$ are given by generalized triangular matrices. Applying this criterion we compute all the remaining automorphism groups of Klein hypersurfaces of dimension $n\geq 1$ and degree $d\geq 3$ with $(n,d)\neq (2,4)$. We introduce the concept of extremal polarized Hodge structures, which are structures that admit an automorphism of large prime order. Using this notion, we compute the automorphism group of the polarized Hodge structure of certain Klein hypersurfaces that we call of Wagstaff type, which are characterized by the existence of an automorphism of large prime order. For cubic hypersurfaces and some other values of $(n,d)$, we show that both groups coincide (up to involution) as predicted by the Torelli Principle.
△ Less
Submitted 17 April, 2024; v1 submitted 26 December, 2022;
originally announced December 2022.
-
On the liftability of the automorphism group of smooth hypersurfaces of the projective space
Authors:
Víctor González-Aguilera,
Alvaro Liendo,
Pedro Montero
Abstract:
Let $X$ be a smooth hypersurface of dimension $n\geq 1$ and degree $d\geq 3$ in the projective space given as the zero set of a homogeneous form $F$. If $(n,d)\neq (1,3), (2,4)$ it is well known that every automorphism of $X$ extends to an automorphism of the projective space, i.e., $\operatorname{Aut}(X)\subseteq \operatorname{PGL}(n+2,\mathbb{C})$. We say that the automorphism group…
▽ More
Let $X$ be a smooth hypersurface of dimension $n\geq 1$ and degree $d\geq 3$ in the projective space given as the zero set of a homogeneous form $F$. If $(n,d)\neq (1,3), (2,4)$ it is well known that every automorphism of $X$ extends to an automorphism of the projective space, i.e., $\operatorname{Aut}(X)\subseteq \operatorname{PGL}(n+2,\mathbb{C})$. We say that the automorphism group $\operatorname{Aut}(X)$ is $F$-liftable if there exists a subgroup of $\operatorname{GL}(n+2,\mathbb{C})$ projecting isomorphically onto $\operatorname{Aut}(X)$ and leaving $F$ invariant. Our main result in this paper shows that the automorphism group of every smooth hypersurface of dimension $n$ and degree $d$ is $F$-liftable if and only if $d$ and $n+2$ are relatively prime. We also provide an effective criterion to compute all the integers which are a power of a prime number and that appear as the order of an automorphism of a smooth hypersurface of dimension $n$ and degree $d$. As an application, we give a sufficient condition under which some Sylow $p$-subgroups of $\operatorname{Aut}(X)$ are trivial or cyclic of order $p$.
△ Less
Submitted 1 October, 2021; v1 submitted 26 April, 2020;
originally announced April 2020.
-
Boundary of the pyramidal equisymmetric locus of M_g
Authors:
Raquel Díaz,
Víctor González-Aguilera
Abstract:
The augmented moduli space is a compactification of moduli space M_n obtained by adding stable hyperbolic surfaces. The different topological types of the added stable surfaces produces a stratification of the boundary of M_n . Let P_n be the pyramidal locus in the moduli space, i.e., the set of hyperbolic surfaces of genus n such that the topological action of its preserving-orientation isometry…
▽ More
The augmented moduli space is a compactification of moduli space M_n obtained by adding stable hyperbolic surfaces. The different topological types of the added stable surfaces produces a stratification of the boundary of M_n . Let P_n be the pyramidal locus in the moduli space, i.e., the set of hyperbolic surfaces of genus n such that the topological action of its preserving-orientation isometry group is the pyramidal action of the dihedral group Dn. The purpose of this paper is to state the complete list of strata in the boundary of Pn
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
Limit points of the branch locus of $\mathcal{M}_g$
Authors:
Raquel Díaz,
Víctor González-Aguilera
Abstract:
Let $\mathcal{M}_{g}$ be the moduli space of compact connected hyperbolic surfaces of genus $g\geq2$, and ${\mathcal B}_g \subset {\mathcal M}_{g} $ its branch locus. Let $\widehat{\mathcal{M}_{g}}$ be the Deligne-Mumford compactification of the moduli space of smooth, complete, connected surfaces of genus $g\geq 2$ over $\mathbb{C}$. The branch locus ${\mathcal B}_g$ is stratified by smooth local…
▽ More
Let $\mathcal{M}_{g}$ be the moduli space of compact connected hyperbolic surfaces of genus $g\geq2$, and ${\mathcal B}_g \subset {\mathcal M}_{g} $ its branch locus. Let $\widehat{\mathcal{M}_{g}}$ be the Deligne-Mumford compactification of the moduli space of smooth, complete, connected surfaces of genus $g\geq 2$ over $\mathbb{C}$. The branch locus ${\mathcal B}_g$ is stratified by smooth locally closed equisymmetric strata, where a stratum consists of hyperbolic surfaces with equivalent action of their preserving orientation isometry group. Any stratum can be determined by a certain epimorphism $Φ$. In this paper, for any of these strata, we describe the topological type of its limits points in $\widehat{\mathcal{M}}_g$ in terms of $Φ$. We apply our method to the $2$-complex dimensional stratum corresponding to the pyramidal hyperbolic surfaces.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
On the order of an automorphism of a smooth hypersurface
Authors:
Víctor González-Aguilera,
Alvaro Liendo
Abstract:
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows us to give a complete criterion in the case where q=p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimensio…
▽ More
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows us to give a complete criterion in the case where q=p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimension n and degree d admitting an automorphism of prime order p then p<(d-1)^{n+1}; and if p>(d-1)^n then X is isomorphic to the Klein hypersurface, n=2 or n+2 is prime, and p=Φ_{n+2}(1-d) where Φ_{n+2} is the (n+2)-th cyclotomic polynomial. Finally, we provide some applications to intermediate jacobians of Klein hypersurfaces.
△ Less
Submitted 23 April, 2012; v1 submitted 16 February, 2011;
originally announced February 2011.
-
Automorphisms of prime order of smooth cubic n-folds
Authors:
Víctor González-Aguilera,
Alvaro Liendo
Abstract:
In this paper we give an effective criterion as to when a prime number p is the order of an automorphism of a smooth cubic hypersurface of P^{n+1}, for a fixed n > 1. We also provide a computational method to classify all such hypersurfaces that admit an automorphism of prime order p. In particular, we show that p<2^{n+1} and that any such hypersurface admitting an automorphism of order p>2^n is i…
▽ More
In this paper we give an effective criterion as to when a prime number p is the order of an automorphism of a smooth cubic hypersurface of P^{n+1}, for a fixed n > 1. We also provide a computational method to classify all such hypersurfaces that admit an automorphism of prime order p. In particular, we show that p<2^{n+1} and that any such hypersurface admitting an automorphism of order p>2^n is isomorphic to the Klein n-fold. We apply our method to compute exhaustive lists of automorphism of prime order of smooth cubic threefolds and fourfolds. Finally, we provide an application to the moduli space of principally polarized abelian varieties.
△ Less
Submitted 9 September, 2010; v1 submitted 22 February, 2010;
originally announced February 2010.
-
Weyl Groups and Abelian Varieties
Authors:
Angel Carocca,
Victor Gonzalez-Aguilera,
Rubi E. Rodriguez
Abstract:
Let G be a finite group. For each integral representation $ρ$ of G we consider $ρ-$decomposable principally polarized abelian varieties; that is, principally polarized abelian varieties (X,H) with $ρ(G)-$action, of dimension equal to the degree of $ρ$, which admit a decomposition of the lattice for X into two G-invariant sublattices isotropic with respect to $\Im H$, with one of the sublattices…
▽ More
Let G be a finite group. For each integral representation $ρ$ of G we consider $ρ-$decomposable principally polarized abelian varieties; that is, principally polarized abelian varieties (X,H) with $ρ(G)-$action, of dimension equal to the degree of $ρ$, which admit a decomposition of the lattice for X into two G-invariant sublattices isotropic with respect to $\Im H$, with one of the sublattices $\mathbb{Z}G-$isomorphic to $ρ$.
We give a construction for $ρ-$decomposable principally polarized abelian varieties, and show that each of them is isomorphic to a product of elliptic curves.
Conversely, if $ρ$ is absolutely irreducible, we show that each $ρ-$decomposable p.p.a.v. is (isomorphic to) one of those constructed above, thereby characterizing them.
In the case of irreducible, reduced root systems, we consider the natural representation of its associated Weyl group, apply the preceding general construction, and characterize completely the associated families of principally polarized abelian varieties, which correspond to modular curves.
△ Less
Submitted 16 March, 2005;
originally announced March 2005.
