Let G be a finite group, and $g geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g leq 10$ we classify those loci corresponding to large G.
For $4 mid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the standard line bundles over these moduli spaces and we calculate the second integral cohomology group of the level $L$ subgroup of the mapping class group (in a previous paper, the author determined this rationally). This entails calculating the abelianization of the level $L$ subgroup of the mapping class group, generalizing previous results of Perron, Sato, and the author. Finally, along the way we calculate the first homology group of the mod $L$ symplectic group with coefficients in the adjoint representation.
We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its only singularities. The set of all such curves is a quasi-projective variety, which we call an equisingular family (ESF). We describe, in terms of numerical invariants of the curves and their singularities, the state of the art concerning necessary and sufficient conditions for the non-emptiness and $T$-smoothness (i.e., smooth of expected dimension) of the corresponding ESF. The considered singularities can be arbitrary, but we spend special attention to plane curves with nodes and cusps, the most studied case, where still no complete answer is known in general. An important result is, however, that the necessary and the sufficient conditions show the same asymptotics for $T$-smooth equisingular families if the degree goes to infinity.
Let $pi_1(C)$ be the algebraic fundamental group of a smooth connected affine curve, defined over an algebraically closed field of characteristic $p>0$ of countable cardinality. Let $N$ be a normal (resp. characteristic) subgroup of $pi_1(C)$. Under the hypothesis that the quotient $pi_1(C)/N$ admits an infinitely generated Sylow $p$-subgroup, we prove that $N$ is indeed isomorphic to a normal (resp. characteristic) subgroup of a free profinite group of countable cardinality. As a consequence, every proper open subgroup of $N$ is a free profinite group of countable cardinality.
Any group $G$ gives rise to a 2-group of inner automorphisms, $mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group $mathrm{INN}(G_{(2)})$ and a slightly smaller 3-group $mathrm{INN}_0(G_{(2)})$ of inner automorphisms. We describe these for $G_{(2)}$ any strict 2-group, discuss how $mathrm{INN}_0(G_{(2)})$ can be understood as arising from the mapping cone of the identity on $G_{(2)}$ and show that its underlying 2-groupoid structure fits into a short exact sequence $G_{(2)} to mathrm{INN}_0(G_{(2)}) to Sigma G_{(2)}$. As a consequence, $mathrm{INN}_0(G_{(2)})$ encodes the properties of the universal $G_{(2)}$ 2-bundle.
For a relatively minimal surface fibration $f: Xto C$, the equivariant automorphism group of $f$ is, roughly speaking, the group of automorphisms of $X$ preserving the fibration structure. We present a classification of such fibrations of fibre genus $gge 1$ with smooth generic fibre over an arbitrary algebraically closed field $mathbf{k}$ whose equivariant automorphism group is infinite.