Momentum-Space Cigar Geometry in Topological Phases
In this paper, we stress the importance of momentum-space geometry in the understanding of two-dimensional topological phases of matter. We focus, for simplicity, on the gapped boundary of three-dimensional topological insulators in class AII, which are described by a massive Dirac Hamiltonian and characterized by an half-integer Chern number. The gap is induced by introducing a magnetic perturbation, such as an external Zeeman field or a ferromagnet on the surface. The quantum Bures metric acquires a central role in our discussion and identifies a cigar geometry. We first derive the Chern number from the cigar geometry and we then show that the quantum metric can be seen as a solution of two-dimensional non-Abelian BF theory in momentum space. The gauge connection for this model is associated to the Maxwell algebra, which takes into account the Lorentz symmetries related to the Dirac theory and the momentum-space magnetic translations connected to the magnetic perturbation. The Witten black-hole metric is a solution of this gauge theory and coincides with the Bures metric. This allows us to calculate the corresponding momentum-space entanglement entropy that surprisingly carries information about the real-space conformal field theory describing the defect lines that can be created on the gapped boundary.
Geometry is nowadays recognized as a fundamental ingredient in understanding of topological phases of matter 1 (). Several physical properties, such as Hall viscosity 2 (); 3 () and thermal Hall effect Kane (); 4 (); 5 (), can be naturally de- scribed through effective geometric theories. Most of the efforts have been directed to the formulation of geometric models in real space. Deformations and dislocations in the lattice 6 (); 7 () and interactions in continuous systems 8 () can be represented by effective models in real curved space. Some of these models are characterized, for instance, by a non-minimal coupling between gauge field and background 9 (); 10 (), non-zero torsion 6 (); 11 (), quantum anomalies 12 (); 13 (); 14 (), spin-orbit coupling in curved space 15 (), etc.
In an our recent work 10 (), we have employed a geometric Chern-Simons theory in real space based on a 2+1-dimensional Maxwell algebra 16 (); 17 () to study the gapped boundary of three-dimensional topological insulators in class AII 18 (). This algebra encodes both Lorentz symmetries and magnetic translations 19 (); 20 (). The former are related to the Dirac surface states while the latter are due to the presence of a magnetic perturbation, such as an external Zeeman field or ferromagnet 21 (), that induces a gap on the surface.
However, the role of momentum-space geometry is much less understood in topological materials. A real-space geometric theory cannot be naturally translated in a momentum-space model due to the lacking of a well-defined Fourier transformation in a generic curved background. Besides the well-known Berry phase, the quantum Bures (or Fubini-Study) metric can be derived from the band structures of lattice models 22 (); 23 (). It represents the natural metric of an effective curved momentum-space in condensed matter systems. Recent works point out that this kind of geometry has deep physical implications in topological phases 24 (); 25 (); 26 (); 27 (); 28 (); 29 (); 30 (); 31 (); 32 (). Similar ideas about curved momentum-space geometry have been also developed in high-energy physics literature 33 (); 34 (); 35 (); 36 (); 37 (); 38 (); 39 ().
In this paper, we focus on the geometric properties of the momentum space of two-dimensional topological phases. In particular, we analyze the gapped boundary of three-dimensional topological insulators in class AII, which is described by a massive Dirac Hamiltonian 18 (). In this case, the Bures metric identifies a cigar geometry as shown by Matsuura and Ryu 32 (). We firstly show that the a Chern number can be directly derived from the cigar geometry and coincides with the value calculated through the standard Berry phase. We then propose a suitable non-Abelian BF theory 40 () in the two-dimensional momentum space, where the Witten black-hole (WBH) metric 41 (); 42 () is a solution of its equations of motion and coincides with the Bures metric of the cigar geometry. The gauge connection of the BF theory is related to the lower-dimensional Maxwell algebra, employed in the study of dilaton gravity 40 () and conformal field theories (CFTs) 43 (). This algebra is basically a central extension of the two-dimensional Euclidean Poincaré algebra. The choice of this gauge theory is physically well justified. Firstly, the BF theory represents a non-trivial topological field theory in two dimensions 44 (). Different versions of this theory have been successfully employed in the study of topological insulators, superconductors, superfluids and graphene in real flat space 45 (); 46 (); 47 (); 48 (); 49 (); 50 (). Secondly, the Maxwell algebra, naturally encodes the Lorentz symmetries related to the Dirac theory and the momentum-space magnetic translations 27 () connected to the magnetic perturbation. Finally, by following the results by Solodukhin 51 (); 52 () on the entanglement entropy (EE) of the WBH, we show that the momentum-space EE contains information about the CFT related to the topological phase. This critical theory describes the defect lines that be created on the gapped boundary of the three-dimensional topological insulator. Our results enlighten novel and important connections between geometric and topological features of condensed-matter systems.
Ii Bures metric and Chern number
We start by stressing the role of gauge formalism in the momentum space of topological systems. Several topological invariants associated to the band structure are indeed related to Abelian and non-Abelian Berry phase, which depends on the Bloch wave-functions 1 (). For instance, in two-dimensional Chern insulators, the integral of the U(1) Berry curvature on the first Brillouin zone, gives us the Chern number 53 (). In three-dimensional time-reversal-invariant topological insulators, the corresponding Z topological number is given in terms of the non-Abelian Chern-Simons invariant of a non-Abelian Berry connection . All these topological terms are defined in terms of gauge connections, which are static gauge fields, i.e. they cannot be solutions of any effective action. Intriguously, it has been recently proposed a dynamical version of the Berry connection in three-dimensional topological superconductors, that is a solution of the equations of motion of a non-Abelian Chern-Simons theory 54 (). BF theory 44 () represents the natural topological field theory in two dimensions.
In the next section, we will show that a non-Abelian BF theory 40 () can describes the momentum-space geometry of a suitable two-dimensional topological phase, given in terms of the Bures metric . This metric is the real part of the quantum geometric tensor 22 (); 23 ()
where the Abelian Berry curvature represents its imaginary part. The Bures metric is explicitly given by
where is the spectral projector onto the filled Bloch wave-functions . The quantum metric plays an important role in many-body systems and generally carries different information with respect to the Berry phase. The Bures metric has been connected to physical properties and observables of two-dimensional systems, such as density operators 24 (); 25 (); 26 (), quantum phase transitions 55 (); 56 (); 57 (), superfluid weight 58 (), orbital susceptibility 59 (); 60 (). Here, we focus on the geometric properties of gapped boundary of three-dimensional insulators in class AII, where a gap is induced by an external Zeeman field or by an ferromagnet on the surface 21 (). For a single Dirac mode, the surface state is described in the low-energy regime by a two-dimensional massive Dirac Hamiltonian
where are the Pauli matrices, is the Dirac mass induced by the magnetic perturbation and the Fermi velocity is fixed to . By assuming , the corresponding Berry connection and curvature for the lowest filled band are respectively given by
The topological invariant at low momenta () is the first Chern number
where , and is the line element of the unit circle in polar coordinate. In particular, we have that
where . This implies that the effective momentum space is a cigar geometry, which has positive Gaussian curvature at low momenta and is asymptotically equivalent to a cylinder with finite circumference at large momenta, see Fig.1. We now employ Kähler geometry Nakahara () to show the deep relation between the topological information contained in the cigar geometry and the first Chern number associated to the Berry phase. We can indeed complexify our momentum space by introducing the following complex variables
such that the cigar, up to some normalized coefficient, is defined by the following infinitesimal line element Chow ()
where a K ähler metric. Notice, that complex spaces have been already applied in the study of Majorana fermions and topological phases Hatsugai (); Mandal (); Chua (). It is then possible to calculate the Ricci curvature and the Ricci form of the above metric, respectively given by
where and is the wedge product. We can now employ an important theorem in Kähler geometry that states that the Chern curvature form associated to the complex tangent bundle is proportional to the Ricci form Nakahara (), namely
The Chern connection coincides with the complexification of Levi-Civita connection of the (Riemannian) metric on the underlying real manifold (i.e. the real part of the Kähler metric). The integral of the Chern curvature form on a compact complex manifold gives us always an integer topological invariant , which is nothing but the first Chern number. However, because the cigar is non-compact, the integral of the Ricci form gives us due to the positive curvature of the cigar cap (which is a semi-sphere) at small momenta . This is perfectly in agreement with the derivation of the half-integer Chern number from the integral of the Berry curvature in Eq. (7). This equivalence between the Ricci form and the Berry curvature form has been previously remarked in Ref. Page ().
Iii BF theory from the Maxwell algebra
In this section, we will show that the quantum metric that identifies the cigar geometry can be seen as a solution of the equations of motion of a BF theory in momentum space. Even if the Bures metric is completely fixed by the band structure, nevertheless the existence of an effective action is rlevant because it contains always more information than its equations of motion. We first have to fix the underlying gauge algebra of momentum space. Like in the real-space geometry 10 (), the algebra has to take into account the Lorentz symmetries related to the Dirac fermions and the momentum-space magnetic translations 27 () connected to the Berry connection, which behaves like and electromagnetic potential. This is the signature of position-momentum duality in quantum Hall states as recently emphasized in Refs. 27 (); Carusotto (). For these reasons, we consider the Maxwell algebra, which is identified by the following anti-commuting relations
where , are the generators of the translations, is the generator of the Lorentz rotations and is related to the central extension of the algebra. The corresponding gauge connection is given by
where , is a dimensionful constant, represents a momentum-space spin connection, is a momentum-space zweibein, such that , and is an effective U(1) potential. The curvature tensor acquires the following form
where is the (Abelian) covariant derivative. Because we are interested in the topological and geometric responses of a topological phase, we consider the action of a topological field theory, given by the following non-Abelian BF action
where , are some scalar fields (Lagrange multipliers) and are the components of the curvature tensor. It can be explicitly written in terms of spin connection, zweibein and effective gauge potential as follows
where the constant , which plays the role for momentum-space magnetic length Carusotto (), has been fixed for simplicity. By replacing the zweibein with the metric tensor, it is then possible to rewrite the above action in the second-order formalism (up to a total derivative) 40 ()
where and . As shown in Refs. 41 (); 42 (), the (Euclidean) WBH metric is a solution of the equations of motion of Eq. (20) and characterizes a cigar geometry, see Fig.1. In terms of the infinitesimal line element , this metric is given by
where , with a constant related to the thermodynamics of the effective black hole 51 (); 52 (). Here, plays the same role of Euclidean time in real-space Euclidean black holes. This kind of metric has been intensively studied in high-energy physics and has a natural relation with the area-preserving diffeomorphisms and algebra Mavromatos (). These mathematical structures are also essential ingredients in the quantum Hall effect 20 ().
As a final point in this section, we calculate the stress-energy tensor of the model by varying the action in Eq. (18) with respect to
We can compare this result with the elastic response of the system in momentum space. Firstly, like in real space, the interpretation of the zweibein in terms of elasticity quantities, i.e. the displacement field 6 (), tells us that around the flat-space configuration, we have that
where is the distorsion tensor. Secondly, carries information about the line defects (dislocations) through the calculation of the line-integral
where is the Burgers vector. Thus, the relation in Eq. (22) implies that the stress-energy tensor contains information about possible nodal lines in momentum space. In gapped topological phases, these kinds of defects appear, for instance, in a recently proposed Chern insulator with a nonsymmorphic symmetry Zhou ().
Iv Momentum-space entanglement entropy
We will describe here the main implications of cigar geometry in the context of momentum-space entanglement entropy (EE). In particular, we will show that a bipartition of a radial line in momentum space contains information about the CFT related to the topological phase on the gapped boundary. CFTs and topological phases have been intensively analyzed by employing the tools of quantum information, such as EE 1 () and entanglement spectrum Haldane2 (). To define the former, we first bipartite the Hilbert space of a given quantum system with density matrix , into two non-overlapping regions A and B. We then quantify the entanglement between the two regions by tracing out, for instance, the degrees of freedom in B. In such a way, the corresponding EE is given by
where is the reduced density matrix. Recently, these approaches have been generalized to momentum space Bala (); Hughes (); Lungren (); Qi2 (). In this case, the separation of the degrees of freedom is related to the energy scale in analogy to the Wilson’s renormalization group. Here, the infrared (IR) regime of a quantum system is studied by integrating out the ultraviolet (UV) degrees of freedom. As shown in Ref. Bala (), the momentum-space entanglement entropy for IR degrees of freedom is defined by tracing over the UV degrees of freedom with momenta , where is a fixed energy scale. In topological systems, a real-space entanglement cut carries information about the CFT of the edge states Bernevig (); Haldane2 (). By following this idea, we show how a radial line together with the momentum-space EE provide us information about the CFT related to the topological phase.
We remind that the WBH has a well defined Hawking temperature given by 51 ()
Moreover, the cigar is conformally equivalent to a flat disk, see Fig.2. We then divide the system in two regions A and B, where the lower momenta () are contained in the region A. Due to the rotational symmetry of the disk, we introduce a radial line, which is bipartited in two linear sub-regions. We call the length of the line that lies in the sub-region B. It is geometrically expressed as follows 51 ()
where and are the boundary of regions A and B, respectively. In black holes, there exists a natural bipartition of the space due to the presence of an horizon. However, in the WBH, the horizon is at the tip of the cigar, i.e. at because has a zero at . This implies that the integral in Eq.(27) has to be considered in the limit . We remind also that thisi horizon is zero-dimensional, being the boundary of the one-dimensional space-like region, which is the radial line in our case. The EE of the cigar geometry has been already calculated by Solodukhin 51 (); 52 ()
where is a UV regulator and is the central charge. This expression coincides with the finite-temperature EE of a free CFT on a semi-infinite line Cardy (). Moreover, for , we recover the corresponding zero-temperature EE
In the thermodynamic limit, i.e. for very large, from Eq. (28), we obtain the thermal entropy
Thus, we have shown that the dual of the real-space entanglement entropy of the CFT emerges from the momentum-space geometry of a topological phase. This CFT is nothing but the critical theory associated to the defect lines that can be created on the topological gapped boundary. Along each defect, a single chiral Dirac mode propagates. This result is also in agreement with the position-momentum duality of the EE as already emphasized in Ref. Qi2 ().
By summarizing, we have analyzed the momentum-space geometry of the gapped boundary of three-dimensional topological insulators. By starting from the corresponding momentum-space cigar geometry, we have derived the Chern number in a purely geometric way. We have then shown that the momentum-space metric, formally equivalent to the metric of a lower-dimensional black hole, can be seen as a semi-classical solution of a non-Abelian BF theory. Finally, we have calculated the momentum-space EE following the approach employed in black-hole physics. This entropy is equivalent to the EE of a CFT at finite temperature in flat space. It carries information about the gapless chiral Dirac modes that appear along the defect lines on the gapped topological boundary. This represents a further evidence of the position-momentum duality of the entanglement in topological systems. Our results strengthen the importance of momentum-space geometry through gauge theory in topological phases, providing novel research directions in the study of more complex quantum many-body systems.
Acknowledgements.We thank Andrea Cappelli and Miguel Montero for discussions and comments.
- (1) E. Fradkin, Field Theories of Condensed Matter Physics, (Cambridge University Press, 2013).
- (2) J. E. Avron, R. Seiler and P. G. Zograf, Phys. Rev. Lett. 75, 697 (1995).
- (3) N. Read, Phys. Rev. B 79, 045308 (2009).
- (4) C. L. Kane and M. P. A. Fisher, Phys. Rev. B 55, 15832 (1997).
- (5) N. Read and D. Green, Phys. Rev. B 61, 10267 (2000).
- (6) A. Cappelli, M. Huerta and G. R. Zemba, Nucl. Phys. B 636, 568 (2002).
- (7) T. L. Hughes, R. G. Leigh and E. Fradkin Phys. Rev. Lett. 107, 075502 (2011).
- (8) A. Mesaros, D. Sadri and J. Zaanen, Phys. Rev. B 82, 073405 (2010).
- (9) F. D. M. Haldane, Phys. Rev. Lett. 107, 116801 (2011).
- (10) X. G. Wen and A. Zee, Phys. Rev. Lett. 69, 953 (1992).
- (11) G. Palumbo, arXiv:1610.04734.
- (12) G. Palumbo and J. K. Pachos, Ann. Phys. 372, 175 (2016).
- (13) S. Ryu, J. E. Moore and A. W. W. Ludwig, Phys. Rev. B 85, 045104 (2012).
- (14) Z. Wang, X.-L. Qi and S.-C. Zhang, Phys. Rev. B 84, 014527 (2011).
- (15) M. Stone, Phys. Rev. B 85, 184503 (2012).
- (16) P. Gentile, M. Cuoco and C. Ortix, Phys. Rev. Lett. 115, 256801 (2015).
- (17) D. Cangemi, Phys. Lett. B 297, 261 (1992).
- (18) P. Salgado, R. J. Szabo and O. Valdivia, Phys. Rev. D 89, 084077 (2014).
- (19) X.-L. Qi, T. L. Hughes and S.-C. Zhang, Phys. Rev. B 78, 195424 (2008).
- (20) S. M. Girvin, A. H. MacDonald and P. M. Platzman, Phys. Rev. B 33, 2481 (1986).
- (21) A. Cappelli, C. A. Trugenberger and G. R. Zemba, Nucl. Phys. B 396, 465 (1993).
- (22) J. Wang, B. Lian and S.-C. Zhang, Phys. Scr. 2015, 014003 (2015).
- (23) G. P. Provost and G. Vallee, Comm. Math. Phys. 76, 289 (1980).
- (24) R. Resta, Eur. Phys. J. B 79, 121 (2011).
- (25) R. Roy, Phys. Rev. B 90, 165139 (2014).
- (26) S. A. Parameswaran, R. Roy and S. L. Sondhi, Phys. Rev. B 85, 241308(R) (2012).
- (27) T. S. Jackson, G. Moller and R. Roy, Nat. Commun. 6, 8629 (2015).
- (28) M. Claassen, C. H. Lee, R. Thomale, X.-L. Qi, T. P. Devereaux, Phys. Rev. Lett. 114, 236802 (2015).
- (29) A. G. Grushin, T. Neupert, C. Chamon and C. Mudry, Phys. Rev. B 86, 205125 (2012).
- (30) M. Legner and T. Neupert, Phys. Rev. B 88, 115114 (2013).
- (31) E. Dobardzic, M. V. Milovanovic and N. Regnault, Phys. Rev. B 88, 115117 (2013).
- (32) Y.-Q. Ma, S.-J. Gu, S. Chen, H. Fan, W.-M. Liu, EPL 103, 10008 (2013).
- (33) S. Matsuura and S. Ryu, Phys. Rev. B 82, 245113 (2010).
- (34) Yu. A. Golfand, J. Expt. Theoret. Phys. 43, 256 (1962).
- (35) V. G. Kadyshevsky, Nucl. Phys. B 141, 477 (1978).
- (36) R. M. Mir-Kasimov, Phys. Lett. B 378, 181 (1996).
- (37) G. W. Gibbons, S. Gielen, Class. Quant. Grav. 26, 135005 (2009).
- (38) L. N. Chang, D. Minic and T. Takeuchi, Mod. Phys. Lett. A 25, 2947 (2010).
- (39) M. Arzano and J. Kowalski-Glikman, Class. Quant. Grav. 28, 105009 (2011).
- (40) G. Amelino-Camelia, L. Freidel, J. Kowalski-Glikman and L. Smolin, Phys. Rev. D 84, 084010 (2011).
- (41) D. Cangemi and R. Jackiw, Phys. Rev. Lett. 69, 233 (1992).
- (42) E. Witten, Phys. Rev. D 44, 314 (1991).
- (43) G. Mandal, A. M. Sengupta, and S. R. Wadia, Mod. Phys. Lett. A 6, 1685 (1991).
- (44) C. R. Nappi and E. Witten, Phys. Rev. Lett. 71, 3751 (1993).
- (45) D. Birmingham, M. Blau, M. Rakowski and G. Thompson, Phys. Rep. 209, 129 (1991).
- (46) G. Y. Cho and J. E. Moore, Ann. Phys. 326,1515 (2011).
- (47) T. H. Hansson, V. Oganesyan, S. L. Sondhi, Ann. Phys. 313, 497 (2004).
- (48) A. Marzuoli and G. Palumbo, EPL 99, 10002 (2012).
- (49) G. Palumbo and M. Cirio, Sci. Rep. 5, 10824 (2015).
- (50) A. Blasi, A. Braggio, M. Carrega, D. Ferraro, N. Maggiore and N. Magnoli, New J. Phys. 14, 013060 (2012).
- (51) A. M. Chan, T. L. Hughes, S. Ryu and E. Fradkin, Phys. Rev. B 87, 085132 (2013).
- (52) S. N. Solodukhin, Phys. Lett. B 646, 268 (2007).
- (53) S. N. Solodukhin, Living Rev. Rel. 14, 8 (2011).
- (54) D. J. Thouless, M. Kohmoto, M. P. Nightingale and M. den Nijs Phys. Rev. Lett. 49, 405 (1982).
- (55) B. Lian, C. Vafa, F. Vafa and S.-C. Zhang, Phys. Rev. B 95, 094512 (2017).
- (56) P. Zanardi, P. Giorda and M. Cozzini, Phys. Rev. Lett. 99, 100603 (2007).
- (57) V. A. Mousolou, C. M. Canali and E. Sjoqvist, Phys. Rev. A 88, 012310 (2013).
- (58) M. Kolodrubetz, V. Gritsev and A. Polkovnikov, Phys. Rev. B 88, 064304 (2013).
- (59) A. Julku, S. Peotta, T. I. Vanhala, D.-H. Kim and P. Torma, Phys. Rev. Lett. 117, 045303 (2016).
- (60) Y. Gao, S. A. Yang and Q. Niu, Phys. Rev. B 91, 214405 (2015).
- (61) F. Piechon, A. Raoux, J.-N. Fuchs and G. Montambaux, Phys. Rev. B 94, 134423 (2016).
- (62) M. Nakahara, Geometry, Topology, and Physics, (Institute of Physics Publishing, Bristol, 2003).
- (63) B. Chow and D. Knopf, The Ricci flow: an introduction, (American Mathematical Society, Providence, RI, 2004).
- (64) Y. Hatsugai, Phys. Rev. Lett. 71, 3697 (1993).
- (65) I. Mandal, EPL 110, 67005 (2015).
- (66) V. Dwivedi and V. Chua, Phys. Rev. B 93, 134304 (2016).
- (67) D. N. Page, Phys. Rev. A 36, 3479(R) (1987).
- (68) T. Ozawa, H. M. Price and I. Carusotto, Phys. Rev. B 93, 195201 (2016).
- (69) C. G. Callan, Jr., S. B. Giddings, J. A. Harvey and A. Strominger, Phys. Rev. D 45, R1005(R) (1992).
- (70) J. Ellis, N. E. Mavromatos and D. V. Nanopoulos, Phys. Rev. D 94, 025007 (2016).
- (71) L.-J. Lang, S.-L. Zhang and Q. Zhou, Phys. Rev. A 95, 053615 (2017).
- (72) H. Li and F. D. M. Haldane, Phys. Rev. Lett. 101, 010504 (2008).
- (73) V. Balasubramanian, M. B. McDermott and M. Van Raamsdonk, Phys. Rev. D 86, 045014 (2012).
- (74) I. Mondragon-Shem, M. Khan and T. L. Hughes, Phys. Rev. Lett. 110, 046806 (2013).
- (75) R. Lundgren, J. Blair, M. Greiter, A. Lauchli, G. A. Fiete and R. Thomale, Phys. Rev. Lett. 113, 256404 (2014).
- (76) C. H. Lee, P. Ye and X.-L. Qi, J. Stat. Mech. 2014, P10023 (2014).
- (77) A. Chandran, M. Hermanns, N. Regnault and B. A. Bernevig, Phys. Rev. B 84, 205136 (2011).
- (78) P. Calabrese and J. Cardy, J. Stat. Mech. 0406, P002 (2004).
- (79) I. Affleck, Phys. Rev. Lett. 56, 746 (1986).
- (80) H. W. J. Blote, J. L. Cardy and M. P. Nightingale, Phys. Rev. Lett. 56, 742 (1986).