Schreiber Bilkent2025

Redirected from "Bilkent25".

A talk that I have given:


Abstract: We apply methods of equivariant homotopy theory, that may not previously have found due attention in condensed matter physics, to classify first the fragile topological phases of 2D crystalline Chern insulator materials, and second the potential topological order of their fractional cousins. We highlight that the phases are given by the equivariant 2-Cohomotopy of the Brillouin torus of crystal momenta (with respect to wallpaper point group actions) — which, despite the attention devoted to crystalline Chern insulators, seems not to have been considered before. Arguing then that any topological order must be reflected in the adiabatic monodromy of gapped quantum ground states over the covariantized moduli space of these band topologies, we compute the latter in various examples where this group is non-abelian, showing that potential anyons must be localized in momentum space. We close with an outlook on the relevance for the search for topological quantum computing hardware.


Based on:


Related talks:


Script:

Contents

Idea of Topological Quantum Gates

The quantum adiabatic theorem entails:


Given a quantum system (e.g., a quantum material)

depending on external parameters pp in a parameter space PP

with a gapped Hilbert space p\mathscr{H}_p of quantum ground states

then sufficiently gentle (“adiabatic”) tuning γ\gamma of parameters

brings about unitary transformation U γU_\gamma of the quantum state

p U γ p p γ p \begin{array}{ccc} \mathscr{H}_p &\overset{U_\gamma}{\longrightarrow}& \mathscr{H}_{p'} \\ p &\overset{\gamma}{\rightsquigarrow}& p' \end{array}



This is called “topological” (really: “homotopical”) if

U γU_\gamma depends only on the homotopy class of γ\gamma (rel. endpoints),

whence the p\mathscr{H}_p form a local system of Hilbert spaces over PP,

which over each connected component [ϕ]π 0(P)[\phi] \in \pi_0(P)

is a unitary representation of the fundamental group

U ():π 1(P,[ϕ])U() U_{(-)} \,\colon\, \pi_1 \big(P, [\phi]\big) \longrightarrow \mathrm{U}(\mathscr{H})


Regarded as quantum gates, these U γU_\gamma are “topologically protected”

in that they are undisturbed by noise in control parameter γ\gamma.

There are arguments that some such topological protection

is necessary for quantum computers to reach interesting scale.


Big question: How to find/build quantum systems with such

nontrivial (nonabelian) topological monodromy U ()U_{(-)}

(jargon: “topological order”) ??


Classical proposal by Kitaev 2003: If one could arrange that

PConf( 2)P \sim Conf(\mathbb{R}^2)

is a configuration space of points in the plane, such as of

some kind of soliton/defect positions in a \sim2D material

then

Br(n)π 1(P,n)U() Br(n) \simeq \pi_1(P, n) \longrightarrow U(\mathscr{H})

is a braid representation of a braid group on nn strands

if non-trivial, the solitons/defects are called “anyons


It remains underappreciated that: PP could be different.

Let’s have a closer look which PP actually arise in practice.


Idea of Topological Phases of Matter

The Bloch theorem entails that:


The Hamiltonians HH of electrons in a crystal are direct integrals

H=[k]T^ dH k H \;=\; \underset {{[k] \in \widehat{T}{}^d}} {\displaystyle{\int}} H_k

over the Brillouin torus T^ d\widehat{T}{}^d of crystal momenta

of Bloch Hamiltonians, given by continuous maps

H ():T^ dHerm( Bl). H_{(-)} \;\colon\; \widehat{T}{}^d \longrightarrow Herm(\mathscr{H}_{Bl}) \mathrlap{\,.}

Here H [k]H_{[k]} encodes the energy states available to electrons

with a well-defined (plane wave) momentum [k][k].


The graph of eigenvalues of H ()H_{(-)} are the energy bands.


If all the H [k]H_{[k]} are gapped, say at E=0E = 0,

then the valence bundle is the negative eigenspace bundle

𝒱Eig <0(H ())T^ d \mathcal{V} \,\coloneqq\, Eig_{\lt 0}\big( H_{(-)} \big) \longrightarrow \widehat{T}{}^d


The relevant equivalence class of the valence bundle

depends on how fine/coarse the resolution is. Given a choice

then the class [𝒱][\mathcal{V}] is the observed topological phase of matter.


For fragile topological phases one considers deformations

that explore only the given space of gapped Bloch Hamiltonians

( v+c) gap{HHerm( v+c)|Eig <0(H) v Eig >0(H) c}Gr v v+c, \mathcal{B}\big(\mathbb{C}^{v+c}\big)_{gap} \,\coloneqq\, \Bigg\{ H \in Herm(\mathbb{C}^{v+c}) \,\Bigg\vert\, \substack{ Eig_{\lt 0}(H) \simeq \mathbb{C}^v \\ Eig_{\gt 0}(H) \simeq \mathbb{C}^c } \, \Bigg\} \sim Gr_{v}^{v+c} \,,

which is homotopy equivalent to the Grassmannian

Gr v v+c{vdimensional linear subspaces of v+c}, Gr_{v}^{v+c} \,\coloneqq\, \left\{ \substack{ v\;\text{dimensional linear} \\ \text{subspaces of}\;\mathbb{C}^{v+c} } \right\} \mathrlap{\,,}

whence the parameter space of fragile topological couplings is

the mapping space PMap(T^ d,Gr v v+c). P \,\equiv\, Map\big( \widehat{T}{}^d ,\, Gr_{v}^{v+c} \big) \mathrlap{\,.}


Whereas the coarser stable topological phases classify the

deformation classes where the system is allowed to explore

  1. any of the higher conduction bands, where

    cGr v v+cBU(v) \bigcup_{c \in \mathbb{N}} Gr_v^{v + c} \,\simeq\, B \mathrm{U}(v)

  2. moreover any number of valence bands, where

    v cGr v v+c vBU(v)BU \bigcup_{v \in \mathbb{N}} \bigcup_{c \in \mathbb{N}} Gr_v^{v + c} \,\simeq\, \bigcup_{v \in \mathbb{N}} B \mathrm{U}(v) \,\equiv\, B \mathrm{U}


For {c v =1\left\{\begin{aligned}c & \to \infty \\v & = 1\end{aligned}\right.

these phases are in ordinary cohomology:

H 2(T^ d;)π 0Map(T^ d,Gr 1 ), H^2\big( \widehat{T}{}^d ;\, \mathbb{Z} \big) \,\simeq\, \pi_0\, Map\big( \widehat{T}{}^d ,\, Gr_{1}^\infty \big) \mathrlap{\,,}


while for {c v \left\{\begin{aligned}c & \to \infty \\ v & \to \infty\end{aligned}\right. these phases are

in (reduced) topological K-theory

KU 0(T^ d)π 0Map(T^ d,BU×), KU^0\big( \widehat{T}{}^d \big) \,\simeq\, \pi_0\, Map\big( \widehat{T}{}^d ,\, B \mathrm{U} {\color{gray} \times \mathbb{Z}} \big) \mathrlap{\,,}


but general fragile phases are

in extraordinary nonabelian cohomology (FSS23)

classified by any (pointed connected) topological space 𝒜\mathcal{A}:

H 1(X;Ω𝒜)π 0Map(X,𝒜) H^1\big( X ;\, \Omega \mathcal{A} \big) \,\coloneqq\, \pi_0\, Map\big( X ,\, \mathcal{A} \big)

here specifically:

H 1(T^ d;ΩGr v c)π 0Map(T^ d,Gr v ). H^1\big( \widehat{T}{}^d ;\, \Omega Gr_{v}^c \big) \,\simeq\, \pi_0\, Map\big( \widehat{T}{}^d ,\, Gr_{v}^\infty \big) \mathrlap{\,.}


For example:

In the case of “2 accessible bands”, Bl 2\mathscr{H}_{Bl} \simeq \mathbb{C}^2,

where the classifying space Gr 1 2P 2S 2 Gr_1^{2} \simeq \mathbb{C}P^2 \simeq S^2 is the 2-sphere,

the fragile topological phases are classified in 2-Cohomotopy:

π 2(X)π 0Map(X,S 2). \pi^2(X) \,\equiv\, \pi_0\, Map\big(X, S^2\big) \mathrlap{\,.}


For 2D Chern materials this coincides already with the stable phases

π 2(T^ 2) H 2(T^ 2,) = = π 0Map(T^ 2,P 1) ι * π 0Map(T^ 2,P ) S 2Gr 1 2 ι Gr 1 BU(1) \begin{array}{ccc} \pi^2\big( \widehat{T}{}^2 \big) & \xrightarrow{\phantom{-}\sim\phantom{-}} & H^2\big( \widehat{T}{}^2 ,\, \mathbb{Z} \big) & \simeq \mathbb{Z} \\ = && = \\ \pi_0 \, Map\big( \widehat{T}{}^2 ,\, \mathbb{C}P^1 \big) &\xrightarrow[\iota_\ast]{\phantom{-}\sim\phantom{-}}& \pi_0 \, Map\big( \widehat{T}{}^2 ,\, \mathbb{C}P^\infty \big) \\ S^2 \simeq Gr_1^2 &\xhookrightarrow{\phantom{-}\iota\phantom{-}}& Gr_1^{\infty} \simeq B \mathrm{U}(1) \end{array}

This integer class is the Chern class of the valence line bundle

whence one speaks of topological Chern insulators.


Fragile Crystalline Topological Phases

More precisely, in general a crystalline symmetry GT^2G \curvearrowright \widehat{T}{^2}

is respected by the Bloch Hamiltonian and its deformations:

[k]T^ dH g[k]=U gH [k]U g 1 \underset{[k] \in \widehat{T}{}^d}{\forall} \;\;\;\;\;\; H_{g \cdot [k]} \,=\, U_g \circ H_{[k]} \circ U_g^{-1}

for unitary operators U ()U_{(-)}, in which case one speaks of

symmetry protected topological phases”.


Observation: This means that

the classifying maps are equivariant maps

PMap(T^ d,Gr v c+c) G P \;\equiv\; Map\big(\widehat{T}{}^d, Gr_{v}^{c+c}\big)^G

and the classification is in equivariant nonabelian cohomology

H G 1(T^ d;ΩGr v v+x)π 0Map(T^ d,Gr v c+c) G. H^1_G\big( \widehat{T}{}^d ;\, \Omega Gr_{v}^{v+x} \big) \,\equiv\, \pi_0\, Map\big(\widehat{T}{}^d, Gr_{v}^{c+c}\big)^G \mathrlap{\,.}


In particular:

Fragile crystalline 2-band phases are classified by equivariant 2-Cohomotopy.

Evident as this is, it has not been classified or even stated before.


While filling such gaps we also also point out that the topological

parameter space really ought to be the homotopy quotient

P=Map(T^ 2,𝒜) GDiff(T^ 2) G P \;=\; Map\big( \widehat{T}{}^2 ,\, \mathcal{A} \big)^G { \color{purple} \sslash Diff\big(\widehat{T}{}^2\big)^G }

by the equivariant diffeomorphism group (acting by precomposition)

as befits the modular functor of a topological field theory.


Identifying Anyons in FQAH Materials

Hence if there is topological order/anyons

in crystalline fractional quantum Hall systems it ought to be

reflected in nontrivial parameter fundamental groups π 1(P,[ϕ])\pi_1(P,[\phi]),

in a given topological phase [ϕ]π 0(P)[\phi] \in \pi_0(P)

π 1(P,[ϕ])π 1(Map(T^ 2,Gr 1 2) GDiff(T^ 2) G,[ϕ]) \pi_1\big( P,\, [\phi] \big) \;\equiv\; \pi_1\Big( Map\big( \widehat{T}{}^2 ,\, Gr_{1}^2 \big)^G \sslash Diff\big( \widehat{T}{}^2 \big)^G ,\, [\phi] \Big)


Two examples (1.) solitonic and (2.) defect anyons:


Proposition 1 (potential solitonic FQAH anyons):

When all symmetry is broken (G=1G = 1 the trivial group):

π 1(Map(T^ 2,S 2)Diff(T^ 2)) 2^Mod, \pi_1\Big( Map\big( \widehat{T}{}^2 ,\, S^2 \big) \sslash Diff\big( \widehat{T}{}^2 \big) \Big) \,\simeq\, \widehat{\mathbb{Z}^2} \rtimes Mod \mathrlap{\,,}

where 2^\widehat{\mathbb{Z}^2} is the integer Heisenberg group at level=2

2^= Set( a× b)× \widehat{\mathbb{Z}^2} \,=_{{}_{Set}}\, (\mathbb{Z}_a \times \mathbb{Z}_b) \times \mathbb{Z}

with generators

W a ((1,0),0) W b ((0,1),0) ζ ((0,0),1)}( a× b)× \left. \begin{aligned} W_a & \coloneqq \big((1,0),0\big) \\ W_b & \coloneqq \big((0,1),0\big) \\ \zeta & \coloneqq \big((0,0),1\big) \end{aligned} \right\} \,\in\, (\mathbb{Z}_a \times \mathbb{Z}_b) \times \mathbb{Z}

and the only nontrivial group commutator being

[W a,W b]=ζ 2. [W_a, W_b] \,=\, \zeta^2 \,.

This 2^\widehat{\mathbb{Z}^2} is precisely the relation characterizing FQH anyons on the torus!

And 2^Mod\widehat{\mathbb{Z}^2} \rtimes Mod imposes their expected modular data.

(SS25)


Proposition 2 (potential defect FQAH anyons):

For p3 symmetry

π 1(Map(T^ 2,S 2) /3Diff(T^ 2) /3) 3Sym(3), \pi_1\Big( Map\big( \widehat{T}{}^2 ,\, S^2 \big)^{\mathbb{Z}_{/3}} \sslash Diff\big( \widehat{T}{}^2 \big)^{\mathbb{Z}_{/3}} \Big) \,\supset\, \mathbb{Z}^3 \rtimes Sym(3) \mathrlap{\,,}

where the symmetric group Sym(3)Sym(3) acts by permutation of the high symmetry points.


This implies that the high symmetry points themselves

may constitute para- defect anyons.


Computing Equivariant 2-Cohomotopy

of GG-tori is among the most basic questions

not just for the physics of crystalline fragile topological phases

but also in pure Cohomotopy theory as such

but seems not to have found any attention before.


One approach:

For point group-symmetries GG of wallpaper groups.

Determine minimal G-CW complex-structure on GG-torus

(worked out here.)

Observe that filtering the equivariant mapping space into S 2S^2

by the skeleta of this G-CW complex gives homotopy fiber

realizations from which the homotopy groups may be deduced.


The example of p3 symmetry:


Classification so far:



Last revised on December 16, 2025 at 16:15:45. See the history of this page for a list of all contributions to it.