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

In this paper, we describe an algorithm for computing algebraic modular forms on compact inner forms of $\mathrm{GSp}_4$ over totally real number fields. By analogues of the Jacquet-Langlands correspondence for $\mathrm{GL}_2$, this…

The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an…

This paper solves the combinatorics relating the intersection theory of $\psi$-classes of Hassett spaces to that of $\overline{\mathcal{M}}_{g,n}$. A generating function for intersection numbers of $\psi$ classes on all Hassett spaces is…

We construct a local deformation problem for residual Galois representations $\bar{\rho}$ valued in an arbitrary reductive group $\hat{G}$ which we use to develop a variant of the Taylor-Wiles method. Our generalization allows Taylor-Wiles…

Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good…

We classify the $(\mathfrak{g},K)$-modules generated by nearly holomorphic Hilbert-Siegel modular forms by the global method. As an application, we study the image of projection operators on the space of nearly holomorphic Hilbert-Siegel…

In this paper the elliptic genus for a general Calabi-Yau fourfold is derived. The recent work of Kawai calculating N=2 heterotic string one-loop threshold corrections with a Wilson line turned on is extended to a similar computation where…

In this paper, the criteria for minimal Horseshoe Lemma to be true are given via quasi-$\delta$-Koszul modules, which are the nongraded version of $\delta$-Koszul modules first introduced by Green and Marcos in 2005. Moreover, some…

Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to…

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

This paper is a sequel to the paper by A. Losev and Yu. Manin [LoMa1], in which new moduli stacks $\bar{L}_{g,S}$ of pointed curves were introduced. They classify curves endowed with a family of smooth points divided into two groups, such…

In this article we show that there exist measurable sets W in the plane with finite measure that tile the plane in a measurable way under the action of a expansive matrix A, an affine Weyl group W, and a full rank lattice G. This note is…

The modular group $\operatorname{PSL}_2(\mathbb{Z})$ acts on the upper-half plane $\mathbb{HP}$ with quotient the modular orbifold, uniformized by the function $\mathfrak{j} \colon \mathbb{HP}\to \mathbb{C}$. We first show that second…

Multi-parameter persistent homology is a recent branch of topological data analysis. In this area, data sets are investigated through the lens of homology with respect to two or more scale parameters. The high computational cost of many…

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…

We describe the mod $p^r$ pro $K$-groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\mathbb F_p$-algebra $A$ modulo powers of a suitable ideal $I$, in terms of logarithmic Hodge-Witt groups, by proving pro analogues of the theorems of…

It is shown how the arithmetic structure of algebraic curves encoded in the Hasse-Weil L-function can be related to affine Kac-Moody algebras. This result is useful in relating the arithmetic geometry of Calabi-Yau varieties to the…

Convergent evolution provides a useful framework for testing whether independent origins of similar traits share common genetic mechanisms. Evolutionary Sparse Learning with Paired Species Contrast (ESL-PSC) is an approach to identify genes…

I this paper, which is a sequel to math.AG/0310361, we study Bessel models of representations of GSp_4 over a local non archimedian field in the framework of the geometric Langlands program. The Bessel module over the nonramified Hecke…

We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…