We study the moduli spaces and compute the fundamental groups of plane sextics of torus type with at least two type $\bold{E}_6$ singular points. As a simple application, we compute the fundamental groups of 125 other sextics, most of which are new.
We study the moduli spaces and compute the fundamental groups of plane sextics of torus type with the set of inner singularities $2\bold{A}_8$ or $\bold{A}_{17}$. We also compute the fundamental groups of a number of other sextics, both of and not of torus type. The groups found are simplest possible, i.e., $\Bbb{Z}_2*\Bbb{Z}_3$ and $\Bbb{Z}_6$, respectively.
We analyze irreducible plane sextics whose fundamental group factors to $D_{14}$. We produce explicit equations for all curves and show that, in the simplest case of the set of singularities $3A_6$, the group is $D_{14}\times Z_3$.
We compute the fundamental group of the complement of each irreducible sextic of weight eight or nine (in a sense, the largest groups for irreducible sextics), as well as of 169 of their derivatives (both of and not of torus type). We also give a detailed geometric description of sextics of weight eight and nine and of their moduli spaces and compute their Alexander modules; the latter are shown to be free over an appropriate ring.
We calculate the fundamental groups $π=π_1(P^2\setminus B)$ for all irreducible plane sextics $B\subset¶^2$ with simple singularities for which $π$ is known to admit a dihedral quotient $D_{10}$. All groups found are shown to be finite, two of them being of large order: 960 and 21600.
We show that the fundamental group of the complement of any irreducible tame torus sextics in $\bf P^2$ is isomorphic to $\bf Z_2*\bf Z_3$ except one class. The exceptional class has the configuration of the singularities $\{C_{3,9},3A_2\}$ and the fundamental group is bigger than $\bf Z_2*\bf Z_3$. In fact, the Alexander polynomial is given by $(t^2-t+1)^2$. For the proof, we first reduce the assertion to maximal curves and then we compute the fundamental groups for maximal tame torus curves.
We construct explicit geometric models for and compute the fundamental groups of all plane sextics with simple singularities only and with at least one type $\bold E_8$ singular point. In particular, we discover four new sextics with nonabelian fundamental groups; two of them are irreducible. The groups of the two irreducible sextics found are finite. The principal tool used is the reduction to trigonal curves and Grothendieck's {\it dessins d'enfants}
We complete the proof of Oka's conjecture on the Alexander polynomial of an irreducible plane sextic. We also calculate the fundamental groups of irreducible sextics with a singular point adjacent to $J_{10}$.
We compute the fundamental groups of five maximizing sextics with double singular points only; in four cases, the groups are as expected. The approach used would apply to other sextics as well, given their equations.
We partially prove and partially disprove Oka's conjecture on the fundamental group/Alexander polynomial of an irreducible plane sextic. Among other results, we enumerate all irreducible sextics with simple singularities admitting dihedral coverings and find examples of Alexander equivalent Zariski pairs of irreducible sextics.
We complete the equisingular deformation classification of irreducible singular plane sextic curves. As a by-product, we also compute the fundamental groups of the complement of all but a few maximizing sextics.
We give a classification up to equisingular deformation and compute the fundamental groups of maximizing plane sextics with a type $\mathbf{E}_6$ singular point.
We develop a geometric approach to the study of plane sextics with a triple singular point. As an application, we give an explicit geometric description of all irreducible maximal sextics with a type $\bold E_7$ singular point and compute their fundamental groups. All groups found are finite; one of them is nonabelian.
We show that the Hilbert scheme of two points on the Vinberg $K3$ surface has a 2:1 map onto a very symmetric EPW sextic $Y$ in $\mathbb{P}^5$. The fourfold $Y$ is singular along $60$ planes, $20$ of which form a complete family of incident planes. This solves a problem of Morin and O'Grady and establishes that $20$ is the maximal cardinality of such a family of planes. Next, we show that this Hilbert scheme is birationally isomorphic to the Kummer type IHS fourfold $X_0$ constructed in [DW]. We find that $X_0$ is also related to the Debarre-Varley abelian fourfold.
We develop a modification of the Zariski--van Kampen approach for the computation of the fundamental group of a trigonal curve with improper fibers. As an application, we list the deformation families and compute the fundamental groups of all irreducible maximizing simple sextics with a type $\bold D$ singular point.
In 1895 Wiman introduced a Riemann surface $\mathcal{W}$ of genus $6$ over the complex field $\mathbb{C}$ defined by the homogeneous equation $\mathcal{W}:X^6+Y^6+Z^6+(X^2+Y^2+Z^2)(X^4+Y^4+Z^4)-12X^2 Y^2 Z^2=0$, and showed that its full automorphism group is isomorphic to the symmetric group $S_5$. The curve $\mathcal{W}$ was previously studied as a curve defined over a finite field $\mathbb{F}_{p^2}$ where $p$ is a prime, and necessary and sufficient conditions for its maximality over $\mathbb{F}_{p^2}$ were obtained. In this paper we first show that the result of Wiman concerning the automor…
We determine the possible even sets of nodes on sextic surfaces in $\Pn 3$, showing in particular that their cardinalities are exactly the numbers in the set $\{24, 32, 40, 56 \}$. We also show that all the possible cases admit an explicit description. The methods that we use are an interplay of coding theory and projective geometry on one hand, of homological and computer algebra on the other. We give a detailed geometric construction for the new case of an even set of 56 nodes, but the ultimate verification of existence relies on computer calculations. The construction gives a maximal family…
A projective non-singular plane algebraic curve of degree d<=4 is called maximally symmetric if it attains the maximum order of the automorphism groups for complex non-singular plane algebraic curves of degree d. For d<=7, all such curves are known. Up to projectivities, they are the Fermat curve for d=5,7, see \cite{kmp1,kmp2}, the Klein quartic for d=4, see \cite{har}, and the Wiman sextic for d=6, see \cite{doi}. In this paper we work on projective plane curves defined over an algebraically closed field of characteristic zero, and we extend this result to every d>=8 showing that the Fermat …
We derive explicit defining equations for a number of irreducible maximizing plane sextics with double singular points only. For most real curves, we also compute the fundamental group of the complement; all groups found are abelian. As a by-product, examples of Zariski pairs in the strongest possible sense are constructed.
Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this article we find the $S$-fundamental group scheme and Nori's fundamental group scheme of $S^n(X)$.
Looijenga has introduced new compactifications of locally symmetric varieties that give a complete understanding of the period map from the GIT moduli space of plane sextics to the Baily-Borel compactification of the moduli space polarized K3's of degree 2, and also of the period map of cubic fourfolds. On the other hand, the period map of the GIT moduli space of quartic surfaces is significantly more subtle. In our previous paper, we introduced a Hassett-Keel-Looijenga program for certain locally symmetric varieties of Type IV. As a consequence, we gave a complete conjectural decomposition in…
The main result in this paper is as follows: Let S be the branch curve (in the projective plan) of a generic projection of a Veronese surface. Then the fundamental group of the complement of S is an extension of a solvable group by a symmetric group. A group with the property mentioned above is ``almost solvable'' in the sense that it contains a solvable normal subgroup of finite index. This raises the question for which families of simply connected algebraic surfaces of general type is the fundamental group of the complement of the branch curve of a generic projection to the complex plane an …
The present work obtains the fundamental group of a toroidal compactification X' of a non-compact quotient X of a Hermitian symmetric space D of non-compact type by a lattice L in the isometry group G of D. As a consequence it derives the equality of the ranks of the first homology groups of X' and X with integral coefficients. The paper provides also a sufficient condition on a torsion free non-uniform lattice L, under which the fundamental group of X' is residually finite. Articles of Hummel-Schroeder, Hummel and Di Cerbo imply that the toroidal compactifications X' of generic non-compact to…
By work of Looijenga and others, one has a good understanding of the relationship between GIT and Baily-Borel compactifications for the moduli spaces of degree 2 K3 surfaces, cubic fourfolds, and a few other related examples. The similar-looking cases of degree 4 K3 surfaces and double EPW sextics turn out to be much more complicated for arithmetic reasons. In this paper, we refine work of Looijenga to allow us to handle these cases. Specifically, in analogy with the so-called Hassett-Keel program for the moduli space of curves, we study the variation of log canonical models for locally symmet…
Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Eule…
Take a bounded symmetric domain $D$ and an arithmetic subgroup $Γ$ of ${\rm Aut}(D)$. Take the quotient $D/Γ$, compactify and resolve the singularities. We study the fundamental group of the compact complex manifolds that result from this procedure, and in particular the case of Siegel modular threefolds.
Esnault asked whether every smooth complex projective variety with infinite fundamental group has a nonzero symmetric differential (a section of a symmetric power of the cotangent bundle). In a sense, this would mean that every variety with infinite fundamental group has some nonpositive curvature. We show that the answer to Esnault's question is positive when the fundamental group has a finite-dimensional representation over some field with infinite image. This applies to all known varieties with infinite fundamental group. Along the way, we produce many symmetric differentials on the base of…
We show that an equivariantly embedded Hermitian symmetric space in a projective space, which contains neither a projective space nor a hyperquadric as a component, is characterized by their fundamental forms as a local submanifold of the projective space. Using some invariant-theoretic properties of the fundamental forms and Se-ashi's work on linear differential equations of finite type, we reduce the proof to the vanishing of certain Spencer cohomology groups. The vanishing is checked by Kostant's harmonic theory for Lie algebra cohomology.
We introduce two new bases for polynomials that lift monomial and fundamental quasisymmetric functions to the full polynomial ring. By defining a new condition on pipe dreams, called quasi-Yamanouchi, we give a positive combinatorial rule for expanding Schubert polynomials into these new bases that parallels the expansion of Schur functions into fundamental quasisymmetric functions. As a result, we obtain a refinement of the stable limits of Schubert polynomials to Stanley symmetric functions. We also give combinatorial rules for the positive structure constants of these bases that generalize …