Showing 1–50 of 73 results for author: Rennie, A

Curvature and Weitzenbock formula for the Podleś quantum sphere

Authors: Bram Mesland, Adam Rennie

Abstract: We prove that there is a unique Levi-Civita connection on the one-forms of the Dabrowski-Sitarz spectral triple for the Podleś sphere $S^{2}_{q}$. We compute the full curvature tensor, as well as the Ricci and scalar curvature of the Podleś sphere using the framework of \cite{MRLC}. The scalar curvature is a constant, and as the parameter $q\to 1$, the scalar curvature converges to the classical v… ▽ More We prove that there is a unique Levi-Civita connection on the one-forms of the Dabrowski-Sitarz spectral triple for the Podleś sphere $S^{2}_{q}$. We compute the full curvature tensor, as well as the Ricci and scalar curvature of the Podleś sphere using the framework of \cite{MRLC}. The scalar curvature is a constant, and as the parameter $q\to 1$, the scalar curvature converges to the classical value $2$. We prove a generalised Weitzenbock formula for the spinor bundle, which differs from the classical Lichnerowicz formula for $q\neq 1$, yet recovers it for $q\to 1$. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 35 pages

MSC Class: 46L87

Spectral flow and Levinson's theorem for Schrö dinger operators

Authors: Angus Alexander, Adam Rennie

Abstract: We use spectral flow to present a new proof of Levinson's theorem for Schrödinger operators on $\mathbb{R}^n$ with smooth compactly supported potential. Our proof is valid in all dimensions and in the presence of resonances. The statement is expressed in terms of the spectral shift function and the ``high energy corrected time delay'' following Guillopé and others. We use spectral flow to present a new proof of Levinson's theorem for Schrödinger operators on $\mathbb{R}^n$ with smooth compactly supported potential. Our proof is valid in all dimensions and in the presence of resonances. The statement is expressed in terms of the spectral shift function and the ``high energy corrected time delay'' following Guillopé and others. △ Less

Submitted 29 May, 2024; originally announced May 2024.

MSC Class: 47A40; 58J30; 81U20; 81U24

Curvature and Weitzenbock formula for spectral triples

Authors: Bram Mesland, Adam Rennie

Abstract: Using the Levi-Civita connection on the noncommutative differential one-forms of a spectral triple $(\B,\H,\D)$, we define the full Riemann curvature tensor, the Ricci curvature tensor and scalar curvature. We give a definition of Dirac spectral triples and derive a general Weitzenbock formula for them. We apply these tools to $θ$-deformations of compact Riemannian manifolds. We show that the Riem… ▽ More Using the Levi-Civita connection on the noncommutative differential one-forms of a spectral triple $(\B,\H,\D)$, we define the full Riemann curvature tensor, the Ricci curvature tensor and scalar curvature. We give a definition of Dirac spectral triples and derive a general Weitzenbock formula for them. We apply these tools to $θ$-deformations of compact Riemannian manifolds. We show that the Riemann and Ricci tensors transform naturally under $θ$-deformation, whereas the connection Laplacian, Clifford representation of the curvature and the scalar curvature are all invariant under deformation. △ Less

Submitted 27 June, 2024; v1 submitted 21 March, 2024; originally announced April 2024.

Comments: 29 pages. Typos corrected and references updated

MSC Class: 58B34

Topological Levinson's theorem in presence of embedded thresholds and discontinuities of the scattering matrix

Authors: V. Austen, D. Parra, A. Rennie, S. Richard

Abstract: A family of discrete Schroedinger operators is investigated through scattering theory. The continuous spectrum of these operators exhibit changes of multiplicity, and some of these operators possess resonances at thresholds. It is shown that the corresponding wave operators belong to an explicitly constructed C*-algebra, whose K-theory is carefully analysed. An index theorem is deduced from these… ▽ More A family of discrete Schroedinger operators is investigated through scattering theory. The continuous spectrum of these operators exhibit changes of multiplicity, and some of these operators possess resonances at thresholds. It is shown that the corresponding wave operators belong to an explicitly constructed C*-algebra, whose K-theory is carefully analysed. An index theorem is deduced from these investigations, which corresponds to a topological version of Levinson's theorem in presence of embedded thresholds, resonances, and changes of multiplicity of the scattering matrices. In the second half of the paper, very detailed computations for the simplest realisation of this family of operators are provided. In particular, a surface of resonances is exhibited, probably for the first time. For Levinson's theorem, it is shown that contributions due to resonances at the lowest value and at the highest value of the continuous spectrum play an essential role. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 44 pages

Existence and uniqueness of the Levi-Civita connection on noncommutative differential forms

Authors: Bram Mesland, Adam Rennie

Abstract: We combine Hilbert module and algebraic techniques to give necessary and sufficient conditions for the existence of an Hermitian torsion-free connection on the bimodule of differential one-forms of a first order differential calculus. In the presence of the extra structure of a bimodule connection, we give sufficient conditions for uniqueness. We prove that any $θ$-deformation of a compact Riemann… ▽ More We combine Hilbert module and algebraic techniques to give necessary and sufficient conditions for the existence of an Hermitian torsion-free connection on the bimodule of differential one-forms of a first order differential calculus. In the presence of the extra structure of a bimodule connection, we give sufficient conditions for uniqueness. We prove that any $θ$-deformation of a compact Riemannian manifold admits a unique Hermitian torsion-free bimodule connection and provide an explicit construction of it. Specialising to classical Riemannian manifolds yields a novel construction of the Levi-Civita connection on the cotangent bundle. △ Less

Submitted 27 June, 2024; v1 submitted 20 March, 2024; originally announced March 2024.

Comments: 53 pages. Typos corrected and references updated. New proof to Lemma 6.3

MSC Class: 58B34

Testbeam analysis of biasing structures for irradiated hybrid pixel detectors

Authors: Craig M. Buttar, Yanyan Gao, Ricardo González López, Dzmitry Maneuski, Emily Pender, Quake Qin, Adam G. Rennie, Matthew Sullivan, Jon T. Taylor, Kenneth Wraight

Abstract: Following the Phase-II upgrade during Long Shutdown (LS3), the LHC aims to reach a peak instantaneous luminosity of $7.5\times 10^{34}$cm$^{-2}$s$^{-1}$, which corresponds to an average of around 200 inelastic proton-proton collisions per beam-crossing (every 25 ns). To cope with these conditions, the ATLAS Inner Detector will be replaced by a new all-silicon system -- the Inner Tracker (ITk). The… ▽ More Following the Phase-II upgrade during Long Shutdown (LS3), the LHC aims to reach a peak instantaneous luminosity of $7.5\times 10^{34}$cm$^{-2}$s$^{-1}$, which corresponds to an average of around 200 inelastic proton-proton collisions per beam-crossing (every 25 ns). To cope with these conditions, the ATLAS Inner Detector will be replaced by a new all-silicon system -- the Inner Tracker (ITk). The ITk will be operational for more than ten years, during which time ATLAS is expected to record approximately 4000 fb$^{-1}$ of data. The ITk's pixel sub-system is based on hybrid pixel modules with new silicon sensors and readout chips. These studies focus on testbeam campaigns undertaken to study the spatial resolution and efficiencies of hybrid pixel detector modules based on the first large-structure prototype front-end readout chip -- the RD53A -- using planar silicon sensors. These devices have been irradiated to replicate the effect of the high radiation environment present during operation in the ATLAS detector. Results for devices using sensors with different punch-through bias structures and using different readout chips are summarised. Those with sensors incorporating a punch-through bias structure are found to exhibit systematically lower efficiency than those without, as a result of local areas of relative inefficiency around the punch-through dots. Despite this, all devices measured are found to satisfy the requirement of 97% efficiency at $V_\mathrm{bias}=400$ V after being irradiated to end-of-life fluence. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 26 pages, 18 figures, prepared for submission to JINST

Morphisms of Cuntz-Pimsner algebras from completely positive maps

Authors: Kevin Aguyar Brix, Alexander Mundey, Adam Rennie

Abstract: We introduce positive correspondences as right C*-modules with left actions given by completely positive maps. Positive correspondences form a semi-category that contains the C*-correspondence (Enchilada) category as a "retract". Kasparov's KSGNS construction provides a semi-functor from this semi-category onto the C*-correspondence category. The need for left actions by completely positive maps a… ▽ More We introduce positive correspondences as right C*-modules with left actions given by completely positive maps. Positive correspondences form a semi-category that contains the C*-correspondence (Enchilada) category as a "retract". Kasparov's KSGNS construction provides a semi-functor from this semi-category onto the C*-correspondence category. The need for left actions by completely positive maps appears naturally when we consider morphisms between Cuntz-Pimsner algebras, and we describe classes of examples arising from projections on C*-correspondences and Fock spaces, as well as examples from conjugation by bi-Hilbertian bimodules of finite index. △ Less

Submitted 3 July, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: 32 pages

MSC Class: 46L55 (Primary); 37A55; 46L08 (Secondary)

The structure of the wave operators in four dimensions in the presence of resonances

Authors: Angus Alexander, Adam Rennie

Abstract: We show that the wave operators for Schrödinger scattering in $\mathbb{R}^4$ have a particular form which depends on the existence of resonances. As a consequence of this form, we determine the contribution of resonances to the index of the wave operator. We show that the wave operators for Schrödinger scattering in $\mathbb{R}^4$ have a particular form which depends on the existence of resonances. As a consequence of this form, we determine the contribution of resonances to the index of the wave operator. △ Less

Submitted 27 November, 2023; originally announced November 2023.

MSC Class: 35P25; 81U05

Levinson's theorem for two-dimensional scattering systems: it was a surprise, it is now topological!

Authors: A. Alexander, D. T. Nguyen, A. Rennie, S. Richard

Abstract: We prove a general Levinson's theorem for Schrödinger operators in two dimensions with threshold obstructions at zero energy. Our results confirm and simplify earlier seminal results of Bollé, Gesztesy et al., while providing an explicit topological interpretation. We also derive explicit formulas for the wave operators, and so show that they are elements of a $C^*$-algebra introduced by Cordes. A… ▽ More We prove a general Levinson's theorem for Schrödinger operators in two dimensions with threshold obstructions at zero energy. Our results confirm and simplify earlier seminal results of Bollé, Gesztesy et al., while providing an explicit topological interpretation. We also derive explicit formulas for the wave operators, and so show that they are elements of a $C^*$-algebra introduced by Cordes. As a consequence of our approach, we provide an evaluation of the spectral shift function at zero in the presence of $p$-resonances. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Comments: 27 pages

Splittings for C*-correspondences and strong shift equivalence

Authors: Kevin Aguyar Brix, Alexander Mundey, Adam Rennie

Abstract: We present an extension of the notion of in-splits from symbolic dynamics to topological graphs and, more generally, to C*-correspondences. We demonstrate that in-splits provide examples of strong shift equivalences of C*-correspondences. Furthermore, we provide a streamlined treatment of Muhly, Pask, and Tomforde's proof that any strong shift equivalence of regular C*-correspondences induces a (g… ▽ More We present an extension of the notion of in-splits from symbolic dynamics to topological graphs and, more generally, to C*-correspondences. We demonstrate that in-splits provide examples of strong shift equivalences of C*-correspondences. Furthermore, we provide a streamlined treatment of Muhly, Pask, and Tomforde's proof that any strong shift equivalence of regular C*-correspondences induces a (gauge-equivariant) Morita equivalence between Cuntz-Pimsner algebras. For topological graphs, we prove that in-splits induce diagonal-preserving gauge-equivariant *-isomorphisms in analogy with the results for Cuntz-Krieger algebras. Additionally, we examine the notion of out-splits for C*-correspondences. △ Less

Submitted 27 November, 2023; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: 34 pages

MSC Class: 46L55 (Primary); 37A55; 46L08 (Secondary)

Levinson's theorem as an index pairing

Authors: Angus Alexander, Adam Rennie

Abstract: We build on work of Kellendonk, Richard, Tiedra de Aldecoa and others to show that the wave operators for Schrödinger scattering theory on $\mathbb{R}^n$ generically have a particular form. As a consequence, Levinson's theorem can be interpreted as the pairing of the $K$-theory class of the unitary scattering operator and the $K$-homology class of the generator of the group of dilations. We build on work of Kellendonk, Richard, Tiedra de Aldecoa and others to show that the wave operators for Schrödinger scattering theory on $\mathbb{R}^n$ generically have a particular form. As a consequence, Levinson's theorem can be interpreted as the pairing of the $K$-theory class of the unitary scattering operator and the $K$-homology class of the generator of the group of dilations. △ Less

Submitted 12 December, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: v2: 27 pages, some minor revisions, to appear in J. Funct. Anal

MSC Class: 19K56; 47A40; 81U20; 81U24

The intersection of complemented submodules is not complemented

Authors: Koen van den Dungen, Bram Mesland, Adam Rennie

Abstract: We show by (counter)example that the intersection of complemented submodules in a Hilbert $C^*$-module is not necessarily complemented, answering an open question from [MR]. We show by (counter)example that the intersection of complemented submodules in a Hilbert $C^*$-module is not necessarily complemented, answering an open question from [MR]. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: Addendum to : The Friedrichs angle and alternating projections in Hilbert $C^*$-modules, J. Math. Anal. Appl. 516 (1) (2022) 126474, arXiv:2112.03822

Journal ref: J. Math. Anal. Appl. 522 (1) (2023) 127002

The Friedrichs angle and alternating projections in Hilbert $C^{*}$-modules

Authors: Bram Mesland, Adam Rennie

Abstract: Let $B$ be a $C^{*}$-algebra, $X$ a Hilbert $C^{*}$-module over $B$ and $M,N\subset X$ a pair of complemented submodules. We prove the $C^{*}$-module version of von Neumann's alternating projections theorem: the sequence $(P_{N}P_{M})^{n}$ is Cauchy in the $*$-strong module topology if and only if $M\cap N$ is the complement of $\overline{M^{\perp}+N^{\perp}}$. In this case, the $*$-strong limit o… ▽ More Let $B$ be a $C^{*}$-algebra, $X$ a Hilbert $C^{*}$-module over $B$ and $M,N\subset X$ a pair of complemented submodules. We prove the $C^{*}$-module version of von Neumann's alternating projections theorem: the sequence $(P_{N}P_{M})^{n}$ is Cauchy in the $*$-strong module topology if and only if $M\cap N$ is the complement of $\overline{M^{\perp}+N^{\perp}}$. In this case, the $*$-strong limit of $(P_{M}P_{N})^{n}$ is the orthogonal projection onto $M\cap N$. We use this result and the local-global principle to show that the cosine of the Friedrichs angle $c(M,N)$ between any pair of complemented submodules $M,N\subset X$ is well-defined and that $c(M,N)<1$ if and only if $M\cap N$ is complemented and $M+N$ is closed. △ Less

Submitted 15 December, 2021; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: 19 pages. We added Lemma 3.10, sharpened Proposition 3.12, and discuss vector bundles in Remark 3.14

MSC Class: 46L08; 47A46

Journal ref: J. Math. Anal. Appl. 516 (1) 1 (2022) 126474

A Cuntz-Pimsner Model for the $C^*$-algebra of a Graph of Groups

Authors: Alexander Mundey, Adam Rennie

Abstract: We provide a Cuntz-Pimsner model for graph of groups $C^*$-algebras. This allows us to compute the $K$-theory of a range of examples and show that graph of groups $C^*$-algebras can be realised as Exel-Pardo algebras. We also make a preliminary investigation of whether the crossed product algebra of Baumslag-Solitar groups acting on the boundary of certain trees satisfies Poincaré duality in $KK$-… ▽ More We provide a Cuntz-Pimsner model for graph of groups $C^*$-algebras. This allows us to compute the $K$-theory of a range of examples and show that graph of groups $C^*$-algebras can be realised as Exel-Pardo algebras. We also make a preliminary investigation of whether the crossed product algebra of Baumslag-Solitar groups acting on the boundary of certain trees satisfies Poincaré duality in $KK$-theory. By constructing a $K$-theory duality class we compute the $K$-homology of these crossed products. △ Less

Submitted 23 November, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 34 pages

MSC Class: 46L05 (Primary) 20E08; 46L80 (Secondary)

Escape from the Quantum Pigeon Conundrum

Authors: Gabor Kunstatter, Jonathan Ziprick, Victoria McNab, Alexander Rennie, Connor Speidel, Jovin Toews

Abstract: It has recently been argued in Aharonov et. al. (2016) that quantum mechanics violates the Pigeon Counting Principle (PCP) which states that if one distributes three pigeons among two boxes there must be at least two pigeons in one of the boxes. However, this conclusion cannot justified by rigorous theoretical arguments. The issue is further complicated by experimental confirmation of the transiti… ▽ More It has recently been argued in Aharonov et. al. (2016) that quantum mechanics violates the Pigeon Counting Principle (PCP) which states that if one distributes three pigeons among two boxes there must be at least two pigeons in one of the boxes. However, this conclusion cannot justified by rigorous theoretical arguments. The issue is further complicated by experimental confirmation of the transition amplitudes predicted in this paper that nevertheless do not support the conclusion of PCP violation. Here we prove via a set of operator identities that the PCP is not violated within quantum mechanics, regardless of interpretation. △ Less

Submitted 14 July, 2020; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: added conclusion; revised abstract; version accepted for publication

Journal ref: Physics Letters A Volume 384, Issue 27, 28 September 2020, 126686 Physics Letters A Volume 384, Issue 27, 28 September 2020, 126686 Physics Letters A, Volume 384, Issue 27, 28 September 2020, 126686

The Cayley transform in complex, real and graded $K$-theory

Authors: Chris Bourne, Johannes Kellendonk, Adam Rennie

Abstract: We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geomet… ▽ More We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geometrical applications, in particular index pairings and Kasparov products. We provide applications to real $K$-theory and topological phases of matter. △ Less

Submitted 21 May, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: v2: 43 pages, minor revisions. To appear in Internat. J. Math

Report number: RIKEN-iTHEMS-Report-19

Curvature of differentiable Hilbert modules and Kasparov modules

Authors: Bram Mesland, Adam Rennie, Walter D. van Suijlekom

Abstract: In this paper we introduce the curvature of densely defined universal connections on Hilbert $C^{*}$-modules relative to a spectral triple (or unbounded Kasparov module), obtaining a well-defined curvature operator. Fixing the spectral triple, we find that modulo junk forms, the curvature only depends on the represented form of the universal connection. We refine our definition of curvature to fac… ▽ More In this paper we introduce the curvature of densely defined universal connections on Hilbert $C^{*}$-modules relative to a spectral triple (or unbounded Kasparov module), obtaining a well-defined curvature operator. Fixing the spectral triple, we find that modulo junk forms, the curvature only depends on the represented form of the universal connection. We refine our definition of curvature to factorisations of unbounded Kasparov modules. Our refined definition recovers all the curvature data of a Riemannian submersion of compact manifolds, viewed as a $KK$-factorisation. △ Less

Submitted 12 November, 2019; originally announced November 2019.

Comments: 47 pages

The KO-valued spectral flow for skew-adjoint Fredholm operators

Authors: Chris Bourne, Alan L. Carey, Matthias Lesch, Adam Rennie

Abstract: In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are… ▽ More In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are motivated by the principle that \[ \text{spectral flow} = \text{Fredholm index}. \] That is, we show how the KO--valued spectral flow relates to a KO-valued index by proving a Robbin-Salamon type result. The Kasparov product is also used to establish a spectral flow $=$ Fredholm index result at the level of bivariant K-theory. We explain how our results incorporate previous applications of $\mathbb{Z}/ 2\mathbb{Z}$-valued spectral flow in the study of topological phases of matter. △ Less

Submitted 6 April, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: v2: 47 pages, applications to physics expanded

Report number: RIKEN-iTHEMS-Report-19

Untwisting twisted spectral triples

Authors: Magnus Goffeng, Bram Mesland, Adam Rennie

Abstract: 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 h… ▽ More 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. △ Less

Submitted 24 September, 2019; v1 submitted 6 March, 2019; originally announced March 2019.

Comments: 57 pages, full proof of meromorphic extensions added in this version

Journal ref: International Journal of Mathematics, Vol. 30, No. 14 (2019)

The global properties of the finiteness and continuity of the Lorentzian distance

Authors: Adam Rennie, Ben Whale

Abstract: It is well-known that global hyperbolicity implies that the Lorentzian distance is finite and continuous. By carefully analysing the causes of discontinuity of the Lorentzian distance, we show that in most other respects the finiteness and continuity of the Lorentzian distance is independent of the causal structure. The proof of these results relies on the properties of a class of generalised time… ▽ More It is well-known that global hyperbolicity implies that the Lorentzian distance is finite and continuous. By carefully analysing the causes of discontinuity of the Lorentzian distance, we show that in most other respects the finiteness and continuity of the Lorentzian distance is independent of the causal structure. The proof of these results relies on the properties of a class of generalised time functions introduced by the authors in \cite{RennieWhale2016}. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: 27 pages

Constructing KMS states from infinite-dimensional spectral triples

Authors: Magnus Goffeng, Adam Rennie, Alexandr Usachev

Abstract: We construct KMS-states from $\mathrm{Li}_1$-summable semifinite spectral triples and show that in several important examples the construction coincides with well-known direct constructions of KMS-states for naturally defined flows. Under further summability assumptions the constructed KMS-state can be computed in terms of Dixmier traces. For closed manifolds, we recover the ordinary Lebesgue inte… ▽ More We construct KMS-states from $\mathrm{Li}_1$-summable semifinite spectral triples and show that in several important examples the construction coincides with well-known direct constructions of KMS-states for naturally defined flows. Under further summability assumptions the constructed KMS-state can be computed in terms of Dixmier traces. For closed manifolds, we recover the ordinary Lebesgue integral. For Cuntz-Pimsner algebras with their gauge flow, the construction produces KMS-states from traces on the coefficient algebra and recovers the Laca-Neshveyev correspondence. For a discrete group acting on its Stone-Čech boundary, we recover the Patterson-Sullivan measures on the Stone-Čech boundary for a flow defined from the Radon-Nikodym cocycle. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 66 pages

Journal ref: Journal of Geometry and Physics Volume 143, September 2019, Pages 107-149

The Godbillon-Vey invariant in equivariant $KK$-theory

Authors: Lachlan MacDonald, Adam Rennie

Abstract: We construct a groupoid equivariant Kasparov class for transversely oriented foliations in all codimensions. In codimension 1 we show that the Chern character of an associated semifinite spectral triple recovers the Connes-Moscovici cyclic cocycle for the Godbillon-Vey secondary characteristic class. We construct a groupoid equivariant Kasparov class for transversely oriented foliations in all codimensions. In codimension 1 we show that the Chern character of an associated semifinite spectral triple recovers the Connes-Moscovici cyclic cocycle for the Godbillon-Vey secondary characteristic class. △ Less

Submitted 8 November, 2019; v1 submitted 12 November, 2018; originally announced November 2018.

MSC Class: 19K35

Journal ref: Ann. K-Th. 5 (2020) 249-294

Poincare duality for Cuntz-Pimsner algebras of bimodules

Authors: A. Rennie, D. Robertson, A. Sims

Abstract: We present a new approach to Poincare duality for Cuntz-Pimsner algebras. We provide sufficient conditions under which Poincare self-duality for the coefficient algebra of a Hilbert bimodule lifts to Poincare self-duality for the associated Cuntz-Pimsner algebra. With these conditions in hand, we can constructively produce fundamental classes in K-theory for a wide range of examples. We can also… ▽ More We present a new approach to Poincare duality for Cuntz-Pimsner algebras. We provide sufficient conditions under which Poincare self-duality for the coefficient algebra of a Hilbert bimodule lifts to Poincare self-duality for the associated Cuntz-Pimsner algebra. With these conditions in hand, we can constructively produce fundamental classes in K-theory for a wide range of examples. We can also produce K-homology fundamental classes for the important examples of Cuntz-Krieger algebras (following Kaminker-Putnam) and crossed products of manifolds by isometries, and their non-commutative analogues. △ Less

Submitted 22 April, 2018; originally announced April 2018.

The non-unital version of Connes' theorem on the Hochschild class of the Chern character

Authors: Alan L. Carey, A. Rennie

Abstract: We offer a short proof of Connes' Hochschild class of the Chern character formula for non-unital semifinite spectral triples. The proof is simple due to its reliance on the authors' extensive work on a refined version of the local index formula, and the consequent understanding of the passage from generalised residues of zeta functions to representations in terms of singular traces. We offer a short proof of Connes' Hochschild class of the Chern character formula for non-unital semifinite spectral triples. The proof is simple due to its reliance on the authors' extensive work on a refined version of the local index formula, and the consequent understanding of the passage from generalised residues of zeta functions to representations in terms of singular traces. △ Less

Submitted 1 May, 2018; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: We have received feedback that our proof requires additional details and that the discussion is overly reliant on our previous memoirs article. We are discussing the preparation of a new version

Non-Commutative Vector Bundles for Non-Unital Algebras

Authors: Adam Rennie, Aidan Sims

Abstract: We revisit the characterisation of modules over non-unital $C^*$-algebras analogous to modules of sections of vector bundles. A fullness condition on the associated multiplier module characterises a class of modules which closely mirror the commutative case. We also investigate the multiplier-module construction in the context of bi-Hilbertian bimodules, particularly those of finite numerical inde… ▽ More We revisit the characterisation of modules over non-unital $C^*$-algebras analogous to modules of sections of vector bundles. A fullness condition on the associated multiplier module characterises a class of modules which closely mirror the commutative case. We also investigate the multiplier-module construction in the context of bi-Hilbertian bimodules, particularly those of finite numerical index and finite Watatani index. △ Less

Submitted 16 June, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Journal ref: SIGMA 13 (2017), 041, 12 pages

Chern numbers, localisation and the bulk-edge correspondence for continuous models of topological phases

Authors: Chris Bourne, Adam Rennie

Abstract: In order to study continuous models of disordered topological phases, we construct an unbounded Kasparov module and a semifinite spectral triple for the crossed product of a separable $C^*$-algebra by a twisted $\mathbb{R}^d$-action. The spectral triple allows us to employ the non-unital local index formula to obtain the higher Chern numbers in the continuous setting with complex observable algebr… ▽ More In order to study continuous models of disordered topological phases, we construct an unbounded Kasparov module and a semifinite spectral triple for the crossed product of a separable $C^*$-algebra by a twisted $\mathbb{R}^d$-action. The spectral triple allows us to employ the non-unital local index formula to obtain the higher Chern numbers in the continuous setting with complex observable algebra. In addition, the pairing can be extended to a larger algebra closely related to dynamical localisation, as in the tight-binding approximation. The Kasparov module allows us to exploit the Wiener-Hopf extension and the Kasparov product to obtain a bulk-boundary correspondence for continuous models of disordered topological phases. △ Less

Submitted 20 June, 2018; v1 submitted 18 November, 2016; originally announced November 2016.

Comments: 46 pages. V2: results on localisation expanded and clarified. V3: Further revisions. V4: To appear in Mathematical Physics, Analysis and Geometry

Boundaries, spectral triples and K-homology

Authors: Iain Forsyth, Magnus Goffeng, Bram Mesland, Adam Rennie

Abstract: 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 relati… ▽ More 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 map** in $K$-homology easy to compute. We introduce an additional operator called a Clifford normal with which a relative spectral triple can be doubled into a spectral triple. The Clifford normal also provides a boundary Hilbert space, a representation of the quotient algebra, a boundary Dirac operator and an analogue of the Calderon projection. In the examples this data does assemble to give a boundary spectral triple, though we can not prove this in general. When we do obtain a boundary spectral triple, we provide sufficient conditions for the boundary triple to represent the $K$-homological boundary. Thus we abstract the proof of Baum-Douglas-Taylor's "boundary of Dirac is Dirac on the boundary" theorem into the realm of non-commutative geometry. △ Less

Submitted 24 July, 2016; originally announced July 2016.

Report number: CPH-SYM-DNRF92

Journal ref: J. Noncommut. Geom. 13 (2) (2019) 407--472

The Cuntz-Pimsner extension and map** cone exact sequences

Authors: Francesca Arici, Adam Rennie

Abstract: For Cuntz-Pimsner algebras of bi-Hilbertian bimodules of finite Jones-Watatani index satisfying some side conditions, we give an explicit isomorphism between the $K$-theory exact sequences of the map** cone of the inclusion of the coefficient algebra into a Cuntz-Pimsner algebra, and the Cuntz-Pimsner exact sequence. In the process we extend some results by the second author and collaborators fr… ▽ More For Cuntz-Pimsner algebras of bi-Hilbertian bimodules of finite Jones-Watatani index satisfying some side conditions, we give an explicit isomorphism between the $K$-theory exact sequences of the map** cone of the inclusion of the coefficient algebra into a Cuntz-Pimsner algebra, and the Cuntz-Pimsner exact sequence. In the process we extend some results by the second author and collaborators from finite projective bimodules to finite index bimodules, and also clarify some aspects of Pimsner's `extension of scalars' construction. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 21 pages

MSC Class: 19K35; 46L08; 58B34; 55R25

The $K$-theoretic bulk-edge correspondence for topological insulators

Authors: Chris Bourne, Johannes Kellendonk, Adam Rennie

Abstract: We study the application of Kasparov theory to topological insulator systems and the bulk-edge correspondence. We consider observable algebras as modelled by crossed products, where bulk and edge systems may be linked by a short exact sequence. We construct unbounded Kasparov modules encoding the dynamics of the crossed product. We then link bulk and edge Kasparov modules using the Kasparov produc… ▽ More We study the application of Kasparov theory to topological insulator systems and the bulk-edge correspondence. We consider observable algebras as modelled by crossed products, where bulk and edge systems may be linked by a short exact sequence. We construct unbounded Kasparov modules encoding the dynamics of the crossed product. We then link bulk and edge Kasparov modules using the Kasparov product. Because of the anti-linear symmetries that occur in topological insulator models, real $C^*$-algebras and $KKO$-theory must be used. △ Less

Submitted 15 December, 2016; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: Minor corrections, to appear in Annales Henri Poincaré

Shift tail equivalence and an unbounded representative of the Cuntz-Pimsner extension

Authors: Magnus Goffeng, Bram Mesland, Adam Rennie

Abstract: We show how the fine structure in shift-tail equivalence, appearing in the noncommutative geometry of Cuntz-Krieger algebras developed by the first two authors, has an analogue in a wide range of other Cuntz-Pimsner algebras. To illustrate this structure, and where it appears, we produce an unbounded representative of the defining extension of the Cuntz-Pimsner algebra constructed from a finitely… ▽ More We show how the fine structure in shift-tail equivalence, appearing in the noncommutative geometry of Cuntz-Krieger algebras developed by the first two authors, has an analogue in a wide range of other Cuntz-Pimsner algebras. To illustrate this structure, and where it appears, we produce an unbounded representative of the defining extension of the Cuntz-Pimsner algebra constructed from a finitely generated projective bi-Hilbertian module, extending work by the third author with Robertson and Sims. As an application, our construction yields new spectral triples for Cuntz- and Cuntz-Krieger algebras and for Cuntz-Pimsner algebras associated to vector bundles twisted by equicontinuous $*$-automorphisms. △ Less

Submitted 7 August, 2016; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: 30 pages

Report number: CPH-SYM-DNRF92

Journal ref: Ergodic Th. Dynam. Sys. 38 (4) (2018), 1389--1421

A noncommutative framework for topological insulators

Authors: Chris Bourne, Alan L. Carey, Adam Rennie

Abstract: We study topological insulators, regarded as physical systems giving rise to topological invariants determined by symmetries both linear and anti-linear. Our perspective is that of noncommutative index theory of operator algebras. In particular we formulate the index problems using Kasparov theory, both complex and real. We show that the periodic table of topological insulators and superconductors… ▽ More We study topological insulators, regarded as physical systems giving rise to topological invariants determined by symmetries both linear and anti-linear. Our perspective is that of noncommutative index theory of operator algebras. In particular we formulate the index problems using Kasparov theory, both complex and real. We show that the periodic table of topological insulators and superconductors can be realised as a real or complex index pairing of a Kasparov module capturing internal symmetries of the Hamiltonian with a spectral triple encoding the geometry of the sample's (possibly noncommutative) Brillouin zone. △ Less

Submitted 4 April, 2016; v1 submitted 23 September, 2015; originally announced September 2015.

Comments: 32 pages, final version

Factorisation of equivariant spectral triples in unbounded KK-theory

Authors: Iain Forsyth, Adam Rennie

Abstract: 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 sp… ▽ More 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 it for this example). △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 30 pages

Indefinite Kasparov modules and pseudo-Riemannian manifolds

Authors: Koen van den Dungen, Adam Rennie

Abstract: We present a definition of indefinite Kasparov modules, a generalisation of unbounded Kasparov modules modelling non-symmetric and non-elliptic (e.g. hyperbolic) operators. Our main theorem shows that to each indefinite Kasparov module we can associate a pair of (genuine) Kasparov modules, and that this process is reversible. We present three examples of our framework: the Dirac operator on a pseu… ▽ More We present a definition of indefinite Kasparov modules, a generalisation of unbounded Kasparov modules modelling non-symmetric and non-elliptic (e.g. hyperbolic) operators. Our main theorem shows that to each indefinite Kasparov module we can associate a pair of (genuine) Kasparov modules, and that this process is reversible. We present three examples of our framework: the Dirac operator on a pseudo-Riemannian spin manifold (i.e. a manifold with an indefinite metric), the harmonic oscillator, and the construction via the Kasparov product of an indefinite spectral triple from a family of spectral triples. This last construction corresponds to a foliation of a globally hyperbolic spacetime by spacelike hypersurfaces. △ Less

Submitted 13 February, 2016; v1 submitted 24 March, 2015; originally announced March 2015.

Comments: 24 pages, Annales Henri Poincaré, online version 2016

MSC Class: 19K35; 53C50; 58B34

Nonunital spectral triples and metric completeness in unbounded KK-theory

Authors: Bram Mesland, Adam Rennie

Abstract: By considering the general properties of approximate units in differentiable algebras, we are able to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, and the lifting of Kasparov products to the unbounded category. In particular, by strengthening Kasparov's technical theorem, we show that given any two composable KK-classes,… ▽ More By considering the general properties of approximate units in differentiable algebras, we are able to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, and the lifting of Kasparov products to the unbounded category. In particular, by strengthening Kasparov's technical theorem, we show that given any two composable KK-classes, we can find unbounded representatives whose product can be constructed to yield an unbounded representative of the Kasparov product. △ Less

Submitted 13 March, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: 65 pages

Journal ref: J. Funct. Anal. Vol. 271 Issue 9 (2016), 2460--2538

Groupoid Fell bundles for product systems over quasi-lattice ordered groups

Authors: Adam Rennie, David Robertson, Aidan Sims

Abstract: Consider a product system over the positive cone of a quasi-lattice ordered group. We construct a Fell bundle over an associated groupoid so that the cross-sectional algebra of the bundle is isomorphic to the Nica-Toeplitz algebra of the product system. Under the additional hypothesis that the left actions in the product system are implemented by injective homomorphisms, we show that the cross-sec… ▽ More Consider a product system over the positive cone of a quasi-lattice ordered group. We construct a Fell bundle over an associated groupoid so that the cross-sectional algebra of the bundle is isomorphic to the Nica-Toeplitz algebra of the product system. Under the additional hypothesis that the left actions in the product system are implemented by injective homomorphisms, we show that the cross-sectional algebra of the restriction of the bundle to a natural boundary subgroupoid coincides with the Cuntz-Nica-Pimsner algebra of the product system. We apply these results to improve on existing sufficient conditions for nuclearity of the Nica-Toeplitz algebra and the Cuntz-Nica-Pimsner algebra, and for the Cuntz-Nica-Pimsner algebra to coincide with its co-universal quotient. △ Less

Submitted 27 January, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: 16 pages. Version 2: minor typos are corrected; and the references and introduction updated

MSC Class: 46L05

The extension class and KMS states for Cuntz--Pimsner algebras of some bi-Hilbertian bimodules

Authors: Adam Rennie, David Robertson, Aidan Sims

Abstract: For bi-Hilbertian $A$-bimodules, in the sense of Kajiwara--Pinzari--Watatani, we construct a Kasparov module representing the extension class defining the Cuntz--Pimsner algebra. The construction utilises a singular expectation which is defined using the $C^*$-module version of the Jones index for bi-Hilbertian bimodules. The Jones index data also determines a novel quasi-free dynamics and KMS sta… ▽ More For bi-Hilbertian $A$-bimodules, in the sense of Kajiwara--Pinzari--Watatani, we construct a Kasparov module representing the extension class defining the Cuntz--Pimsner algebra. The construction utilises a singular expectation which is defined using the $C^*$-module version of the Jones index for bi-Hilbertian bimodules. The Jones index data also determines a novel quasi-free dynamics and KMS states on these Cuntz--Pimsner algebras. △ Less

Submitted 2 March, 2016; v1 submitted 21 January, 2015; originally announced January 2015.

Comments: v2: 25 pages. Several minor corrections implemented. A number of aspects of the exposition, particularly the proofs of Theorem 3.1 and Theorem 3.14 have been substantially improved by suggestions from a helpful referee. This version to appear in the Journal of Topology and Analysis

Generalised time functions and finiteness of the Lorentzian distance

Authors: Adam Rennie, Ben E. Whale

Abstract: We show that finiteness of the Lorentzian distance is equivalent to the existence of generalised time functions with gradient uniformly bounded away from light cones. To derive this result we introduce new techniques to construct and manipulate achronal sets. As a consequence of these techniques we obtain a functional description of the Lorentzian distance extending the work of Franco and Moretti. We show that finiteness of the Lorentzian distance is equivalent to the existence of generalised time functions with gradient uniformly bounded away from light cones. To derive this result we introduce new techniques to construct and manipulate achronal sets. As a consequence of these techniques we obtain a functional description of the Lorentzian distance extending the work of Franco and Moretti. △ Less

Submitted 8 March, 2017; v1 submitted 17 December, 2014; originally announced December 2014.

Comments: 22 pages. Some imprecisions clarified compared to first version

The bulk-edge correspondence for the quantum Hall effect in Kasparov theory

Authors: Chris Bourne, Alan L. Carey, Adam Rennie

Abstract: We prove the bulk-edge correspondence in $K$-theory for the quantum Hall effect by constructing an unbounded Kasparov module from a short exact sequence that links the bulk and boundary algebras. This approach allows us to represent bulk topological invariants explicitly as a Kasparov product of boundary invariants with the extension class linking the algebras. This paper focuses on the example of… ▽ More We prove the bulk-edge correspondence in $K$-theory for the quantum Hall effect by constructing an unbounded Kasparov module from a short exact sequence that links the bulk and boundary algebras. This approach allows us to represent bulk topological invariants explicitly as a Kasparov product of boundary invariants with the extension class linking the algebras. This paper focuses on the example of the discrete integer quantum Hall effect, though our general method potentially has much wider applications. △ Less

Submitted 12 July, 2015; v1 submitted 27 November, 2014; originally announced November 2014.

Comments: 16 pages. Minor corrections and introduction expanded. To appear in Letters in Mathematical Physics

Groupoid algebras as Cuntz-Pimsner algebras

Authors: Adam Rennie, David Robertson, Aidan Sims

Abstract: We show that if $G$ is a second countable locally compact Hausdorff étale groupoid carrying a suitable cocycle $c:G\to\mathbb{Z}$, then the reduced $C^*$-algebra of $G$ can be realised naturally as the Cuntz-Pimsner algebra of a correspondence over the reduced $C^*$-algebra of the kernel $G_0$ of $c$. If the full and reduced $C^*$-algebras of $G_0$ coincide, we deduce that the full and reduced… ▽ More We show that if $G$ is a second countable locally compact Hausdorff étale groupoid carrying a suitable cocycle $c:G\to\mathbb{Z}$, then the reduced $C^*$-algebra of $G$ can be realised naturally as the Cuntz-Pimsner algebra of a correspondence over the reduced $C^*$-algebra of the kernel $G_0$ of $c$. If the full and reduced $C^*$-algebras of $G_0$ coincide, we deduce that the full and reduced $C^*$-algebras of $G$ coincide. We obtain a six-term exact sequence describing the $K$-theory of $C^*_r(G)$ in terms of that of $C^*_r(G_0)$. △ Less

Submitted 17 April, 2018; v1 submitted 27 February, 2014; originally announced February 2014.

Comments: 5 pages. V2: James Fletcher discovered an error Lemma 9. No other results are affected. In this version, statements (2) and (3), and the proof, of Lemma 9 have been corrected. Remark 10 has been added to give details of the error. An erratum will appear in Math Scand, referring to this version of the arXiv posting for details

MSC Class: 46L05

Journal ref: Math. Scand. 120 (2017), 115-123

Universal measurability and the Hochschild class of the Chern character

Authors: A. Carey, A. Rennie, F. Sukochev, D. Zanin

Abstract: We study notions of measurability for singular traces, and characterise universal measurability for operators in Dixmier ideals. This measurability result is then applied to improve on the various proofs of Connes' identification of the Hochschild class of the Chern character of Dixmier summable spectral triples. The measurability results show that the identification of the Hochschild class is i… ▽ More We study notions of measurability for singular traces, and characterise universal measurability for operators in Dixmier ideals. This measurability result is then applied to improve on the various proofs of Connes' identification of the Hochschild class of the Chern character of Dixmier summable spectral triples. The measurability results show that the identification of the Hochschild class is independent of the choice of singular trace. As a corollary we obtain strong information on the asymptotics of the eigenvalues of operators naturally associated to spectral triples (A,H,D) and Hochschild cycles for A. △ Less

Submitted 8 January, 2014; originally announced January 2014.

Comments: 22 pages

Spectral flow for nonunital spectral triples

Authors: A. Carey, V. Gayral, J. Phillips, A. Rennie, F. Sukochev

Abstract: 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… ▽ More 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. △ Less

Submitted 26 February, 2014; v1 submitted 7 January, 2014; originally announced January 2014.

Comments: 35 pages, minor corrections

Learning about SANS Instruments and Data Reduction from Round Robin Measurements on Samples of Polystyrene Latex

Authors: Adrian R. Rennie, Maja S. Hellsing, Kathleen Wood, Elliot P. Gilbert, Lionel Porcar, Ralf Schweins, Charles D. Dewhurst, Peter Lindner, Richard K. Heenan, Sarah E. Rogers, Paul D. Butler, Jeffery R. Krzywon, Ron E. Ghosh, Andrew J. Jackson, Marc Malfois

Abstract: Measurements of a well-characterised standard sample can verify the performance of an instrument. Typically, small-angle neutron scattering instruments are used to investigate a wide range of samples and may often be used in a number of configurations. Appropriate standard samples are useful to test different aspects of the performance of hardware as well as that of the data reduction and analysis… ▽ More Measurements of a well-characterised standard sample can verify the performance of an instrument. Typically, small-angle neutron scattering instruments are used to investigate a wide range of samples and may often be used in a number of configurations. Appropriate standard samples are useful to test different aspects of the performance of hardware as well as that of the data reduction and analysis software. Measurements on a number of instruments with different intrinsic characteristics and designs in a round robin can not only better characterise the performance for a wider range of conditions but also, perhaps more importantly, reveal the limits of the current state of the art of small-angle scattering. The exercise, followed by detailed analysis, tests the limits of current understanding as well as uncovers often forgotten assumptions, simplifications and approximations that underpin the current practice of the technique. This paper describes measurements of polystyrene latex, radius 72 nm with a number of instruments. Scattering from monodisperse, uniform spherical particles is simple to calculate and displays sharp minima. Such data test the calibrations of intensity, wavelength and resolution as well as the detector response. Smoothing due to resolution, multiple scattering and polydispersity has been determined. Sources of uncertainty are often related to systematic deviations and calibrations rather than random counting errors. The study has prompted development of software to treat modest multiple scattering and to better model the instrument resolution. These measurements also allow checks of data reduction algorithms and have identified how they can be improved. The reproducibility and the reliability of instruments and the accuracy of parameters derived from the data are described. △ Less

Submitted 31 July, 2013; originally announced July 2013.

Comments: Journal of Applied Crystallography - accepted for publication

Dense domains, symmetric operators and spectral triples

Authors: I. Forsyth, B. Mesland, A. Rennie

Abstract: 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. 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. △ Less

Submitted 6 June, 2013; originally announced June 2013.

Journal ref: New York J. Math. 20 (2014), 1001--1020

Pseudo-Riemannian spectral triples and the harmonic oscillator

Authors: Koen van den Dungen, Mario Paschke, Adam Rennie

Abstract: 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 ap… ▽ More 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 classical pseudo-Riemannian manifolds. △ Less

Submitted 17 April, 2013; v1 submitted 6 July, 2012; originally announced July 2012.

Journal ref: J. Geom. Phys. 73, 37-55 (2013)

Effect of pH, surface charge and counter-ions on the adsorption of sodium dodecyl sulfate to the sapphire/solution interface

Authors: Ningning Li, Robert K. Thomas, Adrian R. Rennie

Abstract: The role of ionic interactions between sodium dodecyl sulfate, SDS, and sapphire surfaces have been studied using specular neutron reflection to determine the structure and composition of adsorbed surfactant layers. Increasing the pH of the solution from 3 to 9 reduces the adsorption by reversing the charge of the alumina. This occurs at lower pH for the R-plane (1 -1 0 2) than the C-plane (0 0 0… ▽ More The role of ionic interactions between sodium dodecyl sulfate, SDS, and sapphire surfaces have been studied using specular neutron reflection to determine the structure and composition of adsorbed surfactant layers. Increasing the pH of the solution from 3 to 9 reduces the adsorption by reversing the charge of the alumina. This occurs at lower pH for the R-plane (1 -1 0 2) than the C-plane (0 0 0 1), corresponding to the different points of zero charge. The largest surface excess is about 6.5 micromol m-2, the thickness of the adsorbed layer is about 24 Angstrom and it contains roughly 20% water. The hydrocarbon tails of the surfactant molecules clearly interpenetrate rather than form an ordered bilayer. The structure is similar in either pure water or in 0.1 M NaCl when the surfactant is at the respective critical micelle concentration. Different structures were seen with lithium and cesium dodecyl sulfate. The CsDS forms dense layers with little or no hydration and a surface excess of about 10.5 micromol m-2. The metal cation strongly influences the hydration of the adsorbed surfactant. An overall picture of 'flattened micelles' for the structure of the adsorbed layer is observed △ Less

Submitted 1 May, 2012; originally announced May 2012.

Twisted Cyclic Cohomology and Modular Fredholm Modules

Authors: Adam Rennie, Andrzej Sitarz, Makoto Yamashita

Abstract: Connes and Cuntz showed in [Comm. Math. Phys. 114 (1988), 515-526] that suitable cyclic cocycles can be represented as Chern characters of finitely summable semifinite Fredholm modules. We show an analogous result in twisted cyclic cohomology using Chern characters of modular Fredholm modules. We present examples of modular Fredholm modules arising from Podleś spheres and from $SU_q(2)$. Connes and Cuntz showed in [Comm. Math. Phys. 114 (1988), 515-526] that suitable cyclic cocycles can be represented as Chern characters of finitely summable semifinite Fredholm modules. We show an analogous result in twisted cyclic cohomology using Chern characters of modular Fredholm modules. We present examples of modular Fredholm modules arising from Podleś spheres and from $SU_q(2)$. △ Less

Submitted 31 July, 2013; v1 submitted 27 November, 2011; originally announced November 2011.

Journal ref: SIGMA 9 (2013), 051, 15 pages

The resolvent cocycle in twisted cyclic cohomology and a local index formula for the Podles sphere

Authors: Adam Rennie, Roger Senior

Abstract: We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples.… ▽ More We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples. As an application we show that using our twisted resolvent cocycle, we can obtain a local index formula for the Podles sphere. The resulting twisted cyclic cocycle has non-vanishing Hochschild class which is in dimension 2. △ Less

Submitted 24 November, 2011; originally announced November 2011.

Comments: 35 pages

The K-theory of Heegaard quantum lens spaces

Authors: Piotr M. Hajac, Adam Rennie, Bartosz Zielinski

Abstract: Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated complex line bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure… ▽ More Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated complex line bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure of the C*-algebra of the lens space to compute its K-theory via the Mayer-Vietoris sequence, and an explicit form of the Bass connecting homomorphism to prove the stable non-triviality of the bundles. On the algebraic side we prove the universality of the coordinate algebra of such a lens space for a particular set of generators and relations. We also prove the non-existence of non-trivial invertibles in the coordinate algebra of a lens space. Finally, we prolongate the Z/N-fibres of the Heegaard quantum sphere to U(1), and determine the algebraic structure of such a U(1)-prolongation. △ Less

Submitted 26 October, 2011; originally announced October 2011.

Riemannian manifolds in noncommutative geometry

Authors: Steven Lord, Adam Rennie, Joseph C. Varilly

Abstract: We present a definition of Riemannian manifold in noncommutative geometry. Using products of unbounded Kasparov modules, we show one can obtain such Riemannian manifolds from noncommutative spin^c manifolds; and conversely, in the presence of a spin^c structure. We also show how to obtain an analogue of Kasparov's fundamental class for a Riemannian manifold, and the associated notion of Poincaré d… ▽ More We present a definition of Riemannian manifold in noncommutative geometry. Using products of unbounded Kasparov modules, we show one can obtain such Riemannian manifolds from noncommutative spin^c manifolds; and conversely, in the presence of a spin^c structure. We also show how to obtain an analogue of Kasparov's fundamental class for a Riemannian manifold, and the associated notion of Poincaré duality. Along the way we clarify the bimodule and first-order conditions for spectral triples. △ Less

Submitted 8 March, 2012; v1 submitted 10 September, 2011; originally announced September 2011.

Comments: Examples and details of some topological issues added

Index theory for locally compact noncommutative geometries

Authors: A. Carey, V. Gayral, A. Rennie, F. Sukochev

Abstract: Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of… ▽ More Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of investigating index problems in geometries that are genuinely noncommutative, particularly in the nonunital situation, was a primary motivation for this study and we illustrate this point with two examples in the text. In order to understand what is new in our approach in the commutative setting we prove an analogue of the Gromov-Lawson relative index formula (for Dirac type operators) for even dimensional manifolds with bounded geometry, without invoking compact supports. For odd dimensional manifolds our index formula appears to be completely new. As we prove our local index formula in the framework of semifinite noncommutative geometry we are also able to prove, for manifolds of bounded geometry, a version of Atiyah's L^2-index Theorem for covering spaces. We also explain how to interpret the McKean-Singer formula in the nonunital case. In order to prove the local index formula, we develop an integration theory compatible with a refinement of the existing pseudodifferential calculus for spectral triples. We also clarify some aspects of index theory for nonunital algebras. △ Less

Submitted 17 January, 2013; v1 submitted 5 July, 2011; originally announced July 2011.

Comments: 133 pages. to appear in Memoirs of the American Mathematical Society. Published version will have different pagination, and an index