Mathematics - K-Theory and Homology Publications (50)


Mathematics - K-Theory and Homology Publications

We define triangulated factorization systems on a given triangulated category, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is then placed in the framework of derivators regarding a triangulated category as the underlying category of a stable derivator. More generally, we define derivator factorization systems in the 2-category $\mathbf{PDer}$, also formally describing them as algebras for a suitable strict 2-monad (this result is of independent interest), and prove that a similar characterization still holds true: for a stable derivator $\mathbb{D}$, a suitable class of derivator factorization systems (the normal derivator torsion theories) correspond bijectively with $t$-structures on the underlying category $\mathbb{D}(e)$ of the derivator. Read More

We study Chern characters and the free assembly mapping using the framework of geometric $K$-homology. The focus is on the relative groups associated with a group homomorphism $\phi:\Gamma_1\to \Gamma_2$ along with applications to Novikov type properties. In particular, we prove a relative strong Novikov property for homomorphisms of hyperbolic groups and a relative strong $\ell^1$-Novikov property for polynomially bounded homomorphisms of groups with polynomially bounded cohomology in $\mathbb{C}$ and classifying spaces that are locally finite CW-complexes. Read More

We construct the strict weight complex functor (in the sense of Bondarko) for a stable infinity category $\underline{C}$ equipped with a bounded weight structure $w$. This allows us to compare the K-theory of $\underline{C}$ and the K-theory of $\underline{Hw}$. In particular, we prove that $\operatorname{K}_{n}(\underline{C}) \to \operatorname{K}_{n}(\underline{Hw})$ are isomorphisms for $n \le 0$. Read More

We show that the space $\Omega_n^{\leq 1}$ of formal differential $\leq1$-forms on $\mathbb{R}^n$ has an (induced) SAYD module structure on the Connes-Moscovici Hopf algebra $\mathcal{H}_n$. We thus identify the Hopf-cyclic cohomology $\mathcal{H}_n$ with coefficients in formal differential forms with the Gelfand-Fuks cohomology of the Lie algebra $W_n$ of formal vector fields on $\mathbb{R}^n$. Furthermore, we introduce a multiplicative structure on the Hopf-cyclic bicomplex, and we show that this van Est type isomorphism is multiplicative. Read More

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. Read More

In this article a new concentration inequality is proven for Lipschitz maps on the infinite Hamming graphs and taking values in Tsirelson's original space. This concentration inequality is then used to disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. Some positive embeddability results are proven for the infinite Hamming graphs and the countably branching trees using the theory of spreading models. Read More

We deduce an analogue of Quillen--Suslin's local-global principle for the transvection subgroups of the general quadratic (Bak's unitary) groups. As an application we revisit the result of Bak--Petrov--Tang on injective stabilization for the K_1-functor of the general quadratic groups. Read More

We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy the coarse Baum-Connes conjecture. Combined with the result of Osajda-Przytycki, it implies that systolic groups and locally finite systolic complexes satisfy the coarse Baum-Connes conjecture. Read More

In this paper, we use simplicial Waldhausen theory to show the geometric realization of the topologized category of bounded chain complexes over $\mathbb{F}=\mathbb{C}$ (resp. $\mathbb{R}$) is an infinite loop space that represents connective complex (resp. real) topological $K$-theory. Read More

In this paper, we construct an equivariant coarse homology theory with values in the category of non-commutative motives of Blumberg, Gepner and Tabuada, with coefficients in any small additive category. Equivariant coarse K-theory is obtained from the latter by passing to global sections. The present construction extends joint work of the first named author with Engel, Kasprowski and Winges by promoting codomain of the equivariant coarse K-homology functor to non-commutative motives. Read More

We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a free $\mathbb{S}$-module, in contrast with the results of Kock and Bremner--Madariaga on hidden commutativity for the Boardman--Vogt tensor square of the operad of non-unital associative algebras. Read More

We investigate the regularity condition for twisted spectral triples. This condition is equivalent to the existence of an appropriate pseudodifferential calculus compatible with the spectral triple. A natural approach to obtain such a calculus is to start with a twisted algebra of abstract differential operators, in the spirit of Higson. Read More

In this paper, we study the mod(p) motivic cohomology of twisted complete flag varieties over some restricted fields k. Here we take k such that the mod(p) Milnor K-theory KM_i(k)/p=0 for i>3. Read More

We prove that the $v_1$-local $G$-equivariant stable homotopy category for $G$ a finite group has a unique $G$-equivariant model at $p=2$. This means that at the prime $2$ the homotopy theory of $G$-spectra up to fixed point equivalences on $K$-theory is uniquely determined by its triangulated homotopy category and basic Mackey structure. The result combines the rigidity result for $K$-local spectra of the second author with the equivariant rigidity result for $G$-spectra of the first author. Read More

In this paper, we extend Roe's cyclic $1$-cocycle to relative settings. We also prove two relative index theorems for partitioned manifolds by using its cyclic cocycle. One of these theorems is a variant of Theorem 3. Read More

Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable \'etale realization functor $$\text{Spt}(k)\rightarrow \text{Pro}(\text{Spt})^{H\mathbb{Z}/\ell}$$ from the stable $\infty$-category of motivic $\mathbb{P}^1$-spectra over $k$ to the stable $\infty$-category of $(H\mathbb{Z}/\ell)^*$-local pro-spectra (see section 3 for definition). This is induced by the \'etale topological realization functor \'a la Friedlander. Read More

In \cite{Rav84} and \cite{Rav86}, Ravenel introduced sequences of Thom spectra $X(n)$ and $T(n)$ that played an important role in the proof of the nilpotence theorem of Devinatz-Hopkins-Smith \cite{DHS88}. Let $X$ be any one of the Thom spectra $X(n+1)$ or $T(n)$ where $0 \leq n \leq \infty$. We apply the techniques of Lun{\o}e-Nielsen-Rognes to show that the map from the $C_{p^k}$-fixed points of $THH(X)$ to the $C_{p^k}$-homotopy fixed points of $THH(X)$ is a $p$-adic equivalence for all $k \geq 1$. Read More

This series of papers is dedicated to the study of motivic homotopy theory in the context of brave new or spectral algebraic geometry. In Part II we prove a comparison result with the classical motivic homotopy theory of Morel-Voevodsky. This comparison says roughly that any $\mathbf{A}^1$-homotopy invariant cohomology theory in spectral algebraic geometry is determined by its restriction to classical algebraic geometry. Read More

We generalize the notion of K\"ulshammer ideals to the setting of a graded category. This allows us to define and study some properties of K\"ulshammer type ideals in the graded center of a triangulated category and in the Hochschild cohomology of an algebra, providing new derived invariants. Further properties of K\"ulshammer ideals are studied in the case where the category is $d$-Calabi-Yau. Read More

In this note we define a generalization of Hall-Littlewood symmetric functions using formal group law and give an elementary proof of the generating function formula for the generalized Hall-Littlewood symmetric functions. We also give some applications of this formula. Read More

We use descent theoretic methods to solve the homotopy limit problem for Hermitian $K$-theory over very general Noetherian base schemes. As another application of these descent theoretic methods, we compute the cellular Picard group of 2-complete Hermitian $K$-theory over $\mathop{Spec}(\mathbb{C})$, showing that the only invertible cellular spectra are suspensions of the tensor unit. Read More

Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of $8$ (resp. Read More

We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0) provided that n is nilpotent on X (resp. Read More

Using a recent computation of the rational minus part of $SH(k)$ by Ananyevskiy-Levine-Panin, a theorem of Cisinski-Deglise and a version of the Roendigs-Ostvaer theorem, rational stable motivic homotopy theory over a field of characteristic zero is recovered in this paper from finite Chow-Witt correspondences in the sense of Calmes-Fasel. Read More

The purpose of this work is to study the notion of bivariant theory introduced by Fulton and MacPherson in the context of motivic stable homotopy theory, and more generally in the broader framework of Grothendieck six functors formalism. We introduce several kinds of bivariant theory associated with a suitable ring spectrum and we construct a system of orientations (called fundamental classes) for global complete intersection morphisms between arbitrary schemes. This fundamental classes satisfies all the expected properties from classical intersection theory and lead to Gysin morphisms, Riemann-Roch formulas as well as duality statements, valid for general schemes, including singular ones and without need of a base field. Read More

Uniform Roe algebras are $C^*$-algebras associated to discrete metric spaces: as well as forming a natural class of $C^*$-algebras in their own right, they have important applications in coarse geometry, dynamics, and higher index theory. The goal of this paper is to study when uniform Roe algebras have certain $C^*$-algebraic properties in terms of properties of the underlying space: in particular, we study properties like having stable rank one or real rank zero that are thought of as low dimensional, and connect these to low dimensionality of the underlying space in the sense of the asymptotic dimension of Gromov. Some of these results (for example, on stable rank one and cancellation) give definitive characterizations, while others (on real rank zero) are only partial and leave a lot open. Read More

The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function, which instead respects the tensor product of motives. Read More

We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show that there are no nilpotent elements in the cohomology rings of individual alternating groups. We calculate the action of the Steenrod algebra and discuss individual component rings. Read More

We prove a Torelli-like theorem for higher-dimensional function fields, from the point of view of "almost-abelian" anabelian geometry. Read More

We prove by an inductive argument that any finitely generated FI$_d$-module over a commutative Noetherian ring has finite (Castelnuovo-Mumford) regularity. Our inductive argument is applicable also to the categories OI$_d$, FI$^m$, and OI$^m$. Read More

In this paper we study representation theory of the category FI$^m$ introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI$^m$ in a natural way. In particular, we prove the representation stability property of finitely generated FI$^m$-modules over fields of characteristic 0. Read More

The classical Cuntz semigroup has an important role in the study of C*-algebras, being one of the main invariants used to classify recalcitrant C*-algebras up to isomorphism. We consider C*-algebras that have Hopf algebra structure, and find additional structure in their Cuntz semigroups, thus generalizing the equivariant Cuntz semigroup. We develop various aspects of the theory of such semigroups, and in particular, we give general results allowing classification results of the Elliott classification program to be extended to classification results for C*-algebraic quantum groups. Read More

The main purpose of this paper is to modify the orbit method for the Baum-Connes conjecture as developed by Chabert, Echterhoff and Nest in their proof of the Connes-Kasparov conjecture for almost connected groups \cite{MR2010742} in order to deal with linear algebraic groups over local function fields (i.e., non-archimedean local fields of positive characteristic). Read More

We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In particular, we construct the category of pure Chow-Witt motives $CHW(k)_{\mathbb{Q}}$ over a field $k$ and show that this category admits a fully faithful embedding into the geometric stable $\mathbb{A}^1$-derived category $D_{\mathbb{A}^1,gm}(k)_{\mathbb{Q}}$. Read More

We study a functor from anti-Yetter Drinfeld modules to contramodules in the case of a Hopf algebra $H$. Some byproducts of this investigation are the establishment of sufficient conditions for this functor to be an equivalence, verification that the center of the opposite category of $H$-comodules is equivalent to anti-Yetter Drinfeld modules, and the observation of two types of periodicities of the generalized Yetter-Drinfeld modules introduced previously. Finally, we give an example of a symmetric $2$-contratrace on $H$-comodules that does not arise from an anti-Yetter Drinfeld module. Read More

Let k be a finite base field. In this note, making use of topological periodic cyclic homology and of the theory of noncommutative motives, we prove that the numerical Grothendieck group of every smooth proper dg k-linear category is a finitely generated free abelian group. Along the way, we prove moreover that the category of noncommutative numerical motives over k is abelian semi-simple, as conjectured by Kontsevich. Read More

We show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on their Bass-Serre trees we obtain an identification of the associated Waldhausen Nil-groups with a direct sum of Nil-groups associated to certain virtually cyclic groups. This identification generalizes a result by Lafont and Ortiz. Read More

Quasirational (pro-$p$)presentations are studied. We give an affirmative answer to the conjecture of O.V. Read More

We prove that algebraic K-theory, topological Hochschild homology and topological cyclic homology satisfy cubical and cosimplicial descent at connective structured ring spectra along 1-connected maps of such ring spectra. Read More

We show that outer approximately represenbtable actions of a finite cyclic group on UCT Kirchberg algebras satisfy a certain quasi-freeness type property if the corresponding crossed products satisfy the UCT and absorb a suitable UHF algebra tensorially. More concretely, we prove that for such an action there exists an inverse semigroup of homogeneous partial isometries that generates the ambient C*-algebra and whose idempotent semilattice generates a Cartan subalgebra. We prove a similar result for actions of finite cyclic groups with the Rokhlin property on UCT Kirchberg algebras absorbing a suitable UHF algebra. Read More

We will determine the motivic cohomology $H^{*,*}(BSO_n , Z/2)$ with coefficients in $Z/ 2$ of the classifying space of special orthogonal groups $SO_n$ over the complex numbers $C$. Read More

In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \`a la Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of equivariant formality of conjugation action on compact Lie groups and left translation action on generalized flag manifolds. Read More

We give a new categorical way to construct the central stability homology of Putman and Sam and explain how it can be used in the context of representation stability and homological stability. In contrast to them, we cover categories with infinite automorphism groups. We also connect central stability homology to Randal-Williams and Wahl's work on homological stability. Read More

We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another "mod $3$" invariant. Read More

A commutative diagram that connects the basic objects of commutative algebra with the main objects of commutative analysis is constructed. Namely, with the help of five types of canonical embeddings we constructed a diagram between two sets of objects: Abelian semigroups -- Abelian regular (cancellative) semigroups -- Abelian groups, on the first hand, and convex cones -- regular convex cones -- linear spaces, on the other hand. Thus, some extension of the Grothendieck algebraic K--theory arises, that includes the basic objects not only of linear (smooth) analysis but of sublinear (nonsmooth) analysis also. Read More

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category by an $nh$-torsion spectrum, where $n$ is an integer invertible in the base field and $h$ is the rank $2$ hyperbolic quadratic form in the Grothendieck-Witt ring of the base field. It is shown that the values of such cohomology theories at an essentially smooth Henselian ring and its residue field coincide. Read More

We rework and generalize equivariant infinite loop space theory, which shows how to construct G-spectra from G-spaces with suitable structure. There is a naive version which gives naive G-spectra for any topological group G, but our focus is on the construction of genuine G-spectra when G is finite. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. Read More

Using Rieffel's construction of projective modules over higher dimensional noncommutative tori, we construct projective modules over some continuous field of C*-algebras whose fibers are noncommutative tori. Using a result of Echterhoff et al., our construction gives generators of K_0 of all noncommutative tori. Read More

For a group $G$ and $R=\mathbb Z,\mathbb Z/p,\mathbb Q$ we denote by $\hat G_R$ the $R$-completion of $G.$ We study the map $H_n(G,K)\to H_n(\hat G_R,K),$ where $(R,K)=(\mathbb Z,\mathbb Z/p),(\mathbb Z/p,\mathbb Z/p),(\mathbb Q,\mathbb Q).$ We prove that $H_2(G,K)\to H_2(\hat G_R,K)$ is an epimorphism for a finitely generated solvable group $G$ of finite Pr\"ufer rank. Read More

We study the category of left unital graded modules over the Steinberg algebra of a graded ample Hausdorff groupoid. In the first part of the paper, we show that this category is isomorphic to the category of unital left modules over the Steinberg algebra of the skew-product groupoid arising from the grading. To do this, we show that the Steinberg algebra of the skew product is graded isomorphic to a natural generalisation of the the Cohen-Montgomery smash product of the Steinberg algebra of the underlying groupoid with the grading group. Read More