A Geometric Realization of Spherical T-Duality via $\star$-Diagrams

TL;DR

This paper provides a geometric realization of spherical T-duality by establishing an equivalence with -diagrams, using higher-dimensional surgeries and Morita equivalences to connect differential geometry with string theory concepts.

Contribution

It introduces a geometric framework for spherical T-duality via -diagrams and higher-dimensional surgeries, linking abstract cohomological ideas to differential geometry.

Findings

Equivalence between -diagrams and spherical T-duality for -sphere bundles over S^4.

Introduction of higher-dimensional logarithmic transformations as topological surgeries.

Demonstration that K-theory and cohomology isomorphisms follow from Morita equivalence of action groupoids.

Abstract

This paper establishes an equivalence between two distinct frameworks for constructing and relating smooth manifolds: the geometric theory of \emph{$\star$-diagrams} and the string-theory-inspired notion of \emph{spherical T-duality}. We prove that for linear $\mathrm{S}^3$-bundles over the 4-sphere, the existence of a $\star$-diagram connecting two such bundles is equivalent to them forming a spherical T-dual pair. This result provides a concrete geometric realization of spherical T-duality, interpreting its abstract cohomological definitions in the language of differential geometry. To forge this connection, we introduce a higher-dimensional generalization of \emph{logarithmic transformations}. These topological surgeries change the diffeomorphism type of the homology $\Sigma\times \mathrm{S}^1$, where $\Sigma$ is a homotopy sphere. Forgetting the $\mathrm{S}^1$-factor, they realize the constructed spherical T-dualities. Furthermore, we show that the known isomorphisms in the equivariant K-theory and cohomology between the T-dual manifolds are a direct consequence of an underlying \emph{Morita equivalence} between the action groupoids naturally associated with the base manifolds in a $\star$-diagram.