We extend the Kuga–Satake construction to the case of limit mixed Hodge structures of K3 type. We use this to study the geometry and Hodge theory of degenerations of Kuga–Satake abelian varieties associated with polarized variations of K3 type Hodge structures over the punctured disc.

Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a given Hodge isometry arises in this way. In particular, we describe the image of the representation which associates to any autoequivalence of a twisted K3 surface its realization in cohomology: this image is a subgroup of index $1$ or $2$ in the group of all Hodge isometries of the twisted K3 surface. We show that both indices can occur.

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the differential graded (DG) algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal for any sheaf $F$ polystable with respect to an ample line bundle. Our main tool is the uniqueness of the DG enhancement of the bounded derived category of coherent sheaves. We also extend the formality result to derived objects that are polystable with respect to a generic Bridgeland stability condition.

In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.

By use of a natural extension map and a power series method, we obtain a local stability theorem for $p$-Kähler structures with the $(p,p+1)$th mild $\unicode[STIX]{x2202}\overline{\unicode[STIX]{x2202}}$-lemma under small differentiable deformations.

We study the action of the inertia operator on the motivic Hall algebra and prove that it is diagonalizable. This leads to a filtration of the Hall algebra, whose associated graded algebra is commutative. In particular, the degree 1 subspace forms a Lie algebra, which we call the Lie algebra of virtually indecomposable elements, following Joyce. We prove that the integral of virtually indecomposable elements admits an Euler characteristic specialization. In order to take advantage of the fact that our inertia groups are unit groups in algebras, we introduce the notion of algebroid.

We establish the geometric Langlands correspondence for rank-one groups over the projective line with three points of tame ramification.

We describe all degenerations of three-dimensional anticommutative algebras $\mathfrak{A}\mathfrak{c}\mathfrak{o}\mathfrak{m}_{3}$ and of three-dimensional Leibniz algebras $\mathfrak{L}\mathfrak{e}\mathfrak{i}\mathfrak{b}_{3}$ over $\mathbb{C}$. In particular, we describe all irreducible components and rigid algebras in the corresponding varieties.

We analyse infinitesimal deformations of pairs $(X,{\mathcal{F}})$ with ${\mathcal{F}}$ a coherent sheaf on a smooth projective variety $X$ over an algebraically closed field of characteristic 0. We describe a differential graded Lie algebra controlling the deformation problem, and we prove an analog of a Mukai–Artamkin theorem about the trace map.

We compute cup-product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency degree of a distinguished degree two generator in the mod two cohomology ring. We then give descriptions of the mod two cohomology rings in low genus, and describe the subrings invariant under the mapping-class group action.

Let ${\mathcal{D}}$ be the irreducible Hermitian symmetric domain of type $D_{2n}^{\mathbb{H}}$. There exists a canonical Hermitian variation of real Hodge structure ${\mathcal{V}}_{\mathbb{R}}$ of Calabi–Yau type over ${\mathcal{D}}$. This short note concerns the problem of giving motivic realizations for ${\mathcal{V}}_{\mathbb{R}}$. Namely, we specify a descent of ${\mathcal{V}}_{\mathbb{R}}$ from $\mathbb{R}$ to $\mathbb{Q}$ and ask whether the $\mathbb{Q}$-descent of ${\mathcal{V}}_{\mathbb{R}}$ can be realized as sub-variation of rational Hodge structure of those coming from families of algebraic varieties. When $n=2$, we give a motivic realization for ${\mathcal{V}}_{\mathbb{R}}$. When $n\geqslant 3$, we show that the unique irreducible factor of Calabi–Yau type in $\text{Sym}^{2}{\mathcal{V}}_{\mathbb{R}}$ can be realized motivically.

Let $X$ be a smooth projective curve of genus $g\geq 2$ over an algebraically closed field $k$ of characteristic $p>0$. We show that for any integers $r$ and $d$ with $0<r<p$, there exists a maximally Frobenius destabilised stable vector bundle of rank $r$ and degree $d$ on $X$ if and only if $r\mid d$.

This paper contains two results on Hodge loci in $\mathsf{M}_{g}$. The first concerns fibrations over curves with a non-trivial flat part in the Fujita decomposition. If local Torelli theorem holds for the fibers and the fibration is non-trivial, an appropriate exterior power of the cohomology of the fiber admits a Hodge substructure. In the case of curves it follows that the moduli image of the fiber is contained in a proper Hodge locus. The second result deals with divisors in $\mathsf{M}_{g}$. It is proved that the image under the period map of a divisor in $\mathsf{M}_{g}$ is not contained in a proper totally geodesic subvariety of $\mathsf{A}_{g}$. It follows that a Hodge locus in $\mathsf{M}_{g}$ has codimension at least 2.

We globalize the derived version of the McKay correspondence of Bridgeland, King and Reid, proven by Kawamata in the case of abelian quotient singularities, to certain logarithmic algebraic stacks with locally free log structure. The two sides of the correspondence are given respectively by the infinite root stack and by a certain version of the valuativization (the projective limit of every possible logarithmic blow-up). Our results imply, in particular, that in good cases the category of coherent parabolic sheaves with rational weights is invariant under logarithmic blow-up, up to Morita equivalence.

We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov’s noncommutative $K3$ category associated to a nonsingular cubic 4-fold.

By introducing a filtration on the $\text{CH}_{1}$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category ${\mathcal{A}}_{Y}$. This is a noncommutative analog of O’Grady’s conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sheaves supported on low degree rational curves.

Our method provides systematic constructions of (a) the Beauville–Voisin filtration on the $\text{CH}_{0}$-group and (b) algebraically coisotropic subvarieties of a holomorphic symplectic variety which is a moduli space of stable objects in ${\mathcal{A}}_{Y}$.

We give a sufficient condition for the hypergeometric function $_{3}F_{2}$ to be a linear combination of the logarithm of algebraic functions.

For a certain class of hypergeometric functions $_{3}F_{2}$ with rational parameters, we give a sufficient condition for the special value at $1$ to be expressed in terms of logarithms of algebraic numbers. We give two proofs, both of which are algebro-geometric and related to higher regulators.

In this paper we study the singularities of the invariant metric of the Poincaré bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight $-1$ .

We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalisation of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.

In this paper, we show that the cohomology of a general stable bundle on a Hirzebruch surface is determined by the Euler characteristic provided that the first Chern class satisfies necessary intersection conditions. More generally, we compute the Betti numbers of a general stable bundle. We also show that a general stable bundle on a Hirzebruch surface has a special resolution generalizing the Gaeta resolution on the projective plane. As a consequence of these results, we classify Chern characters such that the general stable bundle is globally generated.