1,054 research outputs found

    Slant products on the Higson-Roe exact sequence

    Get PDF
    We construct a slant product / ⁣:Sp(X×Y)×K1q(credY)Spq(X)/ \colon \mathrm{S}_p(X \times Y) \times \mathrm{K}_{1-q}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{S}_{p-q}(X) on the analytic structure group of Higson and Roe and the K-theory of the stable Higson corona of Emerson and Meyer. The latter is the domain of the co-assembly map μ ⁣:K1(credY)K(Y)\mu^\ast \colon \mathrm{K}_{1-\ast}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{K}^\ast(Y). We obtain such products on the entire Higson--Roe sequence. They imply injectivity results for external product maps. Our results apply to products with aspherical manifolds whose fundamental groups admit coarse embeddings into Hilbert space. To conceptualize the class of manifolds where this method applies, we say that a complete spinc\mathrm{spin}^{\mathrm{c}}-manifold is Higson-essential if its fundamental class is detected by the co-assembly map. We prove that coarsely hypereuclidean manifolds are Higson-essential. We draw conclusions for positive scalar curvature metrics on product spaces, particularly on non-compact manifolds. We also obtain equivariant versions of our constructions and discuss related problems of exactness and amenability of the stable Higson corona.Comment: 82 pages; v2: Minor improvements. To appear in Ann. Inst. Fourie

    A walk in the noncommutative garden

    Get PDF
    This text is written for the volume of the school/conference "Noncommutative Geometry 2005" held at IPM Tehran. It gives a survey of methods and results in noncommutative geometry, based on a discussion of significant examples of noncommutative spaces in geometry, number theory, and physics. The paper also contains an outline (the ``Tehran program'') of ongoing joint work with Consani on the noncommutative geometry of the adeles class space and its relation to number theoretic questions.Comment: 106 pages, LaTeX, 23 figure

    Endomorphisms of spaces of virtual vectors fixed by a discrete group

    Full text link
    Consider a unitary representation π\pi of a discrete group GG, which, when restricted to an almost normal subgroup ΓG\Gamma\subseteq G, is of type II. We analyze the associated unitary representation πp\overline{\pi}^{\rm{p}} of GG on the Hilbert space of "virtual" Γ0\Gamma_0-invariant vectors, where Γ0\Gamma_0 runs over a suitable class of finite index subgroups of Γ\Gamma. The unitary representation πp\overline{\pi}^{\rm{p}} of GG is uniquely determined by the requirement that the Hecke operators, for all Γ0\Gamma_0, are the "block matrix coefficients" of πp\overline{\pi}^{\rm{p}}. If πΓ\pi|_\Gamma is an integer multiple of the regular representation, there exists a subspace LL of the Hilbert space of the representation π\pi, acting as a fundamental domain for Γ\Gamma. In this case, the space of Γ\Gamma-invariant vectors is identified with LL. When πΓ\pi|_\Gamma is not an integer multiple of the regular representation, (e.g. if G=PGL(2,Z[1p])G=PGL(2,\mathbb Z[\frac{1}{p}]), Γ\Gamma is the modular group, π\pi belongs to the discrete series of representations of PSL(2,R)PSL(2,\mathbb R), and the Γ\Gamma-invariant vectors are the cusp forms) we assume that π\pi is the restriction to a subspace H0H_0 of a larger unitary representation having a subspace LL as above. The operator angle between the projection PLP_L onto LL (typically the characteristic function of the fundamental domain) and the projection P0P_0 onto the subspace H0H_0 (typically a Bergman projection onto a space of analytic functions), is the analogue of the space of Γ\Gamma- invariant vectors. We prove that the character of the unitary representation πp\overline{\pi}^{\rm{p}} is uniquely determined by the character of the representation π\pi.Comment: The exposition has been improved and a normalization constant has been addressed. The result allows a direct computation for the characters of the unitary representation on spaces of invariant vectors (for example automorphic forms) in terms of the characters of the representation to which the fixed vectors are associated (e.g discrete series of PSL(2, R) for automorphic forms
    corecore