Quantum geometry of algebra factorisations and coalgebra bundles

量子特征簇的有限对称性

Finite symmetries of quantum character stacks

本文研究带主D-丛曲面上范畴分解同调的有限对称性，推广至D-丛情形，并用等变表示论描述环面等值，最终给出平坦扭曲丛模空间的量子化。

Cotensor products of quantum principal bundles

A cotensor product A\Box_H P of an H-Hopf Galois extension A and a C-coalgebra Galois extension P, such that P is an (H,C)-bicomodule, is analyzed. Conditions are stated, when A\Box_H P is a C-coalgebra Galois extension and when there exists a strong connection on A\Box_H P. Two examples are given, in both, A and P are Matsumoto spheres, and H=C=C(U(1)).

Coalgebra Gauge Theory

We develop a generalised gauge theory in which the role of gauge group is played by a coalgebra and the role of principal bundle by an algebra. The theory provides a unifying point of view which includes quantum group gauge theory, embeddable quantum homogeneous spaces and braided group gauge theory, the latter being introduced now by these means. Examples include ones in which the gauge groups are the braided line and the quantum plane.

An algebraic framework for noncommutative bundles with homogeneous fibres

An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini.

Gauge theory on noncommutative Riemannian principal bundles

We present a new, general approach to gauge theory on principal $G$-spectral triples, where $G$ is a compact connected Lie group. We introduce a notion of vertical Riemannian geometry for $G$-$C^\ast$-algebras and prove that the resulting noncommutative orbitwise family of Kostant's cubic Dirac operators defines a natural unbounded $KK^G$-cycle in the case of a principal $G$-action. Then, we introduce a notion of principal $G$-spectral triple and prove, in particular, that any such spectral triple admits a canonical factorisation in unbounded $KK^G$-theory with respect to such a cycle: up to a…

Quasitriangular and differential structures on bicrossproduct Hopf algebras

Let X=GM be a finite group factorisation. It is shown that the quantum double D(H) of the associated bicrossproduct Hopf algebra $H=kM\cobicross k(G)$ is itself a bicrossproduct $kX\cobicross k(Y)$ associated to a group YX, where $Y=G\times M^{op}$. This provides a class of bicrossproduct Hopf algebras which are quasitriangular. We also construct a subgroup $Y^θX^θ$ associated to every order-reversing automorphism $θ$ of X. The corresponding Hopf algebra $kX^θ\cobicross k(Y^θ)$ has the same coalgebra as H. Using related results, we classify the first order bicovariant differential calculi on H…

On modules associated to coalgebra Galois extensions

For a given entwining structure $(A,C)_ψ$ involving an algebra $A$, a coalgebra $C$, and an entwining map $ψ: C\otimes A\to A\otimes C$, a category $\M_A^C(ψ)$ of right $(A,C)_ψ$-modules is defined and its structure analysed. In particular, the notion of a measuring of $(A,C)_ψ$ to $(\tA,\tC)_\tpsi$ is introduced, and certain functors between $\M_A^C(ψ)$ and $\M_\tA^\tC(\tpsi)$ induced by such a measuring are defined. It is shown that these functors are inverse equivalences iff they are exact (or one of them faithfully exact) and the measuring satisfies a certain Galois-type condition. Next, l…

Galois-Type Extensions and Equivariant Projectivity

The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and factorisations. To achieve broad perspective, this theory is placed in the context of far reaching generalisations of the Galois condition to the setting of corings. At the same time, to bring together K-theory and general Galois theory, the equivariant projectivity of extensions is assumed resulting in the centrepiece concept of a principal extension. Motivated by nonco…

KZ局部系统的动机分解及表示环与融合环的形变

Motivic factorisation of KZ local systems and deformations of representation and fusion rings

本文证明KZ局部系统在点聚合时的动机分解，由此构造表示环与融合环的形变族，并给出$\mathfrak{sl}_n$情形计算算法，证明特定条件下整体单值有限且标量。