K理论与同调

We prove that, over a perfect field, Bredon motivic cohomology can be computed by Suslin-Friedlander complexes of equivariant equidimensional cycles. Partly based on this result we completely identify Bredon motivic cohomology of a…

We discuss a version of the Chevalley--Eilenberg cohomology in characteristic $2$, where the alternating cochains are replaced by symmetric ones.

A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquely recovered from $w$ and vice versa. We prove…

We show that an old conjecture of A.A. Suslin characterizing the image of a Hurewicz map from Quillen K-theory in degree $n$ to Milnor K-theory in degree $n$ admits an interpretation in terms of unstable ${\mathbb A}^1$-homotopy sheaves of…

We describe a map from the equivariant twisted K-homology of a compact, connected, simply connected Lie group $G$ to the Verlinde ring. Our map is described at the level of `D-cycles' for the geometric twisted K-homology of $G$, and is…

This paper is dedicated to new methods of constructing weight structures and weight-exact localizations; our arguments generalize their bounded versions considered in previous papers of the authors. We start from a class of objects $P$ of…

Let R be a Dedekind domain, and let G be a simply connected Chevalley-Demazure group scheme of rank =>2. We prove that G(R[x_1,...,x_n])=G(R)E(R[x_1,...,x_n]) for any n=>1. This extends the corresponding results of A. Suslin and F.…

This article is the extended notes of my survey talk of Gersten's conjecture given at the workshop "Bousfield classes form a set: a workshop in a memory of Tetsusuke Ohkawa" at Nagoya University in August 2015. In the last section, I give…

The purpose of this article is to show a version of d\'evissage theorem of non-connective $K$-theory. Our theorem contains Quillen's d\'evissage theorem, Waldhausen's cell filtration theorem and theorem of heart as special cases. In this…

We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…

This paper studies the K-homology of a crossed product of a discrete group acting smoothly on a manifold, with a better understanding of the noncommutative geometry of the crossed-product as the primary goal, and the Baum-Connes apparatus…

We give a survey on higher invariants in noncommutative geometry and their applications to differential geometry and topology.

The first main result of this paper is to prove that the convergence of Lott's delocalized eta invariant holds for all differential operators with a sufficiently large spectral gap at zero. Furthermore, to each delocalized cyclic cocycle,…

We give sufficient conditions to ensure that the ideal $\Phi(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $\lambda$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an…

This survey of topological cyclic homology is a chapter in the Handbook on Homotopy Theory. We give a brief introduction to topological cyclic homology and the cyclotomic trace map following Nikolaus-Scholze, followed by a proof of…

The K-theoretic Farrell-Jones isomorphism conjecture for a group ring $R[G]$ has been proved for several groups. The toolbox for proving the Farrell-Jones conjecture for a given group depends on some geometric properties of the group as it…

We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples,…

For a symplectic manifold satisfying some topological condition,we define a special class of modules over the deformation quantization algebra. For any two such modules we construct an infinity local system of morphisms. We construct such…

Let $A$ be a C*-algebra that is the norm closure $A = \overline{\sum_{\beta \in \alpha} I_\beta}$ of an arbitrary sum of C*-ideals $I_\beta \subseteq A$. We construct a homological spectral sequence that takes as input the K-theory of…

In this paper, we establish a precise connection between higher rho invariants and delocalized eta invariants. Given an element in a discrete group, if its conjugacy class has polynomial growth, then there is a natural trace map on the…