Symmetric F-conjecture for $g\leq 35$
We prove the symmetric F-conjecture describing the ample cone of $\overline{M}_{0,g}/S_g$ and $\overline{M}_g$ for $g\leq 35$.
math.AG↗
arXiv subjects
Maksym Fedorchuk
Publications and source records attributed to Maksym Fedorchuk.
Symmetric and non-symmetric F-conjectures are equivalent
The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong F-conjecture for $\overline{M}_{0,8}$ (and give an alternative proof for $\overline{M}_{0,7})$. Finally, we derive, as a consequence, the F-conjecture for the moduli space of stable curves $\overline{M}_{g}$ up to genus $g\leq 44$.
math.AG↗
K-moduli of pure states of four qubits
We find all K-polystable limits of divisors in $(\mathbb{P}^1)^4$ of degree $(1,1,1,1)$ and explicitly describe the associated irreducible component of the K-moduli space.
math.AG↗
Stability of fibrations over one-dimensional bases
We introduce and study a new notion of stability for varieties fibered over curves, motivated by Kollár's stability for homogeneous polynomials with integral coefficients. We develop tools to study geometric properties of stable birational models of fibrations whose fibers are complete intersections in weighted projective spaces. As an application, we prove the existence of standard models of threefold degree one and two del Pezzo fibrations, settling a conjecture of Corti from 1996.
math.AG↗
VGIT presentation of the second flip of $\overline{M}_{2,1}$
We perform a variation of geometric invariant theory stability analysis for 2nd Hilbert points of bi-log-canonically embedded pointed curves of genus two. As a result, we give a GIT construction of the last three non-trivial log canonical models of the moduli space of pointed genus two curves, and obtain a VGIT presentation of the second flip in its Hassett-Keel program.
math.AG↗
Geometric invariant theory of syzygies, with applications to moduli spaces
We define syzygy points of projective schemes, and introduce a program of studying their GIT stability. Then we describe two cases where we have managed to make some progress in this program, that of polarized K3 surfaces of odd genus, and of genus six canonical curves. Applications of our results include effectivity statements for divisor classes on the moduli space of odd genus K3 surfaces, and a new construction in the Hassett-Keel program for the moduli space of genus six curves.
math.AG↗
Associated form morphism
We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification of the moduli space of smooth hypersurfaces such that the induced rational map from the standard GIT compactification often contracts the discriminant divisor.
math.AG↗
Direct sum decomposability of polynomials and factorization of associated forms
We prove two criteria for direct sum decomposability of homogeneous polynomials. For a homogeneous polynomial with a non-zero discriminant, we interpret direct sum decomposability of the polynomial in terms of factorization properties of the Macaulay inverse system of its Milnor algebra. This leads to an if-and-only-if criterion for direct sum decomposability of such a polynomial, and to an algorithm for computing direct sum decompositions over any field, either of characteristic $0$ or of sufficiently large positive characteristic, for which polynomial factorization algorithms exist. For homogeneous forms over algebraically closed fields, we interpret direct sums and their limits as forms that cannot be reconstructed from their Jacobian ideal. We also give simple necessary criteria for direct sum decomposability of arbitrary homogeneous polynomials over arbitrary fields and apply them to prove that many interesting classes of homogeneous polynomials are not direct sums.
math.AG↗
Stability of associated forms
We show that the associated form, or equivalently a Macaulay inverse system, of an Artinian complete intersection of type $(d,\dots, d)$ is polystable. As an application, we obtain an invariant-theoretic variant of the Mather-Yau theorem for homogeneous hypersurface singularities.
math.AG↗
GIT semistability of Hilbert points of Milnor algebras
Our first result is that a homogeneous form $F$ in $n$ variables is GIT semistable with respect to the natural $SL(n)$-action if and only if the first non-trivial Hilbert point of the associated Milnor algebra is semistable. We also prove that the induced morphism on the GIT quotients is finite, and injective on the locus of stable forms. Our second result is that the associated form of $F$, also known as the Macaulay inverse system of the Milnor algebra of $F$, and which is apolar to the last non-trivial Hilbert point of the Milnor algebra, is GIT semistable whenever $F$ is a smooth form. These two results answer questions of Alper and Isaev from arXiv:1407.6838.
math.AG↗
Semiampleness criteria for divisors on $\overline M_{0,n}$
We develop new characteristic-independent combinatorial criteria for semiampleness of divisors on $\overline{M}_{0,n}$. As an application, we associate to a cyclic rational quadratic form satisfying a certain balancedness condition an infinite sequence of semiample line bundles. We also give several sufficient and effective conditions for a symmetric divisor on $\overline{M}_{0,n}$ to be semiample or nef.
math.AG↗
Log minimal model program for the moduli space of stable curves: The second flip
We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves.
math.AG↗
Toward GIT stability of syzygies of canonical curves
We introduce the problem of GIT stability for syzygy points of canonical curves with a view toward a GIT construction of the canonical model of the moduli space of stable curves. As the first step in this direction, we prove semi-stability of the first syzygy point for a general canonical curve of odd genus.
math.AG↗
New nef divisors on $\bar{M}_{0,n}$
We give a direct proof, valid in arbitrary characteristic, of nefness for two families of F-nef divisors on $\bar{M}_{0,n}$. The divisors we consider include all type A level one conformal block divisors as well as divisors previously not known to be nef.
math.AG↗
Stability of genus five canonical curves
We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.
math.AG↗
Finite Hilbert stability of (bi)canonical curves
We prove that a generic canonically or bicanonically embedded smooth curve has semistable m-th Hilbert points for all m. We also prove that a generic bicanonically embedded smooth curve has stable m-th Hilbert points for all m \geq 3. In the canonical case, this is accomplished by proving finite Hilbert semistability of special singular curves with G_m-action, namely the canonically embedded balanced ribbon and the canonically embedded balanced double A_{2k+1}-curve. In the bicanonical case, we prove finite Hilbert stability of special hyperelliptic curves, namely Wiman curves. Finally, we give examples of canonically embedded smooth curves whose m-th Hilbert points are non-semistable for low values of m, but become semistable past a definite threshold. (This paper subsumes the previous submission and arXiv:1110.5960).
math.AG↗
The final log canonical model of the moduli space of stable curves of genus four
We describe the final log canonical model of the moduli space of stable curves of genus four. We prove that the rational map from $\bar{M}_4$ to this model contracts the Petri and the boundary divisors and flips the hyperelliptic locus. As an application, we find an exact bound on slopes of moving divisors on $\bar{M}_4$.
math.AG↗
Stability of 2nd Hilbert points of canonical curves
We establish GIT semistability of the 2nd Hilbert point of every Gieseker-Petri general canonical curve by a simple geometric argument. As a consequence, we obtain an upper bound on slopes of general families of Gorenstein curves. We also explore the question of what replaces hyperelliptic curves in the GIT quotients of the Hilbert scheme of canonical curves.
math.AG↗