Field-Theoretic Ontology in Modern Physics

• Field-Theoretic Ontology is the view that entire field configurations, encoded via smooth sets and higher-categorical structures, are the basic constituents of physical reality.
• It applies advanced mathematical tools such as the topos of smooth sets, jet bundle geometry, and the variational bicomplex to rigorously manage dynamics, symmetry, and locality in field theories.
• The approach emphasizes observer-independent 'beables' and relational models, bridging classical and quantum frameworks while addressing gauge redundancies and non-perturbative phenomena.

Field-theoretic ontology articulates the view that the ultimate constituents of physical reality are not particles, events, or substances, but fields and their configurations—mathematically encoded as global or local sections, functionals, or operator-valued distributions on smooth manifolds. This paradigm undergirds both the physical practice and metaphysical interpretation of modern field theories, including quantum field theory, general relativity, and gauge theories, and is formalized by advanced structures such as the topos of smooth sets, jet bundle geometry, and supergeometric homotopy theory. Field-theoretic ontology prioritizes the primacy of entire field configurations ("beables") over observer-dependent measurement outcomes, offers a template for the treatment of symmetry, locality, and gauge redundancy, and connects with philosophical and categorical frameworks capable of encompassing differentiable, gauged, and higher-structured physical theories.

1. Foundational Principle: Fields and Smooth Sets

The ontological foundation of field theory is the assertion that fields—maps assigning data to points (and higher structures) of spacetime—are the primitive entities. The topos of smooth sets (SmthSet), defined as the category of sheaves on the site of Cartesian spaces CartSp, provides a robust, flexible mathematical setting for formulating this ontology (Giotopoulos et al., 2023). In this framework, a field configuration is encoded as a smooth set: a presheaf $X: \mathrm{CartSp}^{\mathrm{op}} \to \mathrm{Set}$ satisfying the sheaf gluing condition, so that for each probe $\mathbb{R}^k$, the set $X(\mathbb{R}^k)$ consists of all smooth plots from $\mathbb{R}^k$ into $X$. The Yoneda embedding realizes conventional smooth manifolds as a full subcategory of SmthSet, but the topos is closed under all constructions physicists require: mapping spaces, quotients, subspaces, jet prolongations, and higher geometric and gauge-theoretic refinements.

Let $M \in \mathrm{SmthMfd}$ denote spacetime and $\pi: E \rightarrow M$ a smooth (possibly vector or principal) bundle. The set of smooth sections, $\mathbold{\Gamma}_M(E)$, is a smooth set defined functorially by

$\mathbold{\Gamma}_M(E)(\mathbb{R}^k) = \left\{\phi: \mathbb{R}^k \times M \to E \mid \pi \circ \phi = \mathrm{pr}_2 \right\}.$

Gauge fields, scalar fields, and more general objects are special cases of this construction.

2. Jet Bundles, Variational Bicocomplex, and Euler–Lagrange Geometry

To handle the locality and differentiation intrinsic to field theory, jet bundle geometry plays a crucial role. For any bundle $E \to M$, the $k$-jet bundle $J^k_M E$ assembles equivalence classes of local sections agreeing up to order-$k$ derivatives. The projective system of jets ($\dots \to J^2_M E \to J^1_M E \to E$) converges, in the Fréchet category, to the infinite jet bundle $J^\infty_M E$.

In the topos SmthSet, the Yoneda embedding enables one to view $J^\infty_M E$ as a smooth set, allowing uniform constructions without recourse to infinite-dimensional manifold charts. The variational bicomplex is defined on $J^\infty_M E$ by splitting the de Rham complex into horizontal ($d_H$) and vertical ($d_V$) differentials:

$$\Omega^{p,q}(J^\infty_M E), \quad d_H: \Omega^{p,q} \to \Omega^{p+1,q}, \quad d_V: \Omega^{p,q} \to \Omega^{p,q+1}.$$

A local Lagrangian is a smooth map $L: J^\infty_M E \to \Lambda^n T^*M$, and the associated action $S = \int_M L$ is a smooth map within SmthSet.

By "integration by parts," the vertical differential of $L$ decomposes as $d_V L = E(L) + d_H \theta_L$, where $E(L) \in \Omega^{n,1}(J^\infty)$ is the Euler–Lagrange source form, identifying the equations of motion. The smooth map $\mathrm{EL} := E(L) \circ j^\infty$ on field configurations yields the critical locus (on-shell field configurations) as a pullback in SmthSet:

$\operatorname{Crit}(S) \cong \left\{ \mathrm{EL} = 0 \right\} = \mathbold{\Gamma}_M(E) \times_{\Gamma_M(\Lambda^n T^*M \otimes V^*E)} \{0\}.$

3. Gauge Symmetry and Dynamics

Gauge symmetry is intrinsic to field-theoretic ontology. A finite symmetry is a diffeomorphism $D: F \to F$ in SmthSet such that the Lagrangian is preserved up to a total derivative:

$L \circ D = f^* L + d_M K,$

where $f: M \to M$ is a spacetime base diffeomorphism if present. Infinitesimal symmetries are expressed by evolutionary vector fields $Z$ with

$\mathcal{L}_{pr\,Z} L = d_H K_Z.$

Noether's first theorem manifests as the correspondence between infinitesimal symmetries and conserved currents: for each such vector field $Z$, the Noether current $P_Z = K_Z + \iota_{pr\,Z} \theta_L$ satisfies the on-shell conservation law $d_M P_Z|_{\mathrm{EL}=0} = 0$. Noether's second theorem establishes that gauge symmetries generate identities among Euler–Lagrange components (Noether identities).

The covariant phase space is given by restricting the tangent bundle of field space to the solution locus, and the local presymplectic current $\omega_L$ is closed on-shell, with gauge symmetries lying in its kernel.

4. Ontology in Quantum and Relativistic Field Theory

The field-theoretic ontology in quantum gravity and QFT identifies entire field configurations—rather than pointwise particle positions or measurement outcomes—as the fundamental "beables" (Durham, 2018). In canonical quantum gravity, the Wheeler–DeWitt equation

$\widehat{H} \Psi[h_{ij}, \varphi] = 0$

assigns to each induced 3-geometry $h_{ij}(x)$ and matter field configuration $\varphi(x)$ a wave-functional $\Psi[h, \varphi]$, considered as a complete, observer-independent specification of the state of the universe on a spatial slice. Local, pointer-based, or particle-number-based ontologies fail in highly relativistic or quantum gravitational regimes, due to ambiguous slicing and the Unruh effect. Instead, global, foliation-independent field configurations become the "elements of reality."

This ontology is structurally invariant under diffeomorphisms, avoids the ambiguities of local observables, and in many accounts posits that all possible field configurations (and all possible slicings) are equally real, in an Everett-like fashion, preserving Lorentz invariance and resolving the tension between covariant symmetry and global determinism.

5. Relational and Category-Theoretic Perspectives

A relational field-theoretic ontology recasts both spacetime and matter as networks of relations instantiated by field interactions (Vidotto, 2022). Fundamental relata are not substances but interaction patterns: minimal coupling terms, dynamical field strengths, and boundary amplitudes define how "events" and "regions" are individuated. In general relativity, the metric does not describe a background but encodes relations among events; in gauge theory, field strengths and Wilson loops characterize relations, not intrinsic local data.

This ontology is further strengthened by categorical and homotopy-theoretic perspectives. The topos SmthSet subsumes diffeological spaces, Fréchet manifolds, and mapping stacks (e.g., moduli of connections), generalizing immediately to supergeometry, higher gauge fields, and homotopical refinements (Giotopoulos et al., 2023). All standard constructions—mapping spaces, jets, differential forms, symplectic reduction—exist internally to the topos. This approach is necessary for a satisfactory treatment of field theories containing fermions, non-perturbative structures, and higher symmetries.

6. Advantages, Scope, and Generalizations

The field-theoretic ontology, realized in the topos of smooth sets, offers:

• Full closure under the constructions required by field theory, including mapping spaces, subspaces (pullbacks), quotients (gauge reduction), and higher stacks.
• Chart-free, functorial treatment of both compact and non-compact bases.
• Immediate generalization to supergeometry and higher geometry, required for the analysis of theories with fermions and nonperturbative sectors.
• Embedding of physically meaningful moduli spaces, critical loci, and phase spaces into a single, well-behaved category suitable for both classical and quantum field theory (Giotopoulos et al., 2023).

This formalism resolves difficulties encountered with infinite-dimensional manifolds, rigorously localizes all expressions, and unifies diffeological, supergeometric, and higher-categorical aspects of physical fields, thus providing a comprehensive ontological infrastructure for the modern geometric analysis of field theories.

7. Significance and Outlook

The transition to a field-theoretic ontology represents not only a technical refinement but a conceptual turning point for the philosophy of physics. By encoding the physics of fields, gauge, and locality within the topos of smooth sets and its further extensions (supergeometric homotopy theory), field-theoretic ontology delivers a framework that is commensurate with the demands of quantum gravity, higher gauge theory, and quantum field theory at both the mathematical and ontological levels. It dissolves artificial distinctions between particles and fields, classical and quantum, locality and globality, and underwrites a categorical and relational vision that is increasingly seen as essential for a fundamental description of nature (Giotopoulos et al., 2023, Durham, 2018, Vidotto, 2022).