要約:
O'Grady's generalized Franchetta conjecture asks whether any codimension two cycle on the universal polarized K3 surface restricts to a multiple of the Beauville--Voisin class on a given K3 surface. We apply Mukai's program for genus 11 curves and K3 surfaces, together with a result on the tautological generation of the second Chow group of the moduli space of curves, to give an affirmative answer to this conjecture in genus 11.
要約:
The Wirtinger integral is one of the integral representations of the Gauss hypergeometric function. Its integrand is given by a product of complex powers of theta functions. The twisted homology and cohomology groups associated with this integral yield twisted period relations. By studying the structure of the twisted homology and cohomology groups in detail, we obtain simple forms of the relations.
要約:
Based on the strong analogy between the category of log mixed Hodge structures and the category ${\cal A}_X$ of $\ell$-adic nature, which we have introduced in the previous part and is closely related to the weight-monodromy conjecture, we prove the $\ell$-adic analogues of some theorems in Hodge theory related to the SL(2)-orbit theorem.
要約:
We show that the eigenvalues of any polarized endomorphism acting on the $\ell$-adic \'etale cohomology of a smooth projective variety satisfy certain parity and symmetry properties, as predicted by the standard conjectures. These properties were previously known for Frobenius endomorphisms. Besides the hard Lefschetz theorem, a key new ingredient is a recent Weil's Riemann hypothesis-type result due to J.~Xie. We also prove a "Newton over Hodge" type property for abelian varieties and Grassmannians.
要約:
We study the unirationality of surface conic bundles $\pi\colon S\to\mathbb P^1$ over an arbitrary field $k$ with discriminant degree $d_S=8$, the first case beyond the del Pezzo range. We divide these surfaces in four families and produce explicit rational multisections via tangent constructions and Cremona transformations. Over $C_1$ fields we obtain Zariski dense loci of minimal, hence non $k$-rational, yet $k$-unirational conic bundles in each family; for one of the types we prove that the dense unirational locus is indeed Zariski open. Finally, we investigate the deformation theory of these conic bundles and how their unirationality behaves under specialization.
要約:
In this paper, we apply Fedder-type criteria for quasi-$F$-splitting to provide explicit computations of quasi-$F$-split heights for Calabi-Yau hypersurfaces, bielliptic surfaces, Fano varieties, and rational double points. We also find interesting phenomena concerned with inversion of adjunction, fiber products, Fano varieties, and general fibers of fibrations.
要約:
We study the Chow group of zero-cycles $\text{CH}_0(S)$ of a bielliptic surface $S=(E_1\times E_2)/G$, where $E_1, E_2$ are elliptic curves and $G$ is a finite group acting on $E_1$ by translations and on $E_2$ by automorphisms such that $E_2/G\simeq\mathbb{P}^1$. We show that if $S$ is defined over an arbitrary field $k$ of characteristic not equal to $2,3$, then the kernel of the Albanese map $\text{alb}_S:\text{CH}_0(S)^{\text{deg}=0}\rightarrow \text{Alb}_S(k)$ is a torsion group of exponent $2^2\cdot|G|$ or $3^2\cdot|G|$, depending on the type of bielliptic surface. We also construct explicit examples over $p$-adic fields that illustrate that this kernel can have nontrivial elements obtained by push-forward from the abelian surface.
要約:
A decorated vector bundle is a vector bundle equipped with a reduction of structure group to a complex reductive subgroup $G \subseteq \mathbf{GL}(r;\mathbb{C})$. Examples include symplectic and special-orthogonal vector bundles, as well as vector bundles with trivial determinants. In this expository paper, we provide direct constructions of Harder-Narasimhan filtrations of symplectic and special-orthogonal vector bundles, and use them to construct canonical reductions as done by Atiyah and Bott. We compare these canonical reductions to those constructed by Biswas and Holla. Lastly, we set up the obstruction theory necessary to define Harder-Narasimhan types of principal bundles, and stratify the moduli stack of principal $G$-bundles.
要約:
S.P. Chulkov has proven that if the Taylor series of $f$ contains no monomials of degree $\leq 2$ then $\mu(f) \geq p-1$ for any function germ $f$ invariant with respect to a nontrivial action of $\mathbb{Z}_p$ for prime $p$. Here we present a generalization of this inequality for actions of arbitrary abelian groups.
要約:
We prove the geometric Bombieri-Lang conjecture for projective varieties which have finite maps to abelian varieties over function fields of characteristic 0. This generalizes the recent results of Xie-Yuan, which require either the hyperbolicity assumption or the non-isotriviality assumption. The proof is based on their strategy for constructing entire curves, but requires some new ingredients from algebraic geometry and Nevanlinna theory.
要約:
We provide a unified geometric realization of the classical deformation complexes. We construct GL-equivariant bilinear incidence varieties whose diagonal slices recover the varieties of associative, commutative, Leibniz, and Lie algebra structures on a finite-dimensional vector space. We prove that the fiber of the incidence map at a given algebra law is canonically isomorphic to the space of 2-cocycles in the corresponding cohomology theory (Hochschild, Harrison, Leibniz, or Chevalley--Eilenberg). Furthermore, we introduce invariant bilinear forms to define open strata of separable and semisimple algebras, and demonstrate that these strata consist of open GL-orbits, establishing the rigidity of generic points in the coarse moduli spaces for all four geometries.
要約:
We investigate a supersymmetric generalisation of topological recursion from two perspectives: algebraic and geometric. The algebraic side concerns a recursive structure encoded in modules of a super Virasoro algebra, and the geometric counterpart is what we call superconformal topological recursion defined on a super Riemann surface. Superconformal topological recursion indicates that odd holomorphic one-forms on a super Riemann surface are related to zero modes of copies of the Clifford algebras, and it also provides a tool to study deformation of non-split super Riemann surfaces, e.g. certain families of super Riemann surfaces carrying odd parameters. On a super Riemann surface over a non-reduced base, the formalism is recursive not only in terms of pants-decomposition but also in terms of odd parameters in a suitable sense.
要約:
We consider the Diophantine equation $x^4 + y^4 - w^2 = n$ for $n \in \mathbb{Z}$, which is related to near misses for the quartic case of Fermat's Last Theorem. For certain $n$ we show that the set of solutions is infinite, or more generally not thin. Our approach is via the geometry of del Pezzo surfaces of degree $2$, and we prove a more general result on non-thinness of integral points on double conic bundle surfaces.
要約:
Yobuko recently introduced the notion of quasi-$F$-splitting and quasi-$F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that quasi-$F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria for quasi-$F$-splittings of complete intersections, and in particular, obtain a simple formula to compute Artin-Mazur heights of Calabi-Yau hypersurfaces. As one of its applications, we prove that there exist Calabi-Yau varieties of arbitrarily high Artin-Mazur height over $\mathbb{F}_2$. We also give explicit defining equations of quartic K3 surfaces over $\mathbb{F}_{3}$ realizing all the possible Artin-Mazur heights.
要約:
The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally isotropic, that is, has a "maximally transversal" parabolic $R$-subgroup. We also use purity for the Brauer group to reduce the conjecture for unramified $R$ to simply connected $G$--a much less direct such reduction of Panin had been a step in solving the equal characteristic case of Grothendieck-Serre. We base the group-theoretic aspects of our arguments on the geometry of the stack $\mathrm{Bun}_G$, instead of the affine Grassmannian used previously, and we quickly reprove the crucial weak $\mathbb{P}^1$-invariance input: for any reductive group $H$ over a semilocal ring $A$, every $H$-torsor $\mathscr{E}$ on $\mathbb{P}^1_A$ satisfies $\mathscr{E}|_{\{t = 0\}} \simeq \mathscr{E}|_{\{t = \infty\}}$. For the geometric aspects, we develop reembedding and excision techniques for relative curves with finiteness weakened to quasi-finiteness, thus overcoming a known obstacle in mixed characteristic, and show that every generically trivial torsor over $R$ under a totally isotropic $G$ trivializes over every affine open of $\mathrm{Spec}(R) \setminus Z$ for some closed $Z$ of codimension $\ge 2$.
要約:
We determine the maximal dimension of compact subvarieties of $\mathcal{A}_g$, the moduli space of complex principally polarized abelian varieties of dimension $g$, and the maximal dimension of a compact subvariety through a very general point of $\mathcal{A}_g$. This also allows us to draw some conclusions for compact subvarieties of the moduli space of complex curves of compact type.
要約:
Let ${\mathcal C}$ be a fixed equisingularity class of irreducible germs of complex analytic plane curves. We compute a basis of the ${\mathbb C}[[x]]$-module of K\"ahler differentials for generic $\Gamma \in {\mathcal C}$, algorithmically, and study its behaviour under blow-up.
As a first application, we give an algorithm providing the generic semimodule in an equisingularity class in terms of its multiplicity and its Puiseux characteristic exponents. As another application, we give an alternative proof for a formula of Genzmer, that provides the dimension of the moduli of analytic classes in the equisingularity class of $\Gamma$.
要約:
We study the congruence of bitangent lines of an irreducible surface in the 3-dimensional projective space in arbitrary characteristic, with special attention to quartic surfaces with rational double points and, in particular, Kummer quartic surfaces.
要約:
The locus of non-simple abelian varieties in the moduli space of principally polarized abelian varieties gives rise to Noether-Lefschetz cycles. We study their intersection theoretic properties using the tautological projection constructed in [CMOP24], and show that projection defines a homomorphism when restricted to cycles supported on that locus. Using Hecke correspondences and the pullback by Torelli we prove that $[\mathcal {A}_1 \times \mathcal A_{g-1}]$ is not tautological in the sense of [vdG99] for $g=12$ and $g\geq 16$ even. We also explore the connections between Noether-Lefschetz cycles and the Gromov-Witten theory of a moving elliptic curve.
要約:
The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in terms of the dimension of the variety. We prove this conjecture for general arrangement varieties, a particular class of T-varieties, adding to previous results on this conjecture which include threefolds, toric varieties, and local complete intersection varieties.
要約:
We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety ${\rm Fl}(r_1, \dots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety ${\rm Fl}(n)$, via Kato's ${\rm K}_T({\rm pt})$-algebra homomorphism from the quantum K ring of ${\rm Fl}(n)$ to that of ${\rm Fl}(r_1, \dots, r_k;n)$. Starting instead from the Whitney presentation for ${\rm Fl}(n)$, we show that the same pushforward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of ${\rm Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the ${\rm K}$-theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.
要約:
We define and study a sheaf-theoretic cohomological Hall algebra for suitably geometric Abelian categories $\mathcal{A}$ of homological dimension at most two, and a sheaf-theoretic BPS algebra under the conditions that $\mathcal{A}$ is 2-Calabi-Yau and has a good moduli space. We show that the BPS algebra for the preprojective algebra $\Pi_Q$ of a totally negative quiver is the free algebra generated by the intersection cohomology of the closure of the locus parameterising simple $\Pi_Q$-modules in the coarse moduli space.
We define and study the BPS Lie algebra of arbitrary 2-Calabi-Yau categories $\mathcal{A}$ for which the Euler form is negative on all pairs of non-zero objects, which recovers the BPS algebra as its universal enveloping algebra for such "totally negative" 2CY categories. We show that for totally negative 2CY categories the BPS algebra is freely generated by intersection complexes of certain coarse moduli spaces as above, and the Borel-Moore homology of the stack of objects in such $\mathcal{A}$ satisfies a Yangian-type PBW theorem for the BPS Lie algebra. In this way we prove the cohomological integrality theorem for these categories.
We use our results to prove that for $C$ a smooth projective curve, and for $r$ and $d$ not necessarily coprime, there is a nonabelian Hodge isomorphism between the Borel-Moore homologies of the stack of rank $r$ and degree $d$ Higgs bundles, and the appropriate stack of twisted representations of the fundamental group of $C$. In addition we prove the Bozec-Schiffmann positivity conjecture for totally negative quivers; we prove that their polynomials counting cuspidal functions in the constructible Hall algebra for $Q$ have positive coefficients, strengthening the positivity theorem for the Kac polynomials of such quivers.
要約:
We determine the structure of the BPS algebra of 2-Calabi-Yau Abelian categories for which the stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on a smooth projective curve, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of 2-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra.
要約:
Lecture notes prepared for the Les Houches school "Quantum Geometry: Mathematical Methods for Gravity, Gauge Theories and Non-Perturbative Physics" that took place during the summer 2024. We cover the techniques to perform the exact gravitational path integral of two-dimensional dilaton-gravity, and supergravity, over spacetimes with arbitrary topology, with an application to black holes. We discuss the connection with random matrix models and moduli spaces of hyperbolic surfaces briefly, since those concepts were covered in other lectures of the school.