Related papers: A new duality theorem for locally compact spaces
We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma…
We study several duality isomorphisms between equivariant bivariant K-theory groups, generalising Kasparov's first and second Poincare duality isomorphisms. We use the first duality to define an equivariant generalisation of Lefschetz…
We establish a localized Bochner-type rigidity theorem for harmonic maps between Riemannian manifolds. Let $f : (M,g) \to (\overline{M},\overline{g})$ be a harmonic map from a compact manifold. Instead of assuming a global nonpositivity…
In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains…
We prove that if $\rho: A(H) \to B(G)$ is a homomorphism between the Fourier algebra of a locally compact group $H$ and the Fourier-Stieltjes algebra of a locally compact group $G$ induced by a mixed piecewise affine map $\alpha : G \to H$,…
A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide…
A general theorem due to Howe of dual action of a classical group and a certain non-associative algebra on a space of symmetric or alternating tensors is reformulated in a setting of second quantization, and familiar examples in atomic and…
In the theory of persistent homology, a well known duality relates the barcodes of the absolute homology and relative cohomology of a one-parameter simplicial filtration. Motivated by the problem of computing free presentations of the…
Haag duality is a fundamental locality property introduced in the pioneering formulation of algebraic quantum field theory by Haag and Kastler in the 1960s. Since then, it has played a central role, most notably in the classification of…
Every small category $C$ has a classifying space $BC$ associated in a natural way. This construction can be extended to other contexts and set up a fruitful interaction between categorical structures and homotopy types. In this paper we…
It has been known since the work of Duskin and Pelletier four decades ago that KH^op, the category opposite to compact Hausdorff spaces and continuous maps, is monadic over the category of sets. It follows that KH^op is equivalent to a…
We prove that for any presentably symmetric monoidal $\infty$-category $\mathcal{V}$, the $\infty$-category $\mathbf{Mod}_\mathcal{V}(\mathbf{Pr}^{\mathrm{L}})^{\mathrm{dbl}}$ of dualizable presentable $\mathcal{V}$-modules and internal…
We show that the following five categories are equivalent: (1) the opposite category of commutative von Neumann algebras; (2) compact strictly localizable enhanced measurable spaces; (3) measurable locales; (4) hyperstonean locales; (5)…
We show that the positive zoom complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be extended to opetopic cardinals.
Let $R$ be a commutative ring. We show that any complete duality pair gives rise to a theory of relative homological algebra, analogous to Gorenstein homological algebra. Indeed Gorenstein homological algebra over a commutative Noetherian…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
The Langlands Program was launched in the late 60s with the goal of relating Galois representations and automorphic forms. In recent years a geometric version has been developed which leads to a mysterious duality between certain categories…
A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…
We formulate and prove a generalized Albanese property for families of maps from a smooth curve over an arbitrary field into a commutative group stack. Our proof, which is mostly self-contained, employs local-to-global techniques and some…