We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi–Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi–Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.

Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}\,\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf {QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset {\mathbb {P}} H^{0} (X,L)$ can be generated by quadrics of rank less than or equal to $k$. Many classical varieties, such as Segre–Veronese embeddings, rational normal scrolls and curves of high degree, satisfy property $\mathsf {QR}(4)$. In this paper, we first prove that if ${\rm char}\,\Bbbk \neq 3$ then $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (d))$ satisfies property $\mathsf {QR}(3)$ for all $n \geqslant 1$ and $d \geqslant 2$. We also investigate the asymptotic behavior of property $\mathsf {QR}(3)$ for any projective scheme. Specifically, we prove that (i) if $X \subset {\mathbb {P}} H^{0} (X,L)$ is $m$-regular then $(X,L^{d} )$ satisfies property $\mathsf {QR}(3)$ for all $d \geqslant m$, and (ii) if $A$ is an ample line bundle on $X$ then $(X,A^{d} )$ satisfies property $\mathsf {QR}(3)$ for all sufficiently large even numbers $d$. These results provide affirmative evidence for the expectation that property $\mathsf {QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green and Lazarsfeld's condition $\mathrm {N}_p$ and the Eisenbud–Koh–Stillman determininantal presentation in Eisenbud et al. [Determinantal equations for curves of high degree, Amer. J. Math. 110 (1988), 513–539]. Finally, when ${\rm char}\,\Bbbk = 3$ we prove that $({\mathbb {P}}^{n} , \mathcal {O}_{{\mathbb {P}}^{n}} (2))$ fails to satisfy property $\mathsf {QR}(3)$ for all $n \geqslant 3$.

Building upon work of Epstein, May and Drury, we define and investigate the mod p Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$. We then compute the action of the operations on the de Rham cohomology of classifying stacks for finite groups, connected reductive groups for which p is not a torsion prime and (special) orthogonal groups when $p=2$.

We initiate and develop a framework to handle the specialisation morphism as a filtered morphism for the perverse, and for the perverse Leray filtration, on the cohomology with constructible coefficients of varieties and morphisms parameterised by a curve. As an application, we use this framework to carry out a detailed study of filtered specialisation for the Hitchin morphisms associated with the compactification of Dolbeault moduli spaces in [de 2018].

The purpose of this note is to correct a mistake in the article “A curve selection lemma in spaces of arcs and the image of the Nash map” Compositio Math. 142 (2006), 119–130. It is due to an overlooked hypothesis in the definition of generically stable subset of the space of arcs X∞ of a variety X defined over a perfect field k.

We prove versions of various classical results on specialisation of fundamental groups in the context of log schemes in the sense of Fontaine and Illusie, generalising earlier results of Hoshi, Lepage and Orgogozo. The key technical result relates the category of finite Kummer étale covers of an fs log scheme over a complete Noetherian local ring to the Kummer étale coverings of its reduction.

The elliptic algebras in the title are connected graded $\mathbb {C}$-algebras, denoted $Q_{n,k}(E,\tau )$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve E and a point $\tau \in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$, we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$, respectively. When $X_{n/k}=E^g$ and $\tau =0$, the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.

In this article we study higher preprojective algebras, showing that various known results for ordinary preprojective algebras generalize to the higher setting. We first show that the quiver of the higher preprojective algebra is obtained by adding arrows to the quiver of the original algebra, and these arrows can be read off from the last term of the bimodule resolution of the original algebra. In the Koszul case, we are able to obtain the new relations of the higher preprojective algebra by differentiating a superpotential and we show that when our original algebra is $d$-hereditary, all the relations come from the superpotential. We then construct projective resolutions of all simple modules for the higher preprojective algebra of a $d$-hereditary algebra. This allows us to recover various known homological properties of the higher preprojective algebras and to obtain a large class of almost Koszul dual pairs of algebras. We also show that when our original algebra is Koszul there is a natural map from the quadratic dual of the higher preprojective algebra to a graded trivial extension algebra.

Let k be an algebraically closed field of positive characteristic. For any integer $m\ge 2$, we show that the Hodge numbers of a smooth projective k-variety can take on any combination of values modulo m, subject only to Serre duality. In particular, there are no non-trivial polynomial relations between the Hodge numbers.

In this short paper, we combine the representability theorem introduced in [Porta and Yu, Representability theorem in derived analytic geometry, preprint, 2017, arXiv:1704.01683; Porta and Yu, Derived Hom spaces in rigid analytic geometry, preprint, 2018, arXiv:1801.07730] with the theory of derived formal models introduced in [António, $p$-adic derived formal geometry and derived Raynaud localization theorem, preprint, 2018, arXiv:1805.03302] to prove the existence representability of the derived Hilbert space $\mathbf{R}\text{Hilb}(X)$ for a separated $k$-analytic space $X$. Such representability results rely on a localization theorem stating that if $\mathfrak{X}$ is a quasi-compact and quasi-separated formal scheme, then the $\infty$-category $\text{Coh}^{-}(\mathfrak{X}^{\text{rig}})$ of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the $\infty$-category $\text{Coh}^{-}(\mathfrak{X})$. Along the way, we prove several results concerning the $\infty$-categories of formal models for almost perfect modules on derived $k$-analytic spaces.

We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks, where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way, we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterated cospans.

Classification of AS-regular algebras is one of the main interests in noncommutative algebraic geometry. We say that a $3$-dimensional quadratic AS-regular algebra is of Type EC if its point scheme is an elliptic curve in $\mathbb {P}^{2}$. In this paper, we give a complete list of geometric pairs and a complete list of twisted superpotentials corresponding to such algebras. As an application, we show that there are only two exceptions up to isomorphism among all $3$-dimensional quadratic AS-regular algebras that cannot be written as a twist of a Calabi–Yau AS-regular algebra by a graded algebra automorphism.

We contribute to the foundations of tropical geometry with a view toward formulating tropical moduli problems, and with the moduli space of curves as our main example. We propose a moduli functor for the moduli space of curves and show that it is representable by a geometric stack over the category of rational polyhedral cones. In this framework, the natural forgetful morphisms between moduli spaces of curves with marked points function as universal curves.

Our approach to tropical geometry permits tropical moduli problems—moduli of curves or otherwise—to be extended to logarithmic schemes. We use this to construct a smooth tropicalization morphism from the moduli space of algebraic curves to the moduli space of tropical curves, and we show that this morphism commutes with all of the tautological morphisms.

We prove that a generic homogeneous polynomial of degree $d$ is determined, up to a nonzero constant multiplicative factor, by the vector space spanned by its partial derivatives of order $k$ for $k\leqslant \frac{d}{2}-1$.

In order to work with non-Nagata rings which are Nagata “up-to-completely-decomposed-universal-homeomorphism,” specifically finite rank Hensel valuation rings, we introduce the notions of pseudo-integral closure, pseudo-normalization, and pseudo-Hensel valuation ring. We use this notion to give a shorter and more direct proof that $H_{\operatorname{cdh}}^{n}(X,F_{\operatorname{cdh}})=H_{l\operatorname{dh}}^{n}(X,F_{l\operatorname{dh}})$ for homotopy sheaves $F$ of modules over the $\mathbb{Z}_{(l)}$-linear motivic Eilenberg–Maclane spectrum. This comparison is an alternative to the first half of the author’s volume Astérisque 391 whose main theorem is a cdh-descent result for Voevodsky motives. The motivating new insight is really accepting that Voevodsky’s motivic cohomology (with $\mathbb{Z}[\frac{1}{p}]$-coefficients) is invariant not just for nilpotent thickenings, but for all universal homeomorphisms.

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.

We study Van den Bergh's non-commutative symmetric algebra 𝕊nc(M) (over division rings) via Minamoto's theory of Fano algebras. In particular, we show that 𝕊nc(M) is coherent, and its proj category ℙnc(M) is derived equivalent to the corresponding bimodule species. This generalizes the main theorem of [8], which in turn is a generalization of Beilinson's derived equivalence. As corollaries, we show that ℙnc(M) is hereditary and there is a structure theorem for sheaves on ℙnc(M) analogous to that for ℙ1.

Given a $2$-commutative diagram

in a symmetric monoidal $(\infty ,2)$-category $\mathscr{E}$ where $X,Y\in \mathscr{E}$ are dualizable objects and $\unicode[STIX]{x1D711}$ admits a right adjoint we construct a natural morphism $\mathsf{Tr}_{\mathscr{E}}(F_{X})\xrightarrow[{}]{~~~~~}\mathsf{Tr}_{\mathscr{E}}(F_{Y})$between the traces of $F_{X}$ and $F_{Y}$, respectively. We then apply this formalism to the case when $\mathscr{E}$ is the $(\infty ,2)$-category of $k$-linear presentable categories which in combination of various calculations in the setting of derived algebraic geometry gives a categorical proof of the classical Atiyah–Bott formula (also known as the Holomorphic Lefschetz fixed point formula).

We study the structure of the stable category $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ of graded maximal Cohen–Macaulay module over $S/(f)$ where $S$ is a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree 1, and $f=x_{1}^{2}+\cdots +x_{n}^{2}$. If $S$ is commutative, then the structure of $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ is well known by Knörrer’s periodicity theorem. In this paper, we prove that if $n\leqslant 5$, then the structure of $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ is determined by the number of irreducible components of the point scheme of $S$ which are isomorphic to $\mathbb{P}^{1}$.

This paper is dedicated to a problem raised by Jacquet Tits in 1956: the Weyl group of a Chevalley group should find an interpretation as a group over what is nowadays called $\mathbb{F}_{1}$, the field with one element. Based on Part I of The geometry of blueprints, we introduce the class of Tits morphisms between blue schemes. The resulting Tits category$\text{Sch}_{{\mathcal{T}}}$ comes together with a base extension to (semiring) schemes and the so-called Weyl extension to sets. We prove for ${\mathcal{G}}$ in a wide class of Chevalley groups—which includes the special and general linear groups, symplectic and special orthogonal groups, and all types of adjoint groups—that a linear representation of ${\mathcal{G}}$ defines a model $G$ in $\text{Sch}_{{\mathcal{T}}}$ whose Weyl extension is the Weyl group $W$ of ${\mathcal{G}}$. We call such models Tits–Weyl models. The potential of Tits–Weyl models lies in (a) their intrinsic definition that is given by a linear representation; (b) the (yet to be formulated) unified approach towards thick and thin geometries; and (c) the extension of a Chevalley group to a functor on blueprints, which makes it, in particular, possible to consider Chevalley groups over semirings. This opens applications to idempotent analysis and tropical geometry.