Related papers: Grafting Boardman's Cherry Trees to Quantum Field …
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…
The analysis of the combinatorics resulting from the perturbative expansion of the transition amplitude in quantum field theories, and the relation of this expansion to the Hausdorff series leads naturally to consider an infinite…
We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for…
Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term…
The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We…
We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular…
Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…
The arithmetic of the natural numbers can be extended to arithmetic operations on planar binary trees. This gives rise to a non-commutative arithmetic theory. In this exposition, we describe this arithmetree, first defined by Loday, and…
Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many…
Let $M$ be a closed simply connected smooth manifold. Let $\F_p$ be the finite field with $p$ elements where $p> 0$ is a prime integer. Suppose that $M$ is an $\F_p$-elliptic space in the sense of [FHT91]. We prove that if the cohomology…
We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…
We give arguments for the necessity to employ Quantum Clifford Hopf Gebras in quantum field theory. The role of the antipode is examined, Feynman diagrams are re-interpreted as tangles of graphical calculus. Regularization due to the design…
Loop quantum gravity in its Hamiltonian form relies on a connection formulation of the gravitational phase space with three key properties: 1.) a compact gauge group, 2.) real variables, and 3.) canonical Poisson brackets. In conjunction,…
The problem of constructing a quantum theory of gravity has been tackled with very different strategies, most of which relying on the interplay between ideas from physics and from advanced mathematics. On the mathematical side, a central…
We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic…
We explore the extension of quantum cosmology outside the homogeneous approximation, using the formalism of loop quantum gravity. We introduce a model where some of the inhomogeneous degrees of freedom are present, providing a tool for…
Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians…
There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of groupoids and foliations, coverings of noncommutative tori, the double…
We prove a generalization of the cobordism hypothesis of Baez--Dolan and Hopkins--Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures, principal bundles with connections, or…
We give a unified geometric approach to some theorems about primitive elements and palindromes in free groups of rank 2. The geometric treatment gives new proofs of the theorems. Dedicated to Bill Harvey on his 65th birthday.