Related papers: Classical field theory via Cohesive homotopy types
A $k$-symplectic framework for classical field theories subject to nonholonomic constraints is presented. If the constrained problem is regular one can construct a projection operator such that the solutions of the constrained problem are…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
Semiclassical Hamiltonian field theory is investigated from the axiomatic point of view. A notion of a semiclassical state is introduced. An "elementary" semiclassical state is specified by a set of classical field configuration and quantum…
Non equilibrium effective field theory is presented as an inhomogeneous field theory, using a formulation which is analogous to that of a gauge theory. This formulation underlines the importance of structural aspects of non-equilibrium,…
We derive universal formulae for integrating out heavy degrees of freedom in scalar field theories up to one-loop level in terms of covariant quantities associated with the geometry of the field manifold. The universal matching results can…
We quiver-interpret the classical simplicial theory - including the cosimplex category $\Delta$, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type $A$. For the cyclic and cubical theories, we proceed…
We consider the geometric formulation of the Hamiltonian formalism for field theory in terms of {\em Hamiltonian connections} and {\em multisymplectic forms}. In this framework the covariant Hamilton equations for Mechanics and field theory…
The fields nonlinear modes quantization scheme is discussed. New form of the perturbation theory achieved by unitary mapping the quantum dynamics in the space $W_G$ of (action, angle)-type collective variables. It is shown why the…
This paper introduces a geometric framework for classical cohomological field theories based on $G^{\star}$-algebras and gauge natural field theories. A BV-BFV extension of the framework is provided, which incorporates the cotangent lift of…
These notes provide an introduction to a number of those topics in Classical Mechanics that are useful for field theory.
In a first part we propose an introduction to multisymplectic formalisms, which are generalisations of Hamilton's formulation of Mechanics to the calculus of variations with several variables: we give some physical motivations, related to…
Quantum field theory currently has a single standard mathematical characterization (the Standard Model), but no single accepted conceptual framework to interpret the mathematics. Many of these conceptualizations rely on intuitive concepts…
A summary of a recently proposed description of quantum-classical hybrids is presented, which concerns quantum and classical degrees of freedom of a composite object that interact directly with each other. This is based on notions of…
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$.…
We review the generalization of field theory to space-time with noncommuting coordinates, starting with the basics and covering most of the active directions of research. Such theories are now known to emerge from limits of M theory and…
In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…
The objective of this work is twofold: First, we analyze the relation between the k-cosymplectic and the k-symplectic Hamiltonian and Lagrangian formalisms in classical field theories. In particular, we prove the equivalence between…
We present a precise definition of extended homotopy quantum field theories and develop an orbifold construction for these theories when the target space is the classifying space of a finite group $G$, i.e. for $G$-equivariant topological…
Mixing and decoherence are both manifestations of classicality within quantum theory, each of which admit a very general category-theoretic construction. We show under which conditions these two 'roads to classicality' coincide. This is…
The transfer matrix in lattice field theory connects the covariant and the initial data frameworks; in spin foam models, it can be written as a composition of elementary cellular amplitudes/propagators. We present a framework for discrete…