要約:
This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors.
More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators.
Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $\tau_n$ when the sequence $(\tau_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $\tau_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.
要約:
These notes are an expanded version of the lectures held in Tromso, in May 2025 at the "Lie-Stormer Summer School : Invariant Theory from classics to modern developments", in the framework of TiME events. We emphasize the analogy between binary quartics and ternary cubics (and subsequently modular forms) based on their harmonic and equianharmonic invariants. Triangle groups are presented in both the elliptic and the hyperbolic setting with their associated tilings. The topics include the discussion of a short Hilbert paper on polynomials which are powers, that was proposed to the participants. The appendix contains some exercises, with sketches of solutions, and a section devoted to Pfaffians edited by Vincenzo Galgano.
要約:
We introduce birational strong complete regularity and strong complete regularity, two numerical invariants for pairs of (relative) Fano type. They are defined using variants of qdlt Fano type models and the dimension of the dual complex of the reduced boundary, and can be viewed as Fano type refinements of Shokurov's complete regularity. We establish basic properties of these invariants and clarify its relation to models of qdlt Fano type appearing in K-stability. In particular, we prove that any pair with maximal birational strong complete regularity is $1$-complementary, and the thresholds where birational strong complete regularity or strong complete regularity jumps satisfy the ascending chain condition.
要約:
We compute some particular examples of cohomological Chow groups for varieties with isolated singularities. For higher-dimensional varieties, we compute the cohomological Chow groups of codimension one, provided that the dual complex associated to the normal crossing divisor is contractible. For 3-dimensional varieties, we consider a weaker condition on the dual complex, namely $H^{2}(\Gamma(E))=0$.
要約:
Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental groupoid scheme of $S/k$ and the relative differential fundamental group of $X/S$ in a short exact sequence. This yields natural maps from the group cohomology of the geometric relative fundamental group to the Gauss-Manin connections. For families of curves of genus at least $1,$ we prove that these maps are isomorphisms thus give an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group. As a consequence we show that, as a surface over $k$, $X$ after a little shrinking becomes de Rham $K(\pi,1).$
要約:
We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and Koll\'ar-type gluing theory, we prove the existence of flips for log canonical generalized pairs without assuming the klt condition, the NQC condition, or $\mathbb Q$-factoriality. Together with the cone and contraction theorems, this yields the existence of the minimal model program for arbitrary log canonical generalized pairs.
要約:
We calculate the genus zero cobordism-valued Gromov-Witten invariants of a point by refining the string equation on $\overline{\mathcal{M}}_{0,n}$ from the Chow ring to algebraic cobordism. This gives inductive formulas for cobordism-valued psi-class intersections on $\overline{\mathcal{M}}_{0,n}$, and in particular the cobordism classes $[\overline{\mathcal{M}}_{0,n}]$, and for their images in $K$-theory. Explicit formulas are given up to $n = 8$.
要約:
Let $X$ be a conical symplectic variety admitting a crepant resolution $Y$. Based on the theory of universal Poisson deformations, we construct a complex manifold called the principal twistor model associated with $Y$. We prove a universality theorem for this model: if the regular locus of $X$ admits a hyperk\"ahler cone metric, then the twistor space of any algebraic hyperk\"ahler metric on $Y$ asymptotic to this cone metric is uniquely recovered by slicing the principal twistor model. As an application, we use this universality to study the moduli space of hyperk\"ahler structures with asymptotic behavior, and show that it admits an inclusion into a finite-dimensional real vector space.
要約:
Rosenbloom and Tsfasman, in their foundational work on the $m$-metric, introduced algebraic-geometric codes defined by multiple points on a smooth projective curve $X$. This construction involves a divisor $G$ and another divisor $D=\sum n p_i$, where $p_i$ are distinct rational points with $p_i \notin \text{supp}(G)$ and $n\in\mathbb{N}$. Although these codes are significant, their formal development for arbitrary genus remains incomplete in the literature, as most studies have concentrated on the genus $0$ case.
We present a rigorous treatment of this class of codes. Starting with a smooth projective curve $X$, an invertible sheaf $L$, and an effective divisor $D=\sum n_i p_i$ where the $n_i$ are not necessarily equal, as well as tuples of uniformizers $t_D$ at the points of $D$ and trivializations $\gamma_D$ for the localizations $L_{p_i}$, the associated differential Goppa code is defined. This code arises from the theory of $n$-jets of invertible sheaves on curves, which enables the description of codewords using Hasse-Schmidt derivatives of sections of $L$.
The variation of the code under changes in the data $(t_D, \gamma_D)$ is examined, and the group acting on these parameters is described. The behavior of the minimum Hamming distance under such variations is analyzed, with explicit examples provided for curves of genus $0$ and $1$. A duality theorem is established, involving principal parts of meromorphic differential forms. It is demonstrated that Goppa codes constitute a proper subclass of differential Goppa codes, and that every linear code admits a differential Goppa code structure on $\mathbb P^1$ using only two rational points.
要約:
We develop a non-abelian, gauge-theoretic framework for the Schwarzian derivative and for second-order differential equations on Riemann surfaces. As applications, we extend Dedekind's Schwarzian approach to elliptic periods to generic one-parameter families of curves of genus $g$ by replacing the non-canonical scalar Picard--Fuchs equation of order $2g$ with a canonical second-order equation with $g\times g$ matrix coefficients on the Hodge bundle. In higher dimensions, we discuss periods of a one-parameter family of cubic threefolds via the intermediate Jacobian. Finally, we discuss mass--spring systems in mechanics as a natural testing ground for the non-abelian Schwarzian viewpoint.
要約:
One of the emerging problems in algebraic geometry is to characterize the affine $n$-space $\mathbb{A}^n$ among smooth affine schemes up to $\mathbb{A}^1$-contractibility. Recent efforts show that this characterization holds in dimensions $n<3$ over certain fields. In this thesis, we extend this observation to "reasonably" arbitrary base schemes in relative dimensions $d<3$, exploiting the Zariski local triviality and the triviality of the sheaf of relative differentials. From dimensions $n\geq 3$, the existence of smooth "exotic" affine schemes - those that are $\mathbb{A}^1$-contractible but not isomorphic to the affine $n$-space - has already been established. A well-studied family constitutes the Koras-Russell threefolds $\mathcal{K}$ and their higher-dimensional prototypes $\mathcal{X}_n$, whose $\mathbb{A}^1$-contractibility has been so far proven over fields of characteristic zero. Here, we extend the relative $\mathbb{A}^1$-contractibility of $\mathcal{K}$ and $\mathcal{X}_n$ over a Noetherian base scheme in arbitrary dimensions. Then, using these prototypes, we study the existence of "exotic spheres" - $n$-dimensional smooth schemes that are $\mathbb{A}^1$-homotopic, but not isomorphic to $\mathbb{A}^n \backslash \{0\}$ - in motivic homotopy theory. This result can be seen as the "compact" analog of the study of exotic affine schemes. Our main result shows that in all dimensions $n\geq 4$, the quasi-affine varieties $\mathcal{X}_n \backslash \{\bullet\}$ give a model for the exotic motivic spheres over infinite perfect fields. The novelty is that these constitute the first family of examples of smooth motivic spheres of dimension $n$, which are not isomorphic to $\mathbb{A}^n \backslash \{0\}$.
要約:
We exhibit planar, rational curves of large degree over ${\mathbb F}_2$ that have a unique singular point, which has multiplicity 2. In characteristic 0 such curves exist only for degrees up to $6$.
要約:
We present a new method for computation of the index of completely mixed equilibria in finite games, based on the work of Eisenbud et al.(1977). We apply this method to solving two questions about the relation of the index of equilibria and the index of fixed points, and the index of equilibria and payoff-robustness: any integer can be the index of an isolated completely mixed equilibrium of a finite game. In a particular class of isolated completely mixed equilibria, called monogenic, the index can be $0$, $+1$ or $-1$ only. In this class non-zero index is equivalent to payoff-robustness. We also discuss extensions of the method of computation to extensive-form games, and cases where the equilibria might be located on the boundary of the strategy set.
要約:
Let $A$ be an abelian variety with totally degenerate reduction over a non-Archimedean field. We describe the moduli space of semihomogeneous vector bundles on $A$ from the perspective of non-Archimedean uniformization and show that the essential skeleton may be identified with a tropical analogue of this moduli space. For $H=0$ our moduli space may be identified with the moduli space $M_{0,r}(A)$ of semistable vector bundles with vanishing Chern classes on $A$. In this case we construct a surjective analytic morphism from the character variety of the analytic fundamental group of $A$ onto $M_{0,r}(A)$, which naturally tropicalizes. One may view this construction as a non-Archimedean uniformization of $M_{0,r}(A)$.
要約:
The classical trisecant lemma says that a general chord of a non-degenerate space curve is not a trisecant; that is, the chord only meets the curve in two points. The generalized trisecant lemma extends the result to higher-dimensional varieties. It states that the linear space spanned by general points on a projective variety intersects the variety in exactly these points, provided the dimension of the linear space is smaller than the codimension of the variety and that the variety is irreducible, reduced, and non-degenerate. We prove a real analogue of the generalized trisecant lemma, which takes the form of a trichotomy. Along the way, we characterize the possible numbers of real intersection points between a real projective variety and a complimentary dimension real linear space. We show that any integer of correct parity between a minimum and a maximum number can be achieved. We then specialize to Segre-Veronese varieties, where our results apply to the identifiability of independent component analysis, tensor decomposition and to typical tensor ranks.
要約:
We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian obstructions to rationality vanish. We obtain both negative and positive results, using unramified cohomology and birational rigidity techniques, as well as concrete rationality constructions.
要約:
Double ramification loci parametrise marked curves where a weighted sum of the markings is linearly trivial; higher-rank loci are obtained by imposing several such conditions simultaneously. We obtain closed formulae for the orbifold Euler characteristics of double ramification loci, and their higher-rank generalisations, in genus one. The rank-one formula is a polynomial, while the higher-rank formula involves greatest common divisors of matrix minors. The proof is based on a recurrence relation, which allows for induction on the rank and number of markings.
要約:
An action of a finite group $G$ is a pair $(S,\hat{G})$, where $S$ is a compact Riemann surface of genus $g \geqslant 2$ and $\hat{G} \leqslant {\rm Aut}(S)$ is isomorphic to $G$. To each action $(S,\hat{G})$ there is associated a signature $(\gamma;k_{1},\ldots,k_{r})$ that codifies the orbifold structure of $S/\hat{G}$. Two actions of $G$, say $(S_{1},G_{1})$ and $(S_{2},G_{2})$, are topologically equivalent if there is an orientation-preserving homeomorphism $\varphi:S_{1} \to S_{2}$ such that $\varphi G_{1} \varphi^{-1}=G_{2}$. Topologically equivalent actions necessarily must have the same signature. The problem of determining the number of different topological actions of $G$ for a given signature is in general a difficult task. In this article, we describe, up to topological equivalence, those actions when $G$ is an abelian group and quotient genus $\gamma=0$. We are particularly interested in the case $G={\mathbb Z}_{k}^{m}$ and the quotient signature of the action to be of the form $(0;k,\stackrel{n+1}{\ldots},k)$.
要約:
Let $C$ be a smooth complex projective curve of genus $g>1$ and $A=J(C)$ its Jacobian with principal polarization $\Theta$. Starting from a semistable vector bundle $V$ on $C$ with $\mu(V)>2g-2$, we consider the Fourier--Mukai transform $E=\Phi_{\mathcal P}(a_*V)$. We prove that $E(\Theta)$ satisfies the $\mathrm{IT}_0$ property. As a consequence, for every $m\ge g+1$, the polarized Jacobian $(A,m\Theta)$ admits Ulrich bundles constructed functorially from $V$. Further we analyze stability and Chern classes of the resulting bundles. We show that the construction induces a natural morphism from the generically finite cover of moduli space of stable bundles on $C$ to the moduli space of stable bundles on $A$, producing positive-dimensional families of stable Ulrich bundles.
要約:
We study relative differential and integral forms on families of supermanifolds and their cohomology. We prove a relative Poincar\'e--Verdier duality and show that it relates the cohomology of differential and integral forms, admitting a concrete geometric realization via Berezin fiber integration. We further introduce the Poincar\'e--dual integral form associated to an embedded even family and prove that it satisfies the correct localization property. We then apply these results to supergravity, focusing on the $3d$ case. In this setting, we show that relative Poincar\'e duality provides the natural framework for encoding the data needed to relate a superspace formulation to the physical spacetime, thereby yielding a rigorous definition of picture changing operators used in the physics literature. Building on this, after a careful analysis of the space of fields and the relevant constraints, we prove that the component, superspace, and geometric formulation of the theory are all equivalent. Finally, under suitable hypotheses, we argue that our construction illustrates a general principle governing the mathematical formulation of classical field theories on supermanifolds.
要約:
Our goal is to study $p$-adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its restrictions to the points corresponding to the irreducible components of the special fiber. For this, the main body of the paper concerns analytic prismatic $F$-crystals on the absolute logarithmic prismatic site of a semistable $p$-adic log formal scheme. Analyzing Breuil-Kisin log prisms, we obtain a prismatic purity theorem and deduce the above purity theorem for semistable local systems.
要約:
From any graph $G$ arises a flat space wavefunction, obtained by integrating a product of propagators associated to the vertices and edges of $G$. This function is a key ingredient in the computation of cosmological correlators, and several representations for it have been proposed. We formulate three such representations and prove their correctness. In particular, we show that the flat space wavefunction can be read off from the canonical form of the cosmological polytope, and we settle a conjecture of Fevola, Pimentel, Sattelberger, and Westerdijk regarding a partial fraction decomposition for the flat space wavefunction. The terms of the decomposition correspond to certain collections of connected subgraphs associated to $G$ and its spanning subgraphs, reflecting the fact that the flat space wavefunction contains information about how $G$ is connected.
要約:
By work of Davison and Meinhardt, the cohomological Hall algebra of a symmetric quiver with potential admits a geometrically defined filtration (the perverse filtration) whose associated graded is a supercommutative algebra. In the case of the triple quiver of a quiver with the canonical cubic potential, which corresponds to the preprojective algebra of the quiver via dimensional reduction, there is an additional filtration (the less perverse filtration), which is defined more generally for cohomological Hall algebras of suitably geometric $2$-Calabi-Yau categories in work of Davison. In this paper, we show that the degenerations of the cohomological Hall algebras of preprojective algebras and more generally $2$-Calabi-Yau categories with respect to the less perverse filtration is isomorphic to the enveloping algebra of the current Lie algebra of the BPS Lie algebra. This result applies in particular to CoHAs of local systems on Riemann surfaces and Higgs bundles on smooth projective curves. We extend this description to deformations of the cohomological Hall algebra obtained via torus actions on the arrows of the quiver and deformed canonical cubic potentials via the deformed dimensional reduction of Davison-P\u adurariu. We prove all our results at the level of sheafified CoHAs, which allows us to deduce similar statements for all versions of nilpotent CoHAs. Last, we use our results to compare the less perverse filtration on CoHAs of preprojective algebras with the order filtration on the Maulik-Okounkov Yangian, via the comparison isomorphism of Botta-Davison and Schiffmann-Vasserot.
要約:
Let X be an irreducible complex affine algebraic variety defined over $\mathbb{R}$, equipped with a faithful action of a finite group G, and let Y = X // G denote the categorical quotient with projection $\pi$. We study the geometry of the real image $L = \pi(X(\mathbb{R})) \subset Y(\mathbb{R})$ and its consequences for G-invariant optimization.
Equipping $Y(\mathbb{R})$ with the measure induced by a G-invariant metric on X, we prove that the relative volume of L in $Y(\mathbb{R})$ equals $(\#\mathrm{Inv}(G))^{-1}$, where $\mathrm{Inv}(G)$ is the set of involutions of G. For the symmetric group $S_n$ acting on $\mathbb{R}^n$, this ratio decays super-exponentially in n. In particular, L is metrically rare within the ambient real quotient.
We apply this result to two phenomena observed in G-invariant optimization problems:
Regime I (Rarity of asymmetric critical points). The super-exponential decay of the volume of L renders the interior $L^\circ$ statistically negligible as a locus for critical points. This geometric rarity provides a rationale for the observed prevalence of symmetry: generic critical points are constrained to the boundary strata of L, corresponding to orbits with non-trivial stabilizers.
Regime II (Energetic ordering by symmetry). We formulate the Active Constraint hypothesis: due to the metric rarity of the real image L, the landscape is dominated by a global gradient that drives the deepest descent trajectories toward the boundary of L. This global gradient directs the global minimum into the high-codimension strata of the boundary -- corresponding to large stabilizers -- thereby establishing a structural link between low energy and non-trivial stabilizers. This mechanism rationalizes the funnel topography of Lennard-Jones clusters, where the system is funneled into a crystallized ground state.