代数几何

We consider deformations of a pair $(X,\partial X)$, where $X$ is an affine toric Gorenstein variety and $\partial X$ is its boundary. We compute the tangent and obstruction space for the corresponding deformation functor and for an…

Using recent results of Bayer-Macr\`i, we compute in many cases the pseudoeffective and nef cones of the projectivised cotangent bundle of a smooth projective K3 surface. We then use these results to construct explicit families of smooth…

We introduce the notion of r-defectivity for a vector bundle on a quasi-projective variety. Using this tool, we prove several previously unknown cases of Fr\"oberg's conjecture and also of the postulation problem for fat point schemes. Our…

We describe new explicit examples of moduli spaces of Bridgeland semistable objects on surfaces, parametrizing objects whose numerical class agrees with the class of a point. This follows ideas of Tramel and Xia, using stability conditions…

For $S$ a very general polarized K3 surface of degree $8n-6$, we describe in geometrical terms a birational involution of the Hilbert scheme $S^{[n]}$ of $n$ points on the surface, whose existence was established from lattice theoretical…

The Solomon-Terao bi-polynomial was introduced by Solomon and Terao which degenerates to the characteristic polynomial of hyperplane arrangements. Also, it was proved recently that the other specialization of the Solomon-Terao…

The Steenrod algebra can not be realised as an enveloping of any Lie superalgebra. We list several problems that suggest a need to modify the definition of the enveloping algebra, for example, to get rid of certain strange deformations…

We study degree two unirational parameterizations of geometrically rational surfaces over the real field.

Fix a flat and projective morphism $X\rightarrow\Sigma$ of schemes. We show, first, that any set of $\mathbb{P}^1$-fibrations on $X$ defines a set of simple roots, a set of simple coroots and a Cartan matrix $C$. Second, $X$ is an \'etale…

We propose an explicit construction of a weighted generalised Grassmannian. For a weighted Grassmannian (i.e., for series A) we obtain an effective parametrisation of possible $\mathbb{Z}$-gradings on Pl\"{u}cker coordinates, and provide…

A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant…

Let $\pi: X_r \rightarrow \mathbb P^2$ be a blow up of $\mathbb P^2$ at $r$ distinct points $p_1,p_2,\dots, p_r$. We study lower bounds for Seshadri constants of ample line bundles on $X_r$. First, we consider the case when the points lie…

We show, for all $n\ge 2$ even and $d\ge 2+\frac{4}{n}$, that the moduli of smooth degree $d$ hypersurfaces of $\mathbb{P}^{n+1}$ contains infinitely many different Hodge loci whose Zariski tangent space has the same codimension as the…

We study the behavior of Frobenius operators on smooth proper pushforwards of prismatic F-crystals. In particular we show that the i-th pushforward has its Frobenius height increased by at most i. Our proof crucially uses the notion of…

The moduli space of stable rational curves with marked points has two distinguished families of maps: the forgetful maps, given by forgetting some of the markings, and the Kapranov maps, given by complete linear series of $\psi$-classes.…

In this paper, we introduce the concept of stable automorphic forms for semisimple algebraic groups and use the stability of automorphic forms to study the geometry of infinite dimensional arithmetic quotients.

We show that mod $2$ cohomological invariants of the moduli stack $\mathscr{M}_{3,n}$ of smooth pointed curves of genus three contain a free module with generators in degree $0$, $2$, $3$, $4$ and $6$, formed by the invariants of the…

This paper is a follow-up of a previous work in which we show that, for a $3$-edge connected tropical curve $\Gamma$, the existence of a divisor of degree $3$ and Baker-Norine rank at least $1$ in $\Gamma$ is equivalent to the existence of…

Let $X$ be a compact K\"ahler manifold and $\alpha$ a K\"ahler class on $X$. We prove that if $(X,\alpha)$ is uniformly K-stable for models, then there is a unique cscK metric in $\alpha$. This was first proved in the algebraic case by Chi…

Take an irreducible smooth complex projective curve $X$ of genus $g$, with $g\,\geq\, 3$. Let $r$ be an even positive integer. We prove that the Brauer group of the moduli stack of stable parabolic $\textnormal{PSp}(r,\mathbb{C})$--bundles…