Related papers: Homotopy Transfer and Effective Field Theory I: Tr…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In…

We discuss general properties of classical string field theories with symmetric vertices in the context of deformation theory. For a given conformal background there are many string field theories corresponding to different decomposition of…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have…

The homotopy Lie or $L_{\infty}$ algebra encoding Yang-Mills theory is the tensor product of a color Lie algebra with the kinematic $C_{\infty}$ algebra. We derive this $C_{\infty}$ algebra, via homotopy transfer, from a strict operator…

In recent years, significant progress has been made in the study of integrable systems from a gauge theoretic perspective. This development originated with the introduction of $4$d Chern-Simons theory with defects, which provided a…

We present a new method, exact in $\alpha'$, to explicitly compute string tree-level amplitudes involving one massive state and any number of massless ones. This construction relies on the so-called twisted heterotic string, which admits…

These notes illustrates the power of formulating ideas of commutative algebra in a homotopy invariant form. They can then be applied to derived categories of rings or ring spectra. These ideas are powerful in classical algebra, in…

We explore a class of effective field theory models of cosmic acceleration involving a metric and a single scalar field. These models can be obtained by starting with a set of ultralight pseudo-Nambu-Goldstone bosons whose couplings to…

Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…

$L_{\infty}$ algebras describe the underlying algebraic structure of many consistent classical field theories. In this work we analyze the algebraic structure of Gauged Double Field Theory in the generalized flux formalism. The symmetry…

We consider the general free field theory such that system of equations of motion includes a subsystem with a special property. If the subsystem is considered by itself, it would be a topological field theory having no local degrees of…

The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell…

The main goal of this article is to develop integration theory for absolute partition $L_\infty$-algebras, which are point-set models for the (spectral) partition Lie algebras of Brantner-Mathew where infinite sums of operations are…

In this talk, we review the basis of the loop-tree duality theorem, which allows to rewrite loop scattering amplitudes in terms of tree-level like objects. Since the loop measure is converted into a phase-space one, both virtual and real…

We study the homogeneous breaking of spatial translation symmetry concomitantly with the spontaneous breaking of other internal and spacetime symmetries, including dilations. We use the symmetry-breaking pattern as the only input to derive,…

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

Using the theory of distributive series of monads, we construct an $(\infty,0)$-coherator called the \emph{inductive coherator}. The category of models out of the inductive coherator serve as a model for $\infty$-groupoids that possess an…