Searcharxiv⌕ Search

arXiv subjects

Tyrone Crisp

Publications and source records attributed to Tyrone Crisp.

At least 19 recordsLinked to original sources
arXiv2026

Reduced C*-algebras and K-theory for reductive $p$-adic groups

We calculate the $K$-theory of the reduced $C^*$-algebra $C^*_r(G)$ of a reductive $p$-adic group $G$. To do so, we show that each direct summand in Plymen's Plancherel decomposition of $C^*_r(G)$ is Morita equivalent to a twisted crossed product for an action of a finite group on the blow-up of a compact torus along the zero-locus of a certain Plancherel density. It follows that the $K$-theory of $C^*_r(G)$ is the direct sum of the twisted equivariant $K$-theory groups of these blow-ups, which can be computed using an Atiyah-Hirzebruch spectral sequence. As an illustration, the case of $\operatorname{Sp}_4$ is treated in some detail. Our main result is obtained from a more general study of $C^*$-algebras of compact operators on twisted equivariant Hilbert modules, from which we also recover results due to Wassermann for real groups, and to Afgoustidis and Aubert in the $p$-adic case, as well as a new description of the tempered dual of $G$ as a topological space.

math.RT↗
arXiv2026

Notes on C*-algebras, representations, and Morita equivalence (with a view toward C*-algebras of reductive groups)

These notes give an expanded account of my lectures at the CIRM-IHP research school on 'Methods in representation theory and operator algebras', January 6-10, 2025. Their main goal is to explain a proof of a theorem of A. Wassermann, that identifies the reduced C*-algebra of a real reductive group, up to Morita equivalence, with a direct sum of much simpler C*-algebras. Along the way we introduce the basic theory of representations and Morita equivalence of C*-algebras that is needed to understand the theorem and its proof. The target audience is Masters- and PhD-level students, and other mathematicians who are not specialists in operator algebras.

math.OA↗
arXiv2025

Trace-class operators on Hilbert modules and Haagerup tensor products

We show that the space of trace-class operators on a Hilbert module over a commutative C*-algebra, as defined and studied in earlier work of Stern and van Suijlekom (Journal of Functional Analysis, 2021), is completely isometrically isomorphic to a Haagerup tensor product of the module with its operator-theoretic adjoint. This generalises a well-known property of Hilbert spaces. In the course of proving this, we also obtain a new proof of a result of Stern-van Suijlekom concerning the equivalence between two definitions of trace-class operators on Hilbert modules.

math.OA↗
arXiv2024

Functor morphing and representations of automorphism groups of modules

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible representations in terms of smaller building blocks using symmetric monoidal categories and invariant theory.

math.RT↗
arXiv2024

An inductive approach to representations of general linear groups over compact discrete valuation rings

In his seminal Lecture Notes in Mathematics published in 1981, Andrey Zelevinsky introduced a new family of Hopf algebras which he called {\em PSH-algebras}. These algebras were designed to capture the representation theory of the symmetric groups and of classical groups over finite fields. The gist of this construction is to translate representation-theoretic operations such as induction and restriction and their parabolic variants to algebra and coalgebra operations such as multiplication and comultiplication. The Mackey formula, for example, is then reincarnated as the Hopf axiom on the algebra side. In this paper we take substantial steps to adapt these ideas for general linear groups over compact discrete valuation rings. We construct an analogous bialgebra that contains a large PSH-algebra that extends Zelevinsky's algebra for the case of general linear groups over finite fields. We prove several base change results relating algebras over extensions of discrete valuation rings.

math.RT↗
arXiv2022

Flow equivalence of diagram categories and Leavitt path algebras

Several constructions on directed graphs originating in the study of flow equivalence in symbolic dynamics (e.g., splittings and delays) are known to preserve the Morita equivalence class of Leavitt path algebras over any coefficient field F. We prove that many of these equivalence results are not only independent of F, but are largely independent of linear algebra altogether. We do this by formulating and proving generalisations of these equivalence theorems in which the category of F-vector spaces is replaced by an arbitrary category with binary coproducts, showing that the Morita equivalence results for Leavitt path algebras depend only on the ability to form direct sums of vector spaces. We suggest that the framework developed in this paper may be useful in studying other problems related to Morita equivalence of Leavitt path algebras.

math.RA↗
arXiv2022

If $R^m \cong R^n$ must $m=n$?

A fundamental theorem of linear algebra asserts that every basis for the vector space $\mathbb{R}^n$ has $n$ elements. In this expository note we present a theorem of W. G. Leavitt describing one way in which this invariant basis number property can fail when one does linear algebra over rings, rather than over fields. We give a proof of Leavitt's theorem that combines ideas of P. M. Cohn and A. L. S. Corner into an elementary form requiring only a nodding acquaintance with matrices and modular arithmetic.

math.RA↗
arXiv2021

Combinatorial Hopf algebras from representations of families of wreath products

We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.

math.RT↗
arXiv2021

Frobenius C*-algebras and local adjunctions of C*-correspondences

Generalising the well-known correspondence between two-sided adjunctions and Frobenius algebras, we establish a one-to-one correspondence between local adjunctions of C*-correspondences, as defined and studied in prior work with P. Clare and N. Higson; and Frobenius C*-algebras, a natural C*-algebraic adaptation of the standard notion of Frobenius algebras that we introduce here.

math.OA↗
arXiv2020

Commutativity of the Haagerup tensor product and base change for operator modules

By computing the completely bounded norm of the flip map on the Haagerup tensor product $C_0 Y_1\otimes_{C_0 X} C_0 Y_2$ associated to a pair of continuous mappings of locally compact Hausdorff spaces $Y_1\rightarrow X\leftarrow Y_2$, we establish a simple characterisation of the Beck-Chevalley condition for base change of operator modules over commutative $C^*$-algebras, and a descent theorem for continuous fields of Hilbert spaces.

math.OA↗
arXiv2020

Descent of Hilbert C*-modules

Let F be a right Hilbert C*-module over a C*-algebra B, and suppose that F is equipped with a left action, by compact operators, of a second C*-algebra A. Tensor product with F gives a functor from Hilbert C*-modules over A to Hilbert C*-modules over B. We prove that under certain conditions (which are always satisfied if, for instance, A is nuclear), the image of this functor can be described in terms of coactions of a certain coalgebra canonically associated to F. We then discuss several examples that fit into this framework: parabolic induction of tempered group representations; Hermitian connections on Hilbert C*-modules; Fourier (co)algebras of compact groups; and the maximal C*-dilation of operator modules over non-self-adjoint operator algebras.

math.OA↗
arXiv2020

Gluing Hilbert C*-modules over the primitive ideal space

We show that the gluing construction for Hilbert modules introduced by Raeburn in his computation of the Picard group of a continuous-trace C*-algebra (Trans. Amer. Math. Soc., 1981) can be applied to arbitrary C*-algebras, via an algebraic argument with the Haagerup tensor product. We put this result into the context of descent theory by identifying categories of gluing data for Hilbert modules over C*-algebras with categories of comodules over C*-coalgebras, giving a Hilbert-module version of a standard construction from algebraic geometry. As a consequence we show that if two C*-algebras have the same primitive ideal space T, and are Morita equivalent up to a 2-cocycle on T, then their Picard groups relative to T are isomorphic.

math.OA↗
arXiv2017

Frobenius reciprocity and the Haagerup tensor product

In the context of operator-space modules over C*-algebras, we give a complete characterisation of those C*-correspondences whose associated Haagerup tensor product functors admit left adjoints. The characterisation, which builds on previous joint work with N. Higson, exhibits a close connection between the notions of adjoint operators and adjoint functors. As an application, we prove a Frobenius reciprocity theorem for representations of locally compact groups on operator spaces: the functor of unitary induction for a closed subgroup H of a locally compact group G admits a left adjoint in this setting if and only if H is cocompact in G. The adjoint functor is given by Haagerup tensor product with the operator-theoretic adjoint of Rieffel's induction bimodule.

math.OA↗
arXiv2016

A variant of Harish-Chandra functors

Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group Sp(4) over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup I(n) of GL(n,F), where F is a non-archimedean local field. We establish a bijection between the set of irreducible representations of I(n) and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.

math.RT↗
arXiv2016

A Second Adjoint Theorem for SL(2,R)

We formulate a second adjoint theorem in the context of tempered representations of real reductive groups, and prove it in the case of SL(2,R).

math.RT↗
arXiv2016

Adjoint functors between categories of Hilbert C*-modules

Let E be a (right) Hilbert C*-module over a C*-algebra A. If E is equipped with a left action of a second C*-algebra B, then tensor product with E gives rise to a functor from the category of Hilbert B-modules to the category of Hilbert A-modules. The purpose of this paper is to study adjunctions between functors of this sort. We shall introduce a new kind of adjunction relation, called a local adjunction, that is weaker than the standard concept from category theory. We shall give several examples, the most important of which is the functor of parabolic induction in the tempered representation theory of real reductive groups. Each local adjunction gives rise to an ordinary adjunction of functors between categories of Hilbert space representations. In this way we shall show that the parabolic induction functor has a simultaneous left and right adjoint, namely the parabolic restriction functor constructed in a previous paper.

math.OA↗
arXiv2015

Parabolic induction and restriction via C*-algebras and Hilbert C*-modules

This paper is about the reduced group C*-algebras of real reductive groups, and about Hilbert C*-modules over these C*-algebras. We shall do three things. First we shall apply theorems from the tempered representation theory of reductive groups to determine the structure of the reduced C*-algebra (the result has been known for some time, but it is difficult to assemble a full treatment from the existing literature). Second, we shall use the structure of the reduced C*-algebra to determine the structure of the Hilbert C*-bimodule that represents the functor of parabolic induction. Third, we shall prove that the parabolic induction bimodule admits a secondary inner product, using which we can define a functor of parabolic restriction in tempered representation theory. We shall prove in the sequel to this paper that parabolic restriction is adjoint, on both the left and the right, to parabolic induction.

math.RT↗