代数几何

We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the…

We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: (1) a unipotent analogue of…

We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective…

A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural…

Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function…

Let $k$ be a field of characteristic zero and $G$ a finite group. We prove that for all $n\geq 2$, the $n$th Amitsur group is a stable $G$-birational invariant of smooth projective $G$-varieties over $k$. This was previously known for…

In previous work, we extracted from a finite-node conifold degeneration the state-data package $A_\Sigma=(V_\Sigma,E_\Sigma,c_\Sigma)$ and then constructed the support-level interaction package encoded by a binary incidence structure and…

The classical Simpson correspondence describes complex linear representations of the fundamental group of a smooth complex projective variety in terms of linear algebra objects, namely Higgs bundles. Its p-adic analogue, introduced by G.…

We develop an anabelian framework for general Deligne-Mumford curves, showing that their stack and orbifold structures are encoded in the group-theoretic properties of their \'etale fundamental groups. After establishing the required…

We investigate compactified Deligne-Lusztig varieties whose canonical divisor, when expressed as a linear combination of boundary divisors, has all coefficients strictly negative or zero. In dimension two we obtain explicit descriptions:…

This paper studies the algebraic boundary of the elliptope $\mathcal{E}(G)$ of a graph $G$. In particular, we completely characterize the algebraic boundary of $\mathcal{E}(G)$ when $G$ is cycle completable. In this case, the boundary is a…

We study derived coinvariants of isotropic subbundles on modules over super Heisenberg algebras and construct certain natural transitive Lie algebroids acting on them.

We reinterpret Diaz's construction of Chow-trivial smooth projective varieties violating the integral Hodge conjecture as the level-two case of an \(n\)-fold cup-product Bockstein mechanism. Diaz's dimension-four example is \(V=S_1\times…

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary…

We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses…

Extending work of Klyachko, Perling and Kool we develop a combinatorial description of torsion free toric sheaves in any dimension on smooth toric DM stacks. We investigate their basic properties and under certain conditions recover some…

We prove a generalization of Orlov's theorem for matrix factorizations with $n$ steps. Let $X$ be a regular scheme, $W\colon X\to \mathbb{A}^1$ a flat morphism and $D:=W^{-1}(0)$ its central fiber. We construct an appropriate triangulated…

We describe a polynomial complexity algorithm for reducing transition matrices, for vector bundles glued along a clutching-type cover of a real anisotropic conic, to canonical block diagonal forms. This is a generalization, to the real…

We introduce Veronese-Avoiding hypersurfaces, inspired by the theory of associated forms of Alper--Isaev. In the smooth case, we reinterpret their criterion via Macaulay inverse systems: the Veronese-Avoiding condition is equivalent to the…

Toric prevarieties are non-separated analogues of toric varieties. Perling \cite{Perling_equivariant_sheaves_tor_var} provided a combinatorial description of equivariant quasicoherent sheaves on toric varieties, extending earlier ideas of…