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 in \cite{c-p1} is minimal. We also give a decomposition of the spectral triple constructed by Dabrowski {\it et al} \cite{dlssv} in terms of the minimal triple constructed in \cite{c-p1}.
In order to facilitate the comparison of Riemannian homogeneous spaces of compact Lie groups with noncommutative geometries ("quantizations") that approximate them, we develop here the basic facts concerning equivariant vector bundles and Dirac operators over them in a way that uses only global constructions and arguments. Our approach is quite algebraic, using primarily the modules of cross-sections of vector bundles. We carry the development through the construction of Hodge--Dirac operators. The inducing construction is ubiquitous.
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.
Let $Γ$ be a discrete icc subgroup of PSL(2,R) of infinite covolume. and let M denote the quotient of the unit disc by $Γ$. We prove that a Toeplitz operator with $Γ$-invariant symbol f in C(M) is Brauer Fredholm if its symbol is invertible on the boundary of M and its Brauer index is equal to the winding number of f at the boundary. We construct the associated extension of the algebra of functions continuous on the boundary of M by the Brauer ideal in the C*-algebra generated by such operators.
We prove a local index formula in conformal geometry by computing the Connes-Chern character for the conformal Dirac (twisted) spectral triple recently constructed by Connes-Moscovici. Following an observation of Moscovici, the computation reduces to the computation of the CM cocycle of an equivariant Dirac (ordinary) spectral triple. This computation is obtained as a straightforward consequence of a new proof of the local equivariant index theorem of Patodi, Donelly-Patodi and Gilkey. This proof is obtained by combining Getzler's rescaling with an equivariant version of Greiner's approach to …
This is a survey of a variety of equivariant (co)homology theories for operator algebras. We briefly discuss a background on equivariant theories, such as equivariant $K$-theory and equivariant cyclic homology. As the main focus, we discuss a notion of equivariant $ L^2 $-cohomology and equivariant $ L^2 $-Betti numbers for subalgebras of a von Neumann algebra. For graded $C^*$-algebras (with grading over a group) we elaborate on a notion of graded $ L^2 $-cohomology and its relation to equivariant $L^2$-cohomology.
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…
For a proper, cocompact action by a locally compact group of the form $H \times G$, with $H$ compact, we define an $H \times G$-equivariant index of $H$-transversally elliptic operators, which takes values in $KK_*(C^*H, C^*G)$. This simultaneously generalises the Baum--Connes analytic assembly map, Atiyah's index of transversally elliptic operators, and Kawasaki's orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, $G$ is a cocompact lattice and $H$ is a maximal comp…
We compute $K$-theory invariants of algebras of pseudodifferential operators on manifolds with corners and prove an equivariant index theorem for operators invariant with respect to an action of $\R^k.$ We discuss the relation between our results and the $η$-invariant.
In the first part of this series, we defined an equivariant index without assuming the group acting or the orbit space of the action to be compact. This allowed us to generalise an index of deformed Dirac operators, defined for compact groups by Braverman. In this paper, we investigate properties and applications of this index. We prove that it has an induction property that can be used to deduce various other properties of the index. In the case of compact orbit spaces, we show how it is related to the analytic assembly map from the Baum-Connes conjecture, and an index used by Mathai and Zhan…
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…
Let $\mathcal{A}$ be the $C^*$-algebra associated with $SU_q(2)$, $π$ be the representation by left multiplication on the $L_2$ space of the Haar state and let $D$ be the equivariant Dirac operator for this representation constructed by the authors earlier. We prove in this article that there is no operator other than the scalars in the commutant $π(\cla)'$ that has bounded commutator with $D$. This implies that the equivariant spectral triple under consideration does not admit a rational Poincaré dual in the sense of Moscovici, which in particular means that this spectral triple does not exte…
We construct a periodic cyclic cocycle on the symbol algebra of Boutet de Monvel operators and use it to interpret the index formula for elliptic pseudodifferential boundary value problems due to Fedosov as the Chern--Connes pairing of the classes in $K$-theory of elliptic symbols with this cyclic cocycle. We also consider the equivariant case. Namely, we construct a periodic cyclic cocycle on the crossed product of the algebra of symbols with a group acting on this algebra by automorphisms. Such crossed products arize in index theory of nonlocal boundary value problems with shift operators.
Let $\GR \to B$ be a bundle of compact Lie groups acting on a fiber bundle $Y \to B$. In this paper we introduce and study gauge-equivariant $K$-theory groups $K_\GR^i(Y)$. These groups satisfy the usual properties of the equivariant $K$-theory groups, but also some new phenomena arise due to the topological non-triviality of the bundle $\GR \to B$. As an application, we define a gauge-equivariant index for a family of elliptic operators $(P_b)_{b \in B}$ invariant with respect to the action of $\GR \to B$, which, in this approach, is an element of $K_\GR^0(B)$. We then give another definition…
Champalimaud Research(尚帕利莫研究中心);University of Bologna(博洛尼亚大学);Champalimaud Center for the Unknown(未知领域尚帕利莫研究中心);Advanced Research Center on Electronic System “Ercole De Castro”(电子系统高级研究中心“埃科尔·德·卡斯特罗”);Italian National Research Council, Institute of Information Science and Technologies “Alessandro Faedo”(意大利国家研究委员会信息科学与技术研究所“亚历山德罗·法埃多”)
The aim of this paper is to provide a general mathematical framework for group equivariance in the machine learning context. The framework builds on a synergy between persistent homology and the theory of group actions. We define group-equivariant non-expansive operators (GENEOs), which are maps between function spaces associated with groups of transformations. We study the topological and metric properties of the space of GENEOs to evaluate their approximating power and set the basis for general strategies to initialise and compose operators. We begin by defining suitable pseudo-metrics for t…