代数几何

Recently Paw\l{}ucki showed that compact sets that are definable in some o-minimal structure admit triangulations of class $\mathcal{C}^p$ for each integer $p\geq 1$. In this work, we make use of these new techniques of triangulation to…

We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for…

Recently, Bellamy et al. constructed an infinite series of 4-dimensional isolated symplectic sngularities with trivial local fundamental group, inspired by a question of Beauville. In this short note, we introduce an easy construction of…

We construct the first explicit non-trivial example of deformed Hermitian Yang-Mills (dHYM) connection on a higher rank slope-unstable holomorphic vector bundle over a Fano threefold. Additionally, we provide a sufficient algebraic…

In this work we study the existence of surjective Nash maps between two given semialgebraic sets ${\mathcal S}$ and ${\mathcal T}$. Some key ingredients are: the irreducible components ${\mathcal S}_i^*$ of ${\mathcal S}$ (and their…

We introduce the Macaulay2 package ThinSincereQuivers for studying acyclic quivers, the moduli of their thin-sincere representations, and the reflexive flow polytopes associated to them. We provide some background on the topic and…

We develop an analogue of the deformation to the normal cone in the context of derived algebraic geometry. This provides any given morphism of derived stacks with a degeneration to the zero section of its normal bundle (i.e., its 1-shifted…

We prove the existence of abelian varieties over $\overline{\mathbb Q(t)}$ with no power isogenous to a Jacobian. Moreover, given a positive integer $N$, we prove the existence of abelian varieties over $\overline{\mathbb Q(t)}$ with…

Vafa-Witten observed that Yoshioka's blow-up formula for the Euler characteristics of rank $r$ instantons on an algebraic surface coincides with the character of the Wess-Zumino-Witten model for $\mathrm{SU}(r)$ at level $1$, and raised the…

We study the algebraic dynamics of endomorphisms of projective varieties. First, we characterize their iterated images, i.e. the intersection of the images of their iterates. Next, we explore the Stein factorizations of the iterates,…

In this paper we obtain a criterion of flexibility for an affine complexity-zero horospherical variety. This result generalizes previously known results on flexibility of normal horospherical varieties, horospherical varieties with an…

In this paper we describe the implementation that led to the counterexamples to the Nash blowup conjectures recently discovered by the authors. We also provide new examples of toric varieties with prescribed singularities that are not…

Given a closed immersion between arbitrary smooth complex projective varieties, we prove that the two operations: (1) taking the moduli space of stable sheaves, and (2) taking the deformation to the normal cone, commute in a precise sense.…

We study the Brauer group of an abelian variety A over an algebraically closed field of characteristic p focusing on the p-primary torsion, the key part of which is a certain quasi-algebraic unipotent group U_A. We determine its dimension…

We construct universal Brauer-Severi varieties of fixed period and index and study their geometry. We determine their cohomology and their Brauer and Picard groups and show that they are almost always simply connected. As an application, we…

We introduce the notion of quasi-$F$-splitting in mixed characteristic and study Kodaira-type vanishing on quasi-$F$-splitting varieties. As an application, we prove a Kodaira-type vanishing on lifts of rational double point (RDP) del Pezzo…

The Fundamental Theorem of Algebra (FTA) asserts that every complex polynomial has as many complex roots, counted with multiplicities, as its degree. A probabilistic analogue of this theorem for real roots of real polynomials, commonly…

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…

We define a ring of motivic classes of stacks suitable for symmetric powers in finite characteristic. Let $X$ be a smooth projective curve over a field of arbitrary characteristic. We calculate the motivic classes of the moduli stacks of…

In this paper, we explicitly describe the orbifold pseudo-effective cone of a split toric stack.