Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2212.06946

Pullback of quantum principal bundles

Francesco D'Andrea·Tomasz Maszczyk
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce an abstract framework of Cartesian squares beyond the context of fiber products, and use it to extend the notion of pullback from classical to compact quantum principal bundles. Based only on our abstract notion of a Cartesian square, we extend key concepts of Equivariant Topology, such as the pullback of a family of group actions, orbit spaces, slices and global sections, change of base and structure group, free actions, and the groupoid of compact principal bundles. Finally, we embed the thus extended Equivariant Topology inside the 2-category of Grothendieck categories in such a way that our notion of a Cartesian square becomes the appropriate Beck-Chevalley condition.

Explore related subjects

math.KTmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Francesco D'Andrea, Tomasz Maszczyk. 2025-12-30. Pullback of quantum principal bundles. https://arxiv.org/abs/2212.06946

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

p-curvature in non-commutative Hodge theory and the Kontsevich-Soibelman operad

Let $\mathcal{C}$ be a differential $\mathbb{Z}/2$-graded category over $\mathbb{C}$. Its periodic cyclic homology $HH^{per}_*(\mathcal{C})$, when viewed as a vector bundle over the formal punctured disk, is equipped with a canonical connection $\nabla^{\mathcal{C}}_{\partial_t}$ called the Getzler-Gauss-Manin connection in the $t$-direction (or the categorical $t$-connection). Our main result is that when $\mathcal{C}$ is smooth and proper, this connection has a regular singularity at $t=0$ and quasi-unipotent monodromy, affirming a conjecture of Katzarkov-Kontsevich-Pantev \cite{KKP}. Our proof follows a reduction mod $p$ argument using a spreading out technique of Toën \cite{To} and a regularity criterion of Katz \cite{Ka1}. The main novelty is the proof of a multiplicative property of the $p$-curvature of $\nabla^{\mathcal{C}}_{\partial_t}$ through an interpretation in terms of the two-colored Kontsevich-Soibelman operad. We then explore two applications of the main result. First, we give an explicit description (under additional assumptions) of the non-commutative Hodge filtration on the periodic cyclic homology of a smooth proper d$(\mathbb{Z}/2)$g category, following a construction of Shklyarov \cite{Shk}. The second application, which is special to our particular method or proof, is an upper bound on the sizes of Jordan blocks of the monodromy of $\nabla^{\mathcal{C}}_{\partial_t}$, which simultaneously generalizes Scherk's local monodromy theorem for isolated hypersurface singularities \cite{Sche} and (partially) a recent result of Pomerleano-Seidel on the quantum connection of a closed monotone symplectic manifold \cite{PS2}. As a specialization, we show that the sizes of these Jordan blocks are bounded above by the diagonal dimension of $\mathcal{C}$ plus one.

math.KT↗
arXiv2026

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The unit group $R^\times$ is finitely presented, and we describe an explicit finite presentation. The homology calculation uses leaf coordinates, simultaneous extensions of ordered frames, and finite-field actions on stabilizers. The Steinberg argument lifts relations from a simply connected frame complex and refines coordinates. We also state separate criteria for the two arguments over rings of characteristic two.

math.KT↗