Pith. sign in

REVIEW 5 minor 1 cited by

Quaternion-Kahler geometry of time reversal symmetric crystals

T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read Kramers-pair band geometry is quaternionic: a quaternionic quantum geometric tensor unifies the quantum metric with the SU(2) Berry curvature and enforces local metric–curvature bounds whose saturation defines ideal time-reversal bands.

desk verdict The quaternionic QGT and the metric–curvature bound are real, carefully proven results; the reader's concern about Prop S7 does not survive contact with the proof. read the letter →

arxiv 2608.03178 v1 pith:LMOK2SCP submitted 2026-08-04 cond-mat.mes-hall

classification cond-mat.mes-hall
keywords quantumgeometryquaternionicgeometrictensorKramersdegeneracyquaternion-Kählernon-AbelianBerrycurvatureidealbandconditionsecondChernnumbertime-reversalsymmetry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's central claim is that time-reversal-symmetric Kramers pairs are not two separate complex bands but one quaternionic band, so their quantum geometry is quaternionic rather than Kähler. A minimal Kramers pair defines a map into quaternion projective space $\mathbb{HP}^n$, and the quaternionic quantum geometric tensor $Q_{ab}=g_{ab}+\frac12(F^I_{ab}I+F^J_{ab}J+F^K_{ab}K)$ unifies the quantum metric with the three components of the $\mathrm{SU}(2)$ Berry curvature as one positive-semidefinite quaternionic object. Non-negativity of this tensor produces local metric–curvature inequalities such as $\sqrt{\det g}\ge\frac1{24}|F^I\wedge F^I+F^J\wedge F^J+F^K\wedge F^K|$, whose saturation defines the non-Abelian analogue of ideal Chern bands and, in four dimensions, a quantum-volume bound $\mathrm{Vol}_{4D}(g)\ge 2\pi^2|C_2|/3$. If the central claim is right, ideal saturated Kramers-pair bands are the time-reversal-symmetric counterpart of ideal Chern bands, with Bloch states that emulate quaternionic Landau-level wave functions and a rigidity result tying saturation to four-band Dirac geometry.

What carries the argument

The central object is the quaternionic quantum geometric tensor (QQGT), $Q_{ab}(k)=\langle\partial_a\Psi|(1-P)|\partial_b\Psi\rangle$, where $\Psi=(\psi_1+\psi_2J)/\sqrt2$ is a Kramers pair written as one quaternionic state and $P=|\Psi\rangle\langle\Psi|$ is the quaternionic line projector. Its real part is the quantum metric, and its three imaginary quaternion components are the components of the $\mathrm{SU}(2)$ Berry curvature; local $\mathrm{SU}(2)$ frame changes rotate the three curvature forms among themselves, while the metric and the four-form $\Omega=\frac14\sum_A F^A\wedge F^A$ remain invariant. The positivity of the QQGT is what produces the determinant inequality, with equality meaning that the tangent space of the Brillouin zone is preserved by the quaternionic complex structures pulled back from $\mathbb{HP}^n$, and null vectors of the QQGT give the vortexability closure relations $tI-x$, $tJ-y$, $tK-z$.

What would settle it

Find a four-dimensional Kramers-pair band in $\mathbb{HP}^n$ with $n>1$ whose QQGT inequality is saturated pointwise on an open set with $\det g>0$ but whose occupied projectors cannot be mapped into a fixed $\mathbb{HP}^1$ by a global $\mathrm{Sp}(n+1)$ rotation; concretely, this means computing the normal part of $\nabla_X(AY)-A\nabla_X Y$ for the pulled-back quaternionic structures $A=I,J,K$ and finding any tangent pair $X,Y$ where it is nonzero.

Watch

Extended reading notes

Core claim

The discovery is that a Kramers pair is a quaternionic line and its band geometry is quaternion-Kähler. Writing the pair as one quaternionic vector $|\Psi\rangle=(|\psi_1\rangle+|\psi_2\rangle J)/\sqrt{2}$ and the projector $P=|\Psi\rangle\langle\Psi|$, the quaternionic quantum geometric tensor $Q_{ab}=\langle\partial_a\Psi|(1-P)|\partial_b\Psi\rangle$ has real part the quantum metric and quaternion-imaginary parts the three $\mathrm{SU}(2)$ Berry curvature components. Positivity of $Q$ gives the local bound $\sqrt{\det g}\ge \frac{1}{24}|F^I\wedge F^I+F^J\wedge F^J+F^K\wedge F^K|$ in four dimensions, integrating to $\mathrm{Vol}_{4D}(g)\ge \frac{2\pi^2}{3}|C_2|$. Equality defines an ideal time-reversal-symmetric band: the tangent image is preserved by the quaternionic structures, null directions generate vortexability, and in four dimensions saturation is argued to force a rigid reduction to a four-band Dirac block plus spectators.

Load-bearing premise

The claim that every saturated ideal band is exactly a four-band Dirac block rests on the unproven assumption that the way a band bends inside quaternionic projective space is compatible with quaternionic frame rotations in the way the rigidity proof needs; the ambient $\mathrm{Sp}(1)$ connection can add a normal component, and no argument rules it out.

Editorial extensions

If this is right

  • Saturation of the QQGT bound defines a non-Abelian ideal band condition: a Kramers pair is closed under right multiplication by $tI-x$, $tJ-y$, and $tK-z$, giving a crystalline analogue of quaternionic Landau-level vortexability.
  • In four dimensions the local inequality integrates to $\mathrm{Vol}_{4D}(g)\ge (2\pi^2/3)|C_2|$, so any band with second Chern number $C_2$ must carry at least this quantum volume.
  • A saturated, non-singular four-dimensional Kramers-pair band is rigid: up to a global quaternion-unitary rotation its projector lies in a fixed four-band block, so the four-band Dirac Hamiltonian is the universal local form of ideal geometry rather than a toy model.
  • Two- and three-dimensional restrictions inherit local bounds; for spin-conserving and four-gamma Dirac classes these bounds become quantum-volume lower bounds $\pi\nu_{2D}$ and $(\pi^2/\sqrt{2})\nu_{3D}$ tied to the Kane–Mele and Fu–Kane–Mele invariants.
  • Lattice and first-principles tests show pointwise saturation in the minimal four-band Wilson–Dirac model and in $\mathrm{Na}_3\mathrm{Bi}$ where a four-band sector dominates, while generic coupling to spectator bands keeps the inequality valid but breaks saturation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the saturation criterion holds up, it becomes a numerical screening tool: computing the QQGT ratio $|\Omega|_{4D}/\sqrt{\det g}$ over a material's Brillouin zone would locate the four-band sectors most favorable for interaction-driven time-reversal-symmetric topological phases.
  • The band-theoretic vortexability condition allows arbitrary noncommutative polynomials in $tI-x$, $tJ-y$, $tK-z$, whereas the quaternionic lowest Landau level only uses symmetrized products; whether this wider polynomial space changes the many-body physics is a question the paper leaves open.
  • The frame-invariant canonical function $|\Omega|_{2D}$ is a pointwise, gauge-invariant geometric observable that may diagnose $\mathbb{Z}_2$-relevant band geometry even when no simple curvature integral represents the topology, connecting to quantum-geometric measurements in two-dimensional materials.
  • A natural follow-up is a quaternionic analogue of the fractional-Chern-insulator search: classify lattice models whose QQGT is exactly saturated but whose null directions are only locally constant, and test whether such locally vortexable families still support fractional class AII phases.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper develops a quaternionic formulation of quantum geometry for Kramers-degenerate bands. It defines a quaternionic quantum geometric tensor (QQGT) as the pullback of the quaternionic Fubini–Study structure on HP^n, proves its positive semidefiniteness, and derives a pointwise metric–curvature inequality together with its integrated second-Chern-number bound. The paper further characterizes saturation of the inequality as a quaternionic-Kähler condition, proves a rigidity theorem stating that saturated four-dimensional bands reduce to a four-band Dirac block plus spectators, and derives lower-dimensional descendants of the bound. Numerical tests on random Wilson–Dirac models and first-principles calculations for Na3Bi are presented as evidence. The central technical results are stated in the main text and proved in the Supplementary Information, which also contains the formal propositions and their proofs.

Significance. The result is a substantive conceptual advance: it replaces the Abelian Kähler geometry of ideal Chern bands with a non-Abelian, quaternionic geometry adapted to time-reversal-symmetric Kramers pairs. The derivation is parameter-free and self-contained, and it yields sharp, falsifiable inequalities. The rigidity theorem, if correct, provides a strong classification of ideal four-dimensional class AII bands and connects to the four-dimensional quantum Hall effect. The numerical experiments support the central inequalities and distinguish symmetry from ideality. I specifically checked the concern raised about the Sp(1) connection in Proposition S7: the step B(X,AY)=A B(X,Y) is valid because (∇_X A)Y is tangent for a quaternionic submanifold, so the normal component receives no additional contribution. The main remaining issues are reproducibility of the numerical sections and a few presentational clarifications.

minor comments (5)
  1. [Main text, 'Inversion symmetry breaking'] Equation (30) writes H_fold(k)=C|ψ_L(k)>+C|ψ_R(-k)>, which is not a Hamiltonian; this appears to denote the folded Hilbert space, and the construction should be stated more carefully. The subsequent claim that the quaternionic framework applies to all class AII bands is presented without full rigor; either provide a detailed proof or qualify the statement to the PT-symmetric setting.
  2. [Numerical sections (Figs. 2 and 3)] The lattice-model parameters (values of m, V4, V8, system sizes, and perturbation details) and the first-principles parameters for Na3Bi (DFT code, exchange-correlation functional, k-point sampling) are not specified, which hampers reproducibility of the numerical claims.
  3. [Figure 1] The figure labels the SU(2) curvature components as ω^A while the main text Eq. (16) uses F^A with a normalization factor; the relation ω^A = F^A/2 should be stated explicitly in the caption to avoid confusion about the factor 1/24 versus 1/6.
  4. [Supplementary Note 5, Proposition S7] The step B(X,AY)=A B(X,Y) is correct, but adding a brief remark that (∇_X A)Y is tangent for a quaternionic submanifold would preempt the common concern about the Sp(1)-connection contribution to the normal component.
  5. [Main text around Eq. (20)] The vortexability statement is appropriately conditioned on the null directions being constant, but it would be helpful to state explicitly that this constancy is an additional assumption not implied by saturation of Eq. (16).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the QQGT and metric–curvature inequality are derived from positive semidefiniteness without fitted inputs or load-bearing self-citations.

full rationale

The central derivation is self-contained. The QQGT in Eq. (13) is defined directly from the Kramers-pair projector; its non-negativity (Proposition S4) follows from writing q* Q q as a squared norm, with no fitted parameters. Theorem S1's inequality (Eq. (16)) is obtained by applying Lemma S4 to the pullback of the quaternion-Kahler structure of HP^n, which is an external mathematical fact (Refs. 33-35, 50-51), not an assumption equivalent to the result. The integrated bound Eq. (17) is an immediate integral of the local inequality. Proposition S6's four-band saturation is an explicit algebraic identity for Dirac Hamiltonians, and the previously known equality (Ref. 41) is cited as external support, not as the source of the inequality. The converse rigidity Proposition S7 is a geometric argument; even if the reader's concern about the Sp(1) connection were valid, that would be a correctness issue, not circularity, and the proof's total-geodesy step follows from preservation of the tangent and normal bundles by the quaternionic structures. The vortexability statements in Proposition S5 explicitly state the conditional requirement that null directions be constant, and are not used to define ideality. Numerical and first-principles checks test, rather than fit, the bounds. No fitted-input-called-prediction, renaming, ansatz-by-citation, or author-imported-uniqueness pattern is present. The self-citations in the reference list are background or methodological, not load-bearing for the central derivation. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The theoretical derivation uses no fitted parameters. It rests on standard differential geometry (quaternion-Kahler structure of HP^n, Moore determinant theory) and on the physical domain assumption that the occupied subspace is an isolated Kramers pair. No new physical entities are postulated.

assumptions (4)
  • standard math HP^n is a quaternion-Kahler manifold with Fubini-Study metric, two-forms, and local complex structures I, J, K.
    Used in Lemma S1 and Theorem S1 to pull back Fubini-Study data via the projector map. This is a classical result cited to Refs. [33-35, 51].
  • domain assumption The occupied subspace is an isolated Kramers pair with theta^2 = -1 and a smooth projector P(k).
    The entire framework assumes a target pair with no coupling to other bands and a well-defined projector P(k); required for the QQGT, its non-negativity, and the inequalities. At band crossings or with non-isolated bands, the projector is singular and the geometry is not defined.
  • standard math The Moore determinant criterion for quaternionic Hermitian matrices is valid: a 3x3 quaternionic Hermitian matrix is positive semidefinite iff its Moore determinant and principal minors are nonnegative.
    Used in Proposition S8 to identify det g_3D - |Omega|_3D^2 as the Moore determinant of the restricted QQGT. Cited to Alesker (Ref. [52]).
  • standard math When the quantum metric is non-degenerate, the local complex structures of HP^n can be pulled back to linear operators A_I, A_J, A_K on the Brillouin zone tangent space via g and the curvature two-forms.
    Defined in Eq. (S124)-(S125) in the proof of Proposition S3 and used in Theorem S1. This is standard linear algebra under non-degeneracy of the metric.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quaternion-Kahler geometry of time reversal symmetric crystals." pith.science (2026). https://pith.science/paper/LMOK2SCP

@misc{pith2026260803178,
  author       = {Pith},
  title        = {Pith review of: Quaternion-Kahler geometry of time reversal symmetric crystals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LMOK2SCP}},
  note         = {Machine review of arXiv:2608.03178}
}
read the original abstract

Quantum geometry reveals how the shape of Bloch wave functions governs correlated quantum phenomena. Its standard formulation describes isolated complex bands, where Berry curvature is Abelian and ideal geometry is Kahler. However, time reversal symmetric crystals with spin require a different language since Kramers degeneracy pairs Bloch states and turns Berry curvature into a non-Abelian SU(2) field. Here we show that Kramers pair band geometry is quaternionic. A minimal Kramers pair defines a map into quaternion projective space, and its quaternionic quantum geometric tensor unifies the quantum metric with the three SU(2) Berry curvature components. The non-negativity of this tensor imposes local metric-curvature inequalities, whose saturation defines the non-Abelian counterpart of ideal Chern bands. In four dimensions, the ideal limit further yields an algebraic structure related to the four-dimensional quantum Hall effect. Our results promote ideal quantum geometry from the Abelian geometry of Chern bands to the quaternionic, non-Abelian geometry of time reversal symmetric quantum matter.

Figures

Figures reproduced from arXiv: 2608.03178 by the authors.

Figure 1
Figure 1. Schematic comparison of Kahler and quaternion-K ¨ ahler band geometry. ¨ In an ideal two-dimensional Chern band, the quantum metric and the Abelian Berry curvature are related by a complex structure: the metric measures distances between nearby Bloch states, while the Berry curvature measures the phase rotation accumulated around an infinitesimal momentum space loop. For a time reversal symmetric Kramers pair in fou… view at source ↗
Figure 2
Figure 2. Induced metric–curvature inequalities in random Wilson–Dirac models. The figure compares the quantum geometric local bounds in two, three, and four dimensions. The rows correspond respectively to the two-dimensional slice k3 = k4 = 0, the three-dimensional slice k4 = 0, and the full four-dimensional Brillouin zone. In the histogram panels, the plotted target function is Ad(k)/ p det gd(k), where A2 = |Ω|2D, A3 = |Ω|… view at source ↗
Figure 3
Figure 3. Metric–curvature inequalities in Na3Bi. Numerical evaluation of the induced quaternionic metric–curvature bounds for the Na3Bi band structure. (a) Band dispersion along high-symmetry lines. The target lower Kramers pair {ℓ1, ℓ2} and the upper low-energy pair {u1, u2} are shown in red, and the dashed line denotes the Fermi level EF . (b–d) Two-dimensional bound √ det g2D ≥ |Ω|2D on the displayed (kx, ky) slice, repre… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Second-Chern Bounds in Non-Abelian Quantum Geometry

    cond-mat.mes-hall 2026-08 conditional novelty 6.0 of 10

    For SU(2) degenerate doublets in 4D, the quantum metric obeys (tr g)^2/16 >= sqrt(det g) >= |Tr(F wedge F)|/12, with saturation selecting a quaternion Kahler structure.

Reference graph

Works this paper leans on

56 extracted references · 52 canonical work pages · cited by 1 Pith paper

  1. [1]

    Holonomy, the quantum adiabatic theorem, and berry’s phase,

    Barry Simon, “Holonomy, the quantum adiabatic theorem, and berry’s phase,” Phys. Rev. Lett.51, 2167–2170 (1983)

  2. [2]

    Quantal phase factors accompanying adiabatic changes,

    Michael Victor Berry, “Quantal phase factors accompanying adiabatic changes,” Proc. R. Soc. A392, 45–57 (1984)

  3. [3]

    Appearance of gauge structure in simple dynamical systems,

    Frank Wilczek and A. Zee, “Appearance of gauge structure in simple dynamical systems,” Phys. Rev. Lett.52, 2111–2114 (1984)

  4. [4]

    Berry’s phase for energy bands in solids,

    J. Zak, “Berry’s phase for energy bands in solids,” Phys. Rev. Lett.62, 2747–2750 (1989)

  5. [5]

    Riemannian structure on manifolds of quantum states,

    J. P. Provost and G. Vallee, “Riemannian structure on manifolds of quantum states,” Commun. Math. Phys.76, 289–301 (1980)

  6. [6]

    Theory of polariza- tion of crystalline solids,

    R. D. King-Smith and David Vanderbilt, “Theory of polariza- tion of crystalline solids,” Phys. Rev. B47, 1651(R)–1654(R) (1993)

  7. [7]

    Macroscopic polarization in crystalline di- electrics: the geometric phase approach,

    Raffaele Resta, “Macroscopic polarization in crystalline di- electrics: the geometric phase approach,” Rev. Mod. Phys.66, 899–915 (1994)

  8. [8]

    Orbital magnetization in periodic insulators,

    T. Thonhauser, Davide Ceresoli, David Vanderbilt, and R. Resta, “Orbital magnetization in periodic insulators,” Phys. Rev. Lett.95, 137205 (2005)

Show all 56 references
  1. [9]

    Orbital magnetization in crystalline solids: Multi- band insulators, chern insulators, and metals,

    Davide Ceresoli, T. Thonhauser, David Vanderbilt, and R. Resta, “Orbital magnetization in crystalline solids: Multi- band insulators, chern insulators, and metals,” Phys. Rev. B74, 024408 (2006)

  2. [10]

    Mag- netoelectric polarizability and axion electrodynamics in crys- talline insulators,

    Andrew M. Essin, Joel E. Moore, and David Vanderbilt, “Mag- netoelectric polarizability and axion electrodynamics in crys- talline insulators,” Phys. Rev. Lett.102, 146805 (2009)

  3. [11]

    Geometri- cal effects in orbital magnetic susceptibility,

    Yang Gao, Shengyuan A. Yang, and Qian Niu, “Geometri- cal effects in orbital magnetic susceptibility,” Phys. Rev. B91, 214405 (2015)

  4. [12]

    Field induced positional shift of bloch electrons and its dynamical implica- tions,

    Yang Gao, Shengyuan A. Yang, and Qian Niu, “Field induced positional shift of bloch electrons and its dynamical implica- tions,” Phys. Rev. Lett.112, 166601 (2014)

  5. [13]

    Quantum nonlinear hall effect induced by berry curvature dipole in time-reversal invariant ma- terials,

    Inti Sodemann and Liang Fu, “Quantum nonlinear hall effect induced by berry curvature dipole in time-reversal invariant ma- terials,” Phys. Rev. Lett.115, 216806 (2015)

  6. [14]

    Intrinsic nonlinear conductivities induced by the quantum metric,

    Kamal Das, Shibalik Lahiri, Rhonald Burgos Atencia, Dimitrie Culcer, and Amit Agarwal, “Intrinsic nonlinear conductivities induced by the quantum metric,” Phys. Rev. B108, L201405 (2023)

  7. [15]

    Quantum-metric-induced nonlinear transport in a topological antiferromagnet,

    Naizhou Wanget al., “Quantum-metric-induced nonlinear transport in a topological antiferromagnet,” Nature621, 487–492 (2023)

  8. [16]

    Quantum metric nonlinear hall effect in a topological antiferromagnetic heterostructure,

    Anyuan Gaoet al., “Quantum metric nonlinear hall effect in a topological antiferromagnetic heterostructure,” Science381, 181–186 (2023)

  9. [17]

    Superfluidity in topo- logically nontrivial flat bands,

    Sebastiano Peotta and P ¨aivi T ¨orm¨a, “Superfluidity in topo- logically nontrivial flat bands,” Nat. Commun.6(2015), 10.1038/ncomms9944

  10. [18]

    Geometric origin of superfluidity in the lieb-lattice flat band,

    Aleksi Julku, Sebastiano Peotta, Tuomas I. Vanhala, Dong-Hee Kim, and P ¨aivi T ¨orm¨a, “Geometric origin of superfluidity in the lieb-lattice flat band,” Phys. Rev. Lett.117, 045303 (2016)

  11. [19]

    Band geometry, berry curvature, and super- fluid weight,

    Long Lianget al., “Band geometry, berry curvature, and super- fluid weight,” Phys. Rev. B95, 024515 (2017)

  12. [20]

    Quantum distance and anomalous landau levels of flat bands,

    Jun-Won Rhim, Kyoo Kim, and Bohm-Jung Yang, “Quantum distance and anomalous landau levels of flat bands,” Nature 584, 59–63 (2020)

  13. [21]

    Ge- ometric characterization of anomalous landau levels of isolated flat bands,

    Yoonseok Hwang, Jun-Won Rhim, and Bohm-Jung Yang, “Ge- ometric characterization of anomalous landau levels of isolated flat bands,” Nat. Commun.12(2021), 10.1038/s41467-021- 26765-z

  14. [22]

    Quan- tum geometry and landau levels of quadratic band crossings,

    Junseo Jung, Hyeongmuk Lim, and Bohm-Jung Yang, “Quan- tum geometry and landau levels of quadratic band crossings,” Phys. Rev. B109, 035134 (2024)

  15. [23]

    Geo- metric stability of topological lattice phases,

    Thomas S. Jackson, Gunnar M ¨oller, and Rahul Roy, “Geo- metric stability of topological lattice phases,” Nat. Commun. 6, 8629 (2015)

  16. [24]

    Band geometry of fractional topological insula- tors,

    Rahul Roy, “Band geometry of fractional topological insula- tors,” Phys. Rev. B90, 165139 (2014)

  17. [25]

    Quantum geom- etry and stability of the fractional quantum hall effect in the hofstadter model,

    David Bauer, T. S. Jackson, and Rahul Roy, “Quantum geom- etry and stability of the fractional quantum hall effect in the hofstadter model,” Phys. Rev. B93, 235133 (2016)

  18. [26]

    Quantum geometry in quantum materials,

    Jiabin Yuet al., “Quantum geometry in quantum materials,” npj Quantum Mater.10(2025), 10.1038/s41535-025-00801-3

  19. [27]

    Measurements of the quantum geometric tensor in solids,

    Mingu Kanget al., “Measurements of the quantum geometric tensor in solids,” Nat. Phys.21, 110–117 (2024)

  20. [28]

    Direct measurement of the quantum metric tensor in solids,

    Sunje Kimet al., “Direct measurement of the quantum metric tensor in solids,” Science388, 1050–1054 (2025)

  21. [29]

    From berry curvature to quantum metric: a new era of quantum geometry metrology for bloch electrons in solids,

    Bohm-Jung Yang, “From berry curvature to quantum metric: a new era of quantum geometry metrology for bloch electrons in solids,” Chin. Phys. Lett.43, 020712 (2026)

  22. [30]

    K ¨ahler geometry and chern insulators: Relations between topology and the quantum met- ric,

    Bruno Mera and Tomoki Ozawa, “K ¨ahler geometry and chern insulators: Relations between topology and the quantum met- ric,” Phys. Rev. B104, 045104 (2021)

  23. [31]

    Engineering geometrically flat chern bands with fubini–study k¨ahler structure,

    Bruno Mera and Tomoki Ozawa, “Engineering geometrically flat chern bands with fubini–study k¨ahler structure,” Phys. Rev. B104, 115160 (2021)

  24. [32]

    Fractional chern insulator states in twisted bilayer graphene: An analytical approach,

    Patrick J. Ledwith, Grigory Tarnopolsky, Eslam Khalaf, and Ashvin Vishwanath, “Fractional chern insulator states in twisted bilayer graphene: An analytical approach,” Phys. Rev. Res.2, 023237 (2020)

  25. [33]

    Symmetry-protectedZ 2-quantization and quaternionic berry connection with kramers degeneracy,

    Yasuhiro Hatsugai, “Symmetry-protectedZ 2-quantization and quaternionic berry connection with kramers degeneracy,” New J. Phys.12, 065004 (2010)

  26. [34]

    Hyper k ¨ahler and quaternionic k¨ahler geome- try

    Andrew Swann, “Hyper k ¨ahler and quaternionic k¨ahler geome- try.” Math. Ann.289, 421–450 (1991)

  27. [35]

    Daniel Freed and Karen Uhlenbeck, eds.,Geometry and quan- tum field theory, IAS/Park City Mathematics Series (American Mathematical Society, Providence, RI, 1995)

  28. [36]

    A four-dimensional generalization of the quantum hall effect,

    Shou-Cheng Zhang and Jiangping Hu, “A four-dimensional generalization of the quantum hall effect,” Science294, 823–828 (2001). 9

  29. [37]

    The quantum hall ef- fect on r4,

    Henriette Elvang and Joseph Polchinski, “The quantum hall ef- fect on r4,” C. R. Phys.4, 405–417 (2003)

  30. [38]

    High-dimensional topological insula- tors with quaternionic analytic landau levels,

    Yi Li and Congjun Wu, “High-dimensional topological insula- tors with quaternionic analytic landau levels,” Phys. Rev. Lett. 110, 216802 (2013)

  31. [39]

    Topological in- sulators with su(2) landau levels,

    Yi Li, Shou-Cheng Zhang, and Congjun Wu, “Topological in- sulators with su(2) landau levels,” Phys. Rev. Lett.111, 186803 (2013)

  32. [40]

    Band structure engineering of ideal fractional chern insulators,

    Ching Hua Lee, Martin Claassen, and Ronny Thomale, “Band structure engineering of ideal fractional chern insulators,” Phys. Rev. B96, 165150 (2017)

  33. [41]

    Relating the topology of dirac hamiltonians to quantum geometry: When the quantum metric dictates chern numbers and winding num- bers,

    Bruno Mera, Anwei Zhang, and Nathan Goldman, “Relating the topology of dirac hamiltonians to quantum geometry: When the quantum metric dictates chern numbers and winding num- bers,” SciPost Phys.12, 018 (2022)

  34. [42]

    V ortexability: A unifying criterion for ideal fractional chern insulators,

    Patrick J. Ledwith, Ashvin Vishwanath, and Daniel E. Parker, “V ortexability: A unifying criterion for ideal fractional chern insulators,” Phys. Rev. B108, 205144 (2023)

  35. [43]

    Quantum spin hall effect,

    B. Andrei Bernevig and Shou-Cheng Zhang, “Quantum spin hall effect,” Phys. Rev. Lett.96, 106802 (2006)

  36. [44]

    Fractional topological insula- tors,

    Michael Levin and Ady Stern, “Fractional topological insula- tors,” Phys. Rev. Lett.103, 196803 (2009)

  37. [45]

    Fractional topological liquids with time- reversal symmetry and their lattice realization,

    Titus Neupert, Luiz Santos, Shinsei Ryu, Claudio Chamon, and Christopher Mudry, “Fractional topological liquids with time- reversal symmetry and their lattice realization,” Phys. Rev. B 84, 165107 (2011)

  38. [46]

    SU(2)non-abelian holonomy and dissipationless spin current in semiconductors,

    Shuichi Murakami, Naoto Nagaosa, and Shou-Cheng Zhang, “SU(2)non-abelian holonomy and dissipationless spin current in semiconductors,” Phys. Rev. B69, 235206 (2004)

  39. [47]

    Universal wilson loop bound of quantum geometry,

    Jiabin Yu, Jonah Herzog-Arbeitman, and B. Andrei Bernevig, “Universal wilson loop bound of quantum geometry,” Phys. Rev. Lett.135, 086401 (2025)

  40. [48]

    Fractional topological insulators in three di- mensions,

    Joseph Maciejko, Xiao-Liang Qi, Andreas Karch, and Shou- Cheng Zhang, “Fractional topological insulators in three di- mensions,” Phys. Rev. Lett.105, 246809 (2010)

  41. [49]

    Quaternionic analysis,

    A. Sudbery, “Quaternionic analysis,” Math. Proc. Camb. Philos. Soc.85, 199–225 (1979)

  42. [50]

    Calibrated geome- tries,

    Reese Harvey and H. Blaine Lawson, Jr., “Calibrated geome- tries,” Acta Math.148, 47–157 (1982)

  43. [51]

    Quaternionic k ¨ahler manifolds,

    Simon Salamon, “Quaternionic k ¨ahler manifolds,” Invent. Math.67, 143–171 (1982)

  44. [52]

    Non-commutative linear algebra and plurisubharmonic functions of quaternionic variables,

    Semyon Alesker, “Non-commutative linear algebra and plurisubharmonic functions of quaternionic variables,” Bull. Sci. Math.127, 1–35 (2003)

  45. [53]

    Z 2 topological order and the quan- tum spin hall effect,

    C. L. Kane and E. J. Mele, “Z 2 topological order and the quan- tum spin hall effect,” Phys. Rev. Lett.95, 146802 (2005)

  46. [54]

    Topological insulators in three dimensions,

    Liang Fu, C. L. Kane, and E. J. Mele, “Topological insulators in three dimensions,” Phys. Rev. Lett.98, 106803 (2007)

  47. [55]

    Topological field theory of time-reversal invariant insulators,

    Xiao-Liang Qi, Taylor L. Hughes, and Shou-Cheng Zhang, “Topological field theory of time-reversal invariant insulators,” Phys. Rev. B78, 195424 (2008). S1 Supplementary Information for “Quaternion-K¨ahler geometry of time reversal symmetric crystals” Hyeongmuk Lim1,2,3, Junseo...

  48. [56]

    pullback

    Therefore,dimE= 4and the map f: TkT4 BZ →E V7→dP(V) (S144) is an isomorphism. Using this map, one can define the linear operators onT kT4 BZ eI:=f −1◦I◦f, eJ:=f −1◦J◦f, eK:=f −1◦K◦f(S145) which obviously satisfy P∗ωI FS(v1,v 2) =P∗gFS(v1,eIv2)(S146) and similar relations foreJ...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.