Torsion in classifying spaces of gauge groups

Masaki Kameko

DOI: https://doi.org/10.1017/prm.2024.33

2024-04-02

Proceedings of the Royal Society of Edinburgh Section A Mathematics

Abstract:We determine when the integral homology of the classifying space of a -gauge group over the sphere has torsion.

mathematics, applied

What problem does this paper attempt to address?

Torsion in classifying spaces of gauge groups

Masaki Kameko

DOI: https://doi.org/10.1017/prm.2024.33

2024-03-01

Abstract:We determine when the integral homology of the classifying space of a PU(n)-gauge group over the sphere S^2 has torsion.

Algebraic Topology
Torsion at the Threshold for Mapping Class Groups

Solomon Jekel,Rita Jiménez Rolland

2024-09-11

Abstract:The mapping class group ${\Gamma}_g^ 1$ of a closed orientable surface of genus $g \geq 1$ with one marked point can be identified, by the Nielsen action, with a subgroup of the group of orientation preserving homeomorphims of the circle. This inclusion pulls back the powers of the discrete universal Euler class producing classes $\text{E}^n \in H^{2n}({\Gamma}_g^1;\mathbb{Z})$ for all $n\geq 1$. In this paper we study the power $n=g,$ and prove: $\text{E}^g$ is a torsion class which generates a cyclic subgroup of $H^{2g}({\Gamma}_g^1;\mathbb{Z})$ whose order is a positive integer multiple of $4g(2g+1)(2g-1)$.

Geometric Topology,Algebraic Topology
On the cohomology of the classifying spaces of $SO(n)$-gauge groups over $S^2$

Yuki Minowa

2023-04-18

Abstract:Let $\mathcal{G}_{\alpha}(X, G)$ be the $G$-gauge group over a space $X$ corresponding to a map $\alpha \colon X \to BG$. We compute the integral cohomology of $B\mathcal{G}_{1}(S^2, SO(n))$ for $n = 3,4$. We also show that the homology of $B\mathcal{G}_{1}(S^2, SO(n))$ is torsion free if and only if $n\le 4$. As an application, we classify the homotopy types of $SO(n)$-gauge groups over a Riemann surface for $n\le 4$.

Algebraic Topology
Moduli Space of Torsional Manifolds

Melanie Becker,Li-Sheng Tseng,Shing-Tung Yau

DOI: https://doi.org/10.1016/j.nuclphysb.2007.07.006

IF: 3.045

2007-01-01

Nuclear Physics B

Abstract:We characterize the geometric moduli of non-Kähler manifolds with torsion. Heterotic supersymmetric flux compactifications require that the six-dimensional internal manifold be balanced, the gauge bundle be Hermitian Yang–Mills, and also the anomaly cancellation be satisfied. We perform the linearized variation of these constraints to derive the defining equations for the local moduli. We explicitly determine the metric deformations of the smooth flux solution corresponding to a torus bundle over K3.
4-torsion classes in the integral cohomology of oriented Grassmannians

Ákos K. Matszangosz,Matthias Wendt

2024-03-12

Abstract:We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We prove a general criterion for the appearance of 4-torsion classes based on (twisted) Steenrod squares and show that there are many cases where this criterion is satisfied for minimal-degree anomalous classes, assuming a conjecture on the characteristic rank. We also establish the upper bound in the characteristic rank conjecture for oriented Grassmannians $\tilde{Gr}_k(n)$, and prove the equality in the cases $k=5, n=2^t-1,2^t$ and $k=6, n=2^t$. This provides infinitely many examples of oriented Grassmannians having 4-torsion in their integral cohomology. On the way, we clarify the relation between minimal-degree anomalous classes and results of Stong on the height of the first Stiefel-Whitney class $w_1$ in the mod 2 cohomology of real Grassmannians, for which we give an independent proof. We also establish some bounds on torsion exponents for the integral cohomology of oriented flag manifolds. Based on these findings and further computational evidence, we formulate a conjectural relationship between the torsion exponent in the integral cohomology of homogeneous spaces and their deficiency.

Algebraic Topology
Torsion Obstructions to Positive Scalar Curvature

Misha Gromov,Bernhard Hanke

DOI: https://doi.org/10.3842/SIGMA.2024.069

2024-07-30

Abstract:We study obstructions to the existence of Riemannian metrics of positive scalar curvature on closed smooth manifolds arising from torsion classes in the integral homology of their fundamental groups. As an application, we construct new examples of manifolds which do not admit positive scalar curvature metrics, but whose Cartesian products admit such metrics.

Differential Geometry
Torsion Classes and A Universal Constraint on Donaldson Invariants for Odd Manifolds

S AKBULUT,T MROWKA,YB RUAN

DOI: https://doi.org/10.2307/2154788

IF: 1.3529

1995-01-01

Transactions of the American Mathematical Society

Abstract:This paper studies the topology of the gauge group and givesmod2\bmod \,2universal relations along Donaldson polynomials of smooth44-manifolds, generalizing Y. Ruan’s previous related result.
Betti numbers and torsions in homology groups of double coverings

Suguru Ishibashi,Sakumi Sugawara,Masahiko Yoshinaga

2024-05-20

Abstract:Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.

Geometric Topology,Combinatorics
Torsion in cohomology and dimensional reduction

Gonzalo F. Casas,Fernando Marchesano,Matteo Zatti

2023-07-18

Abstract:Conventional wisdom dictates that $\mathbb{Z}_N$ factors in the integral cohomology group $H^p(X_n, \mathbb{Z})$ of a compact manifold $X_n$ cannot be computed via smooth $p$-forms. We revisit this lore in light of the dimensional reduction of string theory on $X_n$, endowed with a $G$-structure metric that leads to a supersymmetric EFT. If massive $p$-form eigenmodes of the Laplacian enter the EFT, then torsion cycles coupling to them will have a non-trivial smeared delta form, that is an EFT long-wavelength description of $p$-form currents of the $(n-p)$-cycles of $X_n$. We conjecture that, whenever torsion cycles are calibrated, their linking number can be computed via their smeared delta forms. From the EFT viewpoint, a torsion factor in cohomology corresponds to a $\mathbb{Z}_N$ gauge symmetry realised by a Stückelberg-like action, and calibrated torsion cycles to BPS objects that source the massive fields involved in it.

High Energy Physics - Theory
Torsion invariants of complexes of groups

Boris Okun,Kevin Schreve

2024-01-17

Abstract:Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$ with nontrivial stabilizers. Our main result is a computation of the homology torsion growth of a chain of finite index normal subgroups of $G$. We show that independent of the chain, the normalized torsion limits to the torsion of $\partial Q$, shifted a degree. Under milder assumptions of acyclicity of nontrivial stabilizers, we show similar formulas for the mod p-homology growth. We also obtain formulas for the universal and the usual $L^2$-torsion of $G$ in terms of the torsion of stabilizers and topology of $\partial Q$. In particular, we get complete answers for right-angled Artin groups, which shows they satisfy a torsion analogue of the Lück approximation theorem.

Group Theory,Geometric Topology
Super Gromov-Witten Invariants via torus localization

Enno Keßler,Artan Sheshmani,Shing-Tung Yau

2023-11-16

Abstract:In this article we propose a definition of super Gromov-Witten invariants by postulating a torus localization property for the odd directions of the moduli spaces of super stable maps and super stable curves of genus zero. That is, we define super Gromov-Witten invariants as the integral over the pullback of homology classes along the evaluation maps divided by the equivariant Euler class of the normal bundle of the embedding of the moduli space of stable spin maps into the moduli space of super stable maps. This definition sidesteps the difficulties of defining a supergeometric intersection theory and works with classical intersection theory only. The properties of the normal bundles, known from the differential geometric construction of the moduli space of super stable maps, imply that super Gromov-Witten invariants satisfy a generalization of Kontsevich-Manin axioms and allow for the construction of a super small quantum cohomology ring. We describe a method to calculate super Gromov-Witten invariants of $\mathbb{P}^n$ of genus zero by a further geometric torus localization and give explicit numbers in degree one when dimension and number of marked points are small.

Algebraic Geometry,Mathematical Physics
On Lagrangian tori in K3 surfaces

Gleb Smirnov

2024-10-29

Abstract:Every Maslov-zero Lagrangian torus in a K3 surface has non-trivial homology class. This note aims to extend this result to Lagrangian tori with Maslov indices congruent to zero modulo 4. Conversely, we show that every homologically non-trivial Lagrangian torus is necessarily Maslov-zero.

Symplectic Geometry
Torsors on moduli spaces of principal $G$-bundles

Indranil Biswas,Swarnava Mukhopadhyay

2024-04-19

Abstract:Let $G$ be a semisimple complex algebraic group with a simple Lie algebra $\mathfrak{g}$, and let $\mathcal{M}^0_{G}$ denote the moduli stack of topologically trivial stable $G$-bundles on a smooth projective curve $C$. Fix a theta characteristic $\kappa$ on $C$ which is even in case $\dim{\mathfrak{g}}$ is odd. We show that there is a nonempty Zariski open substack ${\mathcal U}_\kappa$ of $\mathcal{M}^0_{G}$ such that $H^i(C,\, \text{ad}(E_G)\otimes\kappa) \,=\, 0$, $i\,=\, 1,\, 2$, for all $E_G\,\in\, {\mathcal U}_\kappa$. It is shown that any such $E_G$ has a canonical connection. It is also shown that the tangent bundle $T{U}_\kappa$ has a natural splitting, where $U_{\kappa}$ is the restriction of $\mathcal{U}_{\kappa}$ to the semi-stable locus. We also produce an isomorphism between two naturally occurring $\Omega^1_{{M}^{rs}_{G}}$--torsors on the moduli space of regularly stable ${M}^{rs}_{G}$.

Algebraic Geometry,Representation Theory
Torsion in Chow groups of zero cycles of homogeneous projective varieties

Daniel Krashen

DOI: https://doi.org/10.48550/arXiv.1409.1888

2014-09-05

Algebraic Geometry

Abstract:We give bounds on the order of torsion in the Chow group of zero dimensional cycles for isotropic Grassmannians and Brauer-Severi flag varieties. To do this, we introduce tools to understand the behavior of torsion in Chow groups with coefficients under morphisms of proper varieties
Sources of torsion in Poincare gauge theory

James T. Wheeler

DOI: https://doi.org/10.1140/epjc/s10052-023-11812-4

2023-06-29

Abstract:We study sources for torsion in Poincare gauge theory of any dimension, signature, and spin. We find that symmetric kinetic terms for non-Yang-Mills bosonic fields of arbitrary rank drive torsion. Our detailed discussion of spin-3/2 Rarita-Schwinger fields shows that they source all independent parts of the torsion. We develop systematic notation for spin-(2k+1)/2 fields and find the spin tensor for arbitrary k in n > 2k dimensions. For k > 0 there is a novel direct coupling between torsion and spinor fields. We also cast the well-known gauge relation between the canonical and Belinfante-Rosenfield energy tensors in terms of different choices of independent variables.

High Energy Physics - Theory,General Relativity and Quantum Cosmology
Geometric classification of the torsion tensor in space-time

S. Capozziello,G. Lambiase,C. Stornaiolo

DOI: https://doi.org/10.1002/1521-3889%28200108%2910%3A8%3C713%3A%3AAID-ANDP713%3E3.0.CO%3B2-2

2001-01-10

Abstract:Torsion appears in literature in quite different forms. Generally, spin is considered to be the source of torsion, but there are several other possibilities in which torsion emerges in different contexts. In some cases a phenomenological counterpart is absent, in some other cases torsion arises from sources without spin as a gradient of a scalar field. Accordingly, we propose two classification schemes. The first one is based on the possibility to construct torsion tensors from the product of a covariant bivector and a vector and their respective space-time properties. The second one is obtained by starting from the decomposition of torsion into three irreducible pieces. Their space-time properties again lead to a complete classification. The classifications found are given in a U_4, a four dimensional space-time where the torsion tensors have some peculiar properties. The irreducible decomposition is useful since most of the phenomenological work done for torsion concerns four dimensional cosmological models. In the second part of the paper two applications of these classification schemes are given. The modifications of energy-momentum tensors are considered that arise due to different sources of torsion. Furthermore, we analyze the contributions of torsion to shear, vorticity, expansion and acceleration. Finally the generalized Raychaudhuri equation is discussed.

General Relativity and Quantum Cosmology
Discrete Torsion, Covering Groups and Quiver Diagrams

B Feng,A Hanany,YH He,N Prezas

DOI: https://doi.org/10.1088/1126-6708/2001/04/037

2001-01-01

Abstract:Without recourse to the sophisticated machinery of twisted group algebras, projective character tables and explicit values of 2-cocycles, we here present a simple algorithm to study the gauge theory data of D-brane probes on a generic orbifold G with discrete torsion turned on. We show in particular that the gauge theory can be obtained with the knowledge of no more than the ordinary character tables of G and its covering group G*. Subsequently we present the quiver diagrams of certain illustrative examples of SU(3)-orbifolds which have non-trivial Schur Multipliers. The paper serves as a companion to our earlier work hep-th/0010023 and aims to initiate a systematic and computationally convenient study of discrete torsion.
Orbifold Classifying Spaces and Quotients of complex Tori

Fabrizio Catanese

2024-03-10

Abstract:In this paper we characterize the quotients $ X = T/G$ of a complex torus $T$ by the action of a finite group $G$ as the Kähler orbifold classifying spaces of the even Euclidean cristallographic groups $\Gamma$, and we prove other similar and stronger characterizations.

Algebraic Geometry,Complex Variables
On the Torsion Generators of the Mapping Class Groups

Tulin Altunoz,Mehmetcik Pamuk,Oguz Yildiz

2023-12-07

Abstract:We study torsion generators for the (extended) mapping class group or the extended mapping class group of a closed connected orientable surface of genus g. We show that for every g is grater than or equal to 14, mapping class group can be generated by two torsion elements of order g+1 if g is even, and of orders g+1 and g+1 if g is odd. Also for g grater than or equal to 16, mapping class group can be generated by two torsion elements of orders g+1 if g+1 is not divisible by 3, and of orders g+1 and g+1 if g+1 is divisible by 3. Similarly, we obtain two torsion elements generating extended mapping class groups.

Geometric Topology
T-duality on Almost Hermitian Spaces

Tetsuji Kimura,Shin Sasaki,Kenta Shiozawa

2024-09-30

Abstract:We investigate T-duality transformation on an almost bi-hermitian space with torsion. By virtue of the Buscher rule, we completely describe not only the covariant derivative of geometrical objects but also the Nijenhuis tensor. We apply this description to string sigma model whose target space is a T-dualized system from an integrable bi-hermitian space with isometry. We find that hermiticity is not a sufficient condition to preserve integrability under T-duality transformations. However, in the presence of the Kähler condition, the T-dualized almost complex structures keep integrable even though they become no longer covariantly constant. We also observe that the form of $H$-flux is suitable for string compactification scenarios.

High Energy Physics - Theory,General Relativity and Quantum Cosmology,Mathematical Physics

Torsion in classifying spaces of gauge groups

Torsion in classifying spaces of gauge groups

Torsion at the Threshold for Mapping Class Groups

On the cohomology of the classifying spaces of $SO(n)$-gauge groups over $S^2$

Moduli Space of Torsional Manifolds

4-torsion classes in the integral cohomology of oriented Grassmannians

Torsion Obstructions to Positive Scalar Curvature

Torsion Classes and A Universal Constraint on Donaldson Invariants for Odd Manifolds

Betti numbers and torsions in homology groups of double coverings

Torsion in cohomology and dimensional reduction

Torsion invariants of complexes of groups

Super Gromov-Witten Invariants via torus localization

On Lagrangian tori in K3 surfaces

Torsors on moduli spaces of principal $G$-bundles

Torsion in Chow groups of zero cycles of homogeneous projective varieties

Sources of torsion in Poincare gauge theory

Geometric classification of the torsion tensor in space-time

Discrete Torsion, Covering Groups and Quiver Diagrams

Orbifold Classifying Spaces and Quotients of complex Tori

On the Torsion Generators of the Mapping Class Groups

T-duality on Almost Hermitian Spaces