Related papers: Infinitesimal Torelli Theorem for regular surfaces…
Throughout this paper we study the existence of irreducible curves C on smooth projective surfaces S with singular points of prescribed topological types S_1,...,S_r. There are necessary conditions for the existence of the type \sum_{i=1}^r…
The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…
A Steiner bundle is a vector bundle on projective space arising as the cokernel of the map defined by a matrix of linear forms. These come up in various geometric settings, and by now they are the subject of a considerable literature.…
For each pair of integers g at least 2 and h at least 1, we explicitly construct infinitely many fiber sum and section sum indecomposable genus g surface bundles over genus h surfaces whose total spaces are pairwise homotopy inequivalent.
Building on the theory of infinitesimal Newton--Okounkov bodies and previous work of Lazarsfeld--Pareschi--Popa, we present a Reider-type theorem for higher syzygies of ample line bundles on abelian surfaces. As an application of our…
It is well known that the Eisenbud-Goto regularity conjecture is true for arithmetically Cohen-Macaulay varieties, projective curves, smooth surfaces, smooth threefolds in $\mathbb{P}^5$, and toric varieties of codimension two. After J.…
In order to determine when surface-by-surface bundles are non-positively curved, Llosa Isenrich and Py give a necessary condition: given a surface-by-surface group $G$ with infinite monodromy, if $G$ is CAT(0) then the monodromy…
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply…
We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…
Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in…
We study the categorical Torelli theorem for smooth (weighted) hypersurfaces in (weighted) projective spaces via the Hochschild--Serre algebra of its Kuznetsov component. In the first part of the paper, we show that a natural graded…
For $g>3$, we give two proofs of the fact that the \emph{Birman exact sequence} for the Torelli group \[ 1\to \pi_1(S_g)\to {\cal I}_{g,1}\to {\cal I}_g\to 1 \] does not split. This result was claimed by G. Mess in \cite{mess1990unit}, but…
We extend the results of Pareschi on the constancy of the gonality and Clifford index of smooth curves in a complete linear system on Del Pezzo surfaces of degrees $\geq 2$ to the case of Del Pezzo surfaces of degree 1, where we explicitly…
We construct the algebraic cobordism theory of bundles and divisors on smooth varieties. It has a simple basis (over Q) from projective spaces and its rank is equal to the number of Chern invariants. As an application we study the number of…
We prove that the Turaev--Viro invariants of the two surface bundles over the circle coincide for every spherical fusion category if the surface group is procongruently conjugacy separable and there exists a regular profinite isomorphism…
We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…
We develop the concept of integral Menger curvature for a large class of nonsmooth surfaces. We prove uniform Ahlfors regularity and a $C^{1,\lambda}$-a-priori bound for surfaces for which this functional is finite. In fact, it turns out…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We…