Related papers: Hassett--Keel Program in genus four

We study the essential minimum of the (stable) Faltings height on the moduli space of elliptic curves. We prove that, in contrast to the Weil height on a projective space and the N{\'e}ron-Tate height of an abelian variety, Faltings' height…

We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to…

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional…

Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg.…

We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families…

In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact K\"ahler $3$-fold having only klt singularities.

We construct characteristic-zero lifts of partial Hasse invariants for genus zero non-compact curves in Hilbert modular varieties. The construction is based on recent results on the associated Picard-Fuchs differential equations. As an…

Let $C$ be a curve on a K3 surface $X$ with Picard group $\mathbb{Z}.[C]$. Mukai's program seeks to recover $X$ from $C$ by exhibiting it as a Fourier-Mukai partner to a Brill-Noether locus of vector bundles on $C$. We use wall-crossing in…

We prove the global existence of weak solutions to quasilinear Keller--Segel systems with nonlinear mobility by minimizing movements (JKO scheme) in the product space of the weighted Wasserstein space and $L^2$ space. In particular, we…

Reduced modeling in high-dimensional reproducing kernel Hilbert spaces offers the opportunity to approximate efficiently non-linear dynamics. In this work, we devise an algorithm based on low rank constraint optimization and kernel-based…

We develop a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints. Internally, such sets…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

We propose a new approach to constructing semistable integral models of hypersurfaces over a discretely valued complete field K. For each stable hypersurface X over K we define a continuous stability function on the Bruhat-Tits building of…

This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…

We study generating series encoding linking numbers between geodesics in arithmetic hyperbolic $3$-folds. We show that the series converge to functions on genus $2$ Siegel space and that certain explicit modifications have the…

We discuss criteria for a stable map of genus two and degree $4$ to the projective plane to be smoothable, as an application of our modular desingularisation of $\overline{\mathcal M}_{2,n}(\mathbb{P}^r,d)^{\text{main}}$ via logarithmic…

We study the termination of minimal model programs for log canonical pairs in the complex analytic setting. By using the termination, we prove a relation between the minimal model theory for projective log canonical pairs and that for log…

Recently, Allen et al. developed the Explicit Hypergeometric Modularity Method (EHMM) that establishes the modularity of a large class of hypergeometric Galois representations in dimensions two and three. Motivated by this framework, we…

This thesis details the results of four interrelated projects. The first of these presents a new proof of the theorem of Cooper, Danciger and Wienhard classifying the limits under conjugacy of the orthogonal groups in GL(n; R). The second…