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

Large computer-understandable proofs consist of millions of intermediate logical steps. The vast majority of such steps originate from manually selected and manually guided heuristics applied to intermediate goals. So far, machine learning…

This document presents the tool named ''Application of Hoare Logic and Dijkstra's Weakest Proposition Calculus to Biological Regulatory Networks Using Path Programs with Branching First-Order Logic Operators'' or Hoare-fol for short. This…

In two recent papers, we described some Siegel modular threefolds which admit a weak Calabi--Yau model. Not all of them admit a {\it projective} model. The purpose of this paper is to exhibit criterions for the projectivity, to treat…

In a recent paper, Colliot-Th\'el\`ene, Parimala and Suresh conjectured that a local-global principle holds for projective homogeneous spaces of connected linear algebraic groups over function fields of p-adic curves. In this paper, we show…

This work studies the application of the discrete Holder-Brascamp-Lieb (HBL) inequalities to the design of communication optimal algorithms. In particular, it describes optimal tiling (blocking) strategies for nested loops that lack data…

Gross, Hacking, and Keel have constructed mirrors of log Calabi-Yau surfaces in terms of counts of rational curves. Using $q$-deformed scattering diagrams defined in terms of higher genus log Gromov-Witten invariants, we construct…

We prove a formula of log canonical models for moduli space $\bar{M}_{g,n}$ of pointed stable curves which describes all Hassett's moduli spaces of weighted pointed stable curves in a single equation. This is a generalization of the…

This paper proposes a basic proof theoretic framework for major modal logics: {\sf S5} and some of its subsystems. The framework is based on a version of hypersequent calculus, and the basic modal systems we handle here are the system {\sf…

Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the…

The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral models are central in domains that exploit mesh processing,…

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to…

We establish the relative minimal model program with scaling for locally projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic…

The "defect" of a curve over a finite field is the difference between the number of rational points on the curve and the Weil-Serre bound for the curve. We present a construction for producing genus-4 double covers of genus-2 curves over…

In the last years the biregular automorphisms of the Deligne-Mumford's and Hassett's compactifications of the moduli space of n-pointed genus g smooth curves have been extensively studied by A. Bruno and the authors. In this paper we give a…

Introduced in [BB], simplicially stable spaces are alternative compactifications of $\mathcal{M}_{g,n}$ generalizing Hassett's moduli spaces of weighted stable curves. We give presentations of the Chow rings of these spaces in genus $0$…

B. Hassett and Yu. Tschinkel (1999) introduced a remarkable correspondence between generically transitive actions of a commutative unipotent algebraic group G and finite-dimensional local algebras. In this paper we develop Hassett-Tschinkel…

This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the \'etale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois…

In this paper, we construct, investigate and, in some cases, classify several new classes of (simple) modules over the Takiff $\mathfrak{sl}_{2}$. More precisely, we first explicitly construct and classify, up to isomorphism, all modules…

We introduce and study the moduli stack $\mathcal{Y}$ of Breuil-Kisin modules with $\hat{G}$-structure and descent data, or Breuil-Kisin $(\Gamma,\hat{G})$-torsors for short. Specifically, for a dominant cocharacter $\mu$, we define the…

Let ell be a prime, and H a curve of genus 2 over a field k of characteristic not 2 or ell. If S is a maximal Weil-isotropic subgroup of Jac(H)[ell], then Jac(H)/S is isomorphic to the Jacobian of some (possibly reducible) curve X. We…