English
Related papers

Related papers: A note on Pontryagin duality and continuous logic

200 papers

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Logic · Mathematics 2013-07-01 Steve Awodey , Henrik Forssell

The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is…

Group Theory · Mathematics 2025-02-25 María V. Ferrer , S. Hernández

We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…

Number Theory · Mathematics 2025-03-19 Marco Artusa

The paper deals with group dualities. A group duality is simply a pair $(G, H)$ where $G$ is an abstract abelian group and $H$ a subgroup of characters defined on $G$. A group topology $\tau$ defined on $G$ is {\it compatible} with the…

General Topology · Mathematics 2021-06-11 Tayomara Borsich , Xabier Domínguez , Elena Martín-Peinador

Using a ``3 by 3 matrix trick'' we previously showed that multiplication in a C*-algebra A, an algebraic structure, is determined by the geometry of the C*-algebra of the 3 by 3 matrices with entries from A. As an application of this…

Operator Algebras · Mathematics 2007-05-23 Robert A. Cohen , Martin E. Walter

We use Segal-Mitchison's cohomology of topological groups to define a convenient model for topological gerbes. We introduce multiplicative gerbes over topological groups in this setup and we define its representations. For a specific choice…

Algebraic Topology · Mathematics 2024-10-08 Jaider Blanco , Bernardo Uribe , Konrad Waldorf

De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff…

Logic · Mathematics 2022-06-28 Guillaume Massas

We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose…

Rings and Algebras · Mathematics 2015-03-18 Ganna Kudryavtseva

Noncommutative duality for C*-dynamical systems is a vast generalization of Pontryagin duality for locally compact abelian groups. In this series of lectures, we give an introduction to the categorical aspects of this duality, focusing…

Operator Algebras · Mathematics 2012-11-20 S. Kaliszewski , John Quigg

For a totally disconnected locally compact abelian group, we prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Pontryagin duality. Moreover,…

General Topology · Mathematics 2013-10-25 Dikran Dikranjan , Anna Giordano Bruno

For a group $G$ (of type $F$) acting properly on a coarse Poincar\'{e} duality space $X$, Kapovich-Kleiner introduced a coarse version of Alexander duality between $G$ and its complement in $X$. More precisely, the cohomology of $G$ with…

Geometric Topology · Mathematics 2025-08-20 G. Christopher Hruska , Emily Stark , Hung Cong Tran

This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad…

Rings and Algebras · Mathematics 2015-06-02 B. A. Davey , M. Haviar , H. A. Priestley

Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence,…

Logic in Computer Science · Computer Science 2023-06-22 Simon Docherty , David Pym

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…

General Topology · Mathematics 2025-01-28 Marco Abbadini , Guram Bezhanishvili , Luca Carai

We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main…

Logic · Mathematics 2021-08-24 Martino Lupini , Alexander Melnikov , Andre Nies

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Logic · Mathematics 2025-06-18 Gabriel Conant , Ehud Hrushovski , Anand Pillay

We will prove that, for any abelian group $G$, the canonical (surjective and continuous) mapping $\boldsymbol{\beta}G \to {\frak b}G$ from the Stone-\v{C}ech compactification $\boldsymbol{\beta}G$ of $G$ to its Bohr compactfication ${\frak…

General Topology · Mathematics 2018-08-16 Pavol Zlatoš

The work is my Ph D thesis (dissertation for obtaining candidate of sciences degree in Russia) fulfilled under direction of D. A. Raikov and defended under supervision of N. Ya. Vilenkin and S. V. Ptchelintsev. In the dissertatin I gave…

Functional Analysis · Mathematics 2022-09-09 A. Kh. Naziev

Generalizing Duality Theorem of V. V. Fedorchuk, we prove Stone-type duality theorems for the following four categories: all of them have as objects the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous…

General Topology · Mathematics 2007-10-01 Georgi Dobromirov Dimov

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

Algebraic Topology · Mathematics 2019-07-08 Tobias Barthel , Natalia Castellana , Drew Heard , Gabriel Valenzuela