Researcher profile

Tyrone Crisp

Tyrone Crisp contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.OA math.RA math.RT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author

5works

0followers

3topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

Principal series for general linear groups over finite commutative rings

We construct, for any finite commutative ring $R$, a family of representations of the general linear group $\mathrm{GL}_n(R)$ whose intertwining properties mirror those of the principal series for $\mathrm{GL}_n$ over a finite field.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint