代数几何

We prove that the space of shifted Poisson structures on a derived scheme $X$ locally of finite presentation is equivalent to the space of shifted Lagrangian thickenings out $X$, solving a conjecture in shifted Poisson geometry. As a…

We define a categorical action of the shifted quantum loop group of $\mathfrak{sl}_2$ on the derived categories of Quot schemes of finite length quotient sheaves on a smooth projective curve. As an application, we obtain a semi-orthogonal…

In this paper we study higher even Gaussian maps of the canonical bundle on hyperelliptic curves and we determine their rank, giving explicit descriptions of their kernels. Then we use this descriptions to investigate the hyperelliptic…

We study integral plane curves meeting at a single unibranch point and show that such curves must satisfy two equivalent conditions. A numeric condition: the local invariants of the curves at the contact point must be arithmetically…

We derive a necessary and sufficient condition on a hyperplane arrangement in $\mathbb{P}^n$ for the associated logarithmic cotangent bundle to be ample modulo boundary. We extend this result to the orbifold setting and give some…

In this article, we describe the maximal unipotent subgroups of $\mathrm{Aut}(X)$, where $X$ is an affine algebraic variety. Every subgroup of this type has a structure analogous to that of the group of triangular automorphisms of…

We classify nonconstant morphisms $\mathbb{P}^m \to G/P$ for $m \le 4$ when $G = SL(n,\mathbb{C})$ (type~$A$) for a minimal parabolic subgroup $P$. Using the Borel presentation of cohomology and explicit Schubert intersection identities, we…

The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that…

We study Poincar\'e Duality in the context of abstract 6-functor formalisms. In particular, we give a small and simple list of assumptions that implies Poincar\'e Duality. As an application, we give new uniform (and essentially formal)…

We study morphisms of internal locales of Grothendieck toposes externally: treating internal locales and their morphisms as sheaves and natural transformations. We characterise those morphisms of internal locales that induce surjective…

We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…

We define Liu morphisms and quasi-Liu morphisms between Berkovich analytic spaces. We show that Liu morphisms and quasi-Liu morphisms behave exactly as affine morphisms and quasi-affine morphisms of schemes.

We show how the computer algebra system OSCAR can be used to obtain topologically correct or visually pleasing drawings of real plane algebraic curves.

For a stable real bundle $E$ of rank $2$ and degree $1$ on a real genus $2$ curve, we describe the action of the real structure of the curve on the set of $4$ maximal line subbundles of degree $0$ of $E$. This describes the Galois action on…

We describe the mapping class group action on the cohomology of the twisted $\mathrm{SL}_n$-character variety of a surface $\Sigma_g$ of genus $g$. Our main tool is a relative version of the endoscopic decomposition of Maulik-Shen; this…

The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the…

In this paper, we introduce ribbon TQFTs via Edge Contraction/Construction Axioms of colored ribbon graphs as an extension of the 2D TQFT axioms for ribbon graphs formulated in arXiv:1508.05922. We investigate nearly Frobenius structures…

We characterize the moduli space of \'etale Klein coverings (i.e. Galois with deck group $\mathbb{Z}_2^2$) of hyperelliptic curves of genus 3. We prove that the Prym map on each component is injective. As an application, we show that the…

The tautological $\mathbb{Q}$-subalgebra $\mathsf{R}^*(\mathcal{A}_g) \subset \mathsf{CH}^*(\mathcal{A}_g)$ of the Chow ring of the moduli space of principally polarized abelian varieties is generated by the Chern classes of the Hodge…

Extending classical algebro-geometric constructions to arbitrary matroids, we construct a $K$-class $T_M\in K(M)$ for every loopless matroid $M$. When $M$ is realizable by a linear subspace $L$, $T_M$ recovers the $K$-class of the tangent…