Pith. sign in

REVIEW 1 major objections 7 minor 82 references

Quaternionic Hermitian Band Geometry in Four Dimensions: Realization on $S^4$ and Obstruction on $T^4$

T0 review · 1 major / 7 minor · reviewed 2026-08-28 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Four-dimensional quaternionic band geometry is globally realized by the S^4 lowest Landau level, but a single quaternionic band on T^4 always develops a quantum-metric degeneracy.

desk verdict A solid S^4 realization and careful Theorems 1–3, but the paper's broadest claim—that adding unoccupied bands cannot remove the T^4 obstruction—rests entirely on an unproved proposition from a concurrent preprint. read the letter →

arxiv 2608.23556 v1 pith:V4CYOILC submitted 2026-08-24 cond-mat.mes-hall cond-mat.quant-gascond-mat.str-el

Dongju Hwang , Minjae Yu , Gil Young Cho This is my paper · ORCID
classification cond-mat.mes-hallcond-mat.quant-gascond-mat.str-el
keywords quantumgeometryquaternionicbandWirtingerinequalitymetricBerrycurvaturesecondChernnumberlowestLandaulevelfour-dimensionalHalleffect
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 formulates a four-dimensional, quaternionic analogue of two-dimensional Kähler band geometry and proves a realization–obstruction dichotomy. It shows that the minimal-charge lowest Landau level on $S^4$ saturates the quaternionic Wirtinger inequality everywhere, with a nondegenerate quantum metric, so the parameter space acquires the canonical quaternionic Kähler geometry of $\mathbb{H}P^1$. On the four-torus $T^4$, by contrast, the quaternionic Wirtinger inequality is automatically saturated at every momentum for any half-filled four-band system with an antiunitary symmetry squaring to $-1$, yet the quantum metric must vanish somewhere, so a single occupied quaternionic band cannot induce quaternionic Hermitian band geometry globally. The paper further argues that adding unoccupied bands cannot remove this obstruction. If correct, the result shows that pointwise saturation of the quantum-geometric bound does not by itself determine global band geometry; parameter-space topology does.

What carries the argument

The load-bearing identity is the quaternionic Wirtinger inequality, the quaternionic analogue of the Wirtinger inequality of Kähler band geometry: for a quaternionic band projector $P_H:X\to\mathbb{H}P^{N-1}$ with pullback metric $g=P_H^*g_{FS}$ and SU(2) Berry curvature $F$, $$\tfrac{1}{12}\left|[\operatorname{Tr}(F\wedge F)]_{1234}(x)\right|\leq \sqrt{\det g(x)},$$ with equality at nondegenerate points exactly when $dP_H(T_xX)$ is invariant under the canonical quaternionic structure $Q_{FS}$ of $\mathbb{H}P^{N-1}$. Lemma 3 relates the Berry curvature to the local fundamental forms by $F^i=-2\omega^i_{FS}$, which rewrites the Kraines form as $-\tfrac{1}{12}\operatorname{Tr}(F\wedge F)$ and makes the inequality a band-geometric bound. Corollary 1 assembles the pointwise quaternionic structures into a global one, defining quaternionic Hermitian band geometry. On $S^4$, the coherent-state frame $\Psi_x$ built from the quaternionic Perelomov construction gives the projector $P(x)=\tfrac12(1_4+x_a\Gamma_a)$, whose metric and curvature saturate the bound everywhere. The final mechanism is the rigidity statement (Proposition S7 in the cited concurrent work) that a nondegenerate, everywhere-saturated quaternionic projector has image in a fixed $\mathbb{H}P^1$, which transfers the four-band $T^4$ obstruction to an arbitrary number of ambient bands.

What would settle it

Direct computation of $\det g(k)$ for any gapped, half-filled, four-band lattice Hamiltonian on $T^4$ with an antiunitary symmetry squaring to $-1$ would test Theorem 2: the paper predicts at least one momentum with $\det g=0$, so one clean example with $\det g>0$ everywhere would refute the obstruction. For the extra-band claim in Theorem 4, the concrete mathematical test is to construct a smooth quaternionic line map from $T^4$ into $\mathbb{H}P^{N-1}$ whose pulled-back metric is everywhere nondegenerate and whose quaternionic Wirtinger inequality is everywhere saturated; the quoted rigidity proposition predicts that no such map exists.

Watch

Extended reading notes

Core claim

On its own terms, the central discovery is that the local compatibility implied by saturation and the global realizability of quaternionic Hermitian band geometry are governed by different conditions. At every nondegenerate point, saturation of $\tfrac{1}{12}|[\operatorname{Tr}(F\wedge F)]_{1234}(x)| = \sqrt{\det g(x)}$ is equivalent to the pullback of the canonical quaternionic structure $Q_{FS}$ of the target projective space to $T_x X$, and when this holds everywhere with positive $\det g$, Corollary 1 promotes the parameter space to a quaternionic Hermitian manifold. The minimal-charge $S^4$ lowest Landau level, built from quaternionic Perelomov coherent states, satisfies these conditions everywhere and realizes the round quaternionic Kähler geometry of $\mathbb{H}P^1$ with $\int_{S^4}\sqrt{\det g}\,d^4x = \frac{2\pi^2}{3}|C_2|$. On $T^4$, a minimal four-band system saturates the inequality at every momentum, but a covering-space argument forces a point with $\det g=0$; the explicit lattice Dirac Hamiltonian shows the degeneracy at $k^*=(\pi/2,\pi/2,0,0)$ where the second Chern density changes sign. Enlarging the Hilbert space does not help as long as the occupied subspace is a single quaternionic band, because a nondegenerate everywhere-saturated projector must lie in a fixed $\mathbb{H}P^1\subset\mathbb{H}P^{N-1}$.

Load-bearing premise

The load-bearing step not proved in this paper is a quoted rigidity result: as soon as a quaternionic band map saturates the metric bound everywhere with nondegenerate metric, its whole image must lie in a fixed four-dimensional projective line; the argument that extra unoccupied bands cannot remove the $T^4$ obstruction collapses if that quoted result is false or inapplicable.

Editorial extensions

If this is right

  • If the central claim is right, a quaternionic band projector on any closed four-manifold obeys $\int_X\sqrt{\det g}\,d^4x \ge \frac{2\pi^2}{3}|C_2|$, with equality exactly under everywhere saturation and fixed sign of the second Chern density.
  • The minimal-charge $S^4$ lowest Landau level saturates the bound with $C_2=1$ and realizes the round quaternionic Kähler metric; the explicit projector $P(x)=\frac12(1_4+x_a\Gamma_a)$ provides a concrete state family with global quaternionic Hermitian band geometry.
  • On $T^4$, every gapped half-filled four-band model with the antiunitary symmetry has a momentum where $\det g=0$, even though the quaternionic Wirtinger inequality is satisfied with equality everywhere; pointwise saturation therefore cannot certify a quaternionic band geometry.
  • The lattice Dirac model localizes the obstruction: at $k^*=(\pi/2,\pi/2,0,0)$ the quantum metric degenerates and the second Chern density changes sign, making the global bound strict.
  • Adding unoccupied bands cannot restore globality for a single occupied quaternionic band as long as saturation holds everywhere, so the obstruction is not an artifact of the minimal four-band description.

Reading between the lines

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

  • The covering-space logic suggests the obstruction is not special to $T^4$: any closed four-dimensional parameter space with nontrivial fundamental group cannot admit an everywhere-nondegenerate saturated map into $\mathbb{H}P^1$ in this construction, so the dichotomy may extend to other compact bases.
  • The sign change of $\det G(k)$ in the lattice Dirac model near $k^*$ gives an experimental signature that could be probed with synthetic-dimension 4D quantum Hall platforms: the degeneracy locus is local and measurable, not only a global integral effect.
  • The open question the paper identifies for $T^3\times R$ suggests a testable extension: if a gapped mixed lattice-continuum Hamiltonian realizes everywhere nondegenerate saturation on $T^3\times R$, the obstruction is purely compactness-driven and would tie quaternionic band geometry to self-dual Yang-Mills configurations on $T^3\times R$.
  • A natural program for flat band engineering would search for lattice models that exactly reproduce the $S^4$ coherent-state projector on a patch or on $T^3\times R$; the paper's dichotomy implies that the full periodic $T^4$ version is impossible for a single quaternionic band.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 7 minor

Summary. The manuscript develops a quaternionic analogue of two-dimensional Kähler band geometry for four-dimensional parameter spaces. A single occupied quaternionic band is modeled as a rank-two complex projector P: X → Gr_C(2,2N) invariant under a fixed antiunitary operator J with J^2 = −1, which by Lemma 2 factors through a map P_H: X → HP^{N−1}. Theorem 1 imports the quaternionic Wirtinger inequality of Tasaki and reformulates it as the band-geometric bound (1/12)|[Tr(F∧F)]_{1234}| ≤ sqrt(det g), with equality at nondegenerate points equivalent to the pullback of the canonical quaternionic structure of HP^{N−1}, yielding a quaternionic Hermitian structure on X (Corollary 1) and a global Chern-volume bound (Corollary 2). For the positive result, the minimal-charge LLL on S^4 is written as quaternionic Perelomov coherent states with parameter space HP^1 ≅ S^4, and the explicit projector gives g and F^i saturating the inequality everywhere with a nondegenerate metric, so (S^4, g, Q) is quaternionic Hermitian and, under the authors' four-dimensional convention (Einstein and self-dual), quaternionic Kähler, with C2 = 1. For the no-go result, a four-band J-symmetric half-filled Bloch system on T^4 saturates the inequality everywhere (Theorem 3), but no smooth immersion T^4 → S^4 exists, so det g must vanish somewhere (Theorem 2); the lattice Dirac Hamiltonian of Eq. (35) exhibits this explicitly.

Significance. If the results hold, the paper is a significant contribution: it supplies a clean, explicit, parameter-free realization of quaternionic Hermitian band geometry on S^4 and a sharp no-go statement for T^4, and it articulates a conceptual point the field needs — pointwise saturation of the quaternionic Wirtinger inequality is automatic at degenerate points and carries no geometric information, so local saturation does not by itself imply global realization. I spot-checked several algebraic steps and found them consistent: the J-invariance of the five Γ^a in Appendix E, the identities (E10) and (E12), the sign change in Eq. (E15), and the saturation identity (27) together with the normalization of Lemma 3. The self-contained core — Theorems 1–3, Corollaries 1–2, the coherent-state construction, and the Dirac-model verification — is sound in my reading and is already a solid contribution. The weakness is Theorem 4: the robustness claim under arbitrarily many added bands is the headline of the abstract, and it is the one result that depends on an unproved proposition of an unpublished concurrent preprint. Because the gap is local and fixable, I recommend revision rather than rejection.

major comments (1)
  1. [Sec. IV, Theorem 4 (with the Note added and App. F)] The stress-test concern is well-founded: Theorem 4, and with it the abstract's final claim that adding unoccupied bands cannot remove the T^4 obstruction, is the one result not proved in this manuscript. The proof of Theorem 4 (Appendix B.2) applies Proposition S7 of the concurrent, unpublished preprint [37] as a black box; the proposition is neither stated with its hypotheses nor proved here, and the Note added explicitly concedes that all other results were derived independently. If Proposition S7 is false, or if its hypotheses fail to cover maps T^4 → HP^{N−1} (for instance, if the global conclusion that the image lies in a fixed HP^1 requires a simply-connected domain or a condition the four-torus does not satisfy), then the extension of the no-go statement beyond the minimal four-band model would be unsupported; the paper's self-contained core would survive, but the headline claim would not. As a correctness-risk concern, the fix should be within the authors' reach: either state Proposition S7 in full and prove it in an appendix (a rigidity argument for quaternionic immersions into HP^{N−1} is a natural companion to the machinery developed in Appendices A and B), or reformulate Theorem 4 as conditional on Ref. [37] and restrict the unconditional claim to the four-band case, adjusting the abstract accordingly. I verified the self-contained parts — Theorem 1 and its corollaries, the S^4 computation of Sec. III, and the Dirac-model identities of Appendix E — and found them consistent.
minor comments (7)
  1. [Sec. IV, paragraph preceding Theorem 4] The sentence introducing the HP^1 rigidity cites [37] without informing the reader that this is an unpublished concurrent preprint and that Theorem 4's proof depends on it; this disclosure should appear in the main text at first use, not only in the Note added.
  2. [Sec. III, Eq. (26)] The self-dual 't Hooft symbols η^i_{μν} are used in Eq. (26) but are explicitly defined only in Appendix D; please add the definition or a forward reference at first use.
  3. [Sec. I, third paragraph] The sentence stating that the induced S^4 geometry "is the canonical quaternionic Kähler geometry of HP^1" should carry an immediate forward reference to Definition 7 and Appendix F, because under the standard holonomy-based convention every four-dimensional quaternionic Hermitian manifold would qualify, a point the paper makes only in Appendix A.
  4. [References [37], [58]] In the final version, please update Refs. [37] and [58] to their published versions, or mark them clearly as concurrent preprints in the reference list, given the central role of Proposition S7 of Ref. [37] in the proof of Theorem 4.
  5. [Sec. V, paragraph on X_a] For the interpolating family X_a = T^{4−a} × R^a, an explicit summary of the status per value of a (a = 0 obstructed, a = 4 realized by the stereographic pullback, a = 1, 2, 3 open) would improve readability, since as written the reader must assemble this information from the surrounding text.
  6. [Appendix E, after Eq. (E15)] It would clarify the Dirac-model discussion to state explicitly that det g = (det G)^2 / 16, so the linear change of det G in ε across k* implies a second-order (quadratic) degeneracy of the quantum metric at k*, consistent with Eq. (38).
  7. [Appendix B.2, proof of Theorem 2] The covering-space argument is correct, but citing the three separate results from Ref. [65] makes the proof harder to read than necessary; the single statement that a proper local diffeomorphism between connected manifolds of equal dimension is a covering map would suffice.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the S^4 construction and the minimal T^4 theorems are self-contained; Theorem 4's reliance on the external rigidity proposition of Ref. [37] is a disclosed dependency, not a circular reduction.

full rationale

The central S^4 claim is a direct verification rather than a derivation from its conclusion: the Perelomov coherent-state frame gives explicit expressions for the pullback metric and SU(2) Berry curvature, and Eq. (27) verifies pointwise saturation of the quaternionic Wirtinger inequality with no fitted parameter. Theorems 1–3 are obtained by applying the published Tasaki inequality [34,35] to band projectors and by a standard covering-space argument ruling out an immersion T^4→HP^1≅S^4; no input quantity is renamed as a prediction. The only external load-bearing step is Theorem 4, which invokes Proposition S7 of the concurrent preprint [37] to confine the image of a saturated nondegenerate quaternionic projector to a fixed HP^1. The Note added explicitly discloses this: 'All results in the present work were derived independently, with the sole exception of Theorem 4, which utilizes Proposition S7 of Ref. [37].' The authors of Ref. [37] do not overlap with the present authors, so this is not a self-citation chain, and the step is conditional rather than circular: if Proposition S7 is true, the torus obstruction follows; the present paper does not define the conclusion into the hypotheses. Whether Proposition S7 is correct or sufficiently proved is a mathematical rigor concern, not circularity. No equation in the paper reduces, by construction, to a fitted parameter or to an assumed form of the target result.

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

The central derivation relies on the established quaternionic Wirtinger inequality of Tasaki and, for Theorem 4, on an external rigidity proposition from a concurrent preprint. The physical setup assumes a fixed antiunitary J with J^2=-1 realizing a quaternionic band. No free parameters are fitted; the model parameters m,c are not determined by the results.

assumptions (4)
  • standard math Quaternionic Wirtinger inequality for HP^{N-1} (Tasaki [34,35])
    Theorem 1 and the global bound Corollary 2 use this inequality as the starting point; the paper cites [34,35] rather than proving it.
  • domain assumption Proposition S7 of Ref. [37] (local HP^1 rigidity): a nondegenerate everywhere-saturated quaternionic projector has image in a fixed HP^1
    This is the load-bearing input for Theorem 4; it is not proved in the present paper and is taken from a concurrent preprint.
  • standard math Smooth proper local diffeomorphisms between compact manifolds are covering maps, and coverings induce injective maps on fundamental groups
    Used in the proofs of Theorems 2 and 4 to rule out an immersion T^4 -> S^4; standard results cited via Refs [65,66].
  • domain assumption The occupied doublet is a single quaternionic band: a fixed antiunitary J with J^2=-1 commutes with the Hamiltonian, making the occupied fibers J-invariant complex 2-planes
    This is the defining physical setup (Sec. II); the paper argues it is realized by PT symmetry in Bloch systems, but the general claim is assumed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quaternionic Hermitian Band Geometry in Four Dimensions: Realization on $S^4$ and Obstruction on $T^4$." pith.science (2026). https://pith.science/paper/V4CYOILC

@misc{pith2026260823556,
  author       = {Pith},
  title        = {Pith review of: Quaternionic Hermitian Band Geometry in Four Dimensions: Realization on $S^4$ and Obstruction on $T^4$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/V4CYOILC}},
  note         = {Machine review of arXiv:2608.23556}
}
abstract

We establish a realization-obstruction dichotomy for quaternionic Hermitian band geometry in four-dimensional parameter spaces: the minimal-charge lowest Landau level on $S^{4}$ provides a global realization, whereas an everywhere nondegenerate saturated realization induced by a single occupied quaternionic band is obstructed on $T^{4}$. An antiunitary symmetry $\mathcal{J}$ satisfying $\mathcal{J}^{2}=-1$ makes the occupied doublet a quaternionic band. Within this setting, we formulate the quaternionic Wirtinger inequality as a band-geometric bound involving the quantum metric and the second Chern density. At every nondegenerate saturation point, the canonical geometry of the quaternionic projective space pulls back to a compatible quaternionic structure on the parameter space; if these conditions hold everywhere, the parameter space acquires quaternionic Hermitian band geometry. On $S^{4}$, we express the minimal-charge states as quaternionic Perelomov coherent states and establish everywhere nondegenerate saturation, thereby realizing quaternionic Hermitian band geometry. On $T^{4}$, by contrast, a minimal four-band system saturates the inequality everywhere, but topology forces the quantum metric to become degenerate somewhere, obstructing a globally induced quaternionic structure. An explicit lattice Dirac Hamiltonian exhibits this obstruction. Adding unoccupied bands cannot remove this obstruction when the inequality is saturated everywhere, since the image of any nondegenerate saturated projector remains confined to a fixed $\mathbb{H}P^{1}$. These results provide a symmetry-aware framework for non-Abelian band geometry and show how parameter-space topology constrains the global realization of quaternionic Hermitian band geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

82 extracted references · 58 canonical work pages

  1. [37]

    A. C. Tyner, S. Sur, Q. Zhou, D. Puggioni, P. Darancet, J. M. Rondinelli, and P. Goswami, In-plane Wilson loop for measurement of quantized non-Abelian Berry flux, Phys. Rev. B109, 195149 (2024)

    work page 2024

  2. [58]

    Harvey and H

    R. Harvey and H. B. Lawson, Jr., Calibrated geometries, Acta Math.148, 47 (1982)

    work page 1982

  3. [1]

    Quaternionic Vector Spaces A quaternion is written as [59, 60] q=q 0 +q 1e1 +q 2e2 +q 3e3, q i∈R,(A1) where the imaginary quaternionic units satisfye iej = −δij +ϵijkek fori,j= 1,2,3. Quaternionic conjugation and the norm are defined by ¯q=q0−qaea,|q| 2 = ¯qq=q 2 0 +q 2 1 +q 2 2 +q 2 3.(A2) The quaternionic algebra admits an equivalent complex 2×2matrixre...

  4. [2]

    Definitions and Conventions in Quaternionic Geometry For completeness, we collect below the definitions and dimension-dependent conventions for quaternionic geom- etry adopted throughout this work [40, 41, 61–64]. Definition 1.Analmost quaternionic structureon a smooth manifoldXis a rank-three vector subbundle Q⊂End(TX), which is locally spanned by an adm...

  5. [3]

    Auxiliary Lemmas Lemma 1.LetV C∼= C2N be a complex Hermitian vec- tor space equipped with an antiunitary operator satisfy- ingJ 2 =−1 2N. The underlying real vector space ofVC then carries a natural quaternionic vector space structure VH∼= HN, where multiplication byiis given by the orig- inal complex structure and the action ofjis given byJ. Then, there ...

    work page

  6. [4]

    Letg=P ∗ HgFS be the pullback Fubini-Study metric, and letFbe the associatedSU(2) Berry curvature

    Proofs of the Main Results Theorem 1.LetXbe an oriented four-manifold and suppose thatPfactors through a quaternionic projector mapP H :X→HP N−1. Letg=P ∗ HgFS be the pullback Fubini-Study metric, and letFbe the associatedSU(2) Berry curvature. Then, for everyx∈X, 1 12|[Tr(F∧F)] 1234(x)|≤ p detg(x).(B30) At each pointx∈X, the following two cases occur. (i...

    work page

  7. [5]

    Now, supposethatrank(dP H;x) = 4

    Thus both sides of the inequality vanish, and equality holdsautomatically. Now, supposethatrank(dP H;x) = 4. Then, ξx = dPH;x(TxX)⊂T PH(x)HPN−1 (B36) is an oriented real four-plane, anddPH;x :T xX→ξ x is a linear isomorphism. By the equality characterization of the quaternionic Wirtinger inequality, equality holds if and only ifξx is a quaternionic line i...

    work page

  8. [6]

    Consequently, by Definition 4, (X,g,Q)is a quaternionic Hermitian manifold.■ Corollary 2.Let the assumptions of Theorem 1 hold

    Since eachQ x isg x-compatible by construction,Q is compatible withg. Consequently, by Definition 4, (X,g,Q)is a quaternionic Hermitian manifold.■ Corollary 2.Let the assumptions of Theorem 1 hold. If Xis closed, then 2π2 3 |C2|≤ Z X p detg(x) d 4x,(B47) where C2 =− 1 8π2 Z X Tr(F∧F)∈Z(B48) is the second Chern number of the occupied complex rank- two bund...

    work page

Show all 82 references
  1. [7]

    General Perelomov Construction LetGbeanarbitraryLiegroupandTbeanirreducible unitary representation on a complex Hilbert spaceHC, and let|ψ e⟩be a fixed normalized reference vector in HC. Consider the set of vectors {|ψg⟩}={|ψ g⟩=T(g)|ψ e⟩∈H C;g∈G}.(C1) If the two states|ψ g⟩an...

  2. [8]

    (C11) To determineHexplicitly, we write |ψe⟩= 1 0 andT(h) = a b c d ,(C12) fora,b,c,d∈H

    Coset Parameterization of the Four-Sphere For the Lie groupG= Sp(2)and the gauge group Λ = Sp(1)∼= SU(2), the stabilizerHis given by [31, 32] H={h∈Sp(2);T(h)|ψ e⟩=|ψ e⟩qfor someq∈Λ}. (C11) To determineHexplicitly, we write |ψe⟩= 1 0 andT(h) = a b c d ,(C12) fora,b,c,d∈H. This ...

  3. [9]

    (D13) and (D19), we obtain pointwise saturation on the stereographic chart: 1 12|[Tr(F∧F)] 1234|= p detg= 4 (1 +y 2)4 >0.(D20) The metric in Eq

    Quantum Metric and Saturation of the Geometric Bounds The non-Abelian quantum metric is defined by g=P ∗gC FS = Tr(PdPdP).(D17) A direct calculation gives the nondegenerate quantum metric g= Tr(dλ† xdλx) (1 +y 2)2 = 2P4 µ=1 dy2 µ (1 +y 2)2 ,(D18) or equivalently, gµν = 2δµν (1...

  4. [10]

    The resulting geometric and global consequences are summarized in Sec. III. Appendix E: Metric Degeneracy in the Four-Dimensional Lattice Dirac Model We consider the four-dimensional lattice Dirac Hamil- tonian introduced in Eq. (35), with the gamma-matrix representation given...

  5. [11]

    The Hodge self-duality condition in Ref. [58] concerns theSU(2)Berry curvature rather than the self-duality of the Riemannian Weyl tensor; hence, our curvature-based four-dimensional convention of Definition 7 additionally requires the induced metric to be Einstein with self-d...

  6. [12]

    N. Wang, D. Kaplan, Z. Zhang, T. Holder, N. Cao, A. Wang, X. Zhou, F. Zhou, Z. Jiang, C. Zhang, S. Ru, H. Cai, K. Watanabe, T. Taniguchi, B. Yan, and W. Gao, Quantum-metric-induced nonlinear transport in a topo- logical antiferromagnet, Nature621, 487 (2023)

    2023

  7. [13]

    K. Das, S. Lahiri, R. B. Atencia, D. Culcer, and A. Agar- wal, Intrinsic nonlinear conductivities induced by the quantum metric, Phys. Rev. B108, L201405 (2023)

    2023

  8. [14]

    Ahn, G.-Y

    J. Ahn, G.-Y. Guo, N. Nagaosa, and A. Vishwanath, Riemannian geometry of resonant optical responses, Nat. Phys.18, 290 (2022)

    2022

  9. [15]

    Bzdušek, From quantum geometry to nonlinear optics and gerbes: Recent advances in topological band theory, Phys

    T. Bzdušek, From quantum geometry to nonlinear optics and gerbes: Recent advances in topological band theory, Phys. Rev. B113, 099601 (2026)

    2026

  10. [16]

    W.J.Jankowski, R.-J.Slager,andG.F.Lange,Quantum geometric bounds in spinful systems with trivial band topology, Phys. Rev. Res.7, L042011 (2025)

    2025

  11. [17]

    Peotta and P

    S. Peotta and P. Törmä, Superfluidity in topologically nontrivial flat bands, Nat. Commun.6, 8944 (2015)

    2015

  12. [18]

    J. Cao, H. A. Fertig, and L. Brey, Quantum geometric exciton drift velocity, Phys. Rev. B103, 115422 (2021)

    2021

  13. [19]

    W. J. Jankowski, J. J. P. Thompson, B. Monserrat, and R.-J. Slager, Excitonic topology and quantum geome- try in organic semiconductors, Nat. Commun.16, 4661 (2025)

    2025

  14. [20]

    Roy, Band geometry of fractional topological insula- tors, Phys

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

    2014

  15. [21]

    T. S. Jackson, G. Möller, and R. Roy, Geometric stabil- ity of topological lattice phases, Nat. Commun.6, 8629 (2015)

    2015

  16. [22]

    Gianfrate, O

    A. Gianfrate, O. Bleu, L. Dominici, V. Ardizzone, M. De Giorgi, D. Ballarini, G. Lerario, K. W. West, L. N. Pfeiffer, D.D.Solnyshkov, D.Sanvitto,andG.Malpuech, Measurement of the quantum geometric tensor and of the anomalous Hall drift, Nature578, 381 (2020)

    2020

  17. [23]

    M. Kang, S. Kim, Y. Qian, P. M. Neves, L. Ye, J. Jung, D. Puntel, F. Mazzola, S. Fang, C. Jozwiak, A. Bost- wick, E. Rotenberg, J. Fuji, I. Vobornik, J.-H. Park, J. G. Checkelsky, B.-J. Yang, and R. Comin, Measurements of the quantum geometric tensor in solids, Nat. Phys.21, 1...

    2025

  18. [24]

    S. Kim, Y. Chung, Y. Qian, S. Park, C. Jozwiak, E. Rotenberg, A. Bostwick, K. S. Kim, and B.-J. Yang, Direct measurement of the quantum metric tensor in solids, Science388, 1050 (2025)

    2025

  19. [25]

    Mera and T

    B. Mera and T. Ozawa, Kähler geometry and Chern in- sulators: Relations between topology and the quantum metric, Phys. Rev. B104, 045104 (2021)

    2021

  20. [26]

    Provost and G

    J.-P. Provost and G. Vallée, Riemannian structure on manifolds of quantum states, Commun. Math. Phys.76, 289 (1980)

    1980

  21. [27]

    Simon, Holonomy, the quantum adiabatic theorem, and Berry’s phase, Phys

    B. Simon, Holonomy, the quantum adiabatic theorem, and Berry’s phase, Phys. Rev. Lett.51, 2167 (1983)

    1983

  22. [28]

    Z. Liu, B. Mera, M. Fujimoto, T. Ozawa, and J. Wang, Theory of generalized Landau levels and its implications for non-Abelian states, Phys. Rev. X15, 031019 (2025)

    2025

  23. [29]

    Mera and T

    B. Mera and T. Ozawa, Uniqueness of Landau levels and their analogs with higher Chern numbers, Phys. Rev. Res.6, 033238 (2024)

    2024

  24. [30]

    J. Wang, J. Cano, A. J. Millis, Z. Liu, and B. Yang, Exact Landau level description of geometry and interaction in a flatband, Phys. Rev. Lett.127, 246403 (2021)

    2021

  25. [31]

    Wang and Z

    J. Wang and Z. Liu, Hierarchy of ideal flatbands in chi- ral twisted multilayer graphene models, Phys. Rev. Lett. 128, 176403 (2022)

    2022

  26. [32]

    P. J. Ledwith, A. Vishwanath, and E. Khalaf, Family of ideal Chern flatbands with arbitrary Chern number in chiral twisted graphene multilayers, Phys. Rev. Lett. 128, 176404 (2022)

    2022

  27. [33]

    Mera and T

    B. Mera and T. Ozawa, Engineering geometrically flat Chern bands with Fubini-Study Kähler structure, Phys. Rev. B104, 115160 (2021)

    2021

  28. [34]

    Wilczek and A

    F. Wilczek and A. Zee, Appearance of gauge structure in simple dynamical systems, Phys. Rev. Lett.52, 2111 (1984)

    1984

  29. [35]

    J. E. Avron, L. Sadun, J. Segert, and B. Simon, Topo- logical invariants in Fermi systems with time-reversal in- variance, Phys. Rev. Lett.61, 1329 (1988)

    1988

  30. [36]

    Bellucci, S

    S. Bellucci, S. Krivonos, A. Nersessian, and V. Yeghikyan, Isospin particle systems on quater- nionic projective spaces, Phys. Rev. D87, 045005 (2013)

    2013

  31. [38]

    C. N. Yang, Generalization of Dirac’s monopole toSU(2) gauge fields, J. Math. Phys.19, 320 (1978)

    1978

  32. [39]

    Zhang and J

    S.-C. Zhang and J. Hu, A four-dimensional generalization of the quantum Hall effect, Science294, 823 (2001)

    2001

  33. [40]

    Hasebe, Hopf maps, lowest Landau level, and fuzzy spheres, SIGMA6, 071 (2010)

    K. Hasebe, Hopf maps, lowest Landau level, and fuzzy spheres, SIGMA6, 071 (2010)

    2010

  34. [41]

    Hasebe, SO(5) Landau models and nested Nambu ma- trix geometry, Nucl

    K. Hasebe, SO(5) Landau models and nested Nambu ma- trix geometry, Nucl. Phys. B956, 115012 (2020)

    2020

  35. [42]

    A.M.Perelomov,CoherentstatesforarbitraryLiegroup, Commun. Math. Phys.26, 222 (1972)

    1972

  36. [43]

    A. M. Perelomov,Generalized Coherent States and Their Applications(Springer, Berlin, 1986)

    1986

  37. [44]

    Kuratsuji and K

    H. Kuratsuji and K. Takada, Quaternionic (alias Sp(2)) coherent state and Hilbert connection, Mod. Phys. Lett. A5, 1765 (1990)

    1990

  38. [45]

    Tasaki, Certain minimal or homologically volume minimizing submanifolds in compact symmetric spaces, Tsukuba J

    H. Tasaki, Certain minimal or homologically volume minimizing submanifolds in compact symmetric spaces, Tsukuba J. Math.9, 117 (1985)

    1985

  39. [46]

    Tasaki, Quaternionic submanifolds in quaternionic symmetric spaces, Tohoku Math

    H. Tasaki, Quaternionic submanifolds in quaternionic symmetric spaces, Tohoku Math. J.38, 513 (1986)

    1986

  40. [47]

    X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Topological field theory of time-reversal invariant insulators, Phys. 20 Rev. B78, 195424 (2008)

    2008

  41. [48]

    H. Lim, J. Jung, Y. Qian, and B.-J. Yang, Quaternion- Kähler geometry of time reversal symmetric crystals (2026), arXiv:2608.03178 [cond-mat.mes-hall]

    2026 arXiv

  42. [49]

    Ivanov, Geometry of quaternionic Kähler connections with torsion, J

    S. Ivanov, Geometry of quaternionic Kähler connections with torsion, J. Geom. Phys.41, 235 (2002)

    2002

  43. [50]

    Gray, A note on manifolds whose holonomy group is a subgroup ofSp(n)·Sp(1), Mich

    A. Gray, A note on manifolds whose holonomy group is a subgroup ofSp(n)·Sp(1), Mich. Math. J.16, 125 (1969)

    1969

  44. [51]

    A. F. Swann, HyperKähler and quaternionic Kähler ge- ometry, Math. Ann.289, 421 (1991)

    1991

  45. [52]

    A. L. Besse,Einstein Manifolds(Springer, Berlin, 2007)

    2007

  46. [53]

    Haydys, HyperKähler and quaternionic Kähler mani- folds withS1-symmetries, J

    A. Haydys, HyperKähler and quaternionic Kähler mani- folds withS1-symmetries, J. Geom. Phys.58, 293 (2008)

    2008

  47. [54]

    F. D. M. Haldane, Fractional quantization of the Hall ef- fect: A hierarchy of incompressible quantum fluid states, Phys. Rev. Lett.51, 605 (1983)

    1983

  48. [55]

    D.KarabaliandV.P.Nair,QuantumHalleffectinhigher dimensions, Nucl. Phys. B641, 533 (2002)

    2002

  49. [56]

    Fabinger, Higher-dimensional quantum Hall effect in string theory, J

    M. Fabinger, Higher-dimensional quantum Hall effect in string theory, J. High Energy Phys.05(2002), 037

    2002

  50. [57]

    Bellucci, P.-Y

    S. Bellucci, P.-Y. Casteill, and A. Nersessian, Four- dimensional Hall mechanics as a particle onCP3, Phys. Lett. B574, 121 (2003)

    2003

  51. [59]

    V. Y. Kraines, Topology of quaternionic manifolds, Trans. Am. Math. Soc.122, 357 (1966)

    1966

  52. [60]

    Zheng, J

    W. Zheng, J. Xu, Z. Ma, Y. Li, Y. Dong, Y. Zhang, X. Wang, G. Sun, P. Wu, J. Zhao, S. Li, D. Lan, X. Tan, and Y. Yu, Measuring Quantum Geometric Tensor of Non-Abelian system in superconducting circuits, Chin. Phys. Lett.39, 100202 (2022)

    2022

  53. [61]

    Ding, Y.-Q

    H.-T. Ding, Y.-Q. Zhu, P. He, Y.-G. Liu, J.-T. Wang, D.- W. Zhang, and S.-L. Zhu, Extracting Non-Abelian Quan- tum Metric Tensor and its related Chern numbers, Phys. Rev. A105, 012210 (2022)

    2022

  54. [62]

    Hasebe, A unified construction of Skyrme-type non- linear sigma models via the higher-dimensional Landau models, Nucl

    K. Hasebe, A unified construction of Skyrme-type non- linear sigma models via the higher-dimensional Landau models, Nucl. Phys. B961, 115250 (2020)

    2020

  55. [63]

    van Baal, Instanton moduli forT3×R, Nucl

    P. van Baal, Instanton moduli forT3×R, Nucl. Phys. B Proc. Suppl.49, 238 (1996)

    1996

  56. [64]

    van Baal,SU(N)Yang-Mills solutions with constant field strength onT 4, Commun

    P. van Baal,SU(N)Yang-Mills solutions with constant field strength onT 4, Commun. Math. Phys.94, 397 (1984)

    1984

  57. [65]

    van Baal, Nahm gauge fields for the torus, Phys

    P. van Baal, Nahm gauge fields for the torus, Phys. Lett. B448, 26 (1999)

    1999

  58. [66]

    Lohse, C

    M. Lohse, C. Schweizer, H. M. Price, O. Zilberberg, and I. Bloch, Exploring 4D quantum Hall physics with a 2D topological charge pump, Nature553, 55 (2018)

    2018

  59. [67]

    Zilberberg, S

    O. Zilberberg, S. Huang, J. Guglielmon, M. Wang, K. P. Chen, Y.E.Kraus,andM.C.Rechtsman,Photonictopo- logical boundary pumping as a probe of 4D quantum Hall physics, Nature553, 59 (2018)

    2018

  60. [68]

    Bouhiron, A

    J.-B. Bouhiron, A. Fabre, Q. Liu, Q. Redon, N. Mittal, T. Satoor, R. Lopes, and S. Nascimbene, Realization of an atomic quantum Hall system in four dimensions, Sci- ence384, 223 (2024)

    2024

  61. [69]

    J. Zhao, Z. Pan, K. Yang, and C. Wu, Second- Chern bounds in non-Abelian quantum geometry (2026), arXiv:2608.12221 [cond-mat.mes-hall]

    2026 arXiv

  62. [70]

    Rodman,Topics in Quaternion Linear Algebra (Princeton University Press, Princeton, NJ, 2014)

    L. Rodman,Topics in Quaternion Linear Algebra (Princeton University Press, Princeton, NJ, 2014)

    2014

  63. [71]

    S. L. Adler,Quaternionic Quantum Mechanics and Quantum Fields(OxfordUniversityPress,Oxford,1995)

    1995

  64. [72]

    Alekseevsky, S

    D. Alekseevsky, S. Marchiafava, and M. Pontecorvo, Compatible complex structures on almost quaternionic manifolds, Trans. Am. Math. Soc.351, 997 (1999)

    1999

  65. [73]

    D. V. Alekseevsky and S. Marchiafava, Quaternionic structures on a manifold and subordinated structures, Ann. Mat. Pura Appl.171, 205 (1996)

    1996

  66. [74]

    S. M. Salamon, Differential geometry of quaternionic manifolds, Ann. Sci. Éc. Norm. Supér.19, 31 (1986)

    1986

  67. [75]

    Salamon, Quaternionic Kähler manifolds, Invent

    S. Salamon, Quaternionic Kähler manifolds, Invent. Math.67, 143 (1982)

    1982

  68. [76]

    J. M. Lee,Introduction to Smooth Manifolds, 2nd ed., Graduate Texts in Mathematics, Vol. 218 (Springer, New York, 2013)

    2013

  69. [77]

    Hatcher,Algebraic Topology(Cambridge University Press, Cambridge, 2002)

    A. Hatcher,Algebraic Topology(Cambridge University Press, Cambridge, 2002)

    2002

  70. [78]

    Elvang and J

    H. Elvang and J. Polchinski, The quantum Hall effect on R4, C. R. Phys.4, 405 (2003)

    2003

  71. [79]

    F. T. Arecchi, E. Courtens, R. Gilmore, and H. Thomas, Atomic coherent states in quantum optics, Phys. Rev. A 6, 2211 (1972)

    1972

  72. [80]

    Lévay, The geometry of entanglement: Metrics, con- nections and the geometric phase, J

    P. Lévay, The geometry of entanglement: Metrics, con- nections and the geometric phase, J. Phys. A: Math. Gen. 37, 1821 (2004)

    2004

  73. [81]

    Ding, C.-X

    H.-T. Ding, C.-X. Zhang, J.-X. Liu, J.-T. Wang, D.-W. Zhang, and S.-L. Zhu, Non-Abelian quantum geometric tensor in degenerate topological semimetals, Phys. Rev. A109, 043305 (2024)

    2024

  74. [82]

    Zhang, Revealing Chern number from quantum met- ric, Chin

    A. Zhang, Revealing Chern number from quantum met- ric, Chin. Phys. B31, 040201 (2022)

    2022

Pith tools

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