Categorical properties and homological conjectures for bounded extensions of algebras

2024-08-23T12:51:24Z

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show that for a bounded extension $B\subset A$, the algebras $A$ and $B$ are singularly equivalent of Morita type with level. Additionally, under mild conditions, their stable categories of Gorenstein projective modules and Gorenstein defect categories are equivalent, respectively. Some homological conjectures are also investigated for bounded extensions, including Auslander-Reiten conjecture, finististic dimension conjecture, Fg condition, Han's conjecture, and Keller's conjecture. Applications to trivial extensions and triangular matrix algebras are given. In course of proof, we give some handy criteria for a functor between module categories to induce triangle functors between stable categories of Gorenstein projective modules and Gorenstein defect categories, which generalise some known criteria, and hence might be of independent interest.

Dévissage Hermitian Theory

2024-08-22T23:18:28Z

We prove Dévissage theorems for Hermitian $K$ Theory (or $GW$ theory), analogous to Quillen's Dévissage theorem for $K$-theory. For abelian categories ${\mathscr A}:=({\mathscr A}, ^{\vee}, \varpi)$ with duality, and appropriate abelian subcategories ${\mathscr B}\subseteq {\mathscr A}$, we prove Dévissage theorems for ${\bf GW}$ spaces, $G{\mathcal W}$-spectra and ${\mathbb G}W$ bispectra. As a consequence, for regular local rings $R$ with $1/2\in R$, we compute the ${\mathbb G}W$ groups ${\mathbb G}W^{[n]}_k(Spec{R})$ forall $k, n\in {\mathbb Z}$, where $n$ represent the translation.

A geometric Elliott invariant and noncommutative rigidity of mapping tori

2024-08-21T12:39:03Z

We prove a rigidity property for mapping tori associated to minimal topological dynamical systems using tools from noncommutative geometry. More precisely, we show that under mild geometric assumptions, an orientation-preserving leafwise homotopy equivalence of two mapping tori associated to $\mathbb{Z}^d$-actions on a compact space can be lifted to an isomorphism of their foliation $C^*$-algebras. This property is a noncommutative analogue of topological rigidity in the context of foliated spaces whose space of leaves is singular, where isomorphism type of the $C^*$-algebra replaces homeomorphism type. Our technique is to develop a geometric approach to the Elliott invariant that relies on topological and index-theoretic data from the mapping torus. We also discuss how our construction can be extended to slightly more general homotopy quotients arising from actions of discrete cocompact subgroups of simply connected solvable Lie groups, as well as how the theory can be applied to the magnetic gap-labelling problem for certain Cantor minimal systems.

Equivariant formality of istropy actions

2024-08-20T23:14:53Z

Let $G$ be a compact connected Lie group and $K$ a connected Lie subgroup. In this paper, we collect an assortment of results on equivariant formality of the isotropy action of $K$ on $G/K$. If the isotropy action of $K$ on $G/K$ is equivariantly formal, then $G/K$ is formal in the sense of rational homotopy theory. This enables us to strengthen a theorem of Shiga--Takahashi to a characterization of equivariant formality in this case. Using a K-theoretic analogue of equivariant formality introduced and shown by the second-named author to be equivalent to equivariant formality in the usual sense, we provide a representation-theoretic characterization for equivariant formality of the isotropy action and give a new, uniform proof of equivariant formality for some classes of homogeneous spaces for which it was previously known.

Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

2024-08-20T15:51:13Z

We study the torus equivariant K-homology ring of the affine Grassmannian $\mathrm{Gr}_G$ where $G$ is a connected reductive linear algebraic group. In type $A$, we introduce equivariantly deformed symmetric functions called the K-theoretic double $k$-Schur functions as the Schubert bases. The functions are constructed by Demazure operators acting on equivariant parameters. As an application, we provide a Ginzburg-Peterson type realization of the torus-equivariant K-homology ring of $\mathrm{Gr}_{{SL}_n}$ as the coordinate ring of a centralizer family for $PGL_n(\mathbb{C})$.

$\mathbb{A}^{1}$-Local Degree via Stacks

2024-08-16T15:38:22Z

We extend results of Kass--Wickelgren to define an Euler class for a non-orientable (or non-relatively orientable) vector bundle on a smooth scheme, valued in the Grothendieck--Witt group of the ground field. We use a root stack construction to produce this Euler class and discuss its relation to other versions of an Euler class in $\mathbb{A}^{1}$-homotopy theory. This allows one to apply Kass--Wickelgren's technique for arithmetic enrichments of enumerative geometry to a larger class of problems; as an example, we use our construction to give an arithmetic count of the number of lines meeting $6$ planes in $\mathbb{P}^4$.

The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

2024-08-15T02:53:43Z

We prove the Gromov-Lawson-Rosenberg Conjecture for the group Z/4xZ/4 by computing the connective real k-homology of the classifying space with the Adams spectral sequence and two types of detection theorems for the kernel of the alpha invariant: one based on eta-invariants, closely following work of Botvinnik-Gilkey-Stolz, and a second one based on homological methods. Along the way, we determine differentials of the Adams spectral sequence for classifying spaces involved in the computation, and we study the cap structure of the Adams spectral sequence for sub-hopf algebras of the Steenrod algebra relevant to the computation of connective real and complex k-homology.

Width, Largeness and Index Theory

2024-08-14T14:07:47Z

In this note, we review some recent developments related to metric aspects of scalar curvature from the point of view of index theory for Dirac operators. In particular, we revisit index-theoretic approaches to a conjecture of Gromov on the width of Riemannian bands $M \times [-1,1]$, and on a conjecture of Rosenberg and Stolz on the non-existence of complete positive scalar curvature metrics on $M \times {\mathbb R}$. We show that there is a more general geometric statement underlying both of them implying a quantitative negative upper bound on the infimum of the scalar curvature of a complete metric on $M \times {\mathbb R}$ if the scalar curvature is positive in some neighborhood. We study ($\hat{A}$-)iso-enlargeable spin manifolds and related notions of width for Riemannian manifolds from an index-theoretic point of view. Finally, we list some open problems arising in the interplay between index theory, largeness properties and width.

Computational tools for Real topological Hochschild homology

2024-08-13T20:02:47Z

In this paper, we construct a Real equivariant version of the Bökstedt spectral sequence which takes inputs in the theory of Real Hochschild homology developed by Angelini-Knoll, Gerhardt, and Hill and converges to the equivariant homology of Real topological Hochschild homology, $\text{THR}$. We also show that when $A$ is a commutative $C_2$-ring spectrum, $\text{THR}(A)$ has the structure of an $A$-Hopf algebroid in the $C_2$-equivariant stable homotopy category.

Koszul duality and a conjecture of Francis-Gaitsgory

2024-08-12T14:18:42Z

Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture about the general behavior of this duality. The main result of this paper, roughly speaking, is that Koszul duality provides an equivalence between the subcategories of nilcomplete algebras and conilcomplete coalgebras and that these are the largest possible subcategories for which such a result holds. This disproves Francis-Gaitsgory's prediction, but does provide an adequate replacement. We show that many previously known partial results about Koszul duality can be deduced from our results.

The six-functor formalism for rigid analytic motives

2024-08-12T09:07:59Z

We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algebraic motives, which is likely to be useful in other contexts as well. We pay special attention to establishing our results without noetherianity assumptions on rigid analytic spaces. This is indeed possible using Raynaud's approach to rigid analytic geometry.

Relative Calabi-Yau structure on microlocalization

2024-08-07T20:56:16Z

For an oriented manifold $M$ and a compact subanalytic Legendrian $Λ\subseteq S^*M$, we construct a canonical strong smooth relative Calabi--Yau structure on the microlocalization at infinity and its left adjoint $m_Λ^l: \operatorname{μsh}_Λ(Λ) \rightleftharpoons \operatorname{Sh}_Λ(M)_0 : m_Λ$ between compactly supported sheaves on $M$ with singular support on $Λ$ and microsheaves on $Λ$. We also construct a canonical strong Calabi-Yau structure on microsheaves $\operatorname{μsh}_Λ(Λ)$. Our approach does not require local properness and hence does not depend on arborealization. We thus obtain a canonical smooth relative Calabi-Yau structure on the Orlov functor for wrapped Fukaya categories of cotangent bundles with Weinstein stops, such that the wrap-once functor is the inverse dualizing bimodule.

The common basis complex and the partial decomposition poset

2024-08-07T13:24:38Z

For a finite-dimensional vector space $V$, the common basis complex of $V$ is the simplicial complex whose vertices are the proper non-zero subspaces of $V$, and $σ$ is a simplex if and only if there exists a basis $B$ of $V$ that contains a basis of $S$ for all $S\in σ$. This complex was introduced by Rognes in 1992 in connection with stable buildings. In this article, we prove that the common basis complex is homotopy equivalent to the proper part of the poset of partial direct sum decompositions of $V$. Moreover, we establish this result in a more general combinatorial context, including the case of free groups, matroids, vector spaces with non-degenerate sesquilinear forms, and free modules over commutative Hermite rings, such as local rings or Dedekind domains.

The cohomology of the nilCoxeter algebra

2024-08-07T08:43:26Z

The nilCoxeter algebra $\mathcal{N}S_n$ of the symmetric group $S_n$ is the algebra over $\mathbb{Z}$ with generators $Y_i$ ($1\leqslant i\leqslant n-1$), satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$, $Y_iY_j=Y_jY_i$ ($|j-i|\geqslant 2$), together with the relations $Y_i^2=0$. We describe an explicit presentation for the cohomology ring $Z\cong\mathsf{Ext}^*_{\mathcal{N}S_n}(\mathbb{Z},\mathbb{Z})$, with $n-i$ new generators in degree $i$ for $0< i

Groups acting amenably on their Higson corona

2024-08-06T07:05:43Z

We investigate groups that act amenably on their Higson corona (also known as bi-exact groups) and we provide reformulations of this in relation to the stable Higson corona, nuclearity of crossed products and to positive type kernels. We further investigate implications of this in relation to the Baum-Connes conjecture, and prove that Gromov hyperbolic groups have isomorphic equivariant K-theories of their Gromov boundary and their stable Higson corona.