Twisted (co)homology of non-orientable Weyl semimetals

This paper establishes a topological classification of non-orientable Weyl semimetals using twisted (co)homology groups and exact sequences, thereby providing a coordinate-independent explanation for $\mathbb{Z}_2$ charge cancellation and predicting novel phenomena across non-Hermitian and inversion-symmetric systems.

The Gist

Imagine you are trying to map the landscape of a strange, invisible world where particles called "Weyl fermions" live. In our normal, everyday world, these particles have a specific "handedness" (like a left hand or a right hand). A famous rule in physics, known as the Nielsen–Ninomiya theorem, says that in a standard, orderly world, these particles must always appear in pairs: one left-handed and one right-handed. They are like dance partners; you can't have one without the other. If you try to create just one, the universe forces a partner to appear to balance things out, so the total "handedness" of the system is always zero.

The Twist: A World Without a "Front"

This paper explores what happens when the world these particles live in isn't orderly. Specifically, the authors look at a universe shaped like a Klein bottle (a shape that has no distinct "inside" or "outside," and if you walk along it, your left hand eventually becomes your right hand).

In this twisted, non-orientable world, the usual rule of "one left, one right" breaks down. Because the map of the world flips your perspective as you travel, it becomes impossible to consistently say which particle is "left" and which is "right." Consequently, the strict requirement to have a perfect zero balance disappears. Instead, the universe only demands a weaker rule: the total number of particles must be even (a "mod 2" rule). You could have two left-handed particles, or two right-handed ones, as long as the total count is even.

The Problem with the Old Map

Previous scientists tried to explain this by drawing a specific "fundamental domain" (a specific map or coordinate system) of this twisted world. They noticed that on their specific map, the particles didn't seem to cancel out, leading to a total charge that wasn't zero.

However, the authors of this paper argue that this was a trick of the map. They say: "If you change the way you draw the map (reparametrize the coordinates), the 'extra' charge disappears."

They propose a new, coordinate-free way of looking at things. Instead of relying on a specific map that might distort reality, they use a branch of mathematics called twisted (co)homology.

• The Analogy: Imagine trying to measure the length of a string on a Möbius strip. If you just use a ruler, you might get confused because the string twists back on itself. But if you use a "twisted ruler" that accounts for the twist in the fabric of the space, the measurement makes perfect sense.

What They Discovered

1. The Charge Cancellation is Real, but Subtle: They proved mathematically that the "mod 2" rule (even number of particles) is the only true physical law here. The "non-zero total charge" seen in previous studies was just an illusion caused by choosing a specific, arbitrary map. In reality, the physics is consistent; there is no mysterious "chiral anomaly" or violation of conservation laws.
2. New Types of Particles and Strings: They introduced the concept of "Twisted Dirac Strings." In normal physics, particles are connected by invisible strings. In this twisted world, these strings behave strangely: they might flip direction or connect particles that look like they have the same handedness, depending on how you look at them.
3. Surface States (The "Fermi Arcs"): When you look at the surface of this material, you see "Fermi arcs" (paths that particles travel on the surface). The authors showed that on this twisted surface, these arcs can connect particles that appear to have the same charge. But again, this is just a perspective effect. If you view the whole system correctly, the physics is consistent.

Expanding the Horizon

The authors didn't stop at just one type of twisted world. They applied their new mathematical "twisted ruler" to:

• Other Twisted Shapes: They classified all possible non-orientable shapes (Brillouin zones) that can exist in 3D materials, showing that while they all follow the "even number" rule, they have different specific "invariants" (like unique fingerprints) that define their topology.
• Non-Hermitian Systems: They showed their math works for systems where energy is lost or gained (like in some acoustic crystals or lasers), explaining how "exceptional points" (special points where particles merge) behave in these twisted spaces.
• Inversion Symmetry: They applied their logic to materials that look the same if you flip them inside out, providing a clearer picture of how particles behave there.

The Bottom Line

The paper doesn't claim to invent a new machine or cure a disease. Instead, it fixes a confusion in how we understand the math of these materials. It tells us that the "weird" behavior of particles in these twisted worlds isn't a violation of physics, but a result of trying to force a flat map onto a twisted surface. By using their new "twisted" mathematical tools, we can see that the universe is still playing by the rules, just in a way that requires a more flexible perspective to understand.

Technical Summary

Technical Summary: Twisted (co)homology of non-orientable Weyl semimetals

Problem Statement
The topological classification of Weyl semimetals traditionally relies on the Nielsen–Ninomiya theorem, which dictates that Weyl nodes (band crossings) must emerge in charge-conjugate pairs such that the total chirality over the Brillouin zone (BZ) vanishes. This constraint arises because the BZ is typically a 3-torus ($T^3$), an orientable manifold where chirality is well-defined. However, recent studies have identified systems with non-symmorphic symmetries (specifically momentum-space glide symmetries) that render the fundamental domain of the BZ non-orientable (e.g., a Klein bottle $K_2$). In such non-orientable manifolds, the concept of global chirality becomes ill-defined. Previous work (Ref. [51]) demonstrated that these systems appear to violate the standard charge cancellation, instead satisfying a $\mathbb{Z}_2$ charge cancellation rule where the sum of chiralities is zero modulo 2.

A critical limitation of the existing physical description is its dependence on a specific choice of fundamental domain (a specific coordinate parametrization). This choice introduces an ambiguity: the apparent total charge and the relative chirality of Weyl nodes within the reduced domain depend on how the domain is cut and identified. Consequently, the physical interpretation of "non-zero total chirality" in these systems remains unclear, lacking a coordinate-free, mathematically rigorous framework.

Methodology
The authors develop a coordinate-free topological classification framework based on algebraic topology, specifically utilizing twisted (co)homology and exact sequences (Mayer–Vietoris sequences).

1. Twisted (co)homology: To address the loss of orientability, the authors replace standard homology/cohomology groups with twisted versions. They introduce local coefficients $\tilde{\mathbb{Z}}$ (twisted integers) that change sign when traversing an orientation-reversing path. This restores a generalized Poincaré duality between homology and cohomology, which is broken in non-orientable manifolds.
2. Symmetry Analysis: The authors distinguish between unitary and anti-unitary orientation-reversing symmetries. For unitary symmetries (like the glide symmetry studied), symmetric pairs of Weyl nodes possess opposite chiralities. This necessitates the use of ordinary cohomology and twisted homology to maintain physical consistency between Dirac strings (homological objects) and Weyl point charges (cohomological objects).
3. Mayer–Vietoris Sequences: The topology of the system is analyzed by constructing exact sequences that relate the global topology of the BZ to local charges at Weyl points and insulating invariants. The authors apply this to the quotient space $M = K_2 \times S^1$ (the reduced BZ for a 3D glide symmetry) and other non-orientable manifolds.
4. Extensions: The formalism is extended to:
   • Other non-orientable space groups ($Cc$, $Pca2_1$, $Pna2_1$).
   • Non-Hermitian systems (mapping exceptional points to Hermitian nodal points via resultants).
   • Inversion-symmetric Weyl semimetals (using a heuristic ansatz involving twisted homology relative to Time-Reversal Invariant Momenta, TRIM).

Key Contributions and Results

• Coordinate-Free $\mathbb{Z}_2$ Charge Cancellation: The authors derive the $\mathbb{Z}_2$ charge cancellation theorem ($\sum \chi_i = 0 \mod 2$) directly from the exactness of the twisted homology sequence. Crucially, they demonstrate that this result is independent of the choice of fundamental domain. They show that the apparent non-zero total charge in a specific domain is an artifact of fixing a basis for the local charge group, which is not canonically defined on a non-orientable manifold.
• Classification of Invariants:
  • Insulating Phases: For the $K_2 \times S^1$ system, the insulating topology is classified by $H^2(K_2 \times S^1) \cong \mathbb{Z} \oplus \mathbb{Z}_2$. This corresponds to a $\mathbb{Z}$ invariant ($\nu_x$) and a $\mathbb{Z}_2$ invariant ($\nu_z$), replacing the three Chern numbers of the standard $T^3$ case.
  • Semimetallic Phases: The semimetal group is identified as $H^2(K_2 \times S^1 - W) \cong \mathbb{Z} \oplus \mathbb{Z}_2 \oplus \mathbb{Z}^k$ (where $k$ is the number of Weyl points). Unlike the orientable case where charges sum to zero ($\mathbb{Z}^{k-1}$), the non-orientable case allows for a single Weyl point with even charge, or configurations where the sum is non-zero but even.
• Twisted Dirac Strings and Fermi Arcs: The authors introduce the concept of "twisted Dirac strings" (homological objects in twisted homology) which connect Weyl nodes. Upon projection to the surface, these yield "twisted Fermi arcs." They show that the apparent connection of same-chirality nodes on the surface is a consequence of the projection crossing the orientation-reversing boundary of the fundamental domain an odd number of times. Reparametrizing the domain restores the conventional picture of opposite-chirality connections.
• Generalization to Other Symmetries: The paper classifies all four space groups with free, orientation-reversing actions ($Pc$, $Cc$, $Pca2_1$, $Pna2_1$). While all obey the $\mathbb{Z}_2$ charge cancellation, they exhibit distinct insulating invariant groups (e.g., $Pna2_1$ features a $\mathbb{Z}_4$ invariant).
• Non-Hermitian and Inversion-Symmetric Systems:
  • For non-Hermitian systems with glide symmetry, the formalism applies to exceptional points, confirming the $\mathbb{Z}_2$ cancellation for 2-fold degenerate points.
  • For inversion-symmetric Weyl semimetals, the authors propose a classification using twisted homology relative to TRIM. This yields an invariant group of $\mathbb{Z}^3 \oplus \mathbb{Z}_2^4$ and explains why charge cancellation appears absent in the fundamental domain (the total charge group is trivial, $\{0\}$), as the symmetry relates a node to its own charge-canceling partner.

Significance and Claims
The paper claims to provide a fundamental mathematical understanding of Weyl semimetals with non-orientable fundamental domains without resorting to the more abstract machinery of K-theory.

• Resolution of Ambiguity: The primary significance is the resolution of the physical ambiguity regarding "non-zero total chirality." The authors argue that this phenomenon is not a new physical anomaly (like a chiral anomaly) but a mathematical artifact of choosing a specific non-orientable fundamental domain. The "ghost" non-zero charge can be removed by reparametrization, analogous to gauge fixing in quantum field theory.
• Physical Interpretation: The twisted (co)homology framework offers a direct physical intuition via "twisted Dirac strings" and "twisted Fermi arcs," bridging the gap between abstract topology and observable surface states.
• Predictive Power: The classification scheme predicts specific sets of topological invariants for various non-orientable space groups and extends naturally to non-Hermitian and inversion-symmetric systems.
• Modesty: The authors explicitly state that their work does not predict new experimental phenomena but rather clarifies the interpretation of existing ones (specifically those in Ref. [51]). They emphasize that the reduced Brillouin zone is a theoretical tool for capturing minimal physics, but the full Brillouin torus provides the transparent physical picture. They acknowledge limitations, noting that their commutative (co)homology approach captures only Abelian topology and may not fully describe non-Abelian features in non-Hermitian systems or systems with non-free symmetry actions (fixed points), which would require homotopy theory or more complex equivariant constructions.