Related papers: Sheaf Topos Theory: A powerful setting for Lagrang…
Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…
In this review, we give a pedagogical introduction to a systematic framework for constructing and analyzing supersymmetric field theories on curved spacetime manifolds. The framework is based on the use of off-shell supergravity background…
We introduce and study the notion of a locally proper map between topological spaces. We show that fundamental constructions of sheaf theory, more precisely proper base change, projection formula, and Verdier duality, can be extended from…
In this paper we introduce a geometric description of Lagrangian and Hamiltonian classical field theories on Lie algebroids in the framework of k-symplectic geometry. We discuss the relation between Lagrangian and Hamiltonian descriptions…
We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…
A classical result of topos theory holds that the category of coalgebras for a Cartesian comonad on a topos is again a topos (Kock and Wraith, 1971). It is natural to refine this result to a topos-theoretic setting that includes universes.…
In a four-dimensional space, I shall construct all of the conformally invariant scalar-tensor field theories, which are flat space compatible; i.e., well-defined and differentiable when evaluated for a flat metric tensor and constant scalar…
For large values of the Higgs boson mass the low energy structure of the gauged linear sigma model in the spontaneously broken phase can adequately be described by an effective field theory. In this work we present a manifestly gauge…
We develop classical globally supersymmetric theories. As much as possible, we treat various dimensions and various amounts of supersymmetry in a uniform manner. We discuss theories both in components and in superspace. Throughout we…
We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the…
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…
According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of…
We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $\Sigma$ in an $\infty$-topos $\mathscr{E}$. We show that the full…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…
In the Lagrangian approach to 2-dimensional sigma models, B-fields and D-branes contribute topological terms to the action of worldsheets of both open and closed strings. We show that these terms naturally fit into a 2-dimensional, smooth…
We show that in supersymmetric theories, knowing the soft theorem for a single particle in a supermultiplet allows one to immediately determine soft theorems for the remainder of the supermultiplet. While soft theorems in supersymmetric…
We consider massive half-integer higher spin fields coupled to an external constant electromagnetic field in flat space of an arbitrary dimension and construct a gauge invariant Lagrangian in the linear approximation in the external field.…
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…