Mathematics - K-Theory and Homology Publications (50)


Mathematics - K-Theory and Homology Publications

The goal of this note is to describe a class of formal deformations of a symplectic manifold $M$ in the case when the base ring of the deformation problem involves parameters of non-positive degrees. The interesting feature of such deformations is that these are deformations "in $A_{\infty}$-direction" and, in general, their description involves all cohomology classes of $M$ of degrees $\ge 2$. Read More

The purpose of this article is to clarify the question what makes motives $\mathbb{A}^1$-homotopy invariance. we give construction of the stable model category of nilpotent invariant motives $\mathcal{M}ot_{\operatorname{dg}}^{\operatorname{nilp}}$ and define the nilpotent invriant motives associated with schemes and relative exact categories. For a noetherian scheme $X$, there are two kind of motives associated with $X$ in the homotopy category $\operatorname{Ho}(\mathcal{M}ot^{\operatorname{nilp}}_{\operatorname{dg}})$, namely $M_{\operatorname{nilp}}(X)$ and $M_{\operatorname{nilp}}'(X)$. Read More

These notes follows the articles \cite{kamel, Cam, cam-cubique} which show how powerful can be the method of \textit{Stretchings} initiated with the \textit{Globular Geometry} by Jacques Penon in \cite{penon} , to weakened \textit{strict higher structures}. Here we adapt this method to weakened strict multiple $\infty$-categories, strict multiple $(\infty,m)$-categories, and in particular we obtain algebraic models of weak multiple $\infty$-groupoids. Read More

In this note we compute several invariants (e.g. algebraic K-theory, cyclic homology and topological Hochschild homology) of the noncommutative projective schemes associated to Koszul algebras of finite global dimension. Read More

We provide a framework connecting several well known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras. Finally, we provide a tool to evaluate the possible degrees of a module appearing in a graded projective resolution once the generating degrees for the first term of some particular projective resolution are known. Read More

Using the concept of ring diadic range 1 we proved that a commutative Bezout ring is an elementary divisor ring iff it is a ring diadic range 1. Read More

We provide several ingredients towards a generalization of the Littlewood-Richardson rule from Chow groups to algebraic cobordism. In particular, we prove a simple product-formula for multiplying classes of smooth Schubert varieties with any Bott-Samelson class in algebraic cobordism of the grassmannian. We also establish some results for generalized Schubert polynomials for hyperbolic formal group laws. Read More

The aim of this work is to give an algebraic weak version of the Atiyah-Singer index theorem. We compute then a few small examples with the elliptic differential operator of order $\leq 1$ coming from the Atiyah class in $\mathrm{Ext}^1_{\mathcal{O}_X}(\mathcal{O}_X,\Omega^1_{X/k})$, where $X \longrightarrow \mathrm{Spec}(k)$ is a smooth projective scheme over a perfect field $k$. Read More

We prove the strong Novikov conjecture for groups having polynomially bounded higher-order combinatorial functions. This includes all automatic groups. Read More

We give a concise introduction to the Farrell-Jones Conjecture in algebraic $K$-theory and to some of its applications. We survey the current status of the conjecture, and we illustrate the two main tools that are used to attack it: controlled algebra and trace methods. Read More

Motivated by the topological classification of hamiltonians in condensed matter physics (topological insulators) we study the relations between chiral Dirac operators coupled to an abelian vector potential on a torus in 3 and 1 space dimensions. We find that a large class of these hamiltonians in three dimensions is equivalent, in K theory, to a family of hamiltonians in just one space dimension but with a different abelian gauge group. The moduli space of U(1) gauge connections over a torus with a fixed Chern class is again a torus up to a homotopy. Read More

Let $A$ be a commutative noetherian ring, let $\mathfrak{a} \subseteq A$ be an ideal, and let $J$ be an injective $A$-module. A basic result in the structure theory of injective modules states that the $A$-module $\Gamma_{\mathfrak{a}}(J)$ consisting of $\mathfrak{a}$-torsion elements is also an injective $A$-module. Equivalently, the torsion theory associated to $\mathfrak{a}$ is stable. Read More

In this article we show how to build main aspects of our paper on globular weak $(\infty,n)$-categories, but now for the cubical geometry. Thus we define a monad on the category $\mathbb{C}\mathbb{S}ets$ of cubical sets which algebras are models of cubical weak $\infty$-categories. Also for each $n\in\mathbb{N}$ we define a monad on $\mathbb{C}\mathbb{S}ets$ which algebras are models of cubical weak $(\infty,n)$-categories. Read More

In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. Read More

The main result in this paper is a fixed point formula for equivariant indices of elliptic differential operators, for proper actions by connected semisimple Lie groups on possibly noncompact manifolds, with compact quotients. For compact groups and manifolds, this reduces to the Atiyah-Segal-Singer fixed point formula. Other special cases include an index theorem by Connes and Moscovici for homogeneous spaces, and an earlier index theorem by the second author, both in cases where the group acting is connected and semisimple. Read More

We lift to equivariant algebra three closely related classical algebraic concepts: abelian group objects in augmented commutative algebras, derivations, and K\"ahler differentials. We define Mackey functor objects in the category of Tambara functors augmented to a fixed Tambara functor $\underline{R}$, and we show that the usual square-zero extension gives an equivalence of categories between these Mackey functor objects and ordinary modules over $\underline{R}$. We then describe the natural generalization to Tambara functors of a derivation, building on the intuition that a Tambara functor has products twisted by arbitrary finite $G$-sets, and we connect this to square-zero extensions in the expected way. Read More

We solve affirmatively the homotopy limit problem for $K$-theory over fields of finite virtual cohomological dimension. Our solution employs the motivic slice filtration and the first motivic Hopf map. Read More

We prove a {\Gamma}-equivariant version of the algebraic index theorem, where {\Gamma} is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of the transversal index theorem related to the theorem of A. Connes and H. Read More

We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$, assuming $k$ has characteristic 0, and for any elliptic curve $A$ in any characteristic. Read More

We give an algorithm to compute the $K$-groups of the crossed product by the flip automorphism for a nuclear C$^*$-algebra satisfying the UCT. Read More

Let $R$ be a regular domain of dimension $d\geq 2$ which is essentially of finite type over an infinite perfect field $k$. We compare the Euler class group $E^d(R)$ with the van der Kallen group $Um_{d+1}(R)/E_{d+1}(R)$. In the case $2R=R$, we define a map from $E^d(R)$ to $Um_{d+1}(R)/E_{d+1}(R)$ and study it in intricate details. Read More

This text is based on a talk by the first named author at the first congress of the SMF (Tours, 2016). We present Bloch's conductor formula, which is a conjectural formula describing the change of topology in a family of algebraic varieties when the parameter specialises to a critical value. The main objective of this paper is to describe a general approach to the resolution of Bloch's conjecture based on techniques from both non-commutative geometry and derived geometry. Read More

Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial complex whose $2$-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, the homotopy of this complex can be characterized in term of confluence diagrams induced by the critical branchings of the rewriting system. Read More

We define and study the quantum equivariant $K$-theory of cotangent bundles over the Grassmannians. For every tautological bundle in the $K$-theory we define its one-parametric deformation, referred to as quantum tautological bundle. We prove that the spectrum of operators of quantum multiplication by these quantum classes is governed by the Bethe ansatz equations for the inhomogeneous $XXZ$ spin chain. Read More

We prove the Burghelea Conjecture for all groups with finite virtual cohomological dimension satisfying some additional property called property E. Read More

Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the KK-equivalence between the full fundamental C*-algebra and the vertex-reduced fundamental C*-algebra even for non GNS-faithful conditional expectations. Our results unify, simplify and generalize all the previous results obtained before by Cuntz, Pimsner, Germain and Thomsen. Read More

We introduce a notion of Morita equivalence for non-selfadjoint operator algebras equipped with a completely isometric involution (operator *-algebras). We then show that the unbounded Kasparov product by a Morita equivalence bimodule induces an isomorphism between equivalence classes of twisted spectral triples over Morita equivalent operator *-algebras. This leads to a tentative definition of unbounded bivariant K-theory and we prove that this bivariant theory is related to Kasparov's bivariant K-theory via the Baaj-Julg bounded transform. Read More

Let $\varphi$ be a rational map $\mathbb{P}^2 \dashrightarrow\mathbb{P}^2$ which preserves the rational volume form $\frac{\mathrm{d}x}{x}\wedge\frac{\mathrm{d}y}{y}$. Sergey Galkin conjectured that in this case $\varphi$ is necessarily birational. We show that such a map preserves the element $\{x,y\}$ of the second K-group $K_2(\mathbf{k}(x,y))$ up to multiplication by a constant, and restate this condition explicitly in terms of mutual intersections of the divisors of coordinates of $\varphi$ in a way suitable for computations. Read More

We calculate the bivariant local cyclic cohomology of the Banach convolution algebra of summable functions on a word-hyperbolic group. Our result implies that the Banach algebraic assembly map in local cyclic homology is an isomorphism for such a group. Read More

We construct connections on $S^1$-equivariant Hamiltonian Floer cohomology, which differentiate with respect to certain formal parameters. Read More

We discuss a conjecture saying that derived equivalence of smooth projective varieties implies that the difference of their classes in the Grothendieck ring of varieties is annihilated by a power of the affine line class. We support the conjecture with a number of known examples, and one new example. We consider a smooth complete intersection $X$ of three quadrics in ${\mathbf P}^5$ and the corresponding double cover $Y \to {\mathbf P}^2$ branched over a sextic curve. Read More

We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range of tools that comes with a Quillen homology theory, such as long exact sequences (transitivity) and excision isomorphisms (flat base change). Read More

We introduce the notions of a $\mathbf{D}$-standard abelian category and a $\mathbf{K}$-standard additive category. We prove that for a finite dimensional algebra $A$, its module category is $\mathbf{D}$-standard if and only if any derived autoequivalence on $A$ is standard, that is, given by a two-sided tilting complex. We prove that if the subcategory of projective $A$-modules is $\mathbf{K}$-standard, then the module category is $\mathbf{D}$-standard. Read More

We develop a $K$-theoretic approach to multiparameter bifurcation theory of homoclinic solutions of discrete non-autonomous dynamical systems from a branch of stationary solutions. As a byproduct we obtain a family index theorem for asymptotically hyperbolic linear dynamical systems which is of independent interest. In the special case of a single parameter, our bifurcation theorem weakens the assumptions in previous work by Pejsachowicz and the first author. Read More

Young tableaux carry an associative product, described by the Schensted algorithm. They thus form a monoid $\mathbf{Pl}$, called \emph{plactic}. It is central in numerous combinatorial and algebraic applications. Read More

We show that, for a simplicial complex, the supported cap product operation on Borel-Moore homology coincides with the supported cap product on simplicial homology. For this we introduce the supported cap product for locally finite singular homology, and compare the cap product on the three homology theories. Read More

Higher Hochschild homology is the analog of the homology of spaces, where the context for the coefficients -- which usually is that of abelian groups -- is that of commutative algebras. Two spaces that are equivalent after a suspension have the same homology. We show that this is not the case for higher Hochschild homology, providing a counterexample to a behavior so far observed in stable homotopy theory. Read More

We establish new structures on Grothendieck-Witt rings, including a GW(k)-module structure on the unit group GW(k)^x and a presentation of \ul{GW}^x as an infinite Gm-loop sheaf. Even though our constructions are motivated by speculations in stable A1-homotopy theory, our arguments are purely algebraic. Read More

In this short note, we simply collect some known results about representing algebraic cycles by various kind of "nice" (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational equivalence. Read More

We pursue the study of local index theory for operators of Fourier-integral type associated to non-proper and non-isometric actions of Lie groupoids, initiated in a previous work. We introduce the notion of geometric cocycles for Lie groupoids, which allow to represent fairly general cyclic cohomology classes of the convolution algebra of Lie groupoids localized at isotropic submanifolds. Then we compute the image of geometric cocycles localized at units under the excision map of the fundamental pseudodifferential extension. Read More

We calculate homotopy G-fixed points and homotopy G-orbits in various types of *-categories. To this end we construct good model category structures on the category of *-categories and C-linear versions. For our calculation we then use injective or projective model category structure on the category G-equivariant *-categories and explicite (co)fibrant resolutions. Read More

Using Franke's methods we construct new examples of exotic equivalences. We show that for any symmetric ring spectrum $R$ whose graded homotopy ring $\pi_*R$ is concentrated in dimensions divisible by a natural number $N \geq 5$ and has homological dimension at most three, the homotopy category of $R$-modules is equivalent to the derived category of $\pi_*R$. The Johnson-Wilson spectrum $E(3)$ and the truncated Brown-Peterson spectrum $BP\langle 2 \rangle$ for any prime $p \geq 5$ are our main examples. Read More

We revisit the characterisation of modules over non-unital C*-algebras analogous to sections of vector bundles. Using ideas from Kajiwara, Pinzari and Watatani, we identify a new class of modules which closely mirror the commutative case. Read More

K-theory for $ \sigma$-C*-algebras (countable inverse limits of C*-algebras) has been investigated by N. C. Phillips [{\it K-Theory} {\bf 3} (1989), 441--478]. Read More

In this article, using the recent theory of noncommutative motives, we compute the additive invariants of orbifolds (equipped with a sheaf of Azumaya algebras) using solely "fixed-point data". As a consequence, we recover, in a unified and conceptual way, the original results of Vistoli concerning algebraic K-theory, of Baranovsky concerning cyclic homology, of the second author with Polishchuk concerning Hochschild homology, and of Baranovsky-Petrov and Caldararu-Arinkin (unpublished) concerning twisted Hochschild homology; in the case of topological Hochschild homology and periodic topological cyclic homology, the aforementioned computation is new in the literature. As an application, we verify Grothendieck's standard conjectures of type C and D, as well as Voevodsky's smash-nilpotence conjecture, in the case of "low-dimensional" orbifolds. Read More

A signed version of Putnam homology for Smale spaces is introduced. Its definition, basic properties and associated Lefschetz theorem are outlined. In particular, zeta functions associated to an Axiom A diffeomorphism are compared. Read More

Recent work by Prodan and the second author showed that weak invariants of topological insulators can be described using Kasparov's $KK$-theory. In this note, a complementary description using semifinite index theory is given. This provides an alternative proof of the index formulae for weak complex topological phases using the semifinite local index formula. Read More

In this short note, making use of the recent theory of noncommutative mixed motives, we prove that the Voevodsky's mixed motive of a quadric fibration over a smooth curve is Kimura-finite. Read More

We compute topological Hochschild homology mod $p$ and $v_1$ of the connective cover of the $K(1)$ local sphere spectrum for all primes $p\ge 3$. This is accomplished using a May-type spectral sequence in topological Hochschild homology constructed from a filtration of a commutative ring spectrum. Read More