pith. sign in

arxiv: 2309.14119 · v1 · pith:4HFZLV5Nnew · submitted 2023-09-25 · ❄️ cond-mat.mes-hall · cond-mat.mtrl-sci

Hopf Semimetals

Pith reviewed 2026-05-24 06:35 UTC · model grok-4.3

classification ❄️ cond-mat.mes-hall cond-mat.mtrl-sci
keywords Hopf semimetalstopological semimetalsnodal linesHopf fluxsurface statesFermi arcsdrumhead statesfour-dimensional topology
0
0 comments X

The pith

Two-band models on the three-torus realize Hopf semimetals in four dimensions with nodal lines carrying Hopf flux.

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

The paper constructs two-band topological semimetals in four dimensions from the unstable homotopy of maps from the three-torus to the two-sphere. These Hopf semimetals generically host nodal lines enclosed by surfaces that carry a Hopf flux. The phases produce distinctive surface states, with some three-dimensional surfaces supporting both Fermi-arc and drumhead states while others support gapless Fermi surfaces, along with corner states at their intersections. A reader would care because this approach classifies gapless topological phases and their boundary modes in higher dimensions using homotopy theory.

Core claim

We construct two-band topological semimetals in four dimensions using the unstable homotopy of maps from the three-torus T^3 to the two-sphere S^2. Dubbed Hopf semimetals, these gapless phases generically host nodal lines, with a surface enclosing such a nodal line in the four-dimensional Brillouin zone carrying a Hopf flux. These semimetals show a unique class of surface states: while some three-dimensional surfaces host gapless Fermi-arc states and drumhead states, other surfaces have gapless Fermi surfaces. Gapless two-dimensional corner states are also present at the intersection of three-dimensional surfaces.

What carries the argument

The unstable homotopy classes of maps from the three-torus T^3 to the two-sphere S^2 that classify the two-band Hamiltonians and induce the Hopf flux on surfaces around nodal lines.

If this is right

  • Some three-dimensional surfaces host both gapless Fermi-arc and drumhead states.
  • Other surfaces host gapless Fermi surfaces.
  • Gapless two-dimensional corner states appear at intersections of three surfaces.
  • Nodal lines are generic features of these semimetals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction could be extended to systems with synthetic dimensions to test the surface state predictions.
  • The Hopf flux may lead to observable effects in response functions not explored in the paper.
  • Similar homotopy methods might classify semimetals in other dimensions or with more bands.

Load-bearing premise

The assumption that unstable homotopy classes of maps from T^3 to S^2 can be realized as physically meaningful two-band Hamiltonians whose nodal lines and surface states follow directly from the topological classification.

What would settle it

Numerical construction of a Hamiltonian from a non-trivial map T^3 to S^2 followed by band-structure computation showing the absence of nodal lines or zero Hopf flux on enclosing surfaces.

Figures

Figures reproduced from arXiv: 2309.14119 by Bhandaru Phani Parasar, Vijay B. Shenoy.

Figure 1
Figure 1. Figure 1: FIG. 1. Phase diagram of system in Eq. ( [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Hopf nodal line semimetal for [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
read the original abstract

We construct two-band topological semimetals in four dimensions using the unstable homotopy of maps from the three-torus $T^3$ (Brillouin zone of a 3D crystal) to the two-sphere $S^2$. Dubbed ``Hopf semimetals'', these gapless phases generically host nodal lines, with a surface enclosing such a nodal line in the four-dimensional Brillouin zone carrying a Hopf flux. These semimetals show a unique class of surface states: while some three-dimensional surfaces host gapless Fermi-arc states {\em and} drumhead states, other surfaces have gapless Fermi surfaces. Gapless two-dimensional corner states are also present at the intersection of three-dimensional surfaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript constructs two-band topological semimetals in four dimensions, called Hopf semimetals, via unstable homotopy classes of maps T^3 → S^2. These phases generically host nodal lines; an enclosing surface in the four-dimensional Brillouin zone carries a Hopf flux. The resulting surface states include 3D surfaces with both gapless Fermi-arc and drumhead states, other surfaces with gapless Fermi surfaces, and gapless 2D corner states at their intersections.

Significance. If the construction is internally consistent, the work would introduce a homotopy-based classification for nodal-line semimetals with distinctive surface phenomenology. The explicit use of unstable homotopy groups to predict both bulk nodal structures and surface states is a potentially useful addition to the topological semimetal literature.

major comments (1)
  1. [Abstract] Abstract: the construction is stated to employ maps from T^3 (Brillouin zone of a 3D crystal) to S^2, yet the nodal-line enclosing surface and Hopf flux are placed inside a four-dimensional Brillouin zone. This dimensional mismatch is load-bearing: the relevant homotopy groups, the definition of the Hopf invariant on the complement, and the predicted surface-state topology are all dimension-dependent. The manuscript must clarify whether the underlying manifold is T^3 or T^4 and how the stated T^3 homotopy classes produce the claimed 4D phenomenology.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the dimensional inconsistency in the abstract. We agree that this point requires explicit clarification and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the construction is stated to employ maps from T^3 (Brillouin zone of a 3D crystal) to S^2, yet the nodal-line enclosing surface and Hopf flux are placed inside a four-dimensional Brillouin zone. This dimensional mismatch is load-bearing: the relevant homotopy groups, the definition of the Hopf invariant on the complement, and the predicted surface-state topology are all dimension-dependent. The manuscript must clarify whether the underlying manifold is T^3 or T^4 and how the stated T^3 homotopy classes produce the claimed 4D phenomenology.

    Authors: We acknowledge the referee's observation of the dimensional mismatch in the abstract. The construction is intended for semimetals whose Brillouin zone is four-dimensional (T^4). The T^3 → S^2 maps are used to define the topology of nodal lines embedded in this 4D space, with the Hopf invariant evaluated on a three-sphere that encloses a given nodal line within the four-dimensional Brillouin zone. We will revise the abstract, introduction, and methods sections to state explicitly that the underlying manifold is T^4 and to provide a detailed account of how the T^3 homotopy classes are embedded or sliced to produce the 4D Hopf flux, nodal structures, and the associated surface and corner states. This revision will remove the ambiguity while preserving the core construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external homotopy classification

full rationale

The paper's construction relies on the standard (external) unstable homotopy classification of maps T^3 → S^2 to define two-band Hamiltonians and their nodal-line phenomenology. No quoted step reduces a claimed prediction or invariant to a quantity defined from the result itself, nor does any load-bearing premise rest on a self-citation chain. The dimensional phrasing in the abstract, while potentially inconsistent, does not create a self-referential reduction of the sort enumerated in the circularity patterns. This is the expected non-finding for a topology-based construction that invokes no fitted parameters or author-specific uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The construction rests on standard homotopy theory and introduces new named phases without external falsifiable evidence beyond the abstract claim.

axioms (1)
  • standard math Unstable homotopy classes of maps from T^3 to S^2 classify two-band topological phases in 4D
    Invoked directly in the abstract to construct the semimetals.
invented entities (2)
  • Hopf semimetal no independent evidence
    purpose: Name for the new 4D gapless phase
    Introduced in the abstract as a distinct class
  • Hopf flux no independent evidence
    purpose: Topological invariant on surfaces enclosing nodal lines
    Defined as part of the phase properties in the abstract

pith-pipeline@v0.9.0 · 5647 in / 1406 out tokens · 39652 ms · 2026-05-24T06:35:28.086090+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · 1 internal anchor

  1. [1]

    Fermi-cylinder

    This system undergoes a quantum phase transition from a Hopf-Chern insulator with ( χ = 2, (C1 = 2 , C2 = 0 , C3 = 0)) to another insulator with (χ = 0 , (C1 = 2 , C2 = 0 , C3 = 0) which can be viewed as a stack of Chern insulators. The phase transition[38] occurs at λ = 1/2 where the gap closes along two nodal- line rings, and χ changes from 2 to 0 for λ...

  2. [2]

    L. Fu, C. L. Kane, and E. J. Mele, Phys. Rev. Lett. 98, 106803 (2007)

  3. [3]

    C. L. Kane and E. J. Mele, Phys. Rev. Lett. 95, 146802 5 (2005)

  4. [4]

    J. E. Moore and L. Balents, Phys. Rev. B 75, 121306 (2007)

  5. [5]

    Roy, Phys

    R. Roy, Phys. Rev. B 79, 195322 (2009)

  6. [6]

    Kitaev, AIP Conference Proceedings 1134, 22 (2009)

    A. Kitaev, AIP Conference Proceedings 1134, 22 (2009)

  7. [7]

    S. Ryu, A. P. Schnyder, A. Furusaki, and A. W. W. Lud- wig, New Journal of Physics 12, 065010 (2010)

  8. [8]

    Qi and S.-C

    X.-L. Qi and S.-C. Zhang, Rev. Mod. Phys. 83, 1057 (2011)

  9. [9]

    C.-K. Chiu, J. C. Y. Teo, A. P. Schnyder, and S. Ryu, Rev. Mod. Phys. 88, 035005 (2016)

  10. [10]

    Slager, A

    R.-J. Slager, A. Mesaros, V. Juriˇ ci´ c, and J. Zaanen, Na- ture Physics 9, 98 (2013)

  11. [11]

    W. A. Benalcazar, T. Li, and T. L. Hughes, Phys. Rev. B 99, 245151 (2019)

  12. [12]

    Bradlyn, L

    B. Bradlyn, L. Elcoro, J. Cano, M. G. Vergniory, Z. Wang, C. Felser, M. I. Aroyo, and B. A. Bernevig, Nature 547, 298 (2017)

  13. [13]

    Altland and M

    A. Altland and M. R. Zirnbauer, Phys. Rev. B 55, 1142 (1997)

  14. [14]

    M. R. Zirnbauer, ArXiv e-prints (2010), arXiv:1001.0722 [math-ph]

  15. [15]

    Agarwala, A

    A. Agarwala, A. Haldar, and V. B. Shenoy, Annals of Physics 385, 469 (2017)

  16. [16]

    A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Novoselov, and A. K. Geim, Rev. Mod. Phys. 81, 109 (2009)

  17. [17]

    A. A. Burkov, M. D. Hook, and L. Balents, Phys. Rev. B 84, 235126 (2011)

  18. [18]

    Hosur and X

    P. Hosur and X. Qi, Comptes Rendus Physique 14, 857 (2013), topological insulators / Isolants topologiques

  19. [19]

    Vafek and A

    O. Vafek and A. Vishwanath, Annual Review of Con- densed Matter Physics 5, 83 (2014)

  20. [20]

    C. Fang, Y. Chen, H.-Y. Kee, and L. Fu, Phys. Rev. B 92, 081201 (2015)

  21. [21]

    Yan and C

    B. Yan and C. Felser, Annual Review of Condensed Mat- ter Physics 8, 337 (2017)

  22. [22]

    N. P. Armitage, E. J. Mele, and A. Vishwanath, Rev. Mod. Phys. 90, 015001 (2018)

  23. [23]

    Burkov, Annual Review of Condensed Matter Physics 9, 359 (2018)

    A. Burkov, Annual Review of Condensed Matter Physics 9, 359 (2018)

  24. [24]

    J. E. Moore, Y. Ran, and X.-G. Wen, Phys. Rev. Lett. 101, 186805 (2008)

  25. [25]

    Deng, S.-T

    D.-L. Deng, S.-T. Wang, C. Shen, and L.-M. Duan, Phys. Rev. B 88, 201105 (2013)

  26. [26]

    Kennedy, Phys

    R. Kennedy, Phys. Rev. B 94, 035137 (2016)

  27. [27]

    Bian, T.-R

    G. Bian, T.-R. Chang, H. Zheng, S. Velury, S.-Y. Xu, T. Neupert, C.-K. Chiu, S.-M. Huang, D. S. Sanchez, I. Belopolski, N. Alidoust, P.-J. Chen, G. Chang, A. Ban- sil, H.-T. Jeng, H. Lin, and M. Z. Hasan, Phys. Rev. B 93, 121113 (2016)

  28. [28]

    H. M. Price, O. Zilberberg, T. Ozawa, I. Carusotto, and N. Goldman, Phys. Rev. Lett. 115, 195303 (2015)

  29. [29]

    Lian and S.-C

    B. Lian and S.-C. Zhang, Phys. Rev. B94, 041105 (2016)

  30. [30]

    Petrides, H

    I. Petrides, H. M. Price, and O. Zilberberg, Phys. Rev. B 98, 125431 (2018)

  31. [31]

    Pontrjagin, Rec

    L. Pontrjagin, Rec. Math. [Mat. Sbornik] N.S. 9, 331 (1941)

  32. [32]

    Auckly and L

    D. Auckly and L. Kapitanski, Communications in Math- ematical Physics 256, 611 (2005)

  33. [33]

    DeTurck, H

    D. DeTurck, H. Gluck, R. Komendarczyk, P. Melvin, C. Shonkwiler, and D. S. Vela-Vick, Journal of Math- ematical Physics 54, 013515 (2013)

  34. [34]

    Kobayashi and M

    M. Kobayashi and M. Nitta, Nuclear Physics B 876, 605 (2013)

  35. [35]

    F. N. ¨Unal, A. Eckardt, and R.-J. Slager, Phys. Rev. Res. 1, 022003 (2019)

  36. [36]

    See Supplemental Material

  37. [37]

    L. W. T. Raoul Bott, Differential forms in algebraic topology (Springer, 1982)

  38. [38]

    Y. Wang, A. C. Tyner, and P. Goswami, Fundamentals of crystalline hopf insulators (2023), arXiv:2301.08244 [cond-mat.mes-hall]

  39. [39]

    We note that a more generic version of this problem will have a gapless regime of λ separating the two phases rather than a single quantum critical point

  40. [40]

    Ozawa and H

    T. Ozawa and H. M. Price, Nature Reviews Physics 1, 349 (2019)

  41. [41]

    Lohse, C

    M. Lohse, C. Schweizer, H. M. Price, O. Zilberberg, and I. Bloch, Nature 553, 55 (2018)

  42. [42]

    Zilberberg, S

    O. Zilberberg, S. Huang, J. Guglielmon, M. Wang, K. P. Chen, Y. E. Kraus, and M. C. Rechtsman, Nature 553, 59 (2018)

  43. [43]

    Davoyan, W

    Z. Davoyan, W. J. Jankowski, A. Bouhon, and R.- J. Slager, arXiv e-prints , arXiv:2308.15555 (2023), arXiv:2308.15555 [cond-mat.mes-hall]

  44. [44]

    Hopf flux

    A. Sekine and K. Nomura, Journal of Applied Physics 129, 141101 (2021). 1 Supplemental Material for Hopf Semimetals by Bhandaru Phani Parasar and Vijay B. Shenoy S1: T opological Index of Map from T 3 to S3 A gapped two-band hamiltonian in three dimensions can be thought of a map from the three-torus T 3 to the two-sphere S2. A tight binding model for Hop...

  45. [45]

    i.e., ( k0 3, k0

    be a point on the nodal line. i.e., ( k0 3, k0

  46. [46]

    Fermi-arc

    lies on the curve Eq. (S3.5). Now, taylor-expanding the hamiltonian about this point gives H(K0 + Q) ≈ 2(1 − λ)a0(Q) · σ with Q = (q1, q2, q3, q4) and a0 1(Q) = q1 sin k0 3 + q2 cos k0 3 + cos k0 4 − 1 a0 2(Q) = q2 sin k0 3 − q1 cos k0 3 + cos k0 4 − 1 a0 3(Q) = q3 sin k0 3 cos k0 4 − 1 + q4 sin k0 4 cos k0 3 + cos k0 4 − 1 (S3.8) At a given point on the ...