Related papers: Kahn-Priddy theorems via the norm
A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…
This thesis considers various aspects of locally covariant quantum field theory (LCQFT; see Brunetti et al., Commun.Math.Phys. 237 (2003), 31-68), a mathematical framework to describe axiomatic quantum field theories in curved spacetimes.…
We define and study equivariant analytic and local cyclic homology for smooth actions of totally disconnected groups on bornological algebras. Our approach contains equivariant entire cyclic cohomology in the sense of Klimek, Kondracki and…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
We use obstruction theory based on the unstable Adams spectral sequence to construct self maps of finite quaternionic projective spaces. As a result, a conjecture of Feder and Gitler regarding the classification of self maps up to homology…
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally…
This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a…
We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely…
We show that the main theorem of Morse theory holds for a large class of functions on singular spaces. The function must satisfy certain conditions extending the usual requirements on a manifold that Condition C holds and the gradient flow…
We show that Hardy's uncertainty principle can be reformulated in such a way that it has an analogue even for compact Lie groups and symmetric spaces of compact type.
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…
We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse…
We investigate equivariant analogues of the Minkowski--Weyl theorem and Gordan's lemma in an infinite-dimensional setting, where cones and monoids are invariant under the action of the infinite symmetric group. Building upon the framework…
This paper presents and explores a theory of \emph{multiholomorphic maps}. This group of ideas generalizes the theory of pseudoholomorphic curves in a direction suggested by consideration of the kinds of compatible geometric structures that…
We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory,…
This is an expository paper discussing various versions of Khovanov homology theories, interrelations between them, their properties, and their applications to other areas of knot theory and low-dimensional topology.
We prove the Poisson geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result is also a generalization of Conn's linearization theorem from one-point leaves to…
We give details of models for rational torus equivariant homotopy theory based on (a) all subgroups, connected subgroups or dimensions of subgroups and (b) on pairs or general flags. We provide comparison functors and show the models are…
All simple translation-invariant valuations on polytopes are classified. As a direct consequence the well-known conditions for translative-equidecomposability are recovered. Furthermore, a simplified proof of the classification of…