The three graces in the Tits--Kantor--Koecher category

2024-11-16T15:42:54Z

A metaphor of Loday describes Lie, associative, and commutative associative algebras as ``the three graces'' of the operad theory. In this article, we study the three graces in the category of $\mathfrak{sl}_2$-modules that are sums of copies of the trivial and the adjoint representation. That category is not symmetric monoidal, and so one cannot apply the wealth of results available for algebras over operads. Motivated by a recent conjecture of the second author and Mathieu, we embark on the exploration of the extent to which that category ``pretends'' to be symmetric monoidal. To that end, we examine various homological properties of free associative algebras and free associative commutative algebras, and study the Lie subalgebra generated by the generators of the free associative algebra.

Symmetric Monoidal Bicategories and Biextensions

2024-11-15T19:03:27Z

We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy of possible commutativity conditions in terms of progressive stabilization of these data. We also show that monoidal structures on bicategories give rise to biextensions of a pair of (abelian) groups by a Picard groupoid, and that the progressive vanishing of obstructions determined by the tower of commutative structures corresponds to appropriate symmetry conditions on these biextensions. In the fully symmetric case, which leads us fully into the stable range, we show how our computations can be expressed in terms of the cubical Q-construction underlying MacLane (co)homology.

Scalar curvature rigidity and the higher mapping degree

2024-11-15T11:56:59Z

A closed connected oriented Riemannian manifold $N$ with non-vanishing Euler characteristic, non-negative curvature operator and $0< 2\text{Ric}_N<\text{scal}_N$ is area-rigid in the sense that any area non-increasing spin map $f\colon M\to N$ from a closed connected oriented Riemannian manifold $M$ with non-vanishing $\hat{A}$-degree and $\text{scal}_M\geq \text{scal}_N \circ f$ is a Riemannian submersion with $\text{scal}_M=\text{scal}_N \circ f$. This is due to Goette and Semmelmann and generalizes a result by Llarull. In this article, we show area-rigidity for not necessarily orientable manifolds with respect to a larger class of maps $f\colon M\to N$ by replacing the topological condition on the $\hat{A}$-degree by a less restrictive condition involving the so-called higher mapping degree. This includes fiber bundles over even dimensional spheres with enlargeable fibers, e.g. $\text{pr}_1\colon S^{2n}\times T^k \to S^{2n}$. We develop a technique to extract from a non-vanishing higher index a geometrically useful family of almost $\mathcal{D}$-harmonic sections. This also leads to a new proof of the fact that any closed connected spin manifold with non-negative scalar curvature and non-trivial Rosenberg index is Ricci flat.

Proper actions and supported-section-valued cohomology

2024-11-15T00:35:09Z

Consider a proper action of $\mathbb{Z}^d$ on a smooth (perhaps non-paracompact) manifold $M$. The $p^{th}$ cohomology $H^p(\mathbb{Z}^d,\ Γ_{\mathrm{c}}(\mathcal{F}))$ valued in the space of compactly-supported sections of a natural sheaf $\mathcal{F}$ on $M$ (such as those of smooth function germs, smooth $k$-form germs, etc.) vanishes for $p\ne d$ (the cohomological dimension of $\mathbb{Z}^d$) and, at $d$, equals the space of compactly-supported sections of the descent ($\mathbb{G}$-invariant push-forward) $\mathcal{F}/\mathbb{Z}^d$ to the orbifold quotient $M/\mathbb{Z}^d$. We prove this and analogous results on $\mathbb{Z}^d$ cohomology valued in $Φ$-supported sections of an equivariant appropriately soft sheaf $\mathcal{F}$ in a broader context of $\mathbb{Z}^d$-actions proper with respect to a paracompactifying family of supports $Φ$, in the sense that every member of $Φ$ has a neighborhood small with respect to the action in Palais' sense.

On the homotopy type of L-spectra of the integers

2024-11-14T19:00:04Z

We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence, we obtain a corresponding splitting of the space G/Top. Finally, we prove analogous results for the genuine L-spectra recently devised for the study of Grothendieck--Witt theory.

Higher $K$-theory of forms III: from chain complexes to derived categories

2024-11-14T12:25:53Z

We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincaré $\infty$-category, with no assumptions on the invertibility of $2$. Along the way, we obtain a model for the nonabelian derived functor of a nondegenerate quadratic functor on an exact category.

Lifting to truncated Brown-Peterson spectra and Hodge-de Rham degeneration in characteristic $p>0$

2024-11-13T18:42:53Z

The goal of this note is to prove that Hodge-de Rham degeneration holds for smooth and proper $\mathbf{F}_p$-schemes $X$ with $\dim(X)

Higher K-theory of forms II. From exact categories to chain complexes

2024-11-13T16:26:21Z

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes in a way that does not change Grothendieck-Witt spaces. This is used in joint work with Marlowe for the comparison of the classical 1-categorical version of the Hermitian K-theory of exact categories with the infinity-categorical version of Calmes-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle.

The cancellation property for projective modules over integral group rings

2024-11-12T12:27:04Z

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective $\mathbb{Z} G$-modules $P$ and $Q$. In particular, we determine when projective cancellation holds for a finite group with no exceptional binary polyhedral quotients. To do this, we prove a cancellation theorem based on a relative version of the Eichler condition. We then use a group theoretic argument to precisely determine the class of groups not covered by this result. The final classification is then obtained by applying results of Swan, Chen and Bley-Hofmann-Johnston which show failure of projective cancellation for certain groups.

Proper connective differential graded algebras and their geometric realizations

2024-11-11T15:59:03Z

We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite dimensional DG-algebra and in the smooth case we compute the noncommutative Chow motive of $A$. We go on to analyse the relationship between smoothness and regularity in more detail as well as commenting on smoothness of the degree zero cohomology for smooth proper connective DG-algebras.

Choices of HKR isomorphisms

2024-11-11T13:09:08Z

In this short note we record the fact that the set of multiplicative HKR natural equivalences defined simultaneously for all derived schemes, functorialy splitting the HKR-filtration and rendering the circle action compatible with the de Rham differential, is, via Cartier duality, in a natural bijection with the set of filtered formal exponential maps $ \widehat{\mathbb{G}_a}\to \widehat{\mathbb{G}_m}$. In particular, when the base $k$ is a field of characteristic zero, the set of choices is $k^\ast$.

Even Stiefel-Whitney invariants for anti-hermitian quaternionic forms

2024-11-10T19:14:49Z

We extend all cohomological invariants of similarity classes of quadratic forms to anti-hermitian forms over a quaternion algebra. This uses the fact that such invariants can be lifted to Witt invariants, which can be described as combinations of $λ$-operations, and those $λ$-operations have recently been extended to hermitian forms over algebras with involution. In the article we present a detailed combinatoric description of invariants of quadratic forms which are partially diagonalized, and show how this combinatorics extend to anti-hermitian quaternionic forms. The methods developped here are intended to be later used for general algebras with involution.

KW-Euler Classes via Twisted Symplectic Bundles

2024-11-10T15:58:43Z

In this paper we are going to compute the $ \mathrm{KW} $-Euler classes for rank 2 vector bundles on the classifying stack $ \mathcal{B}N $, where $N$ is the normaliser of the standard torus in $SL_2$ and $\mathrm{KW}$ represents Balmer's derived Witt groups. Using these computations we will recover, through a new and different strategy, the formulas previously obtained by Levine in Witt-sheaf cohomology. In order to obtain our results, we will prove Künneth formulas for products of $GL_n$'s and $SL_n$'s classifying spaces and we will develop from scratch the basic theory of twisted symplectic bundles with their associated twisted Borel classes in $SL$-oriented theories.

Index theory for Heisenberg elliptic and transversally Heisenberg elliptic operators from $KK$-theoretic viewpoint

2024-11-09T05:40:58Z

This research comprehensively describes the basic theory of transversally Heisenberg elliptic operators, and investigates the index theory of Heisenberg elliptic and transversally Heisenberg elliptic operators from the perspective of $KK$-theory, applying Kasparov's methodology. Moreover, the analysis methodically examines specific conditions, with a focus on the Fourier transform of the nilpotent group $C^{\ast}$-algebra. We demonstrate enhanced methods for analyzing the hypoellipticity of operators, presenting a robust framework for defining and understanding transversal Heisenberg ellipticity in a $KK$-theoretic context. This work provides a solid foundation for future research into the properties of hypoelliptic differential operators in complicated manifolds.

A Categorical Approach to Möbius Inversion via Derived Functors

2024-11-07T01:43:45Z

We develop a cohomological approach to Möbius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define Möbius cohomology as the derived functors of an enriched hom functor on the category of $P$-modules. We prove that the Euler characteristic of our cohomology theory recovers the classical Möbius inversion, providing a natural categorification. As a key application, we prove a categorical version of Rota's Galois Connection. Our approach unifies classical ideas from combinatorics with homological algebra.