2024-11-01 | | Total: 12

Let (X,I,J,K) be a compact hypercomplex manifold, i.e. a smooth manifold X with an action of the quaternion algebra (Id,I,J,K) on the tangent bundle TX, inducing integrable almost complex structures. For any $(a, b, c) \in S^2$, the linear combination $L := aI + bJ + cK$ defines another complex structure on X. This results in a $C P^1$-family of complex structures called the twistor family. Its total space is called the twistor space. We show that the twistor space of a compact hypercomplex manifold is never Moishezon and, moreover, it is never Fujiki class C (in particular, never Kahler and never projective).

Given a surjective ring morphism, this paper constructs the twist functor around the induced derived restriction of scalars functor. We prove that the twist around ring morphisms is a derived autoequivalence in two settings: (1) Twists for Gorenstein orders, (2) twists induced by Frobenius exact categories. As a corollary, it is shown that the noncommutative twist introduced by Donovan and Wemyss is in fact a spherical twist. We then use the technology developed in (1) and (2) to obtain new spherical twists for very singular schemes, and discuss how our result extends previous works on spherical twists induced by crepant contractions.

We introduce and study the Chern filtration on the cohomology of the moduli of bundles on curves. This can be viewed as a natural cohomological invariant defined via tautological classes that interpolates between additive Betti numbers and the multiplicative ring structure. In the rank two case, we fully compute the Chern filtration for moduli of stable bundles and all intermediate stacks in the Harder--Narasimhan stratification. We observe a curious symmetry of the Chern filtration on the moduli of rank two stable bundles, and construct $\mathfrak{sl}_2$-actions that categorify this symmetry. Our study of the Chern filtration is motivated by the $P=C$ phenomena in several related geometries.

In a previous paper we showed that any variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. In this paper we prove the converse, thereby proving that a variety admits a crepant resolution by a smooth Artin stack if and only if it has log-terminal singularities. Furthermore if $\mathcal{X} \to Y$ is such a resolution, we obtain a formula for the stringy Hodge numbers of $Y$ in terms of (motivically) integrating an explicit weight function over twisted arcs of $\mathcal{X}$. That weight function takes only finitely many values, so we believe this result provides a plausible avenue for finding a long-sought cohomological interpretation for stringy Hodge numbers. Using that the resulting integral is defined intrinsically in terms of $\mathcal{X}$, we also obtain a notion of stringy Hodge numbers for smooth Artin stacks, that in particular, recovers Chen and Ruan's notion of orbifold Hodge numbers.

We derive a $K$-theoretic analogue of the Vafa--Intriligator formula, computing the (virtual) Euler characteristics of vector bundles over the Quot scheme that compactifies the space of degree $d$ morphisms from a fixed projective curve to the Grassmannian $\mathrm{Gr}(r,N)$. As an application, we deduce interesting vanishing results, used in Part I (arXiv:2406.12191) to study the quantum $K$-ring of $\mathrm{Gr}(r,N)$. In the genus-zero case, we prove a simplified formula involving Schur functions, consistent with the Borel-Weil-Bott theorem in the degree-zero setting. These new formulas offer a novel approach for computing the structure constants of quantum $K$-products.

Given a finite simplicial complex $\mathcal{K}$ in $\mathbb{R}^n$ and a real algebraic variety $Y,$ by a $\mathcal{K}$-regular map $|\mathcal{K}|\rightarrow Y$ we mean a continuous map whose restriction to every simplex in $\mathcal{K}$ is a regular map. A simplified version of our main result says that if $Y$ is a uniformly retract rational variety and if $k, l$ are integers satisfying $0\leq l\leq k,$ then every $\mathcal{C}^l$ map $|\mathcal{K}|\rightarrow Y$ can be approximated in the $\mathcal{C}^l$ topology by $\mathcal{K}$-regular maps of class $\mathcal{C}^k.$ By definition, $Y$ is uniformly retract rational if for every point $y\in Y$ there is a Zariski open neighborhood $V\subset Y$ of $y$ such that the identity map of $V$ is the composite of regular maps $V\rightarrow W\rightarrow V,$ where $W\subset\mathbb{R}^p$ is a Zariski open set for some $p$ depending on $y.$

Any algebraic connection on a vector bundle on a smooth complex algebraic curve determines an irregular class and in turn a fission tree at each puncture. The fission trees are the discrete data classifying the admissible deformation classes. Here we explain how to count the fission trees with given slope and number of leaves, in the untwisted case. This also leads to a clearer picture of the ``periodic table'' of the atoms that play the role of building blocks in 2d gauge theory.

Beilinson first gave a resolution of the diagonal for $\mathbb{P}^n$. Generalizing this, a modification of the cellular resolution of the diagonal given by Bayer-Popescu- Sturmfels gives a (non-minimal, in general) virtual resolution of the diagonal for smooth projective toric varieties and toric Deligne-Mumford stacks which are a global quotient of a smooth projective variety by a finite abelian group. In the past year, Hanlon-Hicks-Lazarev gave in particular a symmetric, minimal resolution of the diagonal for smooth projective toric varieties. We give implications for exceptional collections on smooth projective toric Fano varieties in dimension 4. We find that for 73 out of 124 smooth projective toric Fano 4-folds, the Hanlon-Hicks-Lazarev resolution of the diagonal yields a full strong exceptional collection of line bundles.

We calculate the cohomology of the extended Morava stabilizer group of height $n$, with trivial mod $p$ coefficients, for all heights $n$ and all primes $p>>n$. The result is an exterior algebra on $n$ generators. A brief sketch of the method: we introduce a family of deformations of Ravenel's Lie algebra model $L(n,n)$ for the Morava stabilizer group scheme. This yields a family of DGAs, parameterized over an affine line and smooth except at a single point. The singular fiber is the Chevalley-Eilenberg DGA of Ravenel's Lie algebra. Consequently the cohomology of the singular fiber is the cohomology of the Morava stabilizer group, at large primes. We prove a derived version of the invariant cycles theorem from Hodge theory, which allows us to compare the cohomology of the singular fiber to the fixed-points of the Picard-Lefschetz (monodromy) operator on the cohomology of a smooth fiber. Finally, we use some new methods for constructing small models for cohomology of reductive Lie algebras to show that the cohomology of the Picard-Lefschetz fixed-points on a smooth fiber agrees with the singular cohomology $H^*(U(n);\mathbb{F}_p)$ of the unitary group, which is the desired exterior algebra.

This article discusses a combinatorial extension of tropical intersection theory to spaces given by glueing quotients of partially open convex polyhedral cones by finitely many automorphisms. This extension is done in terms of linear poic-complexes and poic-fibrations, mainly motivated by the case of the moduli spaces of tropical curves of arbitrary genus and marking. We define tropical cycles of a linear poic-complex and of a poic-fibration, and discuss the pushforward maps in these situations. In the context of moduli spaces of tropical curves, we also discuss "clutching morphisms" and "forgetting the marking" morphisms. In a subsequent article we apply this framework to moduli spaces of discrete admissible covers and study the loci of tropical curves that appear as the source of a degree-$d$ discrete admissible cover of a genus-$h$ $m$-marked tropical curve, for fixed $d$, $h$ and $m$.

Let $K$ be an absolutely unramified $p$-adic field. We establish a ramification bound, depending only on the given prime $p$ and an integer $i$, for mod $p$ Galois representations associated with Wach modules of height at most $i$. Using an instance of $q$-crystalline cohomology (in its prismatic form), we thus obtain improved bounds on the ramification of $\mathrm{H}^{i}_{et}(X_{\mathbb{C}_K}, \mathbb{Z}/p\mathbb{Z})$ for a smooth proper $p$-adic formal scheme $X$ over $\mathcal{O}_K$, for arbitrarily large degree $i$.

This is an English translation of Ludwig Bieberbach's paper ``Remarks on Hilbert's Thirteenth Problem" originally written in German and originally published in Journal für die Reine und Angewandte Mathematik - 165 (89-92) 1931, along with an addendum to the paper published in 1933. Beiberbach studies under what conditions are there functions of three variables which can or cannot be obtained by combining or nesting functions of two variables. In the addendum, Bieberbach acknowledges a fatal error in a proof in the original article and connects Hilbert's thirteenth problem to a related problem in the theory of differential equations.