arXiv ScienceSearch

arXiv · 2511.08413

Harmonic maps into principal bundles and generalized magnetic maps

Abstract

We study harmonic mappings from a Riemannian manifold $N$ into a principal $G$-bundle $P$ endowed with a $G$-invariant Riemannian metric (i.e. a Kaluza-Klein metric). These morphisms are called Kaluza-Klein harmonic maps and naturally lead to the notion of generalized magnetic maps for an arbitrary gauge group $G$, which are just their projections onto the base manifold of $P$ and might provide a geometric formulation for the magnetic interaction of extended objects modelled by $N$ under the action of a generalized Lorentz force. We provide a characterization of Kaluza-Klein harmonic maps and show that the space of generalized magnetic maps is a quotient of the space of Kaluza-Klein harmonic maps under an equivalence relation generated by an appropriate gauge group. We establish a necessary condition that they must satisfy, the gauge variation formula and the harmonic gauge fixing equation, also providing a main existence theorem for them. After analyzing how they are influenced by the geometry of the fibers of the principal bundle, we construct several instances of generalized magnetic maps, including two non-trivial one-parameter families of examples based on $α$-twisted spherical harmonic immersions with values in the complex $S^{3}\longrightarrow S^{2}$ and quaternionic $S^{7}\longrightarrow S^{4}$ Hopf fibrations, proving that among them the unique uncharged ones are the standard Clifford torus and the standard spherical harmonic immersion of $ S^3\times S^3$ into $S^7$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

H. Benziadi, A. López Almorox, C. Tejero Prieto. 2025-11-11. Harmonic maps into principal bundles and generalized magnetic maps. https://arxiv.org/abs/2511.08413

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

KEEP EXPLORING

Related papers

Cohomology of Lie algebroids over topological ringed spaces

We consider Lie algebroids over a topological ringed space as quasicoherent sheaves of Lie-Rinehart algebras. We express hypercohomology for a locally free Lie algebroid (not necessarily of finite rank) as a derived functor, and simplify it via Čech cohomology. Furthermore, we define the Hochschild hypercohomology of a sheaf of generalized bialgebras (using a derived functor) and study the cases of the universal enveloping algebroid and of the jet algebroid of a Lie algebroid. In the sequel, we present a version of Hochschild-Kostant-Rosenberg theorem for a locally free Lie algebroid, as well as its dual version.

math.DG

Family index for Fredholm extensions of semi-Fredholm operators

This paper is devoted to an abstract analogue of elliptic boundary value problems, namely, Fredholm realizations of semi-Fredholm operators in a Hilbert space. Such a realization is determined by an abstract boundary condition, which is a subspace in the space of abstract boundary values. We find the $K^0$ index of a family of such abstract boundary value problems, or the $K^1$ index in the self-adjoint case, in terms of the corresponding family of abstract boundary conditions. Our approach is based on passing from a Fredholm operator to its graph. The graph forms a Fredholm pair with the horizontal subspace, and we prove the index formula by deforming the horizontal subspace instead of the operator.

math.DG

Classifying Slice-Regular Polynomials via Group Actions on the Twistor Space

We study the equivalence classes of slice-regular functions $f:Ω\to\mathbb{H}$ on a symmetric slice domain $Ω$, and of their subclass made of polynomial slice-regular functions, with respect to the natural action of $\mathrm{PGL}(2,\mathbb{H})$ and its subgroups, by employing the twistor construction. In particular, we characterize slice--regular functions whose twistor lift is planar and belongs to a given orbit, and we find normal classes of slice-regular polynomials with respect to the action of a parabolic subgroup of $\mathrm{GL}(2,\mathbb{H})$.

math.DG