[Paper Review] Differential Calculi on Quantum Principal Bundles over Projective Bases

Paolo Aschieri, R. Fioresi+2 more|arXiv (Cornell University)|Oct 7, 2021

Algebraic structures and combinatorial models39 references4 citations

TL;DR

This paper introduces a sheaf-theoretic framework for differential calculi on quantum principal bundles over non-affine bases, such as quantum projective spaces. It establishes principal covariant calculi via exact sequences linking total, base, and structure algebra sheaves, and proves that the quantum GL₂ and SL₂ bundles over ℙ¹(ℂ) admit well-defined, compatible differential structures through Ore extension constructions and Hopf–Galois lifting.

ABSTRACT

We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of covariant bimodules together with a morphism of sheaves -- the differential -- such that the Leibniz rule and surjectivity hold locally. The main class of examples is given by covariant calculi over quantum flag manifolds, which we provide via an explicit Ore extension construction. In a second step we introduce principal covariant calculi by requiring a local compatibility of the calculi on the total sheaf, base sheaf and the structure Hopf algebra in terms of exact sequences. In this case Hopf--Galois extensions of algebras lift to Hopf--Galois extensions of exterior algebras with compatible differentials. In particular, the examples of principal (covariant) calculi on the quantum principal bundles $\mathcal{O}_q(\mathrm{SL}_2(\mathbb{C}))$ and $\mathcal{O}_q(\mathrm{GL}_2(\mathbb{C}))$ over the projective space $\mathrm{P}^1(\mathbb{C})$ are discussed in detail.

Motivation & Objective

• To extend the theory of differential calculi on quantum principal bundles beyond the affine setting to non-affine bases such as quantum projective varieties.
• To develop a sheaf-theoretic approach that generalizes classical sheaf methods to noncommutative geometry, particularly for quantum flag manifolds and quantum homogeneous spaces.
• To define and characterize principal covariant calculi via local exact sequences involving total, base, and structure algebra sheaves.
• To demonstrate that Hopf–Galois extensions lift to compatible exterior algebras with differentials, ensuring consistency across the bundle structure.
• To provide explicit constructions of differential calculi on quantum principal bundles over ℙ¹(ℂ), specifically for O_q(GL₂(ℂ)) and O_q(SL₂(ℂ)).

Proposed method

• Formalizes differential calculi on sheaves of comodule algebras as sheaves of covariant bimodules equipped with a differential morphism satisfying the Leibniz rule and surjectivity locally.
• Applies the Ore extension construction to explicitly build covariant calculi on quantum flag manifolds, particularly for quantum groups over projective bases.
• Introduces principal covariant calculi by requiring local exact sequences: 0 → A_I ⊗_A Γ_B_I → Γ_I → A_I □_H Γ_H → 0, ensuring compatibility across total, base, and structure algebra levels.
• Uses the smash product calculus as a local model but shows it fails to glue globally due to incompatibility of restriction maps, necessitating alternative constructions.
• Employs the freeness of presheaves (e.g., Υ_GL_q) to verify sheaf axioms and prove that the extended differential d defines a morphism of sheaves of comodules.
• Leverages Hopf–Galois extension theory to lift algebraic structures and differentials from base algebras to total spaces, ensuring compatibility under coaction.

Experimental results

Research questions

• RQ1 How can differential calculi on quantum principal bundles be consistently defined over non-affine bases such as quantum projective spaces?
• RQ2 What conditions ensure that a differential calculus on a quantum principal bundle is compatible with the bundle structure, i.e., respects the base, total space, and structure group?
• RQ3 Why does the standard smash product calculus fail to define a global FODC on quantum principal bundles over ℙ¹(ℂ), despite working locally?
• RQ4 Can the Ore extension construction yield a global, compatible differential calculus on quantum flag manifolds and their associated bundles?
• RQ5 How do Hopf–Galois extensions of algebras lift to compatible exterior algebras with differentials in the non-affine setting?

Key findings

• The sheaf Υ_GL_q of one-forms on the quantum GL₂ bundle over ℙ¹(ℂ) is shown to be a sheaf of right H-covariant bimodules, with the differential d forming a morphism of sheaves of comodules.
• The sequences 0 → A_I ⊗_A Γ_B_I → Γ_I → A_I □_H Γ_H → 0 are proven to be exact for all standard open sets U_I, confirming the principal covariant calculus structure.
• The differential calculi on O_q(GL₂(ℂ)) and O_q(SL₂(ℂ)) over ℙ¹(ℂ) are explicitly constructed via Ore extensions, yielding compatible, global FODCs.
• The smash product calculus, while locally isomorphic to the Ore-extended calculus, fails to glue into a global FODC due to incompatibility of restriction maps between patches.
• The base calculus Υ_P^1(C) is isomorphic to the coinvariant and horizontal part of the total calculus, Υ_GL_q^coH ∩ Υ_GL_q^hor, confirming consistency with classical sheaf-theoretic expectations.
• The construction demonstrates the non-uniqueness of differential calculus in noncommutative geometry: the Ore-extended calculus is the correct global choice, not the locally natural smash product calculus.