代数几何
Lehmer's number $\lambda_{10}$ is the smallest dynamical degree greater than $1$ that can occur for an automorphism of an algebraic surface. We show that $\lambda_{10}$ cannot be realized by automorphisms of Enriques surfaces in odd…
For any infinite field k and any positive integer r, we show constructively that the map sending each polynomial P $\in$ k[x] to its r-th iterate is dominant in various inductive limit topologies on the space of all polynomials.
We discuss, following Mikhalkin, Brugall\'e, and many others, the counting of curves on toric surfaces with prescribed genus, Newton polygon, and intersection pattern with the toric boundary divisor, both at assigned and unassigned points.…
We explore the enumerative problem of finding lines on cubic surfaces defined by symmetric polynomials. We prove that the moduli space of symmetric cubic surfaces is an arithmetic quotient of the complex hyperbolic line, and determine…
We give a topological description of the behaviour of Stokes matrices under the Fourier transform from infinity to infinity in a large number of cases of one level. This explicit, algorithmic statement is obtained by building on a recent…
We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement…
We consider Fano threefolds $V$ with canonical Gorenstein singularities. A sharp bound $-K_V^3\le 72$ of the degree is proved.
We classify all isomorphisms between moduli stacks of vector bundles of fixed determinant on a smooth complex projective of genus at least 4. It is shown that each isomorphism between two different moduli stacks can be described as a…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
Function field lattices are an interesting example of algebraically constructed lattices. Their minimum distance is bounded below by a function of the gonality of the underlying function field. Known explicit examples--coming mostly from…
In this paper, we prove that for any smooth projective curve $C$ of genus $g\geq2$ over an algebraically closed field of positive characteristic, there exists a stable vector bundle over $C$ whose exterior power is not semi-stable.
We determine the Hodge endomorphism algebras of non-projective complex K3 surfaces (and more generally, hyperk\"ahler manifolds). We show that they are either totally real fields or number fields generated by Salem numbers. This is unlike…
Let $X$ be a real algebraic variety with set of complex points $X_{\mathbb C}$ and set of real points $X_{\mathbb R}$. A complex slice of $X$ is a transverse intersection of $X_{\mathbb R}$ with a complex subvariety $V$ of $X_{\mathbb C}$.…
We study neurovarieties for polynomial neural networks and fully characterize when they attain the expected dimension in the single-output case. As consequences, we establish non-defectiveness and global identifiability for multi-output…
We compute explicit bases for the de Rham cohomology of cyclic covers of the projective line defined over an algebraically closed field of characteristic $p\geq 0$. For both Kummer and Artin-Schreier extensions, we describe precise…
Let X be a smooth projective variety carrying an Ulrich bundle. In the first part of this note, we construct an Ulrich sheaf on n-th symmetric power of X, which is a singular variety when $DimX >1$. As a consequence, we get the existence of…
We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic…
With any hyper-K\"ahler variety $K$ of generalized Kummer type is associated via Hodge theory a K3 surface $S_K$. We show how they are related geometrically through a moduli space of sheaves on $S_K$. As a consequence, building…
We give a general formula for generators of the NL-cone, the cone of effective linear combinations of irreducible components of Noether-Lefschetz divisors, on an orthogonal modular variety. We then fully describe the NL-cone and its…
We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a…