代数几何

We investigate higher--order variation of Hodge structure for families of smooth hypersurfaces and complete intersections through the notion of $I$--maximal variation. Using Griffiths' description of primitive cohomology, we interpret the…

We study the infinitesimal variation of Hodge structure for families of algebraic curves and extend the classical theory from smooth curves to singular and non--planar settings. Using the deformation space $\mathrm{Ext}^1(\Omega_X,\mathcal…

We study linear $\alpha_p$-actions on affine spaces and the associated quotient singularities, using explicit stacky resolutions. We describe when the quotient singularities are log canonical, canonical or terminal, and we compute their…

Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the…

We generalize the topological description of the $\mathbb{N}$-graded Proj construction to the multigraded Proj construction for factorially graded rings that are graded by finitely generated abelian groups $D$. However, there is one big…

We identify images of the determinant morphism of trace-free co-Higgs bundles modeled on rank 2 Schwarzenberger bundles.

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined…

Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality…

We present an algorithm to compute the Hodge ideals of $\mathbb{Q}$-divisors associated to any reduced effective divisor $D$. The computation of the Hodge ideals is based on an algorithm to compute parts of the $V$-filtration of Malgrange…

For any 4-variate quartic form $f\geq 0$ (i.e. $f$ nonnegative, homogeneous polynomial of degree $4$ with real coefficients) there exist quadratic forms $q$ and $q'$ so that $qq'f$ is a sum of squares (s.o.s.) of quartics, by reducing to…

Let $V$ be a vector bundle of rank $r$ on a smooth projective complex curve $C$. The Hyperquot scheme $\text{F}^{n}\text{Quot}\,(V)$ is the moduli space of length $n$ flags of rank $r$ sub-sheaves of $V$. This article has two main results:…

We give a computation of some Euler classes in Chow-Witt groups associated to the count of lines of smooth del Pezzo surfaces of degree 2 and 4. The description of Chow-Witt groups of projective bundles over Grassmannians for vector bundles…

We apply the supergeometric analogue of Artin's algebraicity criteria to prove algebraicity for four moduli problems in supergeometry: supercurves, super Riemann surfaces, stable supercurves, and stable super Riemann surfaces. The…

Let $C_{p,d}(\mathbb{P}^n)$ denote the Chow variety of effective algebraic $p$-cycles of degree $d$ in complex projective space $\mathbb{P}^n$. In this paper, we compute the rational Lawson homology groups…

The main aim of the paper is to give a formula for computing the separation \L ojasiewicz exponents for two real analytic set germs via the Newton--Puiseux expansions of their defining functions. Moreover, we present an effective exponent…

The classical Rees construction (of common use in commutative algebra and Hodge theory) interpolates between filtrations, viewed as ${\mathbb G}_m$-equivariant vector bundles on the affine line, and their associated gradings. Various…

This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…

The study of evolutes of plane curves goes back at least to Huygens, and was continued and extended to space curves by Monge, Darboux, and others. Salmon studied projective curves and surfaces and their evolutes and gave many enumerative…

We obtain the derived autoequivalences of a flopping rational curve of length 2 using GIT and the theory of windows applied to the universal length 2 flop. We show that the stringy K\"ahler moduli space (SKMS) associated to the GIT problem,…

We undertake a study of topological properties of the real Mordell-Weil group $\operatorname{MW}_{\mathbb R}$ of real rational elliptic surfaces $X$ which we accompany by a related study of real lines on $X$ and on the "subordinate" del…