CyberSec Research

We give a detailed analysis of the stability scattering diagram for $\mathbb{P}^2$ introduced by Bousseau. This scattering diagram lives in a subset of $\mathbb{R}^2$, and we decompose this subset into three regions, $R_{\Delta},R_{\Diamond}$ and $R_{\mathrm{unbdd}}$. The region $R_{\Delta}$ has a chamber structure whose chambers are in one-to-one correspondence with strong exceptional triples. No ray of the stability scattering diagram enters the interior of such a triangle, replicating a result of Prince, and generalizing a result of Bousseau. The region $R_{\Diamond}$ is decomposed into diamonds, which are in one-to-one correspondence with exceptional bundles. Each diamond has a vertical diagonal corresponding to a rank zero object and is traversed by a dense set of rays. Crucially, however, there are no collisions of rays inside diamonds, making it still possible to control the scattering diagram in $R_{\Diamond}$. Finally, the behaviour of $R_{\mathrm{unbdd}}$ is chaotic, in that every rational point inside it is a collision of an infinite number of rays. We show that the bounded region $R_{\mathrm{bdd}}= R_{\Delta}\cup R_{\Diamond}$ has as upper boundary the Le Potier curve, thus showing that this curve arises naturally through the algorithmic scattering process. We give an application of these results by describing the first wall-crossing for the moduli space of one-dimensional rank zero objects on $\mathbb{P}^2$. In the sequel, we apply these results to describe the full Bridgeland wall-crossing for $\mathrm{Hilb}^n(\mathbb{P}^2)$ for any $n$.

We study surjective endomorphisms of projective bundles over toric varieties, achieving three main results. First, we provide a structural theorem describing endomorphisms of projectivized split bundles over arbitrary base varieties, which we use to classify all surjective endomorphisms of Hirzebruch surfaces and construct novel families of examples. Second, for non-split equivariant bundles over toric varieties, we prove that the dynamical degree of an endomorphism of the projectivization is controlled by the base morphism; as a consequence, we establish the Kawaguchi--Silverman conjecture for such bundles. Third, using an explicit transition function method, we prove that projectivizations of tangent and cotangent bundles of smooth toric varieties admit no non-automorphic surjective endomorphisms commuting with toric morphisms on the base.

Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give an $\infty$-category of spectral stacks, a viable functor-of-points alternative to Lurie's approach to nonconnective spectral algebraic geometry. Specializing further to spectral stacks over the moduli stack of oriented formal groups, we use chromatic homotopy theory to obtain a large class of $0$-affine stacks, generalizing Mathew--Meier's famous $0$-affineness result. We introduce a spectral refinement of Hopkins' stack construction of an $\mathbf{E}_\infty$ ring, and study when it provides an inverse to the global sections of a spectral stack. We use this to show that a large class of stacks, which we call reconstructible, are naturally determined by their global sections, including moduli stacks of oriented formal groups of bounded height and the moduli stack of oriented elliptic curves.

This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic zero. Particularly, we show that an invariant called `level' in the associated derived category measures the failure of these singularities.

We appeal to the theory of Jouanolou torsors to model the coherent cohomology of configuration spaces of points in d-dimensional affine space. Using this model, we develop the operadic notion of chiral operations, thus generalizing the notion of chiral algebras of Beilinson and Drinfeld to higher dimensions. To produce examples, we use a higher-dimensional conceptualization of the residue which is inspired by Feynman graph integrals.

We consider the geometry of a general polarized K3 surface $(S,h)$ of genus 16 and its Fourier-Mukai partner $(S',h')$. We prove that $S^{[2]}$ is isomorphic to the moduli space $M_{S'}(2,h',7)$ of stable sheaves with Mukai vector $(2,h',7)$ and describe the embeddings of the projectivization of the stable vector bundle of Mukai vector $(2,-h',8)$ over $S'$ into these two isomorphic hyper-K\"ahler fourfolds. Following the work of Fr\'ed\'Eric Han in arXiv:2501.16013, we explicitly construct an interesting 3-form $t_1\in \wedge^3 V_{10}^*$ which potentially gives an isomorphism between $S^{[2]}$ and the Debarre-Voisin fourfold in $G(6,V_{10})$ associated to $t_1\in \wedge^3 V_{10}^*$. This would provide a geometric explanation of the existence of such an isomorphism, which was proved in arXiv:2102.11622 by a completely different argument.

Let $\mathbb{K}$ be a field and $A$ a Noetherian $\mathbb{K}$-algebra. In a paper of 2020, M. Albert, C. Bertone, M. Roggero and W. M. Seiler proved that, given a quasi-stable module $U \subset R^m$ with $R=\mathbb{K}[x_0,\dots,x_n]$, any submodule $M\subseteq (R\otimes A)^m$ generated by a marked basis over $U$ admits a special free resolution described in terms of marked bases as well, called the {\em $U$-resolution of $M$}. In this paper, we first investigate the minimality of the $U$-resolution and its structure. When $M$ is an ideal and $A=\mathbb{K}$, we show that $M$ is componentwise linear if and only if its $U$-resolution is minimal, up to a linear change of variables. Then, adopting a functorial approach to the construction of the $U$-resolution, we prove that certain functors naturally associated with the resolution are isomorphic. These isomorphisms arise from the fact that the marked basis of the $i$-th syzygy module in the $U$-resolution can be expressed in terms of the coefficients of the marked basis of $M$. Moreover, when $M$ is an ideal of depth at least 2, this correspondence can be reversed: in this case, the marked basis of $M$ itself can be written in terms of the coefficients of the marked basis of its first syzygy module.

In this, the first of three papers about $C_2$-equivariant complex quadrics, we calculate the equivariant ordinary cohomology of smooth antisymmetric quadrics. One of these quadrics coincides with a $C_2$-equivariant Grassmannian, and we use this calculation to prove an equivariant refinement of the result that there are 27 lines on a cubic surface in $\mathbb{P}^3$.

These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor formalisms; the 2-category of cohomological correspondences, and resulting simplifications in the proofs of Poincar\'e--Verdier duality results; the relation between 6-functor formalisms and ``geometric rings''; many examples of 6-functor formalisms, both old and new.

We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities with divisor class group of rank one. We prove that they correspond bijectively to non-trivial upper sets in a certain quotient of the divisor class group equipped with a certain partial order. By this classification, we show that for such toric singularities, all toric NCCRs are connected by iterated Iyama-Wemyss mutations.

The importance of studying $d$-tilting bundles, which are tilting bundles whose endomorphism algebras have global dimension $d$ (or less), on $d$-dimensional smooth projective varieties has been recognized recently. In Chan's paper, it is conjectured that a smooth projective surface has a $2$-tilting bundle if and only if it is weak del Pezzo. In this paper, we prove this conjecture. Moreover, we show that this endomorphism algebra becomes a $2$-representation infinite algebra whose 3-Calabi-Yau completion gives a non-commutative crepant resolution (NCCR) of the corresponding Du Val del Pezzo cone.

Johannes Krah showed that the blowup of $\mathbf{P}^{2}$ in $10$ general points admits a phantom subcategory. We construct three types of objects in such a phantom: a strong generator, projections of skyscraper sheaves, and a family of objects with two nonzero cohomology sheaves. We study the deformation theory of these objects to show that the phantom contains rich geometry, such as encoding the blowdown map to $\mathbf{P}^{2}$. We also show that there exists a co-connective dg-algebra whose derived category is a phantom.

Splitting loci are certain natural closed substacks of the stack of vector bundles on $\mathbb{P}^1$, which have found interesting applications in the Brill-Noether theory of $k$-gonal curves. In this paper, we completely characterize when splitting loci, as algebraic stacks, are Gorenstein or $\mathbb{Q}$-Gorenstein. The main ingredients of the proof are a computation of the class groups of splitting loci in certain affine extension spaces, and a formula for the class of their canonical module.

We show that the relation between multiplier ideals and $V$-filtration on the structure sheaf due to Budur-Musta\c{t}\u{a}-Saito generalizes to singular irreducible varieties, by replacing multiplier ideals with multiplier modules and the structure sheaf with the intersection complex Hodge module. This is applied to a Skoda theorem for such modules as well as a $\mathcal D$-module theoretic proof of Ajit's formula relating the multiplier modules of an ideal to those of the Rees parameter in the extended Rees algebra. Moreover, we define a Bernstein-Sato polynomial for the pair of a variety and an ideal sheaf on it. We relate the roots to the jumping numbers of the multiplier modules. If the ideal is generated by a regular sequence on a rational homology manifold, we show that the absence of integer roots of the polynomial implies that the subvariety defined by the ideal is a rational homology manifold.

Punctual noncommutative Hilbert schemes are projective varieties parametrizing finite codimensional left ideals in noncommutative formal power series rings. We determine their motives and intersection cohomology, by constructing affine pavings and small resolutions of singularities.

Let $X$ be a closed subvariety of an abelian variety $A$ over a global function field $k$ such that the base change of $A$ to an algebraic closure does not have any positive dimensional isotrivial quotient. We prove that every adelic point on $X$ which is the limit of a sequence of $k$-rational points on $A$ is a limit of $k$-rational points on $X$. Assuming finiteness of the Tate-Shafarevich group of $A$, this implies that the rational points on $X$ are dense in the Brauer set of $X$. Similar results are obtained over totally imaginary number fields, conditionally on an adelic Mordell-Lang conjecture.

Under certain assumptions, we show that unitary rational $\mathcal{N}=(2,2)$ conformal field theories together with a certain generating set of Cardy boundary states in the associated boundary conformal field theories give rise to rational Hodge structures of complex multiplication type. We argue that these rational Hodge structures for such rational conformal field theories arising from infrared fixed points of $\mathcal{N}=(2,2)$ non-linear sigma models with Calabi-Yau target spaces coincide with the rational Hodge structures of the middle-dimensional cohomology of the target space geometry. This gives non-trivial evidence of the general expectation in the literature that rational $\mathcal{N}=(2,2)$ supersymmetric conformal field theories associated to Calabi-Yau target spaces yield middle dimensional cohomological rational Hodge structures with complex multiplication. We exemplify our general results with the $\mathcal{N}=2$ A-type minimal model series - which do not have a geometric origin as a non-linear sigma model - and with two explicit $\mathcal{N}=(2,2)$ Gepner models that correspond to particular non-linear sigma models with specific Calabi-Yau threefold target spaces.

This article addresses the Generalized Additive Decomposition (GAD) of symmetric tensors, that is, degree-$d$ forms $f \in \mathcal{S}_d$. From a geometric perspective, a GAD corresponds to representing a point on a secant of osculating varieties to the Veronese variety, providing a compact and structured description of a tensor that captures its intrinsic algebraic properties. We provide a linear algebra method for measuring the GAD size and prove that the minimal achievable size, which we call the GAD-rank of the considered tensor, coincides with the rank of suitable Catalecticant matrices, under certain regularity assumptions. We provide a new explicit description of the apolar scheme associated with a GAD as the annihilator of a polynomial-exponential series. We show that if the Castelnuovo-Mumford regularity of this scheme is sufficiently small, then both the GAD and the associated apolar scheme are minimal and unique. Leveraging these results, we develop a numerical GAD algorithm for symmetric tensors that effectively exploits the underlying algebraic structure, extending existing algebraic approaches based on eigen computation to the treatment of multiple points. We illustrate the effectiveness and numerical stability of such an algorithm through several examples, including Waring and tangential decompositions.