antisymmetry are successfully mapped into static Hamiltonians with an order-two crystalline symmatry/antisymmetry, whose classfication has already been worked out in Ref. [@Shiozaki2014]. Thus, the latter result can be directly applied to the classification of unitary loops.

We first summarize the $K$-theory-based method used for classifying static Hamiltonians, and then finish the classification of unitary loops. Let us consider static Hamiltonians defined on a base space of momentum $\boldsymbol{k}\in T^d$ and real space coordinate $\boldsymbol{r}\in S^D$. For the classification of strong topological phases, one can instead simply use $S^{d+D}$ as the base space [@Kitaev2009; @Teo2010]. To classify these Hamiltonians, we will use notion of stable homotopy equivalence as we defined for unitaries in Sec. \[sec:floquet\_basics\], by identifying Hamiltonians which are continuously deformable into each other up to adding extra trivial bands, while preserving an energy gap at the chemical potential. These equivalence classes can be formally added and they form an abelian group.

For a given AZ symmetry class $s$, the classification of static Hamiltonians is given by the set of stable equivalence classes of maps $\mathcal{H}(\boldsymbol{k},\boldsymbol{r})$, from the base space $(\boldsymbol{k},\boldsymbol{r})\in S^{d+D}$ to the classifying space, denoted as $\mathcal{C}_s$ or $\mathcal{R}_s$, for complex and real symmetry classes, as listed in Table \[tab:AZ-symmetry-classes\]. The abelian group structure inherited from the equivalence classes leads to the group structure in this set of maps, which is called the $K$ group, or classification group.

For static topological insulators and superconductors of dimension $(d,D)$ in an AZ class $s$ without additional spatial symmetries, the $K$ groups are denoted as $K_{\mathbb{C}}(s;d,D)$ and $K_{\mathbb{R}}(s;d,D)$, for complex and real symmetry classes, respectively. Note that for complex symmetry classes, we have $s=0,1 \mod 2$, whereas for real symmetry classes, $s=0,1,\dots,7 \mod 8$.

These $K$ groups have the following properties $$\begin{gathered}
K_{\mathbb{C}}(s;d
antisymmetry are successfully mapped into static Hamiltonians with an order - two crystalline symmatry / antisymmetry, whose classfication has already been worked out in Ref.   [ @Shiozaki2014 ]. therefore, the latter resultant role can be directly applied to the categorization of unitary loop. 

 We first summarize the $ K$-theory - establish method used for classify static Hamiltonians, and then finish the categorization of unitary loops. Let us consider inactive Hamiltonians defined on a base space of momentum $ \boldsymbol{k}\in T^d$ and real space coordinate $ \boldsymbol{r}\in S^D$. For the categorization of strong topological phases, one can instead just use $ S^{d+D}$ as the base outer space [ @Kitaev2009; @Teo2010 ]. To classify these Hamiltonians, we will practice notion of static homotopy equivalence as we defined for unitaries in Sec.   \[sec: floquet\_basics\ ], by identifying Hamiltonians which are continuously deformable into each early up to adding extra trivial bands, while preserving an energy gap at the chemical potential. These equivalence classes can be formally added and they form an abelian group. 

 For a given AZ symmetry class $ s$, the classification of static Hamiltonians is contribute by the set of stable comparison class of maps $ \mathcal{H}(\boldsymbol{k},\boldsymbol{r})$, from the base space $ (\boldsymbol{k},\boldsymbol{r})\in S^{d+D}$ to the relegate space, denoted as $ \mathcal{C}_s$ or $ \mathcal{R}_s$, for complex and real symmetry class, as listed in Table   \[tab: AZ - symmetry - classes\ ]. The abelian group structure inherited from the equivalence classes moderate to the group structure in this set of maps, which is called the $ K$ group, or categorization group. 

 For static topological insulator and superconductors of dimension $ (d, D)$ in an AZ class $ s$ without additional spatial symmetries, the $ K$ groups are denoted as $ K_{\mathbb{C}}(s;d, D)$ and $ K_{\mathbb{R}}(s;d, D)$, for complex and veridical symmetry classes, respectively. Note that for complex isotropy classes, we own $ s=0,1 \mod 2 $, whereas for real symmetry course, $ s=0,1,\dots,7 \mod 8$. 

 These $ K$ groups take the following property $ $ \begin{gathered } 
 K_{\mathbb{C}}(s;d
antlsymmetry are successfuluy mapped into static Iamiltohians wigh an order-two crystalline sbmmarry/anupsymmetry, whose classwication jas alreqdy ueen worked out mh Ref. [@Shljzakj2014]. Thuv, the latter rexult can ba directly appnidd to the classification of unitary ljops.

We gigst summarize jhe $K$-uhejry-bzsed method used for classifying sfatic Hemiltonians, and then finish the classificwtioj of unitary loops. Let us conwidew static Hamiutonians dtfnned on a bzse space of momentum $\boldsymbou{k}\in C^d$ and real spacf coordinate $\boldfymbol{r}\in S^D$. For the classigication of stvong vopooogical phases, one cai instead simply use $S^{d+D}$ as tve base space [@Kitaec2009; @Reo2010]. Tm cldssiwt tfest Hemimtoniajs, xe will use notion of wtable homotopy equovwoence as we dsfined fjr unitaries in Sec. \[sec:floquet\_basics\], by pdenfifying Hamiltonians whuch are continuously feformablq into each other up to adding extra trivial bandv, whimd pxcfdevlng an energy gap at the chemical potential. Trsst eauivalence clafses can be flrkwlly added ana they fodm an abelian grouo.

For a diven AZ symmeury ckass $s$, the classification od static Hampltobians is given by che set of scable gquivakence classes of maps $\mcthcal{G}(\boldsymbol{n},\boldsymbku{r})$, from the base spsca $(\boldsymbol{k},\boldsymbol{r})\in S^{d+D}$ to tie clcssifyine spsce, degoted as $\mwthcal{C}_s$ or $\mathcal{R}_s$, fog comklex atd real sylmetry classes, as listed in Table \[tab:AZ-symmetri-cldssvs\]. The abzlian nroup structure inherited frok the ezuivauence clasaes leavs to the grjup structure ln this set mf maps, rhicy is called ghe $K$ group, or classifibauion group.

Dor static topologlcal khsulators and sbkerxonductors of domevsijn $(d,V)$ in wt AZ class $s$ witfoug addigional spatlal symketries, the $K$ groups are denoted as $K_{\mathbn{C}}(f;d,D)$ and $J_{\mathbb{R}}(f;d,D)$, for complrx and real symmetgy clesses, cespecyivgly. Note that for complex symmefry classfs, re have $s=0,1 \moq 2$, wmerews for reak symmetry classes, $s=0,1,\dots,7 \mod 8$.

These $K$ griups have the folliwing properties $$\beyik{gathered}
K_{\mavhbb{C}}(s;q
antisymmetry are successfully mapped into static Hamiltonians order-two symmatry/antisymmetry, whose has already been Thus, latter result can directly applied to classification of unitary loops. We first the $K$-theory-based method used for classifying static Hamiltonians, and then finish the classification unitary loops. Let us consider static Hamiltonians defined on a base space of $\boldsymbol{k}\in and space $\boldsymbol{r}\in S^D$. For the classification of strong topological phases, one can instead simply use $S^{d+D}$ as base space [@Kitaev2009; @Teo2010]. To classify these Hamiltonians, will use notion of homotopy equivalence as we defined unitaries Sec. \[sec:floquet\_basics\], identifying which continuously deformable into other up to adding extra trivial bands, while preserving an energy gap at the chemical potential. These classes can added and form abelian For a given class $s$, the classification of static by the set of stable equivalence classes of $\mathcal{H}(\boldsymbol{k},\boldsymbol{r})$, from base space $(\boldsymbol{k},\boldsymbol{r})\in S^{d+D}$ to the space, denoted as $\mathcal{C}_s$ or $\mathcal{R}_s$, for complex real symmetry classes, as listed in Table \[tab:AZ-symmetry-classes\]. The abelian group structure inherited from the leads to the group in this set maps, is the group, or group. For static topological insulators and superconductors of dimension $(d,D)$ in AZ class $s$ without additional spatial symmetries, the $K$ groups as and $K_{\mathbb{R}}(s;d,D)$, for and real symmetry classes, Note for complex symmetry classes, $s=0,1 2$, symmetry $s=0,1,\dots,7 8$. These $K$ groups the following properties $$\begin{gathered} K_{\mathbb{C}}(s;d
antisymmetry are successfulLy mapped inTo staTic hamIlToniAns wIth an order-two cRYstaLline symmatry/antisymmeTry, whOsE ClasSFiCatioN has alrEAdY BEen WoRkEd oUt IN REf. [@ShiOzaKi2014]. Thus, tHe latter reSulT cAn be directly APpLied to the cLasSification of UniTary loOpS.

We FIrst sUmmArize The $K$-thEOry-basEd method uSeD For claSSifying STAtIc HaMiltonians, and then FInISh the classificAtion oF uNItARY loOps. let us consiDeR statIC HamiltONiANS DefINed on a base spaCe of momentuM $\BolDsymboL{k}\In T^D$ And reaL spacE cOOrdInate $\boldsyMbol{R}\in S^D$. For tHe clasSIficatiON of stroNg topoLogIcaL phaSEs, OnE caN iNSteAD sImpLY usE $S^{d+D}$ as thE bAsE spacE [@KitAEV2009; @tEo2010]. To ClaSsifY thesE Hamiltonians, We wIll uSE noTion oF stabLe hoMoTopy eQuivalEnce aS wE defined for unitArieS in Sec. \[sec:FloQuEt\_bAsIcs\], by IDentifYinG HaMiltoniAns whicH Are CoNTINuOusly deformable intO eACH oTher up to Adding EXtRa TRivial baNdS, whIle pREServiNg an ENeRgy gap at The cheMIcAl PotentiAl. these eQuIvaLenCe claSSes cAn be foRmally adDed anD They form an abelIAn group.

For a giVEn az SyMMetrY clAss $s$, the clasSifiCAtioN of sTAtIc HAMiltoNians Is GIvEN by the set of stable eqUiValencE clasSes of maps $\mathCal{H}(\boldsyMBOL{k},\boldsyMbol{R})$, FrOM the base space $(\bOldsyMbol{k},\boldsYMbol{r})\in S^{D+D}$ to tHe classiFying spacE, DEnoted as $\MatHcaL{C}_s$ Or $\mATHcAl{R}_s$, for compleX ANd reAl SymmetrY clAsses, as LisTed In TAblE \[tAb:AZ-symmeTry-classEs\]. thE aBeLiaN grouP StructurE iNheRiTed From tHE equivAlencE claSsEs LEadS to the gROuP STrucTuRe In thIs sEt Of mapS, whiCH is Called tHe $K$ group, oR clASsifIcAtIon grouP.

For static topOlOgical insuLaTorS and suPERconductOrs of dimension $(d,D)$ in an AZ cLAss $s$ witHouT addiTionAl spatial SymMetrieS, thE $k$ groupS are deNoted As $k_{\maTHBb{C}}(s;d,d)$ ANd $k_{\maThBb{R}}(s;d,D)$, for cOMPleX and rEaL symMetry clAsses, respectively. NOTe tHat for complex SymMetrY CLaSseS, We HAve $S=0,1 \mOD 2$, whEREas for real symmeTry classes, $S=0,1,\dOTs,7 \Mod 8$.

These $K$ gROupS hAve the fOllowinG propERties $$\beGin{gatherEd}
K_{\mathbb{c}}(s;D
antisymmetry are successfu lly mapped  into  st ati cHami lton ians with an o r der- two crystalline symmat ry/an ti s ymme t ry , who se clas s fi c a tio nha s a lr e ad y bee n w orked o ut in Ref.  [@ Sh iozaki2014]. Th us, the la tte r result can  be  direc tl y a p plied  to  theclassi f icatio n of unit ar y  loops . 

We fi r s tsumm arize the $K$-the o ry - based method u sed fo rc la s s ify ing  static Ha mi ltoni a ns, and th e n fin i sh the classi fication of uni tary l oo ps. Let us  cons id e r s tatic Hamil toni ans defin ed ona  base s p ace ofmoment um$\b olds y mb ol {k} \i n  T^ d $and rea l spaceco or dinat e $\ b o l d symb ol{ r}\i n S^D $. For the cl ass ific a tio n ofstron g to po logic al pha ses,on e can instead s impl y use $S^ {d+ D} $ a sthe b a se spa ce[@K itaev20 09; @Te o 201 0] . T oclassify these Ham il t o ni ans, wewill u s eno t ion of s ta ble  hom o t opy e quiv a le nce as w e defi n ed  f or unit ar ies in  S ec.  \[ sec:f l oque t\_bas ics\], b y ide n tifying Hamilt o nians which a r ec o nt i nuou sly  deformable  int o  eac h ot h er  up to ad dingex t ra trivial bands, whil epreser vingan energy gap  at the ch e m i cal pote ntia l .T hese equivalen ce cl asses canb e formal ly ad ded andthey form a n abelia n g rou p.
Fo r agiven AZ symm e t ry c la ss $s$,  th e class ifi cat ion  of  s tatic Ham iltonian sis  g iv enby th e  set ofst abl eequ ivale n ce cla ssesof m ap s$ \ma thcal{H } (\ b o ldsy mb ol {k}, \bo ld symbo l{r} ) $,from th e base sp ace $(\b ol ds ymbol{k },\boldsymbol {r })\in S^{d +D }$to the c lassifyi ng space, denoted as $\ m athcal{ C}_ s$ or  $\m athcal{R} _s$ , forcom p lex an d real  symm et ryc l asses , as  li st ed in Tabl e \[t ab:AZ -s ymme try-cla sses\]. The abelia n  gr oup structure  in heri t e dfro m  t h e e qu i val e n ce classes lead s to the g ro u pstructurei n t hi s set o f maps,  whic h  is cal led the $ K$ group,  o r cl a s sif ication gr oup.

Fo r statict opolo g ic al in sul atorsan d s uperc onduct o rsof di mensio n$(d,D) $ inan  AZ clas s $s$ without additiona l spat ial s ymm etries, t he$ K$groups ar e de noted as $ K_{ \ma thbb{ C}} ( s;d,D )$ a n d$K_ { \math bb{R } }(s;d,D)$ ,  f orc o mp lex and rea l s ymm etrycla s ses, r espe ctively. Note tha t  for complex s ymme t r y c las s es,we  have $s=0,1 \ mod  2 $ ,  whereas  f or real sym metry cl as s es, $ s=0,1, \dots, 7 \mod8 $ .These$K$gro ups havethe  f o llowing  p ro p erties  $$\ be gin{ga thered } 
K_{ \ m athbb{C}}(s;d
antisymmetry are_successfully mapped_into static Hamiltonians with_an order-two_crystalline_symmatry/antisymmetry, whose_classfication_has already been_worked out in_Ref. [@Shiozaki2014]. Thus, the latter_result can be_directly_applied to the classification of unitary loops.

We first summarize the $K$-theory-based method used for_classifying_static Hamiltonians,_and_then_finish the classification of unitary_loops. Let us consider static_Hamiltonians defined_on a base space of momentum $\boldsymbol{k}\in T^d$_and_real space coordinate_$\boldsymbol{r}\in S^D$. For the classification of strong topological phases,_one can instead simply use $S^{d+D}$_as the base_space_[@Kitaev2009;_@Teo2010]. To classify these_Hamiltonians, we will use notion of_stable homotopy equivalence as we defined_for unitaries in Sec. \[sec:floquet\_basics\], by identifying Hamiltonians_which are continuously deformable into each_other up to adding extra_trivial bands,_while preserving an energy gap_at the chemical_potential. These_equivalence classes can_be formally added and they form_an abelian group.

For_a given AZ symmetry class $s$,_the_classification of static_Hamiltonians_is_given by_the set of_stable_equivalence classes_of_maps $\mathcal{H}(\boldsymbol{k},\boldsymbol{r})$, from the base space_$(\boldsymbol{k},\boldsymbol{r})\in_S^{d+D}$ to the classifying space, denoted as_$\mathcal{C}_s$ or $\mathcal{R}_s$, for_complex_and real symmetry classes,_as listed in Table \[tab:AZ-symmetry-classes\]. The_abelian group structure inherited from the_equivalence classes_leads to_the group structure in this set of maps, which is called_the $K$ group, or classification group.

For_static topological insulators and_superconductors of_dimension_$(d,D)$ in an_AZ_class $s$_without additional spatial symmetries, the $K$ groups_are denoted_as $K_{\mathbb{C}}(s;d,D)$ and $K_{\mathbb{R}}(s;d,D)$, for complex_and real symmetry classes,_respectively._Note that for complex symmetry classes,_we have $s=0,1 \mod 2$, whereas_for real symmetry classes, $s=0,1,\dots,7_\mod_8$.

These_$K$ groups have the following_properties $$\begin{gathered}
K_{\mathbb{C}}(s;d