Durdevic Braiding in Quantum Principal Bundles

• Durdevic braiding is a canonical braided symmetry on tensor powers of quantum principal bundles, generalizing classical permutation in noncommutative geometry.
• It enables the construction of braided-commutative structures and governs the compatibility of differential calculi with quantum group coactions.
• Applications include noncommutative torus bundles and quantum Hopf fibrations, underpinning braided connections, curvature, and Chern–Weil theory.

The Durdevic braiding, also known as the Đurđević braiding, is a canonical family of braided symmetries on the tensor powers of a quantum principal bundle, formulated for comodule algebras over Hopf algebras. Arising from Hopf-Galois (quantum principal) extensions, its essential role is to generalize the classical permutation symmetry between horizontal and vertical degrees of freedom in the noncommutative or quantum setting. The Durdevic braiding is central to the construction of braided-commutative structures on total space algebras, governs the compatibility of differential calculi with quantum group symmetries, and underlies the formulation of connections, curvature, and Chern–Weil theory in quantum principal bundles (Donno, 2024, Bhattacharjee, 25 Jan 2026, Donno et al., 2024).

1. Algebraic Formulation and Definition

Let $A$ be a right $H$-comodule algebra with coaction $\Delta_A: A \to A \otimes H$, $\Delta_A(a) = a_{(0)} \otimes a_{(1)}$, and let $B = A^{\mathrm{co}\,H}$ be the subalgebra of coinvariants. Suppose $B \subset A$ is a faithfully flat Hopf–Galois extension, with canonical map

$$\mathrm{can}: A \otimes_B A \to A \otimes H, \quad \mathrm{can}(a \otimes_B a') = a\,a'_{(0)} \otimes a'_{(1)}$$

invertible, with inverse $$\mathrm{can}^{-1}(a \otimes h) = a\,h^{(1)} \otimes_B h^{(2)}$$, where $h \mapsto h^{(1)} \otimes h^{(2)}$ is the translation map.

The Durdevic braiding is then defined as the map

$$\sigma(a \otimes_B a') = a_{(0)} a' \,\tau(a_{(1)})$$

with $$\tau(h) = \mathrm{can}^{-1}(1 \otimes h) = h^{\langle 1 \rangle} \otimes_B h^{\langle 2 \rangle}$$. This braiding is invertible, with

$$\sigma^{-1}(x \otimes_B y) = \tau(S^{-1}(y_{(1)}))\, x\, y_{(0)}$$

where $S$ is the antipode of $H$ (Bhattacharjee, 25 Jan 2026, Donno et al., 2024). For differential forms of higher degree, the braiding extends to

$$\Psi_{k,\ell}(\omega \otimes_B \nu) = \nu_{(0)} \otimes_B \omega \cdot \nu_{(1)}$$

where $\omega \in \mathrm{hor}^k(A)$, $\nu \in \Omega^\ell(A)$, and $\Delta_*(\nu) = \nu_{(0)} \otimes \nu_{(1)}$ is the coaction extended to the calculus (Donno, 2024).

2. Categorical and Algebraic Properties

The Durdevic braiding possesses the following structural properties:

• Braid (Yang–Baxter) Relation:

$$(\sigma \otimes_B \mathrm{id}) \circ (\mathrm{id} \otimes_B \sigma) \circ (\sigma \otimes_B \mathrm{id}) = (\mathrm{id} \otimes_B \sigma) \circ (\sigma \otimes_B \mathrm{id}) \circ (\mathrm{id} \otimes_B \sigma)$$

• Braided-Commutativity: The multiplication on $A$ is $\sigma$-commutative: $m_A \circ \sigma = m_A$.
• Hexagon (Fusion) Relations: For the algebra and module structure, identities such as

$$\sigma \circ (m_A \otimes_B \mathrm{id}) = (\mathrm{id} \otimes_B m_A) \circ (\sigma \otimes_B \mathrm{id}) \circ (\mathrm{id} \otimes_B \sigma)$$

and its mirror on the other leg (Bhattacharjee, 25 Jan 2026, Donno et al., 2024).

• H-covariance: The braiding intertwines the $H$-coactions, as in

$$(\Delta_* \otimes \mathrm{id}) \circ \Psi_{k,\ell} = (\mathrm{id} \otimes \Psi_{k,\ell}) \circ (\Delta_* \otimes \mathrm{id})$$

and similar for the other tensor leg (Donno, 2024).

• Hexagon Relations in Exterior Algebra: In the context of differential forms, $\Psi$ satisfies hexagon identities compatible with the wedge product, ensuring the structure of a graded-braided algebra (Donno, 2024, Donno et al., 2024).

3. Role in Quantum Principal Bundle Differential Calculus

In the Durdevic framework, the graded exterior algebra $\Omega^*(A)$ is equipped with a differential $d$ and a right $H$-coaction extending that of $A$, so that differential calculus satisfies the noncommutative generalization of the classical principal bundle structure. The Atiyah sequence

$$0 \to \mathrm{hor}^1(A) \to \Omega^1(A) \to \mathrm{ver}^1(A)\to 0$$

splits 1-forms into horizontal and vertical components, providing the foundation for extending the $H$-coaction to all degrees. The Durdevic braiding acts as the replacement for the classical flip, measuring the failure of ordinary graded-commutativity between horizontal and vertical forms (Donno, 2024, Donno et al., 2024).

In the context of first-order calculi, the notion of "σ-generated" calculi isolates those whose relations are generated by vertical data closed under the braiding. Such calculi always exist for arbitrary principal comodule algebras and vertical ideals, ensuring that connection 1-forms and vertical projections descend compatibly to the quotient calculus, and the induced braided symmetry is preserved (Bhattacharjee, 25 Jan 2026).

4. Explicit Examples

Noncommutative Torus Bundle

For $A = \mathcal{O}_\theta(T^2)$, $H = \mathcal{O}(U(1))$, and coinvariants $B = \mathbb{C}[(uv)^{\pm1}]$, the translation map is given by $T(t) = u^{-1} \otimes_B u$, with left-covariant 1-forms $du, dv$. The braiding acts as

$$\Psi(du \otimes_B dv) = e^{-i\theta} dv \otimes_B du$$

leading to the braided exterior algebra relation

$du \wedge dv = -e^{-i\theta} dv \wedge du$

(Donno, 2024, Donno et al., 2024).

Quantum Hopf Fibration

For the quantum Hopf fibration $A = \mathcal{O}_q(SU(2))$, $H = \mathcal{O}(U(1))$, and coinvariants $B = \mathcal{O}_q(S^2)$, with the bicovariant 3D calculus generated by $e_\pm, e_0$, the braiding acts as

$$\Psi(e_+ \otimes_B e_-) = e_- \otimes_B (e_+ \cdot t^{-2})$$

so that

$e_+ \wedge e_- = -e_- \wedge (e_+ \cdot t^{-2})$

A similar calculation holds for the Podleś sphere and general homogeneous generators, with the translation and braiding acting on the basis elements accordingly (Donno, 2024, Donno et al., 2024, Bhattacharjee, 25 Jan 2026).

5. Graded-Commutativity and the Structure of Exterior Algebras

In the quantum principal bundle context, the classical graded-commutativity of exterior algebras is replaced by a braided-commutativity determined by the Durdevic braiding. The genuine wedge product on $\Omega^*(A)$ as a graded braided algebra over $B$ is given by

$$\omega \wedge_B \nu := \omega \wedge \nu - (-1)^{|\omega||\nu|} \Psi(\nu \otimes_B \omega)$$

Compatibility with the differential (the braided Leibniz rule) and with the $H$-coaction ensures $\Omega^*(A)$ becomes the quantum principal bundle exterior algebra. This structure is fundamental for defining braided versions of curvature, connections, and covariant derivatives (Donno, 2024, Donno et al., 2024).

6. Comparison of Complete and σ-Generated Calculi

The original Durdevic complete calculus is a differential graded algebra $\Omega^\bullet(A)$ with full right $H$-coaction in every degree, exact noncommutative Atiyah sequence, and canonical horizontal–vertical splitting of forms. By contrast, a σ-generated first-order calculus requires only that the balanced relations are generated by vertical data and closed under σ, with no requirement for an exact Atiyah sequence or for higher-order structure. While the complete calculus imposes strong covariance and higher-order constraints, σ-generation captures the minimal compatibility needed for connections and vertical maps to descend with the braiding (Bhattacharjee, 25 Jan 2026).

7. Significance in Noncommutative and Quantum Geometry

The Durdevic braiding provides the canonical "interchange law" for forms on quantum principal bundles, replacing the classical symmetric flip with a Hopf algebra-controlled symmetry reflecting noncommutativity and quantum group action. It enables the construction of braided-commutative algebras and their differential graded extensions, forming the backbone of modern treatments of quantum principal bundles, braided Chern–Weil theory, and noncommutative gauge geometry. Its existence and compatibility—ensured under Hopf–Galois extension and appropriate coaction data—make it a fundamental object in noncommutative geometry and the study of quantum symmetries (Donno, 2024, Bhattacharjee, 25 Jan 2026, Donno et al., 2024).