arXiv subjects

Claude L. Schochet

Publications and source records attributed to Claude L. Schochet.

10 recordsLinked to original sources

arXiv2023

Defects in Graphene : A Topological Description

Specific types of spatial defects or potentials can turn monolayer graphene into a topological material. These topological defects are classified by a spatial dimension $D$ and they are systematically obtained from the Hamiltonian by means of its symbol $\mathcal{H} (\boldsymbol{k}, \boldsymbol{r}) $, an operator which generalises the Bloch Hamiltonian and contains all topological information. This approach, when applied to Dirac operators, allows to recover the tenfold classification of insulators and superconductors. The existence of a stable $\mathbb{Z}$-topology is predicted as a condition on the dimension $D$, similar to the classification of defects in thermodynamic phase transitions. Kekule distortions, vacancies and adatoms in graphene are proposed as examples of such defects and their topological equivalence is discussed.

cond-mat.mes-hall↗

arXiv2020

Relating Diffraction and Spectral Data of Aperiodic Tilings: Towards a Bloch theorem

The purpose of this paper is to show the relationship in all dimensions between the structural (diffraction pattern) aspect of tilings (described by Čech cohomology of the tiling space) and the spectral properties (of Hamiltonians defined on such tilings) defined by $K$-theory, and to show their equivalence in dimensions $\leq 3$. A theorem makes precise the conditions for this relationship to hold. It can be viewed as an extension of the "Bloch Theorem" to a large class of aperiodic tilings. The idea underlying this result is based on the relationship between cohomology and $K$-theory traces and their equivalence in low dimensions.

math-ph↗

arXiv2017

A Case Study in Non-Commutative Topology

This is an expository note focused upon one example, the irrational rotation $C^*$-algebra. We discuss how this algebra arises in nature - in quantum mechanics, group actions, and foliations, and we explain how $K$-theory is used to get information out of it. Our goal is to write as if we are sitting in Starbucks and explaining an idea to a good friend (on napkins, of course). So we are interested in getting an idea across but not at all interested in the technical details that, in any event, would be lost if the coffee spilled. So come with us for a drink at Starbucks!

math.OA↗

arXiv2017

Spanier-Whitehead K-duality for $C^*$-algebras

Classical Spanier-Whitehead duality was introduced for the stable homotopy category of finite CW complexes. Here we provide a comprehensive treatment of a noncommutative version, termed Spanier-Whitehead $K$-duality, which is defined on the category of $C^*$-algebras whose $K$-theory is finitely generated and that satisfy the UCT with morphisms the $KK$-groups. We explore what happens when these assumptions are relaxed in various ways. In particular, we consider the relationship between Paschke duality and Spanier-Whitehead $K$-duality.

math.OA↗

arXiv2014

Banach algebras, Samelson products, and the Wang Differential

Supppose given a principal $G$ bundle $ζ: P \to S^k$ (with $k \geq 2$) and a Banach algebra $B$ upon which $G$ acts continuously. Let \[ ζ\otimes B : \qquad P \times_G B \longrightarrow S^k \] denote the associated bundle and let \[ A_{ζ\otimes B} = Γ(S^k, P \times_G B) \] denote the associated Banach algebra of sections. Then $π_*\GL A_{ζ\otimes B} $ is determined by a mostly degenerate spectral sequence and by a Wang differential \[ d_k : π_*(\GL B) \longrightarrow π_{*+k-1} (\GL B) .\] We show that if $B$ is a $C^*$-algebra then the differential is given explicitly in terms of an \esp\, with the clutching map of the principal bundle. Analogous results hold after localization and in the setting of topological $K$-theory. We illustrate our technique with a close analysis of the invariants associated to the $C^*$-algebra of sections of the bundle \[ ζ\otimes M_2 : \qquad S^7 \times_{S^3} M_2 \to S^4 \] constructed from the Hopf bundle $ζ: \,S^7 \to S^4$ and by the conjugation action of $S^3$ on $M_2 = M_2(\CC)$. We compare and contrast the information obtained from the homotopy groups $π_*(A_{ζ\otimes M_2})$, the rational homotopy groups $π_*(A_{ζ\otimes M_2})\otimes\QQ $ and the topological $K$-theory groups $K_*(A_{ζ\otimes M_2})$.

math.OA↗

arXiv2012

Spaces of sections of Banach algebra bundles

Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $ζ: P \to X$ is a standard principal $G$-bundle, and $A_ζ= Γ(X, P \times_G B)$ is the associated algebra of sections. We produce a spectral sequence which converges to $π_*(GL_o A_ζ) $ with [E^2_{-p,q} \cong \check{H}^p(X ; π_q(GL_o B)).] A related spectral sequence converging to $\K_{*+1}(A_ζ)$ (the real or complex topological $K$-theory) allows us to conclude that if $B$ is Bott-stable, (i.e., if $ π_*(GL_o B) \to \K_{*+1}(B)$ is an isomorphism for all $*>0$) then so is $A_ζ$.

math.OA↗

arXiv2009

From Rational Homotopy to K-Theory for Continuous Trace Algebras

Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth of topological information about $A$. However, the homotopy type of $UA$ is out of reach even for $A = M_2(\CC)$. There are two simplifications which have been considered. The first, well-traveled road, is to pass to $π_*(U(A\otimes \KK ))$ which is isomorphic (with a degree shift) to $K_*(A)$. This approach has led to spectacular success in many arenas, as is well-known. A different approach is to consider $π_*(UA)\otimes\QQ $, the rational homotopy of $UA$. In joint work with G. Lupton and N. C. Phillips we have calculated this functor for the cases $A = C(X)\otimes M_n(\CC)$ and $A$ a unital continuous trace $C^*$-algebra. In this note we look at some concrete examples of this calculation and, in particular, at the $\ZZ$-graded map \[ π_*(UA)\otimes\QQ \longrightarrow K_{*+1}(A)\otimes\QQ . \]

math.OA↗

arXiv2009

Localization of grouplike function and section spaces with compact domain

We extend the standard localization theory for function and section spaces due to Hilton-Mislin-Roitberg and Moller outside the CW category to the case of compact metric domain in the presence of a grouplike structure. We study applications in two cases directly generalizing the gauge group of a principal bundle. We prove an identity for the monoid of fibre-homotopy self-equivalences of a Hurewicz fibration -- due to Gottlieb and Booth-Heath-Morgan-Piccinini in the CW category -- in the compact case. This leads to an extended localization result for this monoid. We also obtain an extended localization theory for groups of sections of a fibrewise group. We give two applications in rational homotopy theory.

math.AT↗

arXiv2009

Continuous trace C*-algebras, gauge groups and rationalization

Let ζbe an n-dimensional complex matrix bundle over a compact metric space X and let A_ζdenote the C*-algebra of sections of this bundle. We determine the rational homotopy type as an H-space of UA_ζ, the group of unitaries of A_ζ. The answer turns out to be independent of the bundle ζand depends only upon n and the rational cohomology of X. We prove analogous results for the gauge group and the projective gauge group of a principal bundle over a compact metric space X.

math.AT↗

arXiv2007

Banach Algebras and Rational Homotopy Theory

Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism from the rational Cech cohomology group $H^s (X; Q)$ to the rational homotopy group $π_{2 n - 1 - s} (Lc_n (A)) \otimes Q,$ which shows that the rational cohomology groups of $X$ are determined by a topological invariant associated to $A.$ As part of our analysis, we determine the rational H-type of certain gauge groups $F (X, G)$ for $G$ a Lie group or, more generally, a rational H-space.

math.AT↗