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

A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…

We prove a lower bound on the Calabi functional for degenerations of polarized varieties, involving the difference of CM degrees between generically isomorphic families. This may be viewed as a discretely valued version of Donaldson's lower…

We construct families of representations for quantum groups over $\mathbb{Z}[v,v^{-1}]$-algebras that interpolate between Weyl modules and tilting modules. These families might be candidates for objects with characters satisfying the {\em…

We consider estimation of a functional parameter of a realistically modeled data distribution based on observing independent and identically distributed observations. We define an $m$-th order Spline Highly Adaptive Lasso Minimum Loss…

We aim at a holistic perspective on program logics, including Hoare and incorrectness logics. To this end, we study different classes of properties arising from the generalization of the aforementioned logics. We compare our results with…

In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain…

Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…

We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt…

This semi-expository paper discusses the log minimal model program as applied to the moduli space of curves, especially in the case of curves of genus two. Log canonical models for these moduli spaces can often be constructed using the…

This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence…

The solution of sequences of shifted linear systems is a classic problem in numerical linear algebra, and a variety of efficient methods have been proposed over the years. Nevertheless, there still exist challenging scenarios witnessing a…

In this paper, we study the initial-boundary value problem of a repulsion Keller--Segel system with a logarithmic sensitivity modeling the reinforced random walk. By establishing an energy-dissipation identity, we prove the existence of…

Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…

This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over…

Let $\ggg:=\gl_{m|n}$ be a general linear Lie superalgebra over an algebraically closed field $\mathds{k}=\overline{\mathbb{F}}_p$ of characteristic $p>2$. A module of $\ggg$ is said to be of Kac-Weisfeiler if its dimension coincides with…

Let $\mathbf K$ be a finite field, $X$ and $Y$ two curves over $\mathbf K$, and $Y\rightarrow X$ an unramified abelian cover with Galois group $G$. Let $D$ be a divisor on $X$ and $E$ its pullback on $Y$. Under mild conditions the linear…

Let $f:(X,B)\to Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the…

We address several seemingly disparate problems in arithmetic geometry: the statistical behaviour of the Galois module structure of Mordell--Weil groups of a fixed elliptic curve over varying quadratic extensions; the frequency of failure…

Let $X$ be a complex $K3$ surface with an effective action of a group $G$ which preserves the holomorphic symplectic form. Let $$ Z_{X,G}(q) = \sum_{n=0}^{\infty} e\left(\operatorname{Hilb}^{n}(X)^{G} \right)\, q^{n-1} $$ be the generating…

We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.