# The Coulomb gauge in non-associative gauge theory

## TL;DR

This paper extends the Coulomb gauge existence results from standard gauge theory to non-associative gauge theory based on smooth loops, motivated by $G_2$-geometry and torsion analysis.

## Contribution

It introduces a framework for Coulomb gauge in non-associative gauge theory and proves existence of divergence-free torsion configurations under small torsion conditions.

## Key findings

- Existence of Coulomb gauge configurations in non-associative gauge theory.
- Construction of configurations with divergence-free torsion.
- Applicability to $G_2$-geometry and torsion structures.

## Abstract

The aim of this paper is to extend existence results for the Coulomb gauge from standard gauge theory to a non-associative setting. Non-associative gauge theory is based on smooth loops, which are the non-associative analogs of Lie groups. The main components of the theory include a finite-dimensional smooth loop $\mathbb{L}$, its tangent algebra $\mathfrak{l},$ a finite-dimensional Lie group $\Psi $, that is the pseudoautomorphism group of $\mathbb{L}$, a smooth manifold $M$ with a principal $\Psi $-bundle $\mathcal{P}$, and associated bundles $\mathcal{Q}$ and $\mathcal{A}$ with fibers $\mathbb{L}$ and $\mathfrak{l}$, respectively. A configuration in this theory is defined as a pair $\left( s,\omega \right) $, where $s$ is a section of $\mathbb{Q}$ and $\omega $ is a connection on $\mathcal{P}$. The torsion $T^{\left( s,\omega \right) }$ is the key object in the theory, with a role similar to that of a connection in standard gauge theory. The original motivation for this study comes from $G_{2}$-geometry, and the questions of existence of $G_{2}$-structures with particular torsion types. In particular, given a fixed connection, we prove existence of configurations with divergence-free torsion, given a sufficiently small torsion in a Sobolev norm.