Related papers: The relative canonical resolution: Macaulay2-packa…
Let $S$ be a smooth complex minimal surface of general type with $p_g:=h^0(K_S)\ge 4$ whose canonical map is generically finite of odd degree $d>1$ onto a surface $\Sigma$. We assume that the general canonical curve of $S$ is smooth and…
We show various properties of numerical data of an embedded resolution of singularities for plane curves, which are inspired by a conjecture of Igusa on exponential sums.
We propose two systems of "intrinsic" signs for counting such curves. In both cases the result acquires an exceptionally strong invariance property: it does not depend on the choice of a surface. One of our counts includes all divisor…
We give a conjectural formula for the characteristic number of rational cuspidal curves in the projective plane by extending the idea of Kontsevich's recursion formula (namely, pulling back the equality of two divisors in the four pointed…
Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…
We calculate the cycle class of the Hurwitz divisor $D_2$ on the moduli space of stable curves of genus $g=2k$ given by the degree $k+1$ covers of the projective line with simple ramification points, two of which lie in the same fibre. We…
For each holomorphic vector bundle we construct a holomorphic bundle 2-gerbe that geometrically represents its second Beilinson-Chern class. Applied to the cotangent bundle, this may be regarded as a higher analogue of the canonical line…
Using discrete Morse theory, Batzies and Welker introduced Morse resolutions of monomial ideals. In this note, we present the {\it Macaulay2} package {\tt MorseResolutions} for working with two important classes of Morse resolutions:…
In this short note, we show that any rational curve passing through the generic point in a moduli space of stable bundles with rank $r$ and fixed determinant on a smooth projective curve of genus $g\ge 4$ has degree (with respect to the…
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its…
We study the syzygies of the canonical embedding of a ribbon $\widetilde{C}$ on a curve $C$ of genus $g \geq 1$. We show that the linear series Clifford index and the resolution Clifford index are equal for a general ribbon of arithmetic…
We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…
We describe the Hilbert scheme components parametrizing lines and conics on the space of determinantal nets of conics, N. As an application, we use the quantum Lefschetz hyperplane principle to compute the instanton numbers of rational…
Denoting by ${\mathcal L}_d(m_0,m_1,...,m_r)$ the linear system of plane curves passing through $r+1$ generic points $p_0,p_1,...,p_r$ of the projective plane with multiplicity $m_i$ (or larger) at each $p_i$, we prove the…
One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{M}_{0,n}$. In this paper, we study log canonical models of…
Let $M$ be the moduli space of rank $2$ stable bundles with fixed determinant of degree $1$ on a smooth projective curve $C$ of genus $g\ge 2$. When $C$ is generic, we show that any elliptic curve on $M$ has degree (respect to…
Prescribed rational functions constitute a subset of rational functions satisfying certain symmetry and analyticity conditions. We define and construct explicitly prescribed rational functions-valued bundle $\mathcal{W}_M$ over a smooth…
A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least…
We adopt a statistical point of view on the conjecture of Lang which predicts a lower bound for the canonical height of non-torsion rational points on elliptic curves defined over $\mathbb{Q}$. More specifically, we prove that among the…
The aim of this paper is to show how a conjectural lower bound on the canonical height function in the spirit of Lang and Silverman leads to an explicit uniform bound on the number of rational points on curves of genus $g\geq 2$ over a…