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

This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language. We show the applicability of our approach by…

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the Hassett moduli stack of weighted stable curves, and let $\overline{M}_{g,A[n]}$ be its coarse moduli space. These are compactifications of $\mathcal{M}_{g,n}$ and $M_{g,n}$ respectively, obtained…

This Ph.D. thesis studies the relation between the Harder-Narasimhan filtration and a notion of GIT maximal unstability. When constructing a moduli space by using Geometric Invariant Theory (GIT), a notion of GIT stability appears, which is…

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the moduli stack parametrizing weighted stable curves, and let $\overline{M}_{g,A[n]}$ be its coarse moduli space. These spaces have been introduced by B. Hassett, as compactifications of…

This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition,…

Mixed-parity module emerges for instance when a de Rham Galois representation is being tensored with a square root of cyclotomic character, which produces half odd integers as the corresponding Hodge-Tate weights. We build the whole…

We discuss the minimal model program for projective morphisms of complex analytic spaces. Roughly speaking, we show that the results obtained by Birkar--Cascini--Hacon--M\textsuperscript{c}Kernan hold true for projective morphisms between…

We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker…

Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of…

It is demonstrated that any almost-tilting module over a gentle algebra is indeed partial-tilting, meaning it can be completed as a tilting module. Furthermore, such a module has at most $2n$ possible complements, thereby confirming a…

We give a geometric invariant theory (GIT) construction of the log canonical model $\bar M_g(\alpha)$ of the pairs $(\bar M_g, \alpha \delta)$ for $\alpha \in (7/10 - \epsilon, 7/10]$ for small $\epsilon \in \mathbb Q_+$. We show that $\bar…

We present an implementation in the functional programming language Haskell of the PLE decomposition of matrices over division rings. Our benchmarks indicate that it is competitive with the C-based implementation provided in Flint.…

We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the…

Using Koll\'ar's semipositivity results, we produce a number of nef and ample tautological divisors on Hassett's spaces of weighted stable pointed curves. As an application, we prove that Hassett's spaces are log canonical models of…

We introduce a geometric model of shallow multiplicative exponential linear logic (MELL) using the Hilbert scheme. Building on previous work interpreting multiplicative linear logic proofs as systems of linear equations, we show that…

We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a…

In a previous work, we described the Minimal Model Program in the family of $\Qbb$-Gorenstein projective horospherical varieties, by studying certain continuous changes of moment polytopes of polarized horospherical varieties. Here, we…

A part of Grothendieck's program for studying the Galois group $G_{\mathbb Q}$ of the field of all algebraic numbers $\overline{\mathbb Q}$ emerged from his insight that one should lift its action upon $\overline{\mathbb Q}$ to the action…

In this project, a rather complete proof-theoretical formalization of Lambek Calculus (non-associative with arbitrary extensions) has been ported from Coq proof assistent to HOL4 theorem prover, with some improvements and new theorems.…