Parity flow as ${\mathbb Z}_2$-valued spectral flow

Nora Doll; Hermann Schulz-Baldes; Nils Waterstraat

doi:10.1112/blms.12282

Parity flow as ${\mathbb Z}_2$-valued spectral flow

Doll, Nora;Schulz-Baldes, Hermann;Waterstraat, Nils 2018-12-19 00:00:00 This note is about the topology of the path space of linear Fredholm operators on a real Hilbert space. Fitzpatrick and Pejsachowicz introduced the parity of such a path, based on the Leray-Schauder degree of a path of parametrices. Here an alternative ana- lytic approach is presented which reduces the parity to the Z -valued spectral ﬂow of an associated path of chiral skew-adjoints. Furthermore the related notion of Z -index of a Fredholm pair of chiral complex structures is introduced and connected to the parity of a suitable path. Several non-trivial examples are provided. One of them concerns topologi- cal insulators, another an application to the bifurcation of a non-linear partial diﬀerential equation. MSC2010: 47A53, 58J30 1 Introduction The spectral ﬂow for paths of self-adjoint Fredholm operators on a complex Hilbert space is a well-known homotopy invariant [1, 19, 11, 17]. It plays a role in numerous other ﬁelds, e.g. index theory [1, 20, 6, 8] and bifurcation theory [11, 13]. For R-linear operators on a real Hilbert space H , spectral ﬂow is still a well-deﬁned and useful object. Moreover, for paths [0, 1] ∋ t 7→ B of arbitrary (not necessarily self-adjoint) Fredholm operators on H a Z -valued t R 2 parity σ has been introduced by Fitzpatrick and Pejsachowicz [11], and for paths [0, 1] ∋ t 7→ T of skew-adjoint real Fredholm operators a Z -valued spectral ﬂow Sf has also been studied [7]. 2 2 This note presents the parity of a path [0, 1] ∋ t 7→ B of real Fredholm operators as the Z -valued spectral ﬂow of an associated path of chiral skew-adjoint Fredholm operators on H ⊕ H : R R 0 B σ [0, 1] ∋ t 7→ B = Sf [0, 1] ∋ t 7→ . (1) t 2 −B 0 This provides a new perspective on parity and also allows to deduce its main properties directly from known facts on the Z -valued spectral ﬂow. We also believe that the presented approach arXiv:1812.07780v2 [math-ph] 26 Jul 2019 makes the parity more accessible for computations. A new result for the parity is an index formula for paths between conjugate Fredholm pairs of complex structures, see Section 6. This corresponds to analogous results for the spectral ﬂow between conjugate Fredholm pairs of projections [20] as well as the Z -valued spectral ﬂow [7]. To further stress the similarities between spectral ﬂow, Z -valued spectral ﬂow and parity, let us consider the classifying spaces for real K-theory as introduced by Atiyah and Singer [2]. k k Let F = F (H ) denote the space of skew-adjoint Fredholm operators on a real separable Hilbert space H which anticommute with representations I , . . . , I of the generators of a R 1 k−1 real Cliﬀord algebra of signature (0, k − 1) [2]. By reducing out these relations in a concrete representation, it is possible (but tedious) to identify each F with a set of Fredholm operators on H having certain supplementary symmetry relations. Relevant for the following is that 0 8 1 F = F is isomorphic to the set of all Fredholm operators on H , F is isomorphic to the set of skew-adjoint Fredholm operators while F is isomorphic to the self-adjoint Fredholm operators on H with positive and negative essential spectrum. Furthermore, F is isomorphic to the set of those elements of F that are linear over the quaternions. Atiyah and Singer [2] found that the homotopy groups of these spaces satisfy i i+j 0 π (F ) = π (F ) = π (F ) , j 0 j+i and are given explicitly by i 0 1 2 3 4 5 6 7 π (F ) Z Z Z 0 2 Z 0 0 0 (2) 0 2 2 π (F ) Z Z 0 2 Z 0 0 0 Z 1 2 2 The components π (F ) in the second row are labelled by the index (for i = 0, 4) and the Z -index is given by the nullity modulo 2 (for i = 1, 2). The spectral ﬂow provides an explicit 7 3 isomorphism from π (F ) to Z, and also from π (F ) to 2 Z. Here the factor 2 merely stresses 1 1 that eigenvalues of self-adjoint quaternionic operators are always of even multiplicity. More precisely, if a self-adjoint quaternionic matrix is written as a complex matrix of double size, then this complex matrix has a symmetry leading to even dimensional eigenspaces (just like time reversal for fermions with half-integer spin leads to Kramers’ degeneracy). Therefore also the spectral ﬂow along paths of quaternionic operators is even. Furthermore the parity gives the isomorphism π (F ) Z [13] and the Z -valued spectral ﬂow provides the isomorphism 1 2 2 π (F ) = Z [7]. Hence the spectral ﬂow, parity and Z -valued spectral ﬂow allow to detect the 1 2 2 topology in the last row of (2). Furthermore, in view of table (2), one does not expect there to be any other ﬂow of interest. Let us also note that (1) results from realizing F as those elements of F that anticommute with the representation J of the generator of a real Cliﬀord algebra of signature (1, 0). Explicitly, J = diag(1, −1) in its spectral representation and elements T ∈ F with the so-called chiral symmetry JTJ = −T are oﬀ-diagonal as on the right hand-side of (1). This reduction is in the opposite direction than the one considered in [2]. Moreover, chiral skew-adjoints often also appear in diﬀerent guise in applications. An example are chiral self-adjoints, see Section 4, which are naturally associated to chiral topological insulators, see 2 Section 8. Finally, let us stress that while table (2) only concerns closed loops, the deﬁnition of spectral ﬂow, Z -valued spectral ﬂow and parity apply to arbitrary (open) paths. In Section 5 a Z -index of a Fredholm pair of chiral complex structures is introduced. This is the parity version of Kato’s index of a Fredholm pair of projections [15] as further studied by Avron, Seiler and Simon [3]. This is closely tied to the parity, as explained in Section 5 and of particular interest and importance for Fredholm pairs given by unitary conjugates. This leads to an index formula proved in Section 6. Finally Sections 8 and 9 give two applications of the parity. 2 Parity in ﬁnite dimension The characterizing features of the parity can best be understood in ﬁnite dimension. Hence let us consider a (continuous) path [0, 1] ∋ t 7→ B of real N × N matrices acting on the real Hilbert space H = R . Furthermore, let the path be admissible in the sense that its endpoints B and B are invertible, namely are in the general linear group Gl(N,R). This group has two 0 1 components, speciﬁed by either a positive or a negative determinant. The parity of the path [0, 1] ∋ t 7→ B is simply 1 if the endpoints are in the same component and −1 if they are in the two diﬀerent components. The following provides an analytic formula for this. Deﬁnition 1 For an admissible path [0, 1] ∋ t 7→ B of real N × N matrices, the parity is deﬁned as σ([0, 1] ∋ t 7→ B ) = sgn(det(B )) sgn(det(B )) ∈ Z , (3) t 1 0 2 where Z is viewed as the multiplicative group Z = {−1, 1}. As this only depends on the 2 2 endpoints, we will also simply write σ(B , B ). After rescaling, all of this also applies to paths 0 1 [a, b] ∋ t 7→ B with arbitrary endpoints a < b. The deﬁnition directly implies that the parity σ of admissible paths of real matrices is a homotopy invariant (under homotopies of the path keeping the endpoints ﬁxed), it has a concatenation property and it is normalized in the sense that the parity of a path in the invertibles is 1. Furthermore, one has a multiplicativity property under direct sums, namely for another admissible path [0, 1] ∋ t 7→ B of real L × L matrices, the deﬁnition directly implies that ′ ′ σ([0, 1] ∋ t 7→ B ⊕ B ) = σ([0, 1] ∋ t 7→ B ) · σ([0, 1] ∋ t 7→ B ) , t t t t with multiplication in Z . For the generalization to inﬁnite dimension there are several possibilities [17]. The route taken by Fitzpatrick and Pejsachowicz [13] uses the fact that sgn(det(B)) can, under suitable conditions, be extended to inﬁnite dimensions as the Leray-Schauder degree, for details see Section 3 below. In this note we elaborate on another possibility which consists in ﬁrst rewriting Deﬁnition 1 in terms of skew-adjoint matrices on a doubled Hilbert space, just as suggested by Atiyah and Singer [2]. This has the advantage that tools from the spectral analysis of skew-adjoint operators can be used and the connection to the Z -valued spectral ﬂow from 3 ′ [7] is uncovered. Hence let us use the real Hilbert space H = H ⊕ H equipped with the R R Z -grading J = diag(1, −1). Set: 0 B T = . (4) −B 0 These operators have a so-called chiral symmetry: J T J = −T . (5) t t Conversely, if one has a real Hilbert space H equipped with the Z -grading given by a self- ∗ −1 adjoint unitary J = J = J and a path [0, 1] ∋ t 7→ T of real chiral skew-adjoints, then going to the spectral representation of J in which J = diag(1, −1) leads to the representation of T in the form (4). Hence (4) provides a bijection between the set of paths of operators on H and the set of paths of chiral skew-adjoints on H . The chiral symmetry (5) implies that the spectrum always satisﬁes spec(T ) = −spec(T ) ⊂ ıR. A non-trivial topology in the t t path is detected by the Z -valued spectral ﬂow [7], the deﬁnition of which we recall next. For this purpose, let us note that the endpoints T and T are invertible (because the initial path 0 1 was admissible) and therefore there exists an invertible A such that T = A T A. Then, by 1 0 deﬁnition [7], Sf ([0, 1] ∋ t 7→ T ) = sgn(det(A)) ∈ Z . (6) 2 t 2 As the deﬁnition of Sf ([0, 1] ∋ t 7→ T ) only depends on the endpoints we will also write 2 t ∗ ∗ −1 ∗ Sf (T , T ). For T and T in the form (4) one has T = A T A for A = diag((B ) B , 1). This 2 0 1 0 1 1 0 0 1 directly implies σ([0, 1] ∋ t 7→ B ) = Sf ([0, 1] ∋ t 7→ T ) (7) t 2 t whenever the identiﬁcation (4) holds. This explains why (1) holds in ﬁnite dimension. The Z -valued spectral ﬂow given by (6) has an invariance property under conjugation, namely if [0, 1] ∋ t 7→ O is a path of orthogonals commuting with J, then Sf ([0, 1] ∋ t 7→ O T O ) = Sf ([0, 1] ∋ t 7→ T ) . 2 t t 2 t ∗ ∗ ∗ ∗ ∗ ∗ This holds because O T O = O A O (O T O )O AO and det(O AO ) = det(A) since O 1 1 1 0 0 0 0 1 1 0 0 1 1 and O are in the same component of the orthogonal group. This transposes to an invariance property for the parity. Similarly, other properties of parity result from properties of the Z - valued spectral ﬂow. Let us next provide some examples that illustrate the topological stability associated to the parity. For N = 1 we ﬁrst consider two paths 0 t 0 |t| T = , T = , t ∈ [−1, 1] . (8) t t −t 0 −|t| 0 Clearly these two paths are isospectral spec(T ) = spec(T ) for all t ∈ [−1, 1]. By (6) one ﬁnds t t Sf ([−1, 1] ∋ t 7→ T ) = −1 and Sf ([−1, 1] ∋ t 7→ T ) = 1. This has spectral consequences. 2 t 2 t 4 e The latter can be perturbed to T (s) (within the class of real chiral skew-adjoints) in such a way that 0 is not an eigenvalue for any t: 0 |t| + s T (s) = . −(|t| + s) 0 Indeed, the eigenvalues are then ±ı(|t| + s) which both never vanish for positive s > 0. It is not possible to construct such a perturbation for T , namely any real skew-adjoint perturbation conserving the chiral symmetry can merely shift the eigenvalue crossing at 0. Furthermore, let us double the non-trivial example in (8) via a direct sum to T = T ⊕ T t t which is chiral with respect to J ⊕ J = diag(1, −1, 1, −1). Now T is block diagonal rather than in the oﬀ-diagonal form (4). However, using the permutation U of the second and third ∗ ′ ∗ component one obtains the spectral representation U(J ⊕ J)U = diag(1, −1) and then UT U is of the form (4) with oﬀ-diagonal entry B = diag(t, t). Then by the multiplicativity of the Z -valued spectral ﬂow, Sf ([−1, 1] ∋ t 7→ T ) = (−1)(−1) = 1. Again it is then possible 2 2 to lift the kernel along the whole path by a real chiral skew-adjoint perturbation. One such perturbation is   0 0 t −s   0 0 s t ′ ∗   UT (s)U = .   −t −s 0 0 s −t 0 0 1 1 ′ 2 2 2 2 2 2 Indeed, the spectrum of T (s) is {ı(t + s ) , −ı(t + s ) } with a double degeneracy. In particular, for s 6= 0, T (s) is invertible for all t ∈ [−1, 1]. 3 Construction of the parity in inﬁnite dimension In this section, the separable real Hilbert space H is now of inﬁnite dimension and the contin- uous path [0, 1] ∋ t 7→ B ∈ F is within the Fredholm operators. For the sake of simplicity, let us ﬁrst suppose that it lies in the component of Fredholm operators with vanishing index. (In a large part of the literature these are called Fredholm indices even though it was actually F. Noether who ﬁrst exhibited a Fredholm operator with non-vanishing index [10].) The general case will then be dealt with towards the end of the section. In [11, 13], the parity of an admissi- ble path (namely with invertible endpoints) uses the Leray-Schauder degree which is deﬁned as follows. One ﬁrst proves that there exists a second path of real invertibles [0, 1] ∋ t 7→ M such that M B = 1 + K with a real compact operator K . Then, if n denotes the number of nega- t t t t t tive eigenvalues of 1+K counted with multiplicity, n coincides with the number of eigenvalues t t less than −1 of the compact operator K and is therefore ﬁnite. The (linear) Leray-Schauder degree is deg (B ) = (−1) ∈ Z . (9) t 2 Let us explain how this ﬁts together with Deﬁnition 1. If B is a matrix, one can choose M = 1; t t the spectrum of B is symmetric with respect to the reﬂection on the real axis; now non-real eigenvalues of B come in complex conjugate pairs which do not contribute to sgn(det(B )); t t 5 hence analyzing the real eigenvalues immediately leads to deg (B ) = sgn(det(B )). For the t t path, the parity is then as in Deﬁnition 1 given by σ([0, 1] ∋ t 7→ B ) = deg (B )deg (B ) ∈ Z t 1 0 2 2 2 [13]. One of the diﬃculties with this approach is that, in general, it is very hard to determine the path M and therefore also the parity by this procedure. This work provides an alternative approach in which the parity is deﬁned as the Z -valued spectral ﬂow studied in [7] of a path of skew-adjoint operators on the doubled Hilbert space. This is based on the passage (4) to chiral skew-adjoint operators. Hence let H = H ⊕ H R R be a real Hilbert space equipped with the Z -grading J = diag(1, −1). Then (4) identiﬁes 0 0 F = F (H ) with 0 ′ ∗ F = {T ∈ B(H ) : T = −T = −JTJ Fredholm} . 0 1 ′ ∗ 0 Hence F is a subspace of F = {T ∈ B(H ) : T = −T Fredholm}, and any path in F 0 1 can be viewed as a path [0, 1] ∋ t 7→ T ∈ F in F . This path has a supplementary chiral symmetry JT J = −T , but this is irrelevant for the deﬁnition of its Z -valued spectral ﬂow that t t 2 we review next. Hence let now [0, 1] ∋ t 7→ T ∈ F . As already mentioned, we will ﬁrst deal with an admissible path with invertible endpoints T and T . Roughly, the idea is to reduce the 0 1 deﬁnition of the Z -valued spectral ﬂow to the ﬁnite dimensional deﬁnition by extracting from T ∈ F only the ﬁnite-dimensional subspace corresponding to eigenvalues in a small interval around 0, just as in [19]. Thus, for a > 0 let us set Q (t) = χ (ı T ) , a (−a,a) t where χ denotes the characteristic function on I ⊂ R. The projection Q (t) is of ﬁnite I a dimensional range for a suﬃciently small by the Fredholm property of T . Associated to these projections, one has the restrictions Q (t) T Q (t) which are viewed as skew-adjoint matrices a t a on E (t) = Ran(Q (t)). By compactness (see the ﬁrst Lemma in [19]), it is possible to choose a a a ﬁnite partition 0 = t < t < . . . < t < t = 1 of [0, 1] and a > 0, n = 1, . . . , N, such 0 1 N−1 N n that each piece [t , t ] ∋ t 7→ Q (t) is continuous and hence of constant ﬁnite rank, and, n−1 n a moreover, for some ǫ, ′ ′ kQ (t) − Q (t )k < ǫ , ∀ t, t ∈ [t , t ] . (10) a a n−1 n n n Let V : E (t ) → E (t ) be the orthogonal projection of E (t ) onto E (t ), namely n a n−1 a n a n−1 a n n n n n V v = Q (t )v. Then V is a bijection allowing to identify E (t ) with E (t ). Now n a n n a n−1 a n n n n each interval [t , t ] leads to a path [t , t ] ∋ t 7→ Q (t) T Q (t) of chiral, skew-adjoint n−1 n n−1 n a t a n n matrices on E (t) = Ran(Q (t)), but this path may not be admissible. To lift the (even- a a n n dimensional) kernel at the endpoint t , one can add a skew-adjoint perturbation R on the n n kernel of Q (t) T Q (t ) so that a t a n n n n (a ) T = Q (t ) T Q (t ) + R , (11) t a n t a n n n n n n are skew-adjoint invertible operators on E (t). Clearly the choice of the R is largely arbitrary, a n but it is part of Theorem 1 below that the following deﬁnition is independent of the choice of the R . 6 (a) Deﬁnition 2 For an admissable path [0, 1] ∋ t 7→ T ∈ F , let t and a as well as T and t n n V be as above. Then the Z -valued spectral ﬂow is deﬁned by n 2 (a ) (a ) n ∗ n Sf ([0, 1] ∋ t 7→ T ) = Sf T , V T V , (12) 2 t 2 n t n t n−1 n n=1,...,N where on the right hand side the Sf is the ﬁnite dimensional Z -valued spectral ﬂow on E (t ) 2 2 a n−1 as given in (6), and the product is in the multiplicative group (Z , ·). Let us stress that in inﬁnite dimension, it is in general not possible to write Sf (T , T ) for 2 0 1 Sf ([0, 1] ∋ t 7→ T ) because the Z -valued spectral ﬂow depends on the choice of the path. The 2 t 2 basic result on the Z -valued spectral ﬂow is that it is well-deﬁned by the above procedure. Theorem 1 (Theorem 4.2 in [7]) Let [0, 1] ∋ t 7→ T ∈ F be an admissible path. The deﬁnition of Sf ([0, 1] ∋ t 7→ T ) is independent of the choice of the partition 0 = t < t < 2 t 0 1 . . . < t < t = 1 of [0, 1] and the values a > 0 such that [t , t ] ∋ t 7→ Q (t) is N−1 N n n−1 n a continuous and satisﬁes (10), and also the choice of the R in (11). 0 1 As F ⊂ F , one can now use the Z -valued spectral ﬂow to deﬁne the parity. 0 0 Deﬁnition 3 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path and [0, 1] ∋ t 7→ T ∈ F be the t t path associated by (4). Then the parity is deﬁned by σ([0, 1] ∋ t 7→ B ) = Sf ([0, 1] ∋ t 7→ T ) ∈ Z . (13) t 2 t 2 Let us stress again that T ∈ F implies the chiral symmetry JT J = −T , but this is not of t t t importance for the deﬁnition of the Z -valued spectral ﬂow on the right-hand side of (13). One can, however, make more speciﬁc choices in the construction of Sf above, notably the spectral projections satisfy due to the symmetry of [−a, a] Q (t) = JQ (t)J , a a and one can choose the skew-adjoint perturbations R to be chiral. Due to Deﬁnition 3, the parity inherits from the Z -valued spectral ﬂow all of the properties stated in [7]. They are collected in the following result. Most of these properties are already stated in Chapter 6 of [13]. Theorem 2 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path. (i) The parity is homotopy invariant under homotopies in the paths of Fredholm operators keeping the endpoints ﬁxed. (ii) If B is invertible for all t ∈ [0, 1], then σ([0, 1] ∋ t 7→ B ) = 1. t t (iii) The parity has a concatenation property, namely if [0, 2] ∋ t 7→ B ∈ F is a path such that B is invertible, then σ([0, 1] ∋ t 7→ B ) · σ([1, 2] ∋ t 7→ B ) = σ([0, 2] ∋ t 7→ B ) . t t t 7 (iv) The parity is independent of the orientation of the path: σ([0, 1] ∋ t 7→ B ) = σ([0, 1] ∋ t 7→ B ) . t 1−t (v) The parity has a multiplicativity property under direct sums, namely if [0, 1] ∋ t 7→ B ∈ F is a second admissible path, ′ ′ σ([0, 1] ∋ t 7→ B ⊕ B ) = σ([0, 1] ∋ t 7→ B ) · σ([0, 1] ∋ t 7→ B ) . t t t t (vi) The parity is invariant under the conjugation by a path [0, 1] ∋ t 7→ O of orthogonals: σ([0, 1] ∋ t 7→ O B O ) = σ([0, 1] ∋ t 7→ B ) . t t t In particular, the parity is independent under reﬂection of the path: σ([0, 1] ∋ t 7→ B ) = σ([0, 1] ∋ t 7→ −B ) . t t The following result is already stated in [13]. Theorem 3 The map σ on loops in F is a homotopy invariant and induces an isomorphism of π (F ) with Z . 1 2 Proof. As π (F ) = Z is already known [2] and σ is homotopy invariant, one only has to 1 2 check that σ takes two diﬀerent values on the two diﬀerent components of the based loop space in F . For constant paths (and thus all contractible ones) the parity vanishes. An example with a parity equal to −1 is given in Section 7. ✷ Up to now, only paths [0, 1] ∋ t 7→ B in the component of F with vanishing index were considered. For general paths, one has dim Ker(T ) − Ind(B ) ∈ 2 N . t t 0 In particular, for non-vanishing Ind(B ) the dimension of the kernel of T is positive for all t and t t thus there are no admissible paths. However, there are several possibilities to reduce this case to the prior one. For that purpose, let us now call a path admissible if dim Ker(T ) = Ind(B ) i i for i = 0, 1. Recall that Ker(T ) is J-invariant. Let now [0, 1] ∋ t 7→ P be a continuous path of t t J-invariant orthogonal projections onto parts of the kernel of T , and being of the dimension of Ker(T ) for i = 0, 1. Then follow the constructions and arguments from above for T restricted i t to the range of 1 − P . This construction is independent of the choice of [0, 1] ∋ t 7→ P for, t t ′ ′ ∗ if [0, 1] ∋ t 7→ P is another projection with the above properties, then P = O P O for a t t t t t path [0, 1] ∋ t 7→ O of orthogonals commuting with J. Hence it follows from property (vi) of Theorem 2 that one obtains the same parity. All properties of Theorem 2 transpose directly, except for (ii) which now states that paths with constant nullity have a parity equal to 1. 8 4 Reformulation with chiral self-adjoints Given an admissible path [0, 1] ∋ t 7→ B of Fredholm operators on H , it is possible to associate t R self-adjoint real operators on H = H ⊕ H via R R 0 B H = . (14) B 0 0 0 This identiﬁes F with the set F of chiral self-adjoint Fredholm operators 0 ′ ∗ F = {H ∈ B(H ) : H = H = −JHJ Fredholm} . 0 0 ˆ ˜ A bijection between F and F is given by 1 1 0 0 ∗ ˆ ˜ 2 2 F = ı J F (J ) , where J = diag(1, ı1) is the square root of J. In some applications (as in Section 8) one rather ﬁnds admissible paths [0, 1] ∋ t 7→ H ∈ F of chiral self-adjoint real operators. Such paths then have a parity given by 1 1 2 2 σ([0, 1] ∋ t 7→ H ) = Sf [0, 1] ∋ t 7→ ı J H (J ) . t 2 t A further modiﬁcation concerns a setting with complex Hilbert spaces and a reality condition involving another symmetry. Suppose thus that one has a complex Hilbert space H with a real structure given by a (anti-linear involutive) complex conjugation C : H → H , naturally C C ′ ′ extended to H = H ⊕ H . For any linear operator A on H or H let us set A = CAC. C C C C C ′ ∗ 2 Further suppose given a real self-adjoint involution K on H , namely K = K = K and K = 1 which, moreover, commutes with J. Then an operator A is called K-real if K AK = A. Now one considers admissible paths [0, 1] ∋ t 7→ H of K-real self-adjoint chiral operators, namely ∗ ∗ ∗ K H K = H , H = H , J H J = −H . t t t t t Also for such paths one can deﬁne the parity. Indeed, let L be the root of K with spectrum {1, ı}. It commutes with J. Then set H = L H L . t t b b It can be checked that H is real, self-adjoint and chiral with respect to J. Consequently, H t t ′ ′ can be restricted to an R-linear operator on H = Ker(C − 1) ⊂ H . Thus it is within the R C class of paths considered above and the parity of [0, 1] ∋ t 7→ H can be deﬁned as that of [0, 1] ∋ t 7→ H . 5 Fredholm pairs of chiral complex structures The aim of this section is to construct an alternative formula for the parity. This will ﬁrst be done for special paths between complex structures that are close in the Calkin algebra, then 9 ′ later on it will also be extended to general paths. Recall that a complex structure I on H is a linear, skew-adjoint and unitary operator on H . It is called chiral if, moreover, JIJ = −I for ∗ −1 0 a symmetry J, namely J = J = J . Hence any chiral complex structure is an element of F . The following deﬁnition is motivated by [5, 7], as well as Kato’s Fredholm pair of projections and its index [15, 3]. Deﬁnition 4 A pair (I , I ) of chiral complex structures on H is called a Fredholm pair of 0 1 chiral complex structures if kπ(I − I )k < 2. The Z -index of (I , I ) is then deﬁned by 0 1 Q 2 0 1 Ind (I , I ) = dim (Ker (I + I )) mod 2 ∈ Z . (15) 2 0 1 R R 0 1 2 The index is indeed well-deﬁned because I + I = 2 I + (I − I ) has no essential spectrum 0 1 0 1 0 at 0 and it will be shown in the proof of Theorem 4 that the kernel of I +I is even dimensional. 0 1 On the right hand side of (15) the additive version of Z was used and is tacitly identiﬁed with the multiplicative one. The following justiﬁes Deﬁnition 4. Theorem 4 The map (I , I ) 7→ Ind (I , I ) ∈ Z is a homotopy invariant on the set of Fred- 0 1 2 0 1 2 holm pairs of chiral symmetries. Moreover, for both signs one has Ind (I , I ) = dim (Ker (I − I ± 2 ı 1)) mod 2 . (16) 2 0 1 R R 0 1 Before going into the proof, let us elaborate on the connection to the index of a Fredholm pair 1 1 of projections [3]. Here there are two projections P = (ıI +1) and P = (ıI +1) associated 0 0 1 1 2 2 to the complex structures. The property kπ(I − I )k < 2 is equivalent to kπ(P − P )k < 1 0 1 Q 0 1 Q and thus to (P , P ) being a Fredholm pair. Furthermore, these two projections satisfy P = 0 1 j 1−P and JP J = P . In the terminology of [14] this means that the P are even real and even j j j j Lagrangian projections. These symmetries imply that the index of the Fredholm pair (P , P ) 0 1 vanishes, namely the two signs on the right hand side of (16) lead to the same dimension (compare with eq. (3.1) in [3]). Hence one sees that the Z -index Ind (I , I ) is a secondary 2 2 0 1 invariant associated to the Fredholm pair (P , P ) which is well-deﬁned due to Theorem 4. 0 1 The proof of Theorem 4 will be based on the following lemma in which the chiral symmetry and reality are irrelevant. The lemma can be traced back to [5] and is stated as Lemma 5.3 in [7]. An equivalent algebraic fact has also been used for pairs of orthogonal projections [3, Theorem 2.1]. Lemma 1 Let I and I be complex structures. Set 0 1 1 1 T = (I + I ) , T = (I − I ) . 0 0 1 1 0 1 2 2 Then the following identities hold: ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ T T + T T = 1 = T T + T T , T T + T T = 0 = T T + T T , 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 as well as T I = I T , T I = I T , T I = −I T , T I = −I T . 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 10 Proof. Everything is veriﬁed by straightforward computations. ✷ Proof of Theorem 4. First of all, as noted above T = I + (I − I ) is a skew-adjoint 0 0 1 0 Fredholm operator by the assumption that (I , I ) is a Fredholm pair so that there is only 0 1 discrete spectrum in a neighborhood of 0. The idea of the proof is to show that every (small) eigenvalue of T of ﬁnite multiplicity has even multiplicity. As T is chiral and its spectrum 0 0 satisﬁes spec(T ) = −spec(T ), this then implies that the nullity of T only changes by multiples 0 0 0 of 4 under homotopic changes of T (induced by a homotopy of I and I ). The main tool is 0 0 1 ′ ∗ ∗ to view I as a complex structure on H . Now (T T )I = −T I T = I (T T ) so that 0 0 0 0 1 0 0 0 R 0 0 ∗ ′ T T is a complex linear operator on H viewed as complex Hilbert space (using the complex 0 R structure I ). Consequently the real multiplicity of all eigenvalues of T T is even. In particular, 0 0 Ind (I , I ) given by (15) indeed takes values in {0, 1}. Next let us show that for λ ∈ (0, 1), the 2 0 1 complex multiplicity of the eigenspaces of T T is a multiple of 2 (then the real multiplicity is a ∗ ∗ multiple of 4). Suppose that T T v = λv for some non-vanishing vector v. Then set w = T T v. 0 0 0 1 First of all, its norm does not vanish: 2 ∗ ∗ ∗ ∗ ∗ ∗ 2 kwk = v T T T T v = v T (1 − T T )T v = λ(1 − λ)kvk . 1 0 0 0 0 1 0 0 It is also an eigenvector of T T : ∗ ∗ ∗ ∗ ∗ ∗ ∗ T T w = T T T T v = −T T T T v = T T T T v = λw . 0 0 0 1 0 0 0 0 0 1 0 0 1 0 Moreover, it is complex linearly independent of v. In fact, suppose the contrary, namely that w = (µ + µ I )v for some µ , µ ∈ R. Multiplying this with T T leads to 0 1 0 0 1 1 ∗ ∗ ∗ ∗ λ(1 − λ)v = T T T T v = T T w = T T (µ + µ I )v = −(µ − µ I )w , 1 0 1 1 0 1 0 0 1 0 0 1 0 0 ∗ ∗ where in the last equality the identity T T I = −I T T was used. Multiplying now by 1 0 0 1 0 0 (µ + µ I ) shows 0 1 0 2 2 λ(1 − λ)w = −(µ + µ )w , 0 1 that is, a contradiction. If there are further eigenvectors of T T with eigenvalue λ, one can restrict to the orthogonal complement and iterate the above argument. As to the alternative formula for Ind (I , I ), let us note that the kernel of T T coincides 2 0 1 0 with the eigenspace of T T to the eigenvalue 1, which in turn is given by the direct sum of the eigenspaces of T for the eigenvalues ı and −ı. This proves the formula. Let us comment that another proof of the homotopy invariance uses the chiral symmetry of T and checks the double degeneracy of all eigenvalues of T in (0, 1), excluding 1. ✷ The following result establishes the link of Ind (I , I ) with the Z -valued spectral ﬂow of 2 0 1 2 0 1 the straight line connecting I and I , which indeed lies in F ⊂ F . 0 1 Proposition 1 For any Fredholm pair of chiral complex structures (I , I ) on H , one has 0 1 Sf [0, 1] ∋ t 7→ (1 − t) I + t I = Ind (I , I ) . 2 0 1 2 0 1 11 Proof. This is essentially identical to the argument leading to Proposition 6.2 in [7], so let us just give a sketch. The operators T = (1−t)I +tI are indeed Fredholm because, for t ∈ [0, ], t 0 1 T = I + t(I − I ) is a perturbation of an operator I with spectrum {−ı, ı} by an operator t 0 1 0 0 with bound 1 in the Calkin algebra so that T has its essential spectrum bounded away from 0. For t ∈ [ , 1], this holds by the same argument as T = I + (1 − t)(I − I ). Moreover, T t 1 0 1 t is invertible except possibly at t = . Hence in Deﬁnition 2 it is suﬃcient to work with three 1 1 1 1 intervals [0, − ǫ], [ − ǫ, + ǫ] and [ + ǫ, 1] for some ǫ > 0. Only the middle interval has a 2 2 2 2 possibly non-vanishing contribution coming from the parity of the nullity of T 1 = (I + I ). 0 1 But this is precisely the deﬁnition (15) of the Z -index. ✷ Further following [20] or [7], one can go on and rewrite the deﬁnition of the parity. 0 0 Proposition 2 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path and associated T ∈ F to B by t t t −1 (4). Let I be chiral complex structures obtained by completing the phase T |T | on the kernel. t t t Then, for a suﬃciently ﬁne partition 0 = t < t · · · < t = 1 satisfying kπ(I − I )k < 2, 0 1 N n n−1 one has for the parity σ([0, 1] ∋ t 7→ B ) = Ind (I , I ) mod 2 . t 2 t t n−1 n n=1,...,N Proof. Let us begin by rewriting Deﬁnition 2. One can choose R in (11) suﬃciently small and the partition t = 0 < t < · · · < t = 1 suﬃcient ﬁne such that a from Deﬁnition 2 is 0 1 N n not in the spectrum of (1 − t) ı (T + R ) + t ı (T + R ) for any t ∈ [0, 1]. By deﬁnition t n−1 t n n−1 (a ) (a ) n ∗ n Sf T , V T V = Sf [0, 1] ∋ t 7→ (1 − t) (T + R ) + t (T + R ) 2 n 2 t n−1 t n t n t n−1 n n−1 n and Sf ([0, 1] ∋ t 7→ T ) = Sf [0, 1] ∋ t 7→ (1 − t) (T + R ) + t (T + R ) . 2 t 2 t n−1 t n n−1 n n=1,...,N By identifying T + R with T , we can from now on assume that T is invertible. Next let t n t t n n n us claim that for each n = 1, . . . , N one has Sf [0, 1] ∋ t 7→ (1 − t) T + t T = Sf [0, 1] ∋ t 7→ (1 − t) I + t I . 2 t t 2 t t n−1 n n−1 n Indeed, as T and T are both invertible, t t n n−1 −s −s [0, 1] ∋ s 7→ (1 − t) T |T | + t T |T | t t t t n−1 n−1 n n deforms the initial path into the path [0, 1] ∋ t 7→ (1 − t) I + t I . During this homotopy t t n−1 n the endpoints remain invertible so that the Z -valued spectral ﬂow is unchanged. Now the assertion follows from Proposition 1. ✷ 12 6 Parity of paths between unitary conjugates Let H = H ⊕ H be equipped with the Z -grading J = diag(1, −1). The orthogonal group R R 2 preserving J is ′ ′ ∗ O(H , J) = {O ∈ O(H ) : O JO = J} . R R ′ ∗ This is a subgroup of O(H ) naturally identiﬁed with O(H ) × O(H ) because O JO = J is R R equivalent to JOJ = O which requires O to be diagonal in the grading of J. For any real chiral complex structure I, let us set ′ ′ ′ O (H , J) = {O ∈ O(H , J) : [O, I] ∈ K(H )} , (17) R R R ′ ′ ′ where K(H ) denotes the compact operators on H . This is a subgroup of O(H , J). Let us R R R ′ ∗ note that for O ∈ O (H , J) one has π(O IO) = π(I) in the Calkin algebra. Furthermore, 0 0 ˆ ˆ recall the deﬁnition of the based loop space Ω F of F based at I: 0 0 ˆ ˆ Ω F = [0, 1] ∋ t 7→ T ∈ F : T = T = I . I t 1 0 ′ ′ Theorem 5 For any chiral complex structure I on H , the group O (H , J) is homotopy R R 0 ′ ˆ ∼ equivalent to Ω F . In particular, π (O (H , J)) Z . I 0 I 2 As a preparatory result for the proof, let us state the following. 0 0 ∼ ˆ Proposition 3 The space F F is homotopy equivalent to the space C(H ) = {π(I) ∈ Q : π(I) chiral complex structure} . Proof. We closely follow the proof of Theorem 7.1 of [7], which in turn is based on [2, 20]. 0 0 ˆ ˆ Let ρ : F → F be the (non-linear and discontinuous) map sending T to the partial isometry −1 I = T|T| in the polar decomposition. If π denotes as before the quotient map onto the ′ ′ 0 Calkin algebra Q = Q(H ) over H , then the map ρˆ = π ◦ ρ sends F surjectively onto R R ′ ′ C(H ). Indeed, any chiral complex structure π(I) ∈ C(H ) has a chiral and skew-adjoint lift R R ′ ′ ∗ ′ ′ I for which (I ) I − 1 is compact; then the Riez projections P on the positive and negative ′ ′ ′ ∗ spectral projections of −ıI lead to a lift I = ıP −ıP for which I I −1 is a ﬁnite dimensional + − projection (on the kernel of I ). The Bartle-Graves selection theorem [4] now provides a right ′ 0 inverse θ : C(H ) → F to ρˆ, namely ρˆ ◦ θ = 1. Moreover, θ ◦ ρˆ is homotopic to the identity −1 via [0, 1] ∋ t 7→ t T + (1 − t) θ(ρˆ(T )). As θ(ρˆ(T )) = T|T| + K for some chiral skew-adjoint 0 0 ˆ ˆ compact K, this is a homotopy in F . Thus ρˆ is actually a homotopy equivalence so that F and C(H ) are homotopy equivalent. ✷ Proof of Theorem 5. Due to Proposition 3 it is suﬃcient to show the homotopy equivalence ′ ′ ′ of O (H , J) and Ω C(H ). Here, the chiral complex structure I on H also speciﬁes a I ρˆ(I) R R R ′ ′ ′ base point ρˆ(I) in C(H ). Associated to I, one can deﬁne a map β : O(H , J) → C(H ) R R R ∗ ∗ via β (O) = ρˆ(OIO ) = π(OIO ). This map is actually a Serre ﬁbration by the argument in Theorem 3.9 of [18]. The ﬁber over the base point ρˆ(I) = π(I) is precisely the set O (H , J) from (17). Hence one can use the long exact sequence of homotopy groups, which due to the 13 ′ ′ triviality of the homotopy groups of O(H , J) implies that the set Ω C(H ) of based loops in ρˆ(I) R R the base space is homotopy equivalent to the ﬁber over the base point which here is O (H , J). Because the loop functor respects homotopy, we conclude from the above that the based loop 0 ′ 0 ˆ ˆ ∼ space Ω F is homotopy equivalent to O (H , J). The last claim follows from π (F ) Z . ✷ I I 1 2 It is possible to use the index map j : O (H , J) → Z deﬁned by I I 2 j (O) = Ind (I, OIO ) I 2 to distinguish the two components of O (H , J). Furthermore, applying Theorem 4 and Propo- sition 1 to I = I and I = OIO leads to the following. 0 1 Corollary 1 For any chiral complex structure I, j is a homotopy invariant homomorphism labelling the two components of O (H , J). One has j (O) = Sf [0, 1] ∋ t 7→ (1 − t) I + t OIO . I 2 The (Noether) index of a Toeplitz operator associated to a given index pairing can always be expressed as a spectral ﬂow [19, 20, 8]. The following result is the parity version of this result, similar to [7] which contains a corresponding result for the Z -valued spectral ﬂow. ′ ′ Theorem 6 Let I be a real chiral complex structure on H and O ∈ O (H , J). If P is R R the spectral projection onto the positive imaginary spectrum of I where I was extended to a skew-adjoint operator on H ⊗ C, then Sf [0, 1] ∋ t 7→ (1 − t)I + tOIO = dim Ker (POP + 1 − P ) mod 2 . 2 C C Proof. First of all, the Z -index on the right hand side is of the type (j, d) = (1, 8) in Theorem 1 of [14]. Indeed, P satisﬁes P = 1 − P and JPJ = 1 − P (namely, P is even real and even Lagrangian in the terminology of [14]) as well as JOJ = O. In particular, the index pairing on the right hand side is a homotopy invariant under variations of O and P respecting all the properties mentioned above. Now given I, the set O (H , J) has two components by Theorem 5. The proof of Theorem 6 is thus remarkably simple. Both sides of the equality are homotopy invariants and lie in Z . Hence it is suﬃcient to verify equality on both components. For O = 1, both sides vanish. For the other component, the equality is veriﬁed for a non-trivial example in the next section. ✷ 7 A non-trivial example Let p be a one-dimensional projection on an inﬁnite-dimensional Hilbert space H . We consider 0 1 1 − 2p 0 I = , O = . −1 0 0 1 Then all conditions in Theorem 6 are satisﬁed. One has 1 −ı1 P = , ı1 1 14 and p −ıp POP + (1 − P ) = 1 − . ıp p In particular, dim(Ker(POP )) = dim(p) = 1. Hence the index on the right hand side of Theorem 6 is equal to 1. On the other hand, the straight-line path is 0 1 − 2 t p I = (1 − t) I + t O IO = . −1 + 2 t p 0 Hence this contains exactly one copy of the example (8), and so Sf ([0, 1] ∋ t 7→ I ) = −1 2 t (notably, the non-trivial value). The above path can be completed to a loop with [1, 2] ∋ t 7→ I = O IO where [1, 2] ∋ t 7→ t t O is a Kuipers path connecting O to 1. As this second path is in the invertibles it has trivial Z -valued spectral ﬂow. Therefore [0, 2] ∋ t 7→ I is a loop with non-trivial Z -valued spectral 2 t 2 ﬂow. This provides the example needed in the proof of Theorem 3. Let us also calculate the parity of [0, 1] ∋ t 7→ I as in [13]. One needs to look at the oﬀ- diagonal entry B as in (4), and determine an invertible operator M such that M B − 1 = K t t t t t is compact. Clearly, M = 1 will do, and then K = 0 and K = −2p so that deg (T ) = 1 and t 0 1 0 deg (T ) = −1. Thus one ﬁnds again that the parity of the path is −1. 8 Application to a topological insulator In the following the reformulation with chiral self-adjoints from Chapter 4 is used. Let H = 2 N ′ ℓ (Z) ⊗ C and consider the following operator on H = H ⊕ H : C C 0 (S ) ⊗ 1 t N H = , ∗ k (S ) ⊗ 1 0 where k ∈ Z and S is the bilateral shift perturbed on one link from 1 to cos(πt), namely in Dirac notation S = |nihn + 1| + cos(πt) |0ih1| . n6=0 The Hamiltonian has the chiral symmetry (5) and is real as well as self-adjoint for all t: H = H = H = −JH J . t t t Thus it is possible to consider the parity of the path [0, 1] ∋ t 7→ H . One ﬁnds kN σ([0, 1] ∋ t 7→ H ) = (−1) . This property is now stable under any kind of perturbations not closing the spectral gap of H , such as a chiral disordered potential V = −JV J of moderate strength. Here ω is a 0 ω ω point in a compact W -dynamical system (Ω, T,Z,P) given by the shift action T of Z and an 15 invariant and ergodic probability measure P. Let us comment that the non-triviality of the path [0, 1] ∋ t 7→ H has nothing to do with the strong invariants appearing in the periodic table of topological insulators. The Hamiltonian has an even time-reversal symmetry and a chiral symmetry. Hence it lies in the so-called BDI class. As such, in dimension d = 1 there are inﬁnitely many distinct phases labelled by the strong invariant, which in the above example is the number kN specifying the winding of the oﬀ-diagonal entry of H . For each k, the Hamiltonian is then in the corresponding component of Fredholm operators and stays within it along the path [0, 1] ∋ t 7→ H , because it resulted from a merely local perturbation of H . It t 0 is now a fact that such paths can be topologically non-trivial because the fundamental group of F is Z . The parity detects this topology. Let us now come to the physical implications of the non-trivial parity. One can directly conclude that H has to have an eigenvalue crossing through 0 at some t ∈ [0, 1]. However, more can be said, namely one such eigenvalue crossing has to take place at half ﬂux. Theorem 7 If kN is odd, then H 1 has an odd number of evenly degenerate zero modes, namely the multiplicity of 0 as eigenvalue is 2 modulo 4. Proof. Let us introduce the gauge transformation X X G = |nihn| − |nihn| . n>0 n≤0 Then GS G = S so that GH G = H . Consequently the zero eigenvalue crossings for t lead t 1−t t 1−t to zero eigenvalue crossings for 1 − t. As the parity is invariant under a change of orientation and also unitary conjugations, these eigenvalue crossing cancel and do not lead to a net parity, 1 1 except at t = . This implies that at t = one has to have an odd number of eigenvalue 2 2 crossings. Consequently, the multiplicity of the zero eigenvalue is 2 modulo 4. ✷ Note that at half-ﬂux, the shift does not connect left and right half-space so that H 1 is a diret sum of a left and a right half-space Hamiltonian. Each has to have a zero mode, leading to the two-fold symmetry. Let us further add a few comments on how to interpret Theorem 7 against the background of the periodic table of topological insulators. As already stated, all the above Hamiltonians are from the BDI class of chiral Hamiltonians with an even time- reversal symmetry (integer spin). Also the Hamiltonian H 1 is within this class. If one extracts only the low lying spectrum (eigenvalues in the vicinity of 0), this reduced Hamiltonian is a ﬁnite dimensional matrix and hence represents a system of dimension d = 0 (corresponding to the local defect induced by a half-ﬂux). The set of 0-dimensional BDI Hamiltonians has two components which are distinguished by the parity of the zero modes (of each half-sided Hamiltonian). Theorem 7 states that H 1 is in the non-trivial component of the 0-dimensional BDI Hamiltonians always having a zero mode. 9 Application to bifurcation theory The aim of this ﬁnal section is to apply the parity in the bifurcation theory of solutions to nonlinear operator equations depending on a real parameter. It was precisely for this purpose 16 that the parity was originally introduced and put to work [11, 12, 13]. The treatment given in this note suggests to construct examples with a skew-adjoint linearization which has a chiral symmetry built in. This is essentially what is done below. Let us begin by exposing the theoretical framework of bifurcation theory and the main result used later on. Given two real Banach spaces X and Y and an interval I ⊂ R, one considers continuous maps F : I × X → Y for which we assume throughout that F (t, 0) = 0 for all t ∈ I. In this context, one then calls the set I × {0} the trivial branch of solutions of F (t, u) = 0. A bifurcation point for the family of equations F (t, u) = 0, t ∈ I, is a parameter value t where a new branch of solutions appears. Deﬁnition 5 A parameter value t ∈ I is a bifurcation point for the family of equations F (t, u) = 0 if in every neighborhood of (t , 0) ∈ I × X there is some (t, u) such that u 6= 0 and F (t, u) = 0. Let us now assume that the map F is continuously diﬀerentiable in u. The implicit function theorem then implies that if the linear map D F (t , 0) : X → Y is invertible, there is a neighborhood of (t , 0) in I ×X for which there is a unique solution of the equation F (t, u) = 0. As F (t, 0) = 0 by assumption, we see that t cannot be a bifurcation point in this case. ∗ ∗ Consequently, D F (t , 0) must be singular if t is a bifurcation point. Let us stress, however, ∗ ∗ that not every t for which D F (t , 0) is singular, is necessarily a bifurcation point. The aim of bifurcation theory is to ﬁnd suﬃcient conditions under which a singular point t is a bifurcation point. While such problems have been considered for centuries, topological criteria for existence of bifurcations in an inﬁnite dimensional set-up were only made by Krasnoselskii in the sixties [16]. One extension of his ideas is the work of Fitzpatrick and Pejsachowicz [12] which uses the parity and is described next. For a continuously diﬀerentiable F let us consider the bounded linear operator B = D F (t, 0) and suppose that their index vanishes. As I ∋ t 7→ B is a t u t continuous path by assumption, its parity is deﬁned. Theorem 8 ([12]) Suppose that I ∋ t 7→ B is an admissible path. If σ(I ∋ t 7→ B ) = −1, t t then there is a bifurcation point t ∈ I for the family of equations F (t, u) = 0. In the following, we provide an example of a parameter dependent system of partial diﬀer- ential equations for which the parity can be calculated explicitly. On Ω = (0, π) × (0, π) let us consider the family of elliptic systems parametrized by t ∈ R −Δu = tv + f(t, x, u, v) , in Ω , −Δv = tu + g(t, x, u, v) , in Ω , (18) u = v = 0 , on ∂Ω , Ω × R → R are continuously diﬀerentiable. We assume that where u, v : Ω → R and f, g : R × f(t, x, 0, 0) = g(t, x, 0, 0) = 0 for all (t, x) ∈ R × Ω so that (u, v) = (0, 0) is a solution of (18) 17 for all t ∈ R. Moreover, all partial derivatives of f and g with respect to u and v are supposed to be bounded and satisfy D f(t, x, 0, 0) = D g(t, x, 0, 0) = 0 , (t, x) ∈ R × Ω . (19) (u,v) (u,v) 2 2 1 As the Laplacian as operator on L (Ω) with domain H (Ω) ∩ H (Ω) is invertible with compact resolvent, one can transform the ﬁrst two equations of (18) to the system u Kv Kf(t, x, u, v) F (t, u, v) = + t + = 0 , v Ku Kg(t, x, u, v) −1 2 2 where K = Δ : L (Ω) → L (Ω) is compact. The assumptions on f, g and the compactness 2 2 2 2 of K imply that F : R × L (Ω) × L (Ω) → L (Ω,R ) is diﬀerentiable. Moreover, the derivative at (0, 0) of the nonlinear part vanishes by (19) and therefore u Kv B (u, v) = D F (t, 0, 0)(u, v) = + t . t (u,v) v Ku By applying Δ to each component of the equation B (u, v) = 0, one checks that (u(x), v(x)) = (sin(x ) sin(x ), sin(x ) sin(x )) , x = (x , x ) ∈ Ω , 1 2 1 2 1 2 is in the kernel of B . To ﬁnd out if t = 2 is a bifurcation point of F (t, u, v) = 0, let us now compute σ([2 − δ, 2 + δ] ∋ t 7→ B ). First of all, one needs to consider the eigenvalue problem 0 B z z = µ . −B 0 w w By setting z = (u , v ) and w = (u , v ) and applying the Laplace operator in each component, 1 1 2 2 this amounts to solve the system of equations  Δu + tv = µ Δu , in Ω , 2 2 1 Δv + tu = µ Δv , in Ω , 2 2 1 −Δu − tv = µ Δu , in Ω , (20) 1 1 2 −Δv − tu = µ Δv , in Ω ,  1 1 2 u = u = v = v = 0 , on ∂Ω . 1 2 1 2 Setting for integer k , m , l , n where j = 1, 2, j j j j u (x) = sin(k x ) sin(k x ), u (x) = sin(m x ) sin(m x ) , 1 1 1 2 2 2 1 1 2 2 v (x) = sin(l x ) sin(l x ), v (x) = sin(n x ) sin(n x ) , 1 1 1 2 2 2 1 1 2 2 the equations (20) are equivalent to 2 2 2 2 −(m + m )u + tv = −µ (k + k )u , in Ω ,  2 2 1 1 2 1 2  2 2 2 2 −(n + n )v + tu = −µ (l + l )v , in Ω , 2 2 1 1 2 1 2 2 2 2 2 (k + k )u − tv = −µ (m + m )u , in Ω , 1 1 2  1 2 1 2 2 2 2 2 (l + l )v − tu = −µ (n + n )v , in Ω . 1 1 2 1 2 1 2 18 It is readily seen that for t close to 2, one can only have an eigenvalue crossing zero in the 2 2 2 2 subspace of L (Ω,C )⊕L (Ω,C ) spanned by (u , 0, 0, 0), (0, v , 0, 0), (0, 0, u , 0) and (0, 0, 0, v ) 1 1 2 2 when k = k = m = m = l = l = n = n = 1. The four eigenvalues in this subspace are 1 2 1 2 1 2 1 2 ı ı ı ı λ = − (t − 2) , λ = (t − 2) , λ = − (t + 2) , λ = (t + 2) . 1 2 3 4 2 2 2 2 The eigenvalue crossing is simple and analytic, and of the type of the ﬁrst example in (8). Consequently, σ([2 − δ, 2 + δ] ∋ t 7→ B ) = −1 for all small δ > 0 and thus t = 2 is indeed a bifurcation point for (18) by Theorem 8. Acknowledgements: This work was partially supported by the DFG. N.W. thanks the Friedrich-Alexander-Universtita¨t for a Visiting Professorship. References [1] M. F. Atiyah, V. K. Patodi, I. M. Singer, Spectral asymmetry and Riemannian geometry. III, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 79, pp. 71-99. Cambridge University Press, 1976. [2] M. F. Atiyah, I.M. Singer, Index theory for skew-adjoint Fredholm operators, Publications Math´ematiques de l’Institut des Hautes Etudes Scientiﬁques 37, 5-26 (1969). [3] J. Avron, R. Seiler, B. Simon, The index of a pair of projections, J. Funct. Anal. 120, 220-237 (1994). [4] J. M. Borwein, A. L. Dontchev, On the Bartle-Graves theorem, Proc. AMS 131, 2553-2560 (2003). [5] A. L. Carey, D. M. O’Brien, Automorphisms of the inﬁnite dimensional Cliﬀord algebra and the Atiyah-Singer mod 2 index, Topology 22, 437-448 (1983). [6] A. L. Carey, J. Phillips, Spectral ﬂow in Fredholm modules, eta invariants and the JLO cocycle, K-theory 31, 135-194 (2004). [7] A. L. Carey, J. Phillips, H. Schulz-Baldes, Spectral ﬂow for skew-adjoint Fredholm opera- tors, J. Spec. Theory 9, 137-170 (2019). [8] G. De Nittis, H. Schulz-Baldes Spectral ﬂows of dilations of Fredholm operators, Canad. Math. Bulletin 58, 51-68 (2015). [9] G. De Nittis, H. Schulz-Baldes, Spectral ﬂows associated to ﬂux tubes, Annales H. Poincare 17, 1-35 (2016). [10] J. A. Dieudonn´e, The index of operators in Banach spaces, Integral Equ. Op. Th. 8, 580-589 (1985). 19 [11] P. M. Fitzpatrick, J. Pejsachowicz, The fundamental group of the space of linear Fred- holm operators and the global analysis of semilinear equations. Fixed point theory and its applications, (Berkeley, CA, 1986), 4787, Contemp. Math. 72, (AMS, Providence, 1988). [12] P. M. Fitzpatrick, J. Pejsachowicz, A local bifurcation theorem for C -Fredholm maps, Proc. Amer. Math. Soc. 109, 995-1002 (1990). [13] P. M. Fitzpatrick, J. Pejsachowicz, Orientation and the Leray-Schauder theory for fully nonlinear elliptic boundary value problems, Vol. 483, (AMS, Providence, 1993). [14] J. Grossmann, H. Schulz-Baldes, Index pairings in presence of symmetries with applications to topological insulators, Commun. Math. Phys. 343, 477-513 (2016). [15] T. Kato, Perturbation theory for linear operators, 2nd edition, (Springer, 2012). [16] M. A. Krasnoselskii, Topological methods in the theory of nonlinear integral equations, (Macmillan, New York, 1964). [17] M. Lesch, The uniqueness of the spectral ﬂow on spaces of unbounded self-adjoint Fredholm operators, Contemporary Mathematics 366, AMS, 193-224, (2005). [18] V.S. Perera, Real Valued Spectral Flow in a Type II Factor, Houston J. Math 25, 55-66 (1999). [19] J. Phillips, Self-adjoint Fredholm operators and spectral ﬂow, Canad. Math. Bull. 39, 460-467 (1996). [20] J. Phillips, Spectral Flow in Type I and Type II factors-a New Approach, Fields Institute Communications vol. 17, 137-153 (1997). http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematical Physics arXiv (Cornell University) http://www.deepdyve.com/lp/arxiv-cornell-university/parity-flow-as-mathbb-z-2-valued-spectral-flow-H1kIOARUKE

Loading next page...

References (24)

M. Lesch (2004)
The uniqueness of the spectral flow on spaces of unbounded self--adjoint Fredholm operators
arXiv: Functional Analysis
A. Carey, D. O’Brien (1983)
Automorphisms of the infinite dimensional clifford algebra and the atiyah-singer mod 2 index
Topology, 22
A. Carey, J. Phillips (2003)
Spectral flow in Fredholm modules, eta invariants and the JLO cocycle
K-theory, 31
P. Fitzpatrick, J. Pejsachowicz (1988)
The fundamental group of the space of linear Fredholm operators and the globalanalysis of semilinear equations
, 12
M. Atiyah, V. Patodi, I. Singer (1973)
Spectral asymmetry and Riemannian Geometry. I
Mathematical Proceedings of the Cambridge Philosophical Society, 77
J. Dieudonne (1985)
The index of operators in Banach spaces
Integral Equations and Operator Theory, 8
M. F. Atiyah, V. K. Patodi, I. M. Singer (1976)
Mathematical Proceedings of the Cambridge Philosophical Society
Julian Grossmann, H. Schulz-Baldes (2015)
Index Pairings in Presence of Symmetries with Applications to Topological Insulators
Communications in Mathematical Physics, 343
J. Phillips (1996)
Self-Adjoint Fredholm Operators And Spectral Flow
Canadian Mathematical Bulletin, 39
The eigenvalue crossing is simple and analytic, and of the type of the first example in
(1997)
Spectral flow in type I and type II factors‐a new approach
M. Atiyah, I. Singer (1969)
Index theory for skew-adjoint fredholm operators
Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 37
A. Carey, J. Phillips, H. Schulz-Baldes (2016)
Spectral flow for skew-adjoint Fredholm operators
Journal of Spectral Theory
is readily seen that for t close to 2, one can only have an eigenvalue crossing zero in the subspace of L 2 (Ω, C 2 )⊕L 2 (Ω, C 2 ) spanned by
P. M. Fitzpatrick, J. Pejsachowicz (1988)
The fundamental group of the space of linear Fredholm operators and the global analysis of semilinear equations. Fixed point theory and its applications
Giuseppe Nittis, H. Schulz-Baldes (2014)
Spectral Flows Associated to Flux Tubes
Annales Henri Poincaré, 17
(1999)
Real valued spectral flow in a type II∞ factor
J. Borwein, A. Dontchev (2003)
On the Bartle-Graves theorem
, 131
P. Fitzpatrick, J. Pejsachowicz (1993)
Orientation and the Leray-Schauder Theory for Fully Nonlinear Elliptic Boundary Value Problems
Giuseppe Nittis, H. Schulz-Baldes (2014)
Spectral Flows of Dilations of Fredholm Operators
Canadian Mathematical Bulletin, 58
J. Avron, R. Seiler, B. Simon (1994)
The Index of a Pair of Projections
Journal of Functional Analysis, 120
Tosio Kato (1966)
Perturbation theory for linear operators
P. Fitzpatrick, J. Pejsachowicz (1990)
A local bifurcation theorem for C1-Fredholm maps
, 109
M. Krasnoselʹskii (1968)
Topological methods in the theory of nonlinear integral equations
American Mathematical Monthly, 75

ISSN: 0024-6093
eISSN: ARCH-3337
DOI: 10.1112/blms.12282
Publisher site: See Article on Publisher Site

Abstract

This note is about the topology of the path space of linear Fredholm operators on a real Hilbert space. Fitzpatrick and Pejsachowicz introduced the parity of such a path, based on the Leray-Schauder degree of a path of parametrices. Here an alternative ana- lytic approach is presented which reduces the parity to the Z -valued spectral ﬂow of an associated path of chiral skew-adjoints. Furthermore the related notion of Z -index of a Fredholm pair of chiral complex structures is introduced and connected to the parity of a suitable path. Several non-trivial examples are provided. One of them concerns topologi- cal insulators, another an application to the bifurcation of a non-linear partial diﬀerential equation. MSC2010: 47A53, 58J30 1 Introduction The spectral ﬂow for paths of self-adjoint Fredholm operators on a complex Hilbert space is a well-known homotopy invariant [1, 19, 11, 17]. It plays a role in numerous other ﬁelds, e.g. index theory [1, 20, 6, 8] and bifurcation theory [11, 13]. For R-linear operators on a real Hilbert space H , spectral ﬂow is still a well-deﬁned and useful object. Moreover, for paths [0, 1] ∋ t 7→ B of arbitrary (not necessarily self-adjoint) Fredholm operators on H a Z -valued t R 2 parity σ has been introduced by Fitzpatrick and Pejsachowicz [11], and for paths [0, 1] ∋ t 7→ T of skew-adjoint real Fredholm operators a Z -valued spectral ﬂow Sf has also been studied [7]. 2 2 This note presents the parity of a path [0, 1] ∋ t 7→ B of real Fredholm operators as the Z -valued spectral ﬂow of an associated path of chiral skew-adjoint Fredholm operators on H ⊕ H : R R 0 B σ [0, 1] ∋ t 7→ B = Sf [0, 1] ∋ t 7→ . (1) t 2 −B 0 This provides a new perspective on parity and also allows to deduce its main properties directly from known facts on the Z -valued spectral ﬂow. We also believe that the presented approach arXiv:1812.07780v2 [math-ph] 26 Jul 2019 makes the parity more accessible for computations. A new result for the parity is an index formula for paths between conjugate Fredholm pairs of complex structures, see Section 6. This corresponds to analogous results for the spectral ﬂow between conjugate Fredholm pairs of projections [20] as well as the Z -valued spectral ﬂow [7]. To further stress the similarities between spectral ﬂow, Z -valued spectral ﬂow and parity, let us consider the classifying spaces for real K-theory as introduced by Atiyah and Singer [2]. k k Let F = F (H ) denote the space of skew-adjoint Fredholm operators on a real separable Hilbert space H which anticommute with representations I , . . . , I of the generators of a R 1 k−1 real Cliﬀord algebra of signature (0, k − 1) [2]. By reducing out these relations in a concrete representation, it is possible (but tedious) to identify each F with a set of Fredholm operators on H having certain supplementary symmetry relations. Relevant for the following is that 0 8 1 F = F is isomorphic to the set of all Fredholm operators on H , F is isomorphic to the set of skew-adjoint Fredholm operators while F is isomorphic to the self-adjoint Fredholm operators on H with positive and negative essential spectrum. Furthermore, F is isomorphic to the set of those elements of F that are linear over the quaternions. Atiyah and Singer [2] found that the homotopy groups of these spaces satisfy i i+j 0 π (F ) = π (F ) = π (F ) , j 0 j+i and are given explicitly by i 0 1 2 3 4 5 6 7 π (F ) Z Z Z 0 2 Z 0 0 0 (2) 0 2 2 π (F ) Z Z 0 2 Z 0 0 0 Z 1 2 2 The components π (F ) in the second row are labelled by the index (for i = 0, 4) and the Z -index is given by the nullity modulo 2 (for i = 1, 2). The spectral ﬂow provides an explicit 7 3 isomorphism from π (F ) to Z, and also from π (F ) to 2 Z. Here the factor 2 merely stresses 1 1 that eigenvalues of self-adjoint quaternionic operators are always of even multiplicity. More precisely, if a self-adjoint quaternionic matrix is written as a complex matrix of double size, then this complex matrix has a symmetry leading to even dimensional eigenspaces (just like time reversal for fermions with half-integer spin leads to Kramers’ degeneracy). Therefore also the spectral ﬂow along paths of quaternionic operators is even. Furthermore the parity gives the isomorphism π (F ) Z [13] and the Z -valued spectral ﬂow provides the isomorphism 1 2 2 π (F ) = Z [7]. Hence the spectral ﬂow, parity and Z -valued spectral ﬂow allow to detect the 1 2 2 topology in the last row of (2). Furthermore, in view of table (2), one does not expect there to be any other ﬂow of interest. Let us also note that (1) results from realizing F as those elements of F that anticommute with the representation J of the generator of a real Cliﬀord algebra of signature (1, 0). Explicitly, J = diag(1, −1) in its spectral representation and elements T ∈ F with the so-called chiral symmetry JTJ = −T are oﬀ-diagonal as on the right hand-side of (1). This reduction is in the opposite direction than the one considered in [2]. Moreover, chiral skew-adjoints often also appear in diﬀerent guise in applications. An example are chiral self-adjoints, see Section 4, which are naturally associated to chiral topological insulators, see 2 Section 8. Finally, let us stress that while table (2) only concerns closed loops, the deﬁnition of spectral ﬂow, Z -valued spectral ﬂow and parity apply to arbitrary (open) paths. In Section 5 a Z -index of a Fredholm pair of chiral complex structures is introduced. This is the parity version of Kato’s index of a Fredholm pair of projections [15] as further studied by Avron, Seiler and Simon [3]. This is closely tied to the parity, as explained in Section 5 and of particular interest and importance for Fredholm pairs given by unitary conjugates. This leads to an index formula proved in Section 6. Finally Sections 8 and 9 give two applications of the parity. 2 Parity in ﬁnite dimension The characterizing features of the parity can best be understood in ﬁnite dimension. Hence let us consider a (continuous) path [0, 1] ∋ t 7→ B of real N × N matrices acting on the real Hilbert space H = R . Furthermore, let the path be admissible in the sense that its endpoints B and B are invertible, namely are in the general linear group Gl(N,R). This group has two 0 1 components, speciﬁed by either a positive or a negative determinant. The parity of the path [0, 1] ∋ t 7→ B is simply 1 if the endpoints are in the same component and −1 if they are in the two diﬀerent components. The following provides an analytic formula for this. Deﬁnition 1 For an admissible path [0, 1] ∋ t 7→ B of real N × N matrices, the parity is deﬁned as σ([0, 1] ∋ t 7→ B ) = sgn(det(B )) sgn(det(B )) ∈ Z , (3) t 1 0 2 where Z is viewed as the multiplicative group Z = {−1, 1}. As this only depends on the 2 2 endpoints, we will also simply write σ(B , B ). After rescaling, all of this also applies to paths 0 1 [a, b] ∋ t 7→ B with arbitrary endpoints a < b. The deﬁnition directly implies that the parity σ of admissible paths of real matrices is a homotopy invariant (under homotopies of the path keeping the endpoints ﬁxed), it has a concatenation property and it is normalized in the sense that the parity of a path in the invertibles is 1. Furthermore, one has a multiplicativity property under direct sums, namely for another admissible path [0, 1] ∋ t 7→ B of real L × L matrices, the deﬁnition directly implies that ′ ′ σ([0, 1] ∋ t 7→ B ⊕ B ) = σ([0, 1] ∋ t 7→ B ) · σ([0, 1] ∋ t 7→ B ) , t t t t with multiplication in Z . For the generalization to inﬁnite dimension there are several possibilities [17]. The route taken by Fitzpatrick and Pejsachowicz [13] uses the fact that sgn(det(B)) can, under suitable conditions, be extended to inﬁnite dimensions as the Leray-Schauder degree, for details see Section 3 below. In this note we elaborate on another possibility which consists in ﬁrst rewriting Deﬁnition 1 in terms of skew-adjoint matrices on a doubled Hilbert space, just as suggested by Atiyah and Singer [2]. This has the advantage that tools from the spectral analysis of skew-adjoint operators can be used and the connection to the Z -valued spectral ﬂow from 3 ′ [7] is uncovered. Hence let us use the real Hilbert space H = H ⊕ H equipped with the R R Z -grading J = diag(1, −1). Set: 0 B T = . (4) −B 0 These operators have a so-called chiral symmetry: J T J = −T . (5) t t Conversely, if one has a real Hilbert space H equipped with the Z -grading given by a self- ∗ −1 adjoint unitary J = J = J and a path [0, 1] ∋ t 7→ T of real chiral skew-adjoints, then going to the spectral representation of J in which J = diag(1, −1) leads to the representation of T in the form (4). Hence (4) provides a bijection between the set of paths of operators on H and the set of paths of chiral skew-adjoints on H . The chiral symmetry (5) implies that the spectrum always satisﬁes spec(T ) = −spec(T ) ⊂ ıR. A non-trivial topology in the t t path is detected by the Z -valued spectral ﬂow [7], the deﬁnition of which we recall next. For this purpose, let us note that the endpoints T and T are invertible (because the initial path 0 1 was admissible) and therefore there exists an invertible A such that T = A T A. Then, by 1 0 deﬁnition [7], Sf ([0, 1] ∋ t 7→ T ) = sgn(det(A)) ∈ Z . (6) 2 t 2 As the deﬁnition of Sf ([0, 1] ∋ t 7→ T ) only depends on the endpoints we will also write 2 t ∗ ∗ −1 ∗ Sf (T , T ). For T and T in the form (4) one has T = A T A for A = diag((B ) B , 1). This 2 0 1 0 1 1 0 0 1 directly implies σ([0, 1] ∋ t 7→ B ) = Sf ([0, 1] ∋ t 7→ T ) (7) t 2 t whenever the identiﬁcation (4) holds. This explains why (1) holds in ﬁnite dimension. The Z -valued spectral ﬂow given by (6) has an invariance property under conjugation, namely if [0, 1] ∋ t 7→ O is a path of orthogonals commuting with J, then Sf ([0, 1] ∋ t 7→ O T O ) = Sf ([0, 1] ∋ t 7→ T ) . 2 t t 2 t ∗ ∗ ∗ ∗ ∗ ∗ This holds because O T O = O A O (O T O )O AO and det(O AO ) = det(A) since O 1 1 1 0 0 0 0 1 1 0 0 1 1 and O are in the same component of the orthogonal group. This transposes to an invariance property for the parity. Similarly, other properties of parity result from properties of the Z - valued spectral ﬂow. Let us next provide some examples that illustrate the topological stability associated to the parity. For N = 1 we ﬁrst consider two paths 0 t 0 |t| T = , T = , t ∈ [−1, 1] . (8) t t −t 0 −|t| 0 Clearly these two paths are isospectral spec(T ) = spec(T ) for all t ∈ [−1, 1]. By (6) one ﬁnds t t Sf ([−1, 1] ∋ t 7→ T ) = −1 and Sf ([−1, 1] ∋ t 7→ T ) = 1. This has spectral consequences. 2 t 2 t 4 e The latter can be perturbed to T (s) (within the class of real chiral skew-adjoints) in such a way that 0 is not an eigenvalue for any t: 0 |t| + s T (s) = . −(|t| + s) 0 Indeed, the eigenvalues are then ±ı(|t| + s) which both never vanish for positive s > 0. It is not possible to construct such a perturbation for T , namely any real skew-adjoint perturbation conserving the chiral symmetry can merely shift the eigenvalue crossing at 0. Furthermore, let us double the non-trivial example in (8) via a direct sum to T = T ⊕ T t t which is chiral with respect to J ⊕ J = diag(1, −1, 1, −1). Now T is block diagonal rather than in the oﬀ-diagonal form (4). However, using the permutation U of the second and third ∗ ′ ∗ component one obtains the spectral representation U(J ⊕ J)U = diag(1, −1) and then UT U is of the form (4) with oﬀ-diagonal entry B = diag(t, t). Then by the multiplicativity of the Z -valued spectral ﬂow, Sf ([−1, 1] ∋ t 7→ T ) = (−1)(−1) = 1. Again it is then possible 2 2 to lift the kernel along the whole path by a real chiral skew-adjoint perturbation. One such perturbation is   0 0 t −s   0 0 s t ′ ∗   UT (s)U = .   −t −s 0 0 s −t 0 0 1 1 ′ 2 2 2 2 2 2 Indeed, the spectrum of T (s) is {ı(t + s ) , −ı(t + s ) } with a double degeneracy. In particular, for s 6= 0, T (s) is invertible for all t ∈ [−1, 1]. 3 Construction of the parity in inﬁnite dimension In this section, the separable real Hilbert space H is now of inﬁnite dimension and the contin- uous path [0, 1] ∋ t 7→ B ∈ F is within the Fredholm operators. For the sake of simplicity, let us ﬁrst suppose that it lies in the component of Fredholm operators with vanishing index. (In a large part of the literature these are called Fredholm indices even though it was actually F. Noether who ﬁrst exhibited a Fredholm operator with non-vanishing index [10].) The general case will then be dealt with towards the end of the section. In [11, 13], the parity of an admissi- ble path (namely with invertible endpoints) uses the Leray-Schauder degree which is deﬁned as follows. One ﬁrst proves that there exists a second path of real invertibles [0, 1] ∋ t 7→ M such that M B = 1 + K with a real compact operator K . Then, if n denotes the number of nega- t t t t t tive eigenvalues of 1+K counted with multiplicity, n coincides with the number of eigenvalues t t less than −1 of the compact operator K and is therefore ﬁnite. The (linear) Leray-Schauder degree is deg (B ) = (−1) ∈ Z . (9) t 2 Let us explain how this ﬁts together with Deﬁnition 1. If B is a matrix, one can choose M = 1; t t the spectrum of B is symmetric with respect to the reﬂection on the real axis; now non-real eigenvalues of B come in complex conjugate pairs which do not contribute to sgn(det(B )); t t 5 hence analyzing the real eigenvalues immediately leads to deg (B ) = sgn(det(B )). For the t t path, the parity is then as in Deﬁnition 1 given by σ([0, 1] ∋ t 7→ B ) = deg (B )deg (B ) ∈ Z t 1 0 2 2 2 [13]. One of the diﬃculties with this approach is that, in general, it is very hard to determine the path M and therefore also the parity by this procedure. This work provides an alternative approach in which the parity is deﬁned as the Z -valued spectral ﬂow studied in [7] of a path of skew-adjoint operators on the doubled Hilbert space. This is based on the passage (4) to chiral skew-adjoint operators. Hence let H = H ⊕ H R R be a real Hilbert space equipped with the Z -grading J = diag(1, −1). Then (4) identiﬁes 0 0 F = F (H ) with 0 ′ ∗ F = {T ∈ B(H ) : T = −T = −JTJ Fredholm} . 0 1 ′ ∗ 0 Hence F is a subspace of F = {T ∈ B(H ) : T = −T Fredholm}, and any path in F 0 1 can be viewed as a path [0, 1] ∋ t 7→ T ∈ F in F . This path has a supplementary chiral symmetry JT J = −T , but this is irrelevant for the deﬁnition of its Z -valued spectral ﬂow that t t 2 we review next. Hence let now [0, 1] ∋ t 7→ T ∈ F . As already mentioned, we will ﬁrst deal with an admissible path with invertible endpoints T and T . Roughly, the idea is to reduce the 0 1 deﬁnition of the Z -valued spectral ﬂow to the ﬁnite dimensional deﬁnition by extracting from T ∈ F only the ﬁnite-dimensional subspace corresponding to eigenvalues in a small interval around 0, just as in [19]. Thus, for a > 0 let us set Q (t) = χ (ı T ) , a (−a,a) t where χ denotes the characteristic function on I ⊂ R. The projection Q (t) is of ﬁnite I a dimensional range for a suﬃciently small by the Fredholm property of T . Associated to these projections, one has the restrictions Q (t) T Q (t) which are viewed as skew-adjoint matrices a t a on E (t) = Ran(Q (t)). By compactness (see the ﬁrst Lemma in [19]), it is possible to choose a a a ﬁnite partition 0 = t < t < . . . < t < t = 1 of [0, 1] and a > 0, n = 1, . . . , N, such 0 1 N−1 N n that each piece [t , t ] ∋ t 7→ Q (t) is continuous and hence of constant ﬁnite rank, and, n−1 n a moreover, for some ǫ, ′ ′ kQ (t) − Q (t )k < ǫ , ∀ t, t ∈ [t , t ] . (10) a a n−1 n n n Let V : E (t ) → E (t ) be the orthogonal projection of E (t ) onto E (t ), namely n a n−1 a n a n−1 a n n n n n V v = Q (t )v. Then V is a bijection allowing to identify E (t ) with E (t ). Now n a n n a n−1 a n n n n each interval [t , t ] leads to a path [t , t ] ∋ t 7→ Q (t) T Q (t) of chiral, skew-adjoint n−1 n n−1 n a t a n n matrices on E (t) = Ran(Q (t)), but this path may not be admissible. To lift the (even- a a n n dimensional) kernel at the endpoint t , one can add a skew-adjoint perturbation R on the n n kernel of Q (t) T Q (t ) so that a t a n n n n (a ) T = Q (t ) T Q (t ) + R , (11) t a n t a n n n n n n are skew-adjoint invertible operators on E (t). Clearly the choice of the R is largely arbitrary, a n but it is part of Theorem 1 below that the following deﬁnition is independent of the choice of the R . 6 (a) Deﬁnition 2 For an admissable path [0, 1] ∋ t 7→ T ∈ F , let t and a as well as T and t n n V be as above. Then the Z -valued spectral ﬂow is deﬁned by n 2 (a ) (a ) n ∗ n Sf ([0, 1] ∋ t 7→ T ) = Sf T , V T V , (12) 2 t 2 n t n t n−1 n n=1,...,N where on the right hand side the Sf is the ﬁnite dimensional Z -valued spectral ﬂow on E (t ) 2 2 a n−1 as given in (6), and the product is in the multiplicative group (Z , ·). Let us stress that in inﬁnite dimension, it is in general not possible to write Sf (T , T ) for 2 0 1 Sf ([0, 1] ∋ t 7→ T ) because the Z -valued spectral ﬂow depends on the choice of the path. The 2 t 2 basic result on the Z -valued spectral ﬂow is that it is well-deﬁned by the above procedure. Theorem 1 (Theorem 4.2 in [7]) Let [0, 1] ∋ t 7→ T ∈ F be an admissible path. The deﬁnition of Sf ([0, 1] ∋ t 7→ T ) is independent of the choice of the partition 0 = t < t < 2 t 0 1 . . . < t < t = 1 of [0, 1] and the values a > 0 such that [t , t ] ∋ t 7→ Q (t) is N−1 N n n−1 n a continuous and satisﬁes (10), and also the choice of the R in (11). 0 1 As F ⊂ F , one can now use the Z -valued spectral ﬂow to deﬁne the parity. 0 0 Deﬁnition 3 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path and [0, 1] ∋ t 7→ T ∈ F be the t t path associated by (4). Then the parity is deﬁned by σ([0, 1] ∋ t 7→ B ) = Sf ([0, 1] ∋ t 7→ T ) ∈ Z . (13) t 2 t 2 Let us stress again that T ∈ F implies the chiral symmetry JT J = −T , but this is not of t t t importance for the deﬁnition of the Z -valued spectral ﬂow on the right-hand side of (13). One can, however, make more speciﬁc choices in the construction of Sf above, notably the spectral projections satisfy due to the symmetry of [−a, a] Q (t) = JQ (t)J , a a and one can choose the skew-adjoint perturbations R to be chiral. Due to Deﬁnition 3, the parity inherits from the Z -valued spectral ﬂow all of the properties stated in [7]. They are collected in the following result. Most of these properties are already stated in Chapter 6 of [13]. Theorem 2 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path. (i) The parity is homotopy invariant under homotopies in the paths of Fredholm operators keeping the endpoints ﬁxed. (ii) If B is invertible for all t ∈ [0, 1], then σ([0, 1] ∋ t 7→ B ) = 1. t t (iii) The parity has a concatenation property, namely if [0, 2] ∋ t 7→ B ∈ F is a path such that B is invertible, then σ([0, 1] ∋ t 7→ B ) · σ([1, 2] ∋ t 7→ B ) = σ([0, 2] ∋ t 7→ B ) . t t t 7 (iv) The parity is independent of the orientation of the path: σ([0, 1] ∋ t 7→ B ) = σ([0, 1] ∋ t 7→ B ) . t 1−t (v) The parity has a multiplicativity property under direct sums, namely if [0, 1] ∋ t 7→ B ∈ F is a second admissible path, ′ ′ σ([0, 1] ∋ t 7→ B ⊕ B ) = σ([0, 1] ∋ t 7→ B ) · σ([0, 1] ∋ t 7→ B ) . t t t t (vi) The parity is invariant under the conjugation by a path [0, 1] ∋ t 7→ O of orthogonals: σ([0, 1] ∋ t 7→ O B O ) = σ([0, 1] ∋ t 7→ B ) . t t t In particular, the parity is independent under reﬂection of the path: σ([0, 1] ∋ t 7→ B ) = σ([0, 1] ∋ t 7→ −B ) . t t The following result is already stated in [13]. Theorem 3 The map σ on loops in F is a homotopy invariant and induces an isomorphism of π (F ) with Z . 1 2 Proof. As π (F ) = Z is already known [2] and σ is homotopy invariant, one only has to 1 2 check that σ takes two diﬀerent values on the two diﬀerent components of the based loop space in F . For constant paths (and thus all contractible ones) the parity vanishes. An example with a parity equal to −1 is given in Section 7. ✷ Up to now, only paths [0, 1] ∋ t 7→ B in the component of F with vanishing index were considered. For general paths, one has dim Ker(T ) − Ind(B ) ∈ 2 N . t t 0 In particular, for non-vanishing Ind(B ) the dimension of the kernel of T is positive for all t and t t thus there are no admissible paths. However, there are several possibilities to reduce this case to the prior one. For that purpose, let us now call a path admissible if dim Ker(T ) = Ind(B ) i i for i = 0, 1. Recall that Ker(T ) is J-invariant. Let now [0, 1] ∋ t 7→ P be a continuous path of t t J-invariant orthogonal projections onto parts of the kernel of T , and being of the dimension of Ker(T ) for i = 0, 1. Then follow the constructions and arguments from above for T restricted i t to the range of 1 − P . This construction is independent of the choice of [0, 1] ∋ t 7→ P for, t t ′ ′ ∗ if [0, 1] ∋ t 7→ P is another projection with the above properties, then P = O P O for a t t t t t path [0, 1] ∋ t 7→ O of orthogonals commuting with J. Hence it follows from property (vi) of Theorem 2 that one obtains the same parity. All properties of Theorem 2 transpose directly, except for (ii) which now states that paths with constant nullity have a parity equal to 1. 8 4 Reformulation with chiral self-adjoints Given an admissible path [0, 1] ∋ t 7→ B of Fredholm operators on H , it is possible to associate t R self-adjoint real operators on H = H ⊕ H via R R 0 B H = . (14) B 0 0 0 This identiﬁes F with the set F of chiral self-adjoint Fredholm operators 0 ′ ∗ F = {H ∈ B(H ) : H = H = −JHJ Fredholm} . 0 0 ˆ ˜ A bijection between F and F is given by 1 1 0 0 ∗ ˆ ˜ 2 2 F = ı J F (J ) , where J = diag(1, ı1) is the square root of J. In some applications (as in Section 8) one rather ﬁnds admissible paths [0, 1] ∋ t 7→ H ∈ F of chiral self-adjoint real operators. Such paths then have a parity given by 1 1 2 2 σ([0, 1] ∋ t 7→ H ) = Sf [0, 1] ∋ t 7→ ı J H (J ) . t 2 t A further modiﬁcation concerns a setting with complex Hilbert spaces and a reality condition involving another symmetry. Suppose thus that one has a complex Hilbert space H with a real structure given by a (anti-linear involutive) complex conjugation C : H → H , naturally C C ′ ′ extended to H = H ⊕ H . For any linear operator A on H or H let us set A = CAC. C C C C C ′ ∗ 2 Further suppose given a real self-adjoint involution K on H , namely K = K = K and K = 1 which, moreover, commutes with J. Then an operator A is called K-real if K AK = A. Now one considers admissible paths [0, 1] ∋ t 7→ H of K-real self-adjoint chiral operators, namely ∗ ∗ ∗ K H K = H , H = H , J H J = −H . t t t t t Also for such paths one can deﬁne the parity. Indeed, let L be the root of K with spectrum {1, ı}. It commutes with J. Then set H = L H L . t t b b It can be checked that H is real, self-adjoint and chiral with respect to J. Consequently, H t t ′ ′ can be restricted to an R-linear operator on H = Ker(C − 1) ⊂ H . Thus it is within the R C class of paths considered above and the parity of [0, 1] ∋ t 7→ H can be deﬁned as that of [0, 1] ∋ t 7→ H . 5 Fredholm pairs of chiral complex structures The aim of this section is to construct an alternative formula for the parity. This will ﬁrst be done for special paths between complex structures that are close in the Calkin algebra, then 9 ′ later on it will also be extended to general paths. Recall that a complex structure I on H is a linear, skew-adjoint and unitary operator on H . It is called chiral if, moreover, JIJ = −I for ∗ −1 0 a symmetry J, namely J = J = J . Hence any chiral complex structure is an element of F . The following deﬁnition is motivated by [5, 7], as well as Kato’s Fredholm pair of projections and its index [15, 3]. Deﬁnition 4 A pair (I , I ) of chiral complex structures on H is called a Fredholm pair of 0 1 chiral complex structures if kπ(I − I )k < 2. The Z -index of (I , I ) is then deﬁned by 0 1 Q 2 0 1 Ind (I , I ) = dim (Ker (I + I )) mod 2 ∈ Z . (15) 2 0 1 R R 0 1 2 The index is indeed well-deﬁned because I + I = 2 I + (I − I ) has no essential spectrum 0 1 0 1 0 at 0 and it will be shown in the proof of Theorem 4 that the kernel of I +I is even dimensional. 0 1 On the right hand side of (15) the additive version of Z was used and is tacitly identiﬁed with the multiplicative one. The following justiﬁes Deﬁnition 4. Theorem 4 The map (I , I ) 7→ Ind (I , I ) ∈ Z is a homotopy invariant on the set of Fred- 0 1 2 0 1 2 holm pairs of chiral symmetries. Moreover, for both signs one has Ind (I , I ) = dim (Ker (I − I ± 2 ı 1)) mod 2 . (16) 2 0 1 R R 0 1 Before going into the proof, let us elaborate on the connection to the index of a Fredholm pair 1 1 of projections [3]. Here there are two projections P = (ıI +1) and P = (ıI +1) associated 0 0 1 1 2 2 to the complex structures. The property kπ(I − I )k < 2 is equivalent to kπ(P − P )k < 1 0 1 Q 0 1 Q and thus to (P , P ) being a Fredholm pair. Furthermore, these two projections satisfy P = 0 1 j 1−P and JP J = P . In the terminology of [14] this means that the P are even real and even j j j j Lagrangian projections. These symmetries imply that the index of the Fredholm pair (P , P ) 0 1 vanishes, namely the two signs on the right hand side of (16) lead to the same dimension (compare with eq. (3.1) in [3]). Hence one sees that the Z -index Ind (I , I ) is a secondary 2 2 0 1 invariant associated to the Fredholm pair (P , P ) which is well-deﬁned due to Theorem 4. 0 1 The proof of Theorem 4 will be based on the following lemma in which the chiral symmetry and reality are irrelevant. The lemma can be traced back to [5] and is stated as Lemma 5.3 in [7]. An equivalent algebraic fact has also been used for pairs of orthogonal projections [3, Theorem 2.1]. Lemma 1 Let I and I be complex structures. Set 0 1 1 1 T = (I + I ) , T = (I − I ) . 0 0 1 1 0 1 2 2 Then the following identities hold: ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ T T + T T = 1 = T T + T T , T T + T T = 0 = T T + T T , 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 as well as T I = I T , T I = I T , T I = −I T , T I = −I T . 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 10 Proof. Everything is veriﬁed by straightforward computations. ✷ Proof of Theorem 4. First of all, as noted above T = I + (I − I ) is a skew-adjoint 0 0 1 0 Fredholm operator by the assumption that (I , I ) is a Fredholm pair so that there is only 0 1 discrete spectrum in a neighborhood of 0. The idea of the proof is to show that every (small) eigenvalue of T of ﬁnite multiplicity has even multiplicity. As T is chiral and its spectrum 0 0 satisﬁes spec(T ) = −spec(T ), this then implies that the nullity of T only changes by multiples 0 0 0 of 4 under homotopic changes of T (induced by a homotopy of I and I ). The main tool is 0 0 1 ′ ∗ ∗ to view I as a complex structure on H . Now (T T )I = −T I T = I (T T ) so that 0 0 0 0 1 0 0 0 R 0 0 ∗ ′ T T is a complex linear operator on H viewed as complex Hilbert space (using the complex 0 R structure I ). Consequently the real multiplicity of all eigenvalues of T T is even. In particular, 0 0 Ind (I , I ) given by (15) indeed takes values in {0, 1}. Next let us show that for λ ∈ (0, 1), the 2 0 1 complex multiplicity of the eigenspaces of T T is a multiple of 2 (then the real multiplicity is a ∗ ∗ multiple of 4). Suppose that T T v = λv for some non-vanishing vector v. Then set w = T T v. 0 0 0 1 First of all, its norm does not vanish: 2 ∗ ∗ ∗ ∗ ∗ ∗ 2 kwk = v T T T T v = v T (1 − T T )T v = λ(1 − λ)kvk . 1 0 0 0 0 1 0 0 It is also an eigenvector of T T : ∗ ∗ ∗ ∗ ∗ ∗ ∗ T T w = T T T T v = −T T T T v = T T T T v = λw . 0 0 0 1 0 0 0 0 0 1 0 0 1 0 Moreover, it is complex linearly independent of v. In fact, suppose the contrary, namely that w = (µ + µ I )v for some µ , µ ∈ R. Multiplying this with T T leads to 0 1 0 0 1 1 ∗ ∗ ∗ ∗ λ(1 − λ)v = T T T T v = T T w = T T (µ + µ I )v = −(µ − µ I )w , 1 0 1 1 0 1 0 0 1 0 0 1 0 0 ∗ ∗ where in the last equality the identity T T I = −I T T was used. Multiplying now by 1 0 0 1 0 0 (µ + µ I ) shows 0 1 0 2 2 λ(1 − λ)w = −(µ + µ )w , 0 1 that is, a contradiction. If there are further eigenvectors of T T with eigenvalue λ, one can restrict to the orthogonal complement and iterate the above argument. As to the alternative formula for Ind (I , I ), let us note that the kernel of T T coincides 2 0 1 0 with the eigenspace of T T to the eigenvalue 1, which in turn is given by the direct sum of the eigenspaces of T for the eigenvalues ı and −ı. This proves the formula. Let us comment that another proof of the homotopy invariance uses the chiral symmetry of T and checks the double degeneracy of all eigenvalues of T in (0, 1), excluding 1. ✷ The following result establishes the link of Ind (I , I ) with the Z -valued spectral ﬂow of 2 0 1 2 0 1 the straight line connecting I and I , which indeed lies in F ⊂ F . 0 1 Proposition 1 For any Fredholm pair of chiral complex structures (I , I ) on H , one has 0 1 Sf [0, 1] ∋ t 7→ (1 − t) I + t I = Ind (I , I ) . 2 0 1 2 0 1 11 Proof. This is essentially identical to the argument leading to Proposition 6.2 in [7], so let us just give a sketch. The operators T = (1−t)I +tI are indeed Fredholm because, for t ∈ [0, ], t 0 1 T = I + t(I − I ) is a perturbation of an operator I with spectrum {−ı, ı} by an operator t 0 1 0 0 with bound 1 in the Calkin algebra so that T has its essential spectrum bounded away from 0. For t ∈ [ , 1], this holds by the same argument as T = I + (1 − t)(I − I ). Moreover, T t 1 0 1 t is invertible except possibly at t = . Hence in Deﬁnition 2 it is suﬃcient to work with three 1 1 1 1 intervals [0, − ǫ], [ − ǫ, + ǫ] and [ + ǫ, 1] for some ǫ > 0. Only the middle interval has a 2 2 2 2 possibly non-vanishing contribution coming from the parity of the nullity of T 1 = (I + I ). 0 1 But this is precisely the deﬁnition (15) of the Z -index. ✷ Further following [20] or [7], one can go on and rewrite the deﬁnition of the parity. 0 0 Proposition 2 Let [0, 1] ∋ t 7→ B ∈ F be an admissible path and associated T ∈ F to B by t t t −1 (4). Let I be chiral complex structures obtained by completing the phase T |T | on the kernel. t t t Then, for a suﬃciently ﬁne partition 0 = t < t · · · < t = 1 satisfying kπ(I − I )k < 2, 0 1 N n n−1 one has for the parity σ([0, 1] ∋ t 7→ B ) = Ind (I , I ) mod 2 . t 2 t t n−1 n n=1,...,N Proof. Let us begin by rewriting Deﬁnition 2. One can choose R in (11) suﬃciently small and the partition t = 0 < t < · · · < t = 1 suﬃcient ﬁne such that a from Deﬁnition 2 is 0 1 N n not in the spectrum of (1 − t) ı (T + R ) + t ı (T + R ) for any t ∈ [0, 1]. By deﬁnition t n−1 t n n−1 (a ) (a ) n ∗ n Sf T , V T V = Sf [0, 1] ∋ t 7→ (1 − t) (T + R ) + t (T + R ) 2 n 2 t n−1 t n t n t n−1 n n−1 n and Sf ([0, 1] ∋ t 7→ T ) = Sf [0, 1] ∋ t 7→ (1 − t) (T + R ) + t (T + R ) . 2 t 2 t n−1 t n n−1 n n=1,...,N By identifying T + R with T , we can from now on assume that T is invertible. Next let t n t t n n n us claim that for each n = 1, . . . , N one has Sf [0, 1] ∋ t 7→ (1 − t) T + t T = Sf [0, 1] ∋ t 7→ (1 − t) I + t I . 2 t t 2 t t n−1 n n−1 n Indeed, as T and T are both invertible, t t n n−1 −s −s [0, 1] ∋ s 7→ (1 − t) T |T | + t T |T | t t t t n−1 n−1 n n deforms the initial path into the path [0, 1] ∋ t 7→ (1 − t) I + t I . During this homotopy t t n−1 n the endpoints remain invertible so that the Z -valued spectral ﬂow is unchanged. Now the assertion follows from Proposition 1. ✷ 12 6 Parity of paths between unitary conjugates Let H = H ⊕ H be equipped with the Z -grading J = diag(1, −1). The orthogonal group R R 2 preserving J is ′ ′ ∗ O(H , J) = {O ∈ O(H ) : O JO = J} . R R ′ ∗ This is a subgroup of O(H ) naturally identiﬁed with O(H ) × O(H ) because O JO = J is R R equivalent to JOJ = O which requires O to be diagonal in the grading of J. For any real chiral complex structure I, let us set ′ ′ ′ O (H , J) = {O ∈ O(H , J) : [O, I] ∈ K(H )} , (17) R R R ′ ′ ′ where K(H ) denotes the compact operators on H . This is a subgroup of O(H , J). Let us R R R ′ ∗ note that for O ∈ O (H , J) one has π(O IO) = π(I) in the Calkin algebra. Furthermore, 0 0 ˆ ˆ recall the deﬁnition of the based loop space Ω F of F based at I: 0 0 ˆ ˆ Ω F = [0, 1] ∋ t 7→ T ∈ F : T = T = I . I t 1 0 ′ ′ Theorem 5 For any chiral complex structure I on H , the group O (H , J) is homotopy R R 0 ′ ˆ ∼ equivalent to Ω F . In particular, π (O (H , J)) Z . I 0 I 2 As a preparatory result for the proof, let us state the following. 0 0 ∼ ˆ Proposition 3 The space F F is homotopy equivalent to the space C(H ) = {π(I) ∈ Q : π(I) chiral complex structure} . Proof. We closely follow the proof of Theorem 7.1 of [7], which in turn is based on [2, 20]. 0 0 ˆ ˆ Let ρ : F → F be the (non-linear and discontinuous) map sending T to the partial isometry −1 I = T|T| in the polar decomposition. If π denotes as before the quotient map onto the ′ ′ 0 Calkin algebra Q = Q(H ) over H , then the map ρˆ = π ◦ ρ sends F surjectively onto R R ′ ′ C(H ). Indeed, any chiral complex structure π(I) ∈ C(H ) has a chiral and skew-adjoint lift R R ′ ′ ∗ ′ ′ I for which (I ) I − 1 is compact; then the Riez projections P on the positive and negative ′ ′ ′ ∗ spectral projections of −ıI lead to a lift I = ıP −ıP for which I I −1 is a ﬁnite dimensional + − projection (on the kernel of I ). The Bartle-Graves selection theorem [4] now provides a right ′ 0 inverse θ : C(H ) → F to ρˆ, namely ρˆ ◦ θ = 1. Moreover, θ ◦ ρˆ is homotopic to the identity −1 via [0, 1] ∋ t 7→ t T + (1 − t) θ(ρˆ(T )). As θ(ρˆ(T )) = T|T| + K for some chiral skew-adjoint 0 0 ˆ ˆ compact K, this is a homotopy in F . Thus ρˆ is actually a homotopy equivalence so that F and C(H ) are homotopy equivalent. ✷ Proof of Theorem 5. Due to Proposition 3 it is suﬃcient to show the homotopy equivalence ′ ′ ′ of O (H , J) and Ω C(H ). Here, the chiral complex structure I on H also speciﬁes a I ρˆ(I) R R R ′ ′ ′ base point ρˆ(I) in C(H ). Associated to I, one can deﬁne a map β : O(H , J) → C(H ) R R R ∗ ∗ via β (O) = ρˆ(OIO ) = π(OIO ). This map is actually a Serre ﬁbration by the argument in Theorem 3.9 of [18]. The ﬁber over the base point ρˆ(I) = π(I) is precisely the set O (H , J) from (17). Hence one can use the long exact sequence of homotopy groups, which due to the 13 ′ ′ triviality of the homotopy groups of O(H , J) implies that the set Ω C(H ) of based loops in ρˆ(I) R R the base space is homotopy equivalent to the ﬁber over the base point which here is O (H , J). Because the loop functor respects homotopy, we conclude from the above that the based loop 0 ′ 0 ˆ ˆ ∼ space Ω F is homotopy equivalent to O (H , J). The last claim follows from π (F ) Z . ✷ I I 1 2 It is possible to use the index map j : O (H , J) → Z deﬁned by I I 2 j (O) = Ind (I, OIO ) I 2 to distinguish the two components of O (H , J). Furthermore, applying Theorem 4 and Propo- sition 1 to I = I and I = OIO leads to the following. 0 1 Corollary 1 For any chiral complex structure I, j is a homotopy invariant homomorphism labelling the two components of O (H , J). One has j (O) = Sf [0, 1] ∋ t 7→ (1 − t) I + t OIO . I 2 The (Noether) index of a Toeplitz operator associated to a given index pairing can always be expressed as a spectral ﬂow [19, 20, 8]. The following result is the parity version of this result, similar to [7] which contains a corresponding result for the Z -valued spectral ﬂow. ′ ′ Theorem 6 Let I be a real chiral complex structure on H and O ∈ O (H , J). If P is R R the spectral projection onto the positive imaginary spectrum of I where I was extended to a skew-adjoint operator on H ⊗ C, then Sf [0, 1] ∋ t 7→ (1 − t)I + tOIO = dim Ker (POP + 1 − P ) mod 2 . 2 C C Proof. First of all, the Z -index on the right hand side is of the type (j, d) = (1, 8) in Theorem 1 of [14]. Indeed, P satisﬁes P = 1 − P and JPJ = 1 − P (namely, P is even real and even Lagrangian in the terminology of [14]) as well as JOJ = O. In particular, the index pairing on the right hand side is a homotopy invariant under variations of O and P respecting all the properties mentioned above. Now given I, the set O (H , J) has two components by Theorem 5. The proof of Theorem 6 is thus remarkably simple. Both sides of the equality are homotopy invariants and lie in Z . Hence it is suﬃcient to verify equality on both components. For O = 1, both sides vanish. For the other component, the equality is veriﬁed for a non-trivial example in the next section. ✷ 7 A non-trivial example Let p be a one-dimensional projection on an inﬁnite-dimensional Hilbert space H . We consider 0 1 1 − 2p 0 I = , O = . −1 0 0 1 Then all conditions in Theorem 6 are satisﬁed. One has 1 −ı1 P = , ı1 1 14 and p −ıp POP + (1 − P ) = 1 − . ıp p In particular, dim(Ker(POP )) = dim(p) = 1. Hence the index on the right hand side of Theorem 6 is equal to 1. On the other hand, the straight-line path is 0 1 − 2 t p I = (1 − t) I + t O IO = . −1 + 2 t p 0 Hence this contains exactly one copy of the example (8), and so Sf ([0, 1] ∋ t 7→ I ) = −1 2 t (notably, the non-trivial value). The above path can be completed to a loop with [1, 2] ∋ t 7→ I = O IO where [1, 2] ∋ t 7→ t t O is a Kuipers path connecting O to 1. As this second path is in the invertibles it has trivial Z -valued spectral ﬂow. Therefore [0, 2] ∋ t 7→ I is a loop with non-trivial Z -valued spectral 2 t 2 ﬂow. This provides the example needed in the proof of Theorem 3. Let us also calculate the parity of [0, 1] ∋ t 7→ I as in [13]. One needs to look at the oﬀ- diagonal entry B as in (4), and determine an invertible operator M such that M B − 1 = K t t t t t is compact. Clearly, M = 1 will do, and then K = 0 and K = −2p so that deg (T ) = 1 and t 0 1 0 deg (T ) = −1. Thus one ﬁnds again that the parity of the path is −1. 8 Application to a topological insulator In the following the reformulation with chiral self-adjoints from Chapter 4 is used. Let H = 2 N ′ ℓ (Z) ⊗ C and consider the following operator on H = H ⊕ H : C C 0 (S ) ⊗ 1 t N H = , ∗ k (S ) ⊗ 1 0 where k ∈ Z and S is the bilateral shift perturbed on one link from 1 to cos(πt), namely in Dirac notation S = |nihn + 1| + cos(πt) |0ih1| . n6=0 The Hamiltonian has the chiral symmetry (5) and is real as well as self-adjoint for all t: H = H = H = −JH J . t t t Thus it is possible to consider the parity of the path [0, 1] ∋ t 7→ H . One ﬁnds kN σ([0, 1] ∋ t 7→ H ) = (−1) . This property is now stable under any kind of perturbations not closing the spectral gap of H , such as a chiral disordered potential V = −JV J of moderate strength. Here ω is a 0 ω ω point in a compact W -dynamical system (Ω, T,Z,P) given by the shift action T of Z and an 15 invariant and ergodic probability measure P. Let us comment that the non-triviality of the path [0, 1] ∋ t 7→ H has nothing to do with the strong invariants appearing in the periodic table of topological insulators. The Hamiltonian has an even time-reversal symmetry and a chiral symmetry. Hence it lies in the so-called BDI class. As such, in dimension d = 1 there are inﬁnitely many distinct phases labelled by the strong invariant, which in the above example is the number kN specifying the winding of the oﬀ-diagonal entry of H . For each k, the Hamiltonian is then in the corresponding component of Fredholm operators and stays within it along the path [0, 1] ∋ t 7→ H , because it resulted from a merely local perturbation of H . It t 0 is now a fact that such paths can be topologically non-trivial because the fundamental group of F is Z . The parity detects this topology. Let us now come to the physical implications of the non-trivial parity. One can directly conclude that H has to have an eigenvalue crossing through 0 at some t ∈ [0, 1]. However, more can be said, namely one such eigenvalue crossing has to take place at half ﬂux. Theorem 7 If kN is odd, then H 1 has an odd number of evenly degenerate zero modes, namely the multiplicity of 0 as eigenvalue is 2 modulo 4. Proof. Let us introduce the gauge transformation X X G = |nihn| − |nihn| . n>0 n≤0 Then GS G = S so that GH G = H . Consequently the zero eigenvalue crossings for t lead t 1−t t 1−t to zero eigenvalue crossings for 1 − t. As the parity is invariant under a change of orientation and also unitary conjugations, these eigenvalue crossing cancel and do not lead to a net parity, 1 1 except at t = . This implies that at t = one has to have an odd number of eigenvalue 2 2 crossings. Consequently, the multiplicity of the zero eigenvalue is 2 modulo 4. ✷ Note that at half-ﬂux, the shift does not connect left and right half-space so that H 1 is a diret sum of a left and a right half-space Hamiltonian. Each has to have a zero mode, leading to the two-fold symmetry. Let us further add a few comments on how to interpret Theorem 7 against the background of the periodic table of topological insulators. As already stated, all the above Hamiltonians are from the BDI class of chiral Hamiltonians with an even time- reversal symmetry (integer spin). Also the Hamiltonian H 1 is within this class. If one extracts only the low lying spectrum (eigenvalues in the vicinity of 0), this reduced Hamiltonian is a ﬁnite dimensional matrix and hence represents a system of dimension d = 0 (corresponding to the local defect induced by a half-ﬂux). The set of 0-dimensional BDI Hamiltonians has two components which are distinguished by the parity of the zero modes (of each half-sided Hamiltonian). Theorem 7 states that H 1 is in the non-trivial component of the 0-dimensional BDI Hamiltonians always having a zero mode. 9 Application to bifurcation theory The aim of this ﬁnal section is to apply the parity in the bifurcation theory of solutions to nonlinear operator equations depending on a real parameter. It was precisely for this purpose 16 that the parity was originally introduced and put to work [11, 12, 13]. The treatment given in this note suggests to construct examples with a skew-adjoint linearization which has a chiral symmetry built in. This is essentially what is done below. Let us begin by exposing the theoretical framework of bifurcation theory and the main result used later on. Given two real Banach spaces X and Y and an interval I ⊂ R, one considers continuous maps F : I × X → Y for which we assume throughout that F (t, 0) = 0 for all t ∈ I. In this context, one then calls the set I × {0} the trivial branch of solutions of F (t, u) = 0. A bifurcation point for the family of equations F (t, u) = 0, t ∈ I, is a parameter value t where a new branch of solutions appears. Deﬁnition 5 A parameter value t ∈ I is a bifurcation point for the family of equations F (t, u) = 0 if in every neighborhood of (t , 0) ∈ I × X there is some (t, u) such that u 6= 0 and F (t, u) = 0. Let us now assume that the map F is continuously diﬀerentiable in u. The implicit function theorem then implies that if the linear map D F (t , 0) : X → Y is invertible, there is a neighborhood of (t , 0) in I ×X for which there is a unique solution of the equation F (t, u) = 0. As F (t, 0) = 0 by assumption, we see that t cannot be a bifurcation point in this case. ∗ ∗ Consequently, D F (t , 0) must be singular if t is a bifurcation point. Let us stress, however, ∗ ∗ that not every t for which D F (t , 0) is singular, is necessarily a bifurcation point. The aim of bifurcation theory is to ﬁnd suﬃcient conditions under which a singular point t is a bifurcation point. While such problems have been considered for centuries, topological criteria for existence of bifurcations in an inﬁnite dimensional set-up were only made by Krasnoselskii in the sixties [16]. One extension of his ideas is the work of Fitzpatrick and Pejsachowicz [12] which uses the parity and is described next. For a continuously diﬀerentiable F let us consider the bounded linear operator B = D F (t, 0) and suppose that their index vanishes. As I ∋ t 7→ B is a t u t continuous path by assumption, its parity is deﬁned. Theorem 8 ([12]) Suppose that I ∋ t 7→ B is an admissible path. If σ(I ∋ t 7→ B ) = −1, t t then there is a bifurcation point t ∈ I for the family of equations F (t, u) = 0. In the following, we provide an example of a parameter dependent system of partial diﬀer- ential equations for which the parity can be calculated explicitly. On Ω = (0, π) × (0, π) let us consider the family of elliptic systems parametrized by t ∈ R −Δu = tv + f(t, x, u, v) , in Ω , −Δv = tu + g(t, x, u, v) , in Ω , (18) u = v = 0 , on ∂Ω , Ω × R → R are continuously diﬀerentiable. We assume that where u, v : Ω → R and f, g : R × f(t, x, 0, 0) = g(t, x, 0, 0) = 0 for all (t, x) ∈ R × Ω so that (u, v) = (0, 0) is a solution of (18) 17 for all t ∈ R. Moreover, all partial derivatives of f and g with respect to u and v are supposed to be bounded and satisfy D f(t, x, 0, 0) = D g(t, x, 0, 0) = 0 , (t, x) ∈ R × Ω . (19) (u,v) (u,v) 2 2 1 As the Laplacian as operator on L (Ω) with domain H (Ω) ∩ H (Ω) is invertible with compact resolvent, one can transform the ﬁrst two equations of (18) to the system u Kv Kf(t, x, u, v) F (t, u, v) = + t + = 0 , v Ku Kg(t, x, u, v) −1 2 2 where K = Δ : L (Ω) → L (Ω) is compact. The assumptions on f, g and the compactness 2 2 2 2 of K imply that F : R × L (Ω) × L (Ω) → L (Ω,R ) is diﬀerentiable. Moreover, the derivative at (0, 0) of the nonlinear part vanishes by (19) and therefore u Kv B (u, v) = D F (t, 0, 0)(u, v) = + t . t (u,v) v Ku By applying Δ to each component of the equation B (u, v) = 0, one checks that (u(x), v(x)) = (sin(x ) sin(x ), sin(x ) sin(x )) , x = (x , x ) ∈ Ω , 1 2 1 2 1 2 is in the kernel of B . To ﬁnd out if t = 2 is a bifurcation point of F (t, u, v) = 0, let us now compute σ([2 − δ, 2 + δ] ∋ t 7→ B ). First of all, one needs to consider the eigenvalue problem 0 B z z = µ . −B 0 w w By setting z = (u , v ) and w = (u , v ) and applying the Laplace operator in each component, 1 1 2 2 this amounts to solve the system of equations  Δu + tv = µ Δu , in Ω , 2 2 1 Δv + tu = µ Δv , in Ω , 2 2 1 −Δu − tv = µ Δu , in Ω , (20) 1 1 2 −Δv − tu = µ Δv , in Ω ,  1 1 2 u = u = v = v = 0 , on ∂Ω . 1 2 1 2 Setting for integer k , m , l , n where j = 1, 2, j j j j u (x) = sin(k x ) sin(k x ), u (x) = sin(m x ) sin(m x ) , 1 1 1 2 2 2 1 1 2 2 v (x) = sin(l x ) sin(l x ), v (x) = sin(n x ) sin(n x ) , 1 1 1 2 2 2 1 1 2 2 the equations (20) are equivalent to 2 2 2 2 −(m + m )u + tv = −µ (k + k )u , in Ω ,  2 2 1 1 2 1 2  2 2 2 2 −(n + n )v + tu = −µ (l + l )v , in Ω , 2 2 1 1 2 1 2 2 2 2 2 (k + k )u − tv = −µ (m + m )u , in Ω , 1 1 2  1 2 1 2 2 2 2 2 (l + l )v − tu = −µ (n + n )v , in Ω . 1 1 2 1 2 1 2 18 It is readily seen that for t close to 2, one can only have an eigenvalue crossing zero in the 2 2 2 2 subspace of L (Ω,C )⊕L (Ω,C ) spanned by (u , 0, 0, 0), (0, v , 0, 0), (0, 0, u , 0) and (0, 0, 0, v ) 1 1 2 2 when k = k = m = m = l = l = n = n = 1. The four eigenvalues in this subspace are 1 2 1 2 1 2 1 2 ı ı ı ı λ = − (t − 2) , λ = (t − 2) , λ = − (t + 2) , λ = (t + 2) . 1 2 3 4 2 2 2 2 The eigenvalue crossing is simple and analytic, and of the type of the ﬁrst example in (8). Consequently, σ([2 − δ, 2 + δ] ∋ t 7→ B ) = −1 for all small δ > 0 and thus t = 2 is indeed a bifurcation point for (18) by Theorem 8. Acknowledgements: This work was partially supported by the DFG. N.W. thanks the Friedrich-Alexander-Universtita¨t for a Visiting Professorship. References [1] M. F. Atiyah, V. K. Patodi, I. M. Singer, Spectral asymmetry and Riemannian geometry. III, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 79, pp. 71-99. Cambridge University Press, 1976. [2] M. F. Atiyah, I.M. Singer, Index theory for skew-adjoint Fredholm operators, Publications Math´ematiques de l’Institut des Hautes Etudes Scientiﬁques 37, 5-26 (1969). [3] J. Avron, R. Seiler, B. Simon, The index of a pair of projections, J. Funct. Anal. 120, 220-237 (1994). [4] J. M. Borwein, A. L. Dontchev, On the Bartle-Graves theorem, Proc. AMS 131, 2553-2560 (2003). [5] A. L. Carey, D. M. O’Brien, Automorphisms of the inﬁnite dimensional Cliﬀord algebra and the Atiyah-Singer mod 2 index, Topology 22, 437-448 (1983). [6] A. L. Carey, J. Phillips, Spectral ﬂow in Fredholm modules, eta invariants and the JLO cocycle, K-theory 31, 135-194 (2004). [7] A. L. Carey, J. Phillips, H. Schulz-Baldes, Spectral ﬂow for skew-adjoint Fredholm opera- tors, J. Spec. Theory 9, 137-170 (2019). [8] G. De Nittis, H. Schulz-Baldes Spectral ﬂows of dilations of Fredholm operators, Canad. Math. Bulletin 58, 51-68 (2015). [9] G. De Nittis, H. Schulz-Baldes, Spectral ﬂows associated to ﬂux tubes, Annales H. Poincare 17, 1-35 (2016). [10] J. A. Dieudonn´e, The index of operators in Banach spaces, Integral Equ. Op. Th. 8, 580-589 (1985). 19 [11] P. M. Fitzpatrick, J. Pejsachowicz, The fundamental group of the space of linear Fred- holm operators and the global analysis of semilinear equations. Fixed point theory and its applications, (Berkeley, CA, 1986), 4787, Contemp. Math. 72, (AMS, Providence, 1988). [12] P. M. Fitzpatrick, J. Pejsachowicz, A local bifurcation theorem for C -Fredholm maps, Proc. Amer. Math. Soc. 109, 995-1002 (1990). [13] P. M. Fitzpatrick, J. Pejsachowicz, Orientation and the Leray-Schauder theory for fully nonlinear elliptic boundary value problems, Vol. 483, (AMS, Providence, 1993). [14] J. Grossmann, H. Schulz-Baldes, Index pairings in presence of symmetries with applications to topological insulators, Commun. Math. Phys. 343, 477-513 (2016). [15] T. Kato, Perturbation theory for linear operators, 2nd edition, (Springer, 2012). [16] M. A. Krasnoselskii, Topological methods in the theory of nonlinear integral equations, (Macmillan, New York, 1964). [17] M. Lesch, The uniqueness of the spectral ﬂow on spaces of unbounded self-adjoint Fredholm operators, Contemporary Mathematics 366, AMS, 193-224, (2005). [18] V.S. Perera, Real Valued Spectral Flow in a Type II Factor, Houston J. Math 25, 55-66 (1999). [19] J. Phillips, Self-adjoint Fredholm operators and spectral ﬂow, Canad. Math. Bull. 39, 460-467 (1996). [20] J. Phillips, Spectral Flow in Type I and Type II factors-a New Approach, Fields Institute Communications vol. 17, 137-153 (1997).

Journal

Mathematical Physics – arXiv (Cornell University)

Published: Dec 19, 2018

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Parity flow as ${\mathbb Z}_2$-valued spectral flow

Parity flow as ${\mathbb Z}_2$-valued spectral flow

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Parity flow as ${\mathbb Z}_2$-valued spectral flow

Parity flow as ${\mathbb Z}_2$-valued spectral flow

References (24)

Abstract

Journal

Recommended Articles

There are no references for this article.

Our policy towards the use of cookies