Equivariant spectral triples on the quantum SU(2) group
Partha Sarathi Chakraborty, Arupkumar Pal
备注：
LaTeX2e, 19 pages; v3:some results added in existing sections, one new section on classical SU(2) added, two references added; v2:some typos and one error corrected
We characterize all equivariant odd spectral triples for the quantum SU(2) group acting on its L_2-space and having a nontrivial Chern character. It is shown that the dimension of an equivariant spectral triple is at least three, and given any element of the K-homology group of SU_q(2), there is an equivariant odd spectral triple of dimension 3 inducing that element. The method employed to get equivariant spectral triples in the quantum case is then used for classical SU(2), and we prove that for p<4, there does not exist any equivariant spectral triple with nontrivial K-homology class and dimension p acting on the L_2-space.
The quantum group $SU_q(\ell+1)$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. All odd spectral triples acting on the $L_2$ space of $S_q^{2\ell+1}$ and equivariant under this action have been characterized. This characterization then leads to the construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class. These generalize the results of Chakraborty & Pal for $SU_q(2)$.
The torus group $(S^1)^{\ell+1}$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. We take the natural Hilbert space representation where this action is implemented and characterize all odd spectral triples acting on that space and equivariant with respect to that action. This characterization gives a construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class thus generalizing our earlier results for $SU_q(2)$. We also relate the triple we construct with the $C^*$-extension \[ 0\longrightarrow \clk\otimes C(S^1)\longrightarrow C(S…
We explain the notion of minimality for an equivariant spectral triple and show that the triple for the quantum SU(2) group constructed by Chakraborty and Pal is minimal. We also give a decomposition of the spectral triple constructed by Dabrowski et al in terms of this minimal triple.
We formulate the notion of equivariance of an operator with respect to a covariant representation of a C^*-dynamical system. We then use a combinatorial technique used by the authors earlier in characterizing spectral triples for SU_q(2) to investigate equivariant spectral triples for two classes of spaces: the quantum groups SU_q(\ell+1) for \ell>1, and the odd dimensional quantum spheres S_q^{2\ell+1} of Vaksman & Soibelman. In the former case, a precise characterization of the sign and the singular values of an equivariant Dirac operator acting on the L_2 space is obtained. Using this, we t…
We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $θ$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around…
We study the "quantized calculus" corresponding to the algebraic ideas related to "twisted cyclic cohomology" introduced in [KMT]. With very similar definitions and techniques as those used in [jlo], we define and study "twisted entire cyclic cohomology" and the "twisted Chern character" associated with an appropriate operator-theoretic data called "twisted spectral data", which consists of a spectral triple in the conventional sense of noncommutative geometry ([Con]) and an additional positive operator having specified properties. Furthermore, it is shown that given a spectral triple (in the …
Equivariant T-duality triples of locally compact abelian groups are considered. The motivating example dealing with the group $\R^n$ containing a lattice $\Z^n$ comes with an isomorphism in twisted equivariant K-theory.
We examine the index data associated to twisted spectral triples and higher order spectral triples. In particular, we show that a Lipschitz regular twisted spectral triple can always be `logarithmically dampened' through functional calculus, to obtain an ordinary (i.e. untwisted) spectral triple. The same procedure turns higher order spectral triples into spectral triples. We provide examples of highly regular twisted spectral triples with nontrivial index data for which Moscovici's ansatz for a twisted local index formula is identically zero.
Computation of the K- and KO-theory for the classifying G-spaces for proper actions of certain infinite discrete groups G via a special version of the equivariant Atiyah- Hirzebruch spectral sequence.
Let G be a locally compact group. We describe elements of KK^G (A,B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK^G: It is the universal split exact stable homotopy functor. To describe a Kasparov triple (E, phi, F) by an equivariant homomorphism, we have to arrange for the Fredholm operator F to be equivariant. This can be done if A is of the form K(L^2G) otimes A' and more generally if the group action on A is proper in the sense of Rieffel and Exel.
We give a proof of an analogue of Connes' Hochschild character theorem for twisted spectral triples obtained from twisting a spectral triple by scaling automorphisms, under some suitable conditions. We also survey some of the properties of twisted spectral triples that are known so far.
We apply the machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin-Graham) and an Atiyah-Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bl…
We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and we recover known results when the twisting comes from finite order elements in discrete torsion.
We produce a variety of odd bounded Fredholm modules and odd spectral triples on Cuntz-Krieger algebras by means of realizing these algebras as "the algebra of functions on a non-commutative space" coming from a sub shift of finite type. We show that any odd $K$-homology class can be represented by such an odd bounded Fredholm module or odd spectral triple. The odd bounded Fredholm modules that are constructed are finitely summable. The spectral triples are $θ$-summable although their bounded transform, when constructed using the sign-function, will already on the level of analytic $K$-cycles …
We introduce a notion of an algebra of generalized pseudo-differential operators and prove that a spectral triple is regular if and only if it admits an algebra of generalized pseudo-differential operators. We also provide a self-contained proof of the fact that the product of regular spectral triples is regular.
We define the notion of von Neumann spectral triple and consider the associated index problem. We compute the analytic Chern-Connes character of such a von Neumann spectral triple and prove the corresponding local formula for its Hochschild class. This formula involves the Dixmier trace for $II_{\infty}$ von Neumann algebras. In the case of foliations, we identify this Dixmier trace with the corresponding measured Wodzicki residue.
We show that the Dolbeault--Dirac operator on the quantum Lagrangian Grassmannian of rank two, an example of a quantum irreducible flag manifold, satisfies an appropriate version of the Parthasarathy formula. We use this result to complete the proof that the candidate spectral triple for this space, as defined by Krähmer, is a spectral triple.
We derive a version of the Rothenberg-Steenrod, fiber-to-base, spectral sequence for cohomology theories represented in model categories of simplicial presheaves. We then apply this spectral sequence to calculate the equivariant motivic cohomology of the general linear group with a general Gm-action, this coincides with the equivariant higher Chow groups. Some of the equivariant motivic cohomology of a Stiefel variety with a general Gm-action is deduced as a corollary.
This paper extends the notion of a spectral triple to a relative spectral triple, an unbounded analogue of a relative Fredholm module for an ideal $J\triangleleft A$. Examples include manifolds with boundary, manifolds with conical singularities, dimension drop algebras, $θ$-deformations and Cuntz-Pimsner algebras of vector bundles. The bounded transform of a relative spectral triple is a relative Fredholm module, making the image of a relative spectral triple under the boundary mapping in $K$-homology easy to compute. We introduce an additional operator called a Clifford normal with which a r…
We give a construction allowing to lift spectral triples to crossed products by Hilbert bimodules. The spectral triple one obtains is a concrete unbounded representative of the Kasparov product of the spectral triple and the Pimsner-Toeplitz extension associated to the crossed product by the Hilbert bimodule. To prove that the lifted spectral triple is the above-mentioned Kasparov product, we rely on operator-$*$-algebras and connexions.
Twisted spectral triples are a twisting of the notion of spectral triple aiming at dealing with some type III geometric situations. In the first part of the paper, we give a geometric construction of the index map of a twisted spectral triple in terms of $σ$-connections on finitely generated projective modules. This makes it more transparent the analogy with the indices of Dirac operators with coefficients in vector bundles. In the second part, we give a direct construction of the Connes-Chern character of a twisted spectral, both in the invertible and non-invertible cases. Combining these two…
In this paper, for a compact Lie group action,we prove the anomaly formula and the functoriality of the equivariant Bismut-Cheeger eta forms with perturbation operators when the equivariant family index vanishes. In order to prove them, we extend the Melrose-Piazza spectral section and its main properties to the equivariant case and introduce the equivariant version of the Dai-Zhang higher spectral flow for arbitrary dimensional fibers.Using these results, we construct a new analytic model of the equivariant differential K-theory for compact manifolds when the group action has finite stabilize…
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen infinity-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectra…
We study the "higher algebra" of spectral Mackey functors, which the first named author introduced in Part I of this paper. In particular, armed with our new theory of symmetric promonoidal $\infty$-categories and a suitable generalization of the second named author's Day convolution, we endow the $\infty$-category of Mackey functors with a well-behaved symmetric monoidal structure. This makes it possible to speak of spectral Green functors for any operad $O$. We also answer a question of A. Mathew, proving that the algebraic $K$-theory of group actions is lax symmetric monoidal. We also show …
We define pseudo-Riemannian spectral triples, an analytic context broad enough to encompass a spectral description of a wide class of pseudo-Riemannian manifolds, as well as their noncommutative generalisations. Our main theorem shows that to each pseudo-Riemannian spectral triple we can associate a genuine spectral triple, and so a K-homology class. With some additional assumptions we can then apply the local index theorem. We give a range of examples and some applications. The example of the harmonic oscillator in particular shows that our main theorem applies to much more than just classica…
This article is about erroneous attempts to weaken the standard definition of unbounded Kasparov module (or spectral triple). We present counterexamples to claims in the literature that Fredholm modules can be obtained from these weaker variations of spectral triple. Our counterexamples are constructed using self-adjoint extensions of symmetric operators.
We characterize the smooth toric varieties for which the Merkurjev spectral sequence, connecting equivariant and ordinary K-theory, degenerates. We find under which conditions on the support of the fan the $E^2$ terms of the spectral sequence are invariants by subdivisions of the fan. Assuming these conditions, we describe explicitly the $E^2$ terms, linking them to the reduced homology of the fan.
We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize different definitions of the suspension $G$-spectrum as a spectral Mackey functor, we present a new perspective on spectral Mackey functors, viewing them as multifunctors on indexing categories for "r…
Callias-type (or Dirac-Schrödinger) operators associated to abstract semifinite spectral triples are introduced and their indices are computed in terms of an associated index pairing derived from the spectral triple. The result is then interpreted as an index theorem for a non-commutative analogue of spectral flow. Both even and odd spectral triples are considered, and both commutative and non-commutative examples are given.
We prove two results about nonunital index theory left open by [CGRS2]. The first is that the spectral triple arising from an action of the reals on a C*-algebra with invariant trace satisfies the hypotheses of the nonunital local index formula. The second result concerns the meaning of spectral flow in the nonunital case. For the special case of paths arising from the odd index pairing for smooth spectral triples in the nonunital setting we are able to connect with earlier approaches to the analytic definition of spectral flow.
This survey deals with the construction of a category of spectral triples that is compatible with the Kasparov product in $KK$-theory. These notes serve as an intuitive guide to these results, avoiding the necessary technical proofs. We will also add some background and a broader perspective on noncommutative geometry.
In this short note, we prove a comparision theorem between Levine-Serpé's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a consequence, we show that the equivariant motivic spectral sequence degenerates rationally. This yields a Riemann-Roch Theorem for equivariant algebraic $K$-theory.
