相关论文: Hassett--Keel Program in genus four

This is the first part in a series of papers on counting surfaces on Calabi-Yau 4-folds. Besides the Hilbert scheme of 2-dimensional subschemes, we introduce \emph{two} types of moduli spaces of stable pairs. We show that all three moduli…

Many Haskell textbooks explain the evaluation of pure functional programs as a process of stepwise rewriting using equations. However, usual implementation techniques perform program transformations that make producing the corresponding…

We study the moduli space ${V}_4\mathcal{M}_{g}$ of Klein four covers of genus $g$ curves and its natural compactification. This requires the construction of a related space which has a choice of basis for the Klein four group. This space…

We establish the full explicit wall-crossing for K-moduli space $\overline{P}^K_c$ of degree $8$ del Pezzo pairs $(X,cC)$ where generically $X \cong \bbF_1$ and $C \sim -2K_X$. We also show K-moduli spaces $\overline{P}^K_c$ coincide with…

We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a…

We show that the K-moduli spaces of log Fano pairs $(\mathbb{P}^3, cS)$ where $S$ is a quartic surface interpolate between the GIT moduli space of quartic surfaces and the Baily-Borel compactification of moduli of quartic K3 surfaces as $c$…

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…

This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an…

The Hasse-Weil-Serre bound is improved for curves of low genera over finite fields with discriminant in {-3,-4,-7,-8,-11,-19} by studying optimal curves.

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…

In this article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact K\"ahler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain…

This work is inspired by conversations with Izzet Coskun and Joe Harris. We run the log minimal model program for the Kontsevich space of stable maps $\bar{\mathcal M}_{0,0}(\mathbb P^{3}, 3)$ and give modular interpretations to all the…

We study the minimal model program on the geometric generic fiber of a fibration $f:X\to S$ such that for a Zariski dense subset $S'\subseteq S$, $X_s$ is an $\varepsilon$-lc log Calabi--Yau type for every $s\in S'$. We prove that for a…

Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of…

This is the first in a pair of papers developing a framework for the application of logarithmic structures in the study of singular curves of genus $1$. We construct a smooth and proper moduli space dominating the main component of…

We continue our study of integral points on moduli schemes by combining the method of Faltings (Arakelov, Parsin, Szpiro) with modularity results and Masser-W\"ustholz isogeny estimates. In this work we explicitly bound the height and the…

We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their…

We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.

We describe the K-moduli spaces of weighted hypersurfaces of degree $2(n+3)$ in $\mathbb{P}(1,2,n+2,n+3)$. We show that the K-polystable limits of these weighted hypersurfaces are also weighted hypersurfaces of the same degree in the same…

The $k$th module of a surface-knot of a genus $g$ in the 4-sphere is the $k$th integral homology module of the infinite cyclic covering of the surface-knot complement. The reduced first module is the quotient module of the first module by…