Related papers: Algebro-geometric axioms for DCF$_{0,m}$
A study of zero-dimensional theories, based on exact results, is presented. First, relying on a simple diagrammatic representation of the theory, equations involving the generating function of all connected Green's functions are…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
The response of dissipative systems to multi-chromatic fields exhibits generic properties which follow from the discrete time-translation symmetry of each driving component. We derive these properties and illustrate them with paradigmatic…
A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use…
An extension of the Field-Antifield formalism to treat anomalous gauge theories with a closed, irreducible classical gauge algebra is proposed. Introducing extra degrees of freedom, we construct the gauge transformations for these new…
We study the $O(D,D+n)$ generalized metric and the gauge symmetries in the gauged double field theory (DFT) in view of current algebras and sigma models. We show that the $O(D,D+n)$ generalized metric in the gauged DFT is consistent with…
We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We…
Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral…
Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…
We establish a martingale-type characterisations for the continuum Gaussian free field (GFF) and for fractional Gaussian free fields (FGFs), using their connection to the stochastic heat equation and to fractional stochastic heat equations.…
We construct a theory of fields living on continuous geometries with fractional Hausdorff and spectral dimensions, focussing on a flat background analogous to Minkowski spacetime. After reviewing the properties of fractional spaces with…
We go on in the program of investigating the removal of divergences of a generical quantum gauge field theory, in the context of the Batalin-Vilkovisky formalism. We extend to open gauge-algebrae a recently formulated algorithm, based on…
The prenex fragments of first-order infinite-valued Goedel logics are classified. It is shown that the prenex Goedel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all…
An differential field $(F;\partial_1,...,\partial_m)$ of characteristic zero, a subgroup $H$ of affine group $ GL(n,C)\propto C^n$ with respect to its identical representation in $F^n$ and the following two fields of differential rational…
We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid…
A perfect field $K$ is said to be Kummer-faithful if the Mordell-Weil group of every semi-abelian variety over every finite extension of $K$ has no nonzero divisible element. The class of Kummer-faithful fields contains that of sub-$p$-adic…
We formalize geometrically the idea that the (de Donder) Hamiltonian formulation of a higher derivative Lagrangian field theory can be constructed understanding the latter as a first derivative theory subjected to constraints.
In a quantum mechanical treatment of gauge theories (including general relativity), one is led to consider a certain completion, $\agb$, of the space $\ag$ of gauge equivalent connections. This space serves as the quantum configuration…
We demonstrate that topological defects in a rational conformal field theory can be described by a classifying algebra for defects - a finite-dimensional semisimple unital commutative associative algebra whose irreducible representations…
We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions.