Constructing tree decompositions of graphs with bounded gonality

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most k, when an effective divisor of degree k that reaches all vertices is given. We also give a similar result for two related notions: stable divisorial gonality and stable gonality.

Two Moduli Spaces of Calabi–Yau type

We show $\overline{\mathcal{M}}_{10, 10}$ and $\overline{\mathcal{F}}_{11,9}$ have Kodaira dimension zero. Our method relies on the construction of a number of curves via nodal Lefschetz pencils on blown-up $K3$ surfaces. The construction further yields that any effective divisor in $\overline{\mathcal{M}}_{g}$ with slope $<6+(12-\delta )/(g+1)$ must contain the locus of curves that are the normalization of a $\delta $-nodal curve lying on a $K3$ surface of genus $g+\delta $.

THE LMMP FOR LOG CANONICAL 3-FOLDS IN CHARACTERISTIC

We prove that one can run the log minimal model program for log canonical 3-fold pairs in characteristic $p>5$. In particular, we prove the cone theorem, contraction theorem, the existence of flips and the existence of log minimal models for pairs with log divisor numerically equivalent to an effective divisor. These follow from our main results, which are that certain log minimal models are good.

A function field analogue of Romanoff's theorem

We prove an analogue for Drinfeld modules of a theorem of Romanoff. Specifically, let ϕ be a Drinfeld A-module over a global function field L and denote by ϕ(L) the A-module structure on L coming from ϕ. Let Γ ⊂ ϕ (L) be a free A-submodule of finite rank. For each effective divisor [Formula: see text] of L, let fΓ(𝔇) be the cardinality of the image of the reduction map [Formula: see text] if all elements of Γ are relatively prime to the divisor 𝔇; otherwise, just set fΓ(𝔇) = ∞. We give explicit upper bounds for the series [Formula: see text] and [Formula: see text].

Rational Surfaces with Anticanonical Divisor not Reduced

We prove the finite generation of the monoid of effective divisor classes on a smooth projective rational surface X endowed with an anticanonical divisor such that all its irreducible components are of multiplicity one except one which has multiplicity two. In almost all cases, the self-intersection of a canonical divisor KX on X is strictly negative, hence - KX is neither ample nor numerically effective. In particular, X is not a Del Pezzo surface. Furthermore, it is shown that the first cohomology group of a numerically effective divisor vanishes; as a consequence, we determine the dimension of the complete linear system associated to any given divisor on X

Integral division points on curves

Let $k$ be a number field with algebraic closure $ \overline{k} $, and let $S$ be a finite set of primes of $k$ containing all the infinite ones. Let $E/ k$ be an elliptic curve, ${\mit{\Gamma} }_{0} $ be a finitely generated subgroup of $E( \overline{k} )$, and $\mit{\Gamma} \subseteq E( \overline{k} )$ the division group attached to ${\mit{\Gamma} }_{0} $. Fix an effective divisor $D$ of $E$ with support containing either: (i) at least two points whose difference is not torsion; or (ii) at least one point not in $\mit{\Gamma} $. We prove that the set of ‘integral division points on $E( \overline{k} )$’, i.e., the set of points of $\mit{\Gamma} $ which are $S$-integral on $E$ relative to $D, $ is finite. We also prove the ${ \mathbb{G} }_{\mathrm{m} } $-analogue of this theorem, thereby establishing the 1-dimensional case of a general conjecture we pose on integral division points on semi-abelian varieties.