代数几何
We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and…
In a 2013 article, Eike Lau constructed a canonical morphism from the stack of $n$-truncated Barsotti-Tate groups over $F_p$ to the stack of $n$-truncated displays. He also proved that this morphism is a gerbe banded by a commutative group…
We prove a comparison theorem between the \'etale cohomology of algebraic varieties over Stein compacta and the singular cohomology of their analytifications. We deduce that the field of meromorphic functions in a neighborhood of a…
We present two new families of Abelian varieties which contradict Zarhin's conjecture about micro weights in positive characteristics. For each of these examples we determine the dimension and the Newton slopes of the ghost Abelian variety…
This paper further develops the algebraic--geometric foundations of conditional independence (CI) equilibria, a refinement of dependency equilibria that integrates conditional independence relations from graphical models into strategic…
For smooth affine varieties in positive characteristic, we identify a slope obstruction to the injectivity of the comparison morphism from rigid cohomology to rationalised crystalline cohomology. This yields a negative answer to a question…
We describe how to glue prime-to-$p$ torsion sheaves along Harder-Narasimhan strata of Fargues-Scholze's $\mathrm{Bun}_G$ in terms of the cohomology of locally closed strata inside the smooth charts $\mathcal{M}_b \to \mathrm{Bun}_G$…
Let $X$ be a hyperk\"ahler manifold, and let $A$ be a nef and big divisor on $X$. We show that the fixed part of the linear system $|A|$ is reduced and as a consequence $|2A|$ is mobile. If $X$ has dimension four we also show that if the…
For a $\Gamma$--equivariant holomorphic Lie algebroid $(V,\, \phi)$, on a compact Riemann surface $X$ equipped with an action of a finite group $\Gamma$, we investigate the equivariant holomorphic Lie algebroid connections on holomorphic…
Unexpected hypersurfaces arise when vanishing in points of a set $Z$ and higher-order vanishing along a general linear subspace fails to impose the expected number of independent conditions on forms of a fixed degree. The phenomenon was…
We prove two dual recursive decompositions as a graded $\underline{\mathrm{CH}}(M)\otimes \underline{\mathrm{CH}}(N)$-module of the Chow ring $\underline{\mathrm{CH}}(M\oplus N)$ of the direct sum of matroids. We use this to obtain a…
We study the Quot scheme of points $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$. We exhibit and compute the cohomology of explicit loci in $\mathrm{Quot}_d(\mathcal{O}_{\mathbb{A}^{n}}^{\oplus r})$, whose complement has…
We show that the alternating groups $\mathfrak{A}_5$ and $\mathfrak{A}_6$ are the only finite simple non-abelian subgroups of the group of birational selfmaps of the real three-dimensional projective space.
In analogy with recent works on $K3$ surfaces, we study the existence of infinitely many ruled divisors on projective irreducible holomorphic symplectic (IHS) manifolds. We prove such an existence result for any projective IHS manifold of…
We define the type of a plane curve as the initial degree of the corresponding Bourbaki ideal. Then we show that this invariant behaves well with respect to the union of curves. Curves of type $0$ are precisely the free curves, while curves…
We study Brill-Noether loci of three kinds of spectral curves: classical spectral curves as introduced by Hitchin, spectral curves over the projective line and double covers whose branch locus is a canonical divisor. Our techniques are…
The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…
For any quiver $Q$ and dimension vector $v$, Le Bruyn-Procesi proved that the invariant ring for the action of the change of basis group on the space of representations $\text{Rep}(Q,v)$ is generated by the traces of matrix products…
We explore the maximality of the Hilbert square of maximal real surfaces, and find that in many cases the Hilbert square is maximal if and only if the surface has connected real locus. In particular, the Hilbert square of no maximal…
We construct a smooth projective variety $\mathscr X_\Psi$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety for $\mathrm{GL}(n)$, determined by a root ideal $\Psi$. A natural family of line…