Related papers: Remarks on two problems by Hassett
The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of…
We study the moduli spaces of rational curves on cubic hypersurfaces in characteristic $\neq2,3$. As a result, we prove that for every integer $d\geq1$ the Kontsevich moduli space of stable maps on a smooth cubic hypersurface $X$ of degree…
In algebraic geometry, it is important to provide effective parametrizations for families of curves, both in theory and in practice. In this paper, we present such an effective parametrization for the moduli of genus-$5$ curves that are…
It is known that the moduli space $\overline{\mathcal{H}}_{g,n}$ of genus $g$ stable hyperelliptic curves with $n$ marked points is uniruled for $n \leq 4g+5$. In this paper we consider the complementary case. We calculate the canonical…
In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…
Let $b_{\bullet}$ be a sequence of integers $1 < b_1 \leq b_2 \leq \cdots \leq b_{n-1}$. Let $M(b_{\bullet})$ be the space parameterizing nondegenerate, rational curves of degree $e$ in $\mathbb{P}^n$ with ordinary singularities such that…
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry…
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…
Fix a smooth projetive curve $\mathcal {C}$ of genus $g\geq 2$ and a line bundle $\mathcal{L}$ on $\mathcal{C}$ of degree $d$. Let $M:= \mathcal{SU}_{\mathcal{C}}(r, \mathcal{L})$ be the moduli space of stable vector bundles on…
As a result of our study of the hyperbolicity of the moduli space of polarized manifold, we give a general big Picard theorem for a holomorphic curve on a log-smooth pair $(X,D)$ such that $W=X\setminus D$ admits a Finsler pseudometric that…
We prove that the moduli space ${\Cal M}_{g,n}$ of smooth curves of genus $g$ with $n$ marked points is rational for $g=6$ and $1 \le n \le 8$, and it is unirational for $g=8$ and $1 \le n \le 11$, $g=10$ and $1 \le n \le 3$, $g=12$ and $n…
In this paper, we prove that the moduli space $\overline{M}_{X}(\nu)$ of $H$-Gieseker semistable sheaves on a smooth cubic threefold $X$ with Chern character $\nu=(4,-H,-\frac{5}{6}H^{2},\frac{1}{6}H^{3})$ is non-empty, smooth and…
We investigate the spaces of rational curves on a general hypersurface. In particular, we show that for a general degree $d$ hypersurface in $\mathbb{P}^n$ with $n \geq d+2$, the space $\overline{\mathcal{M}_{0,0}}(X,e)$ of degree $e$…
We study the computation of canonical bases of sets of univariate relations $(p_1,\ldots,p_m) \in \mathbb{K}[x]^{m}$ such that $p_1 f_1 + \cdots + p_m f_m = 0$; here, the input elements $f_1,\ldots,f_m$ are from a quotient…
Consider the moduli space, $\mathcal{M}_{3},$ of cubic polynomials over $\mathbb{C}$, with a marked critical point. Let $\mathscr{S}_{k,n}$ be the set of all points in $\mathcal{M}_{3}$ for which the marked critical point is strictly…
We formulate a conjecture on the behavior of the minimal free resolutions of sets of general points on arbitrary varieties embedded by complete linear series, in analogy with the well-known Minimal Resolution Conjecture for points in…
We provide a programmable recursive algorithm for the $\mathbb{S}_n$-representations on the cohomology of the moduli spaces $\overline{\mathcal M}_{0,n}$ of $n$-pointed stable curves of genus 0. As an application, we find explicit inductive…
We study effective divisors on $\overline{M}_{0,n}$, focusing on hypertree divisors introduced by Castravet and Tevelev and the proper transforms of divisors on $\overline{M}_{1,n-2}$ introduced by Chen and Coskun. Results include a…
Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n…
We prove that the log canonical thresholds of a large class of binomial ideals, such as complete intersection binomial ideals and the defining ideals of space monomial curves, are computable by linear programming.