K理论与同调

Let $K$ be an arbitrary infinite field. The cohomology group $H^2(SL(2,K), H_2\,SL(2,K))$ contains the class of the universal central extension. When studying representations of fundamental groups of surfaces in $SL(2,K)$ it is useful to…

We study a construction of diagrams of dualizable presentable stable $\infty$-categories associated with certain fiber-cofiber sequences over rigid bases, which are sent by localizing invariants, in particular continuous K-theory, to limit…

2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is…

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…

In this note, we prove that $K_{2i} (\mathbb{Z}/p^n) \neq 0$ if and only if $p-1$ divides $i$ and $0 \leq i \leq (p-1) p^{n-2}$, refining the even vanishing theorem of Antieau, Nikolaus and the first author in this case. As a corollary of…

We compute the co-multiplication of the algebraic Morava K-theory for split orthogonal groups. This allows us to compute the decomposition of the Morava motives of generic maximal orthogonal Grassmannians and to compute a Morava K-theory…

In this note, we establish a vanishing result for telescopically localized $\mathrm{TR}$. More precisely, we prove that $T(k)$-local $\mathrm{TR}$ vanishes on connective $L_n^{p,f}$-acyclic $\mathbf{E}_1$-rings for every $1 \leq k \leq n$…

We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler…

We show that \'etale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids,…

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real…

Our investigation focuses on an additive analogue of the Bloch-Gabber-Kato theorem which establishes a relation between the Milnor $K$-group of a field of positive characteristic and a Galois cohomology group of the field. Extending the…

We establish a relationship between a certain notion of covering complexity of a Riemannian spin manifold and positive lower bounds on its scalar curvature. This makes use of a pairing between quantitative operator $K$-theory and Lipschitz…

We develop two connections between the quantitative framework of operator $K$-theory for geometric $C^*$-algebras and the problem of positive scalar curvature. First, we introduce a quantitative notion of higher index and use it to give a…

Let $G$ be a linear Lie group acting properly and isometrically on a $G$-spin$^c$ manifold $M$ with compact quotient. We show that Poincar\'e duality holds between $G$-equivariant $K$-theory of $M$, defined using finite-dimensional…

Let $N$ be a closed spin manifold with positive scalar curvature and $D_N$ the Dirac operator on $N$. Let $M_1$ and $M_2$ be two Galois covers of $N$ such that $M_2$ is a quotient of $M_1$. Then the quotient map from $M_1$ to $M_2$…

We show that if a countable discrete group acts properly and isometrically on a spin manifold of bounded Riemannian geometry and uniformly positive scalar curvature, then, under a suitable condition on the group action, the maximal higher…

We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by…

In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the…

We prove D\'{e}vissage theorems for Hermitian $K$ Theory (or $GW$ theory), analogous to Quillen's D\'{e}vissage theorem for $K$-theory. For abelian categories ${\mathscr A}:=({\mathscr A}, ^{\vee}, \varpi)$ with duality, and appropriate…

Quillen's Resolution Theorem in algebraic $K$-theory provides a powerful computational tool for calculating $K$-groups of exact categories. At the level of $K_0$, this result goes back to Grothendieck. In this article, we first establish an…