Related papers: What are $E_{\infty}$ ring spaces good for?
For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
We develop a new framework to study real $K$-theory in the context of $\infty$-categories. For this, we introduce Waldhausen $\infty$-categories with genuine duality, which will be the input for such $K$-theory. These are Waldhausen…
The theory of p-local compact groups, developed in an earlier paper by the same authors, is designed to give a unified framework in which to study the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups,…
We calculate mod-p cohomology of extended powers, and their group completions which are free infinite loop spaces. We consider the cohomology of all extended powers of a space together and identify a Hopf ring structure with divided powers…
In Rovelli and Smolin's loop representation of nonperturbative quantum gravity in 4 dimensions, there is a space of solutions to the Hamiltonian constraint having as a basis isotopy classes of links in R^3. The physically correct inner…
Black hole thermodynamics suggests that the maximum entropy that can be contained in a region of space is proportional to the area enclosing it rather than its volume. I argue that this follows naturally from loop quantum gravity and a…
The M-theory fieldstrength and its dual, given by the integral lift of the left hand side of the equation of motion, both satisfy certain cohomological properties. We study the combined fields and observe that the multiplicative structure…
We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several…
A set of coordinates in the non parametric loop-space is introduced. We show that these coordinates transform under infinite dimensional linear representations of the diffeomorphism group. An extension of the group of loops in terms of…
Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic…
The "loop equations" of random matrix theory are a hierarchy of equations born of attempts to obtain explicit formulae for generating functions of map enumeration problems. These equations, originating in the physics of 2-dimensional…
Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…
We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…
Spacetime manifolds that are not time orientable play a key role in a gravitational explanation of quantum theory. Such manifolds allow topology change, but also have fascinating additional properties such as net charge from source-free…
Pursuing conjectures of John Roe, we use the stable Higson corona of foliated cones to construct a new $K$-theory model for the leaf space of a foliation. This new $K$-theory model is -- in contrast to Alain Connes' $K$-theory model -- a…
Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…
The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many…
We show that after rationalization there is a homotopy fiber sequence BBU -> K(ku) -> K(Z). We interpret this as a correspondence between the virtual 2-vector bundles over a space X and their associated anomaly bundles over the free loop…
Canonical algebras, introduced by C.M. Ringel in 1984, play an important role in the representation theory of finite dimensional algebras. They are equipped with a large contact surface to many further mathematical subjects like function…