A controlled-topology proof of the product structure theorem

Frank Quinn

DOI: https://doi.org/10.1007/s10711-009-9406-x

2009-08-25

Geometriae Dedicata

Abstract:The controlled end and h-cobordism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems.

mathematics

What problem does this paper attempt to address?

Controlled Mather-Thurston theorems

Michael Freedman

2023-06-22

Abstract:Classical results of Milnor, Wood, Mather, and Thurston produce flat connections in surprising places. The Milnor-Wood inequality is for circle bundles over surfaces, whereas the Mather-Thurston Theorem is about cobording general manifold bundles to ones admitting a flat connection. The surprise comes from the close encounter with obstructions from Chern-Weyl theory and other smooth obstructions such as the Bott classes and the Godbillion-Vey invariant. Contradiction is avoided because the structure groups for the positive results are larger than required for the obstructions, e.g. $\operatorname{PSL}(2,\mathbb{R})$ versus $\operatorname{U}(1)$ in the former case and $C^1$ versus $C^2$ in the latter. This paper adds two types of control strengthening the positive results: In many cases we are able to (1) refine the Mather-Thurston cobordism to a semi-$s$-cobordism (ssc) and (2) provide detail about how, and to what extent, transition functions must wander from an initial, small, structure group into a larger one. The motivation is to lay mathematical foundations for a physical program. The philosophy is that living in the IR we cannot expect to know, for a given bundle, if it has curvature or is flat, because we can't resolve the fine scale topology which may be present in the base, introduced by a ssc, nor minute symmetry violating distortions of the fiber. Small scale, UV, "distortions" of the base topology and structure group allow flat connections to simulate curvature at larger scales. The goal is to find a duality under which curvature terms, such as Maxwell's $F \wedge F^\ast$ and Hilbert's $\int R\ dvol$ are replaced by an action which measures such "distortions." In this view, curvature results from renormalizing a discrete, group theoretic, structure.

Geometric Topology,Mathematical Physics,Quantum Physics
T 0 -spaces and the lower topology

Jimmie Lawson,Xiaoquan Xu

DOI: https://doi.org/10.1017/s0960129524000240

2024-09-20

Mathematical Structures in Computer Science

Abstract:The authors' primary goal in this paper is to enhance the study of topological spaces by using the order of specialization of a -space to introduce the lower topology (with a subbasis of closed sets ) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets , finite, is contained in an open set , then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong -spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo with the Scott topology is a strong -space, then it is well-filtered, and if additionally the Scott topology of the product is the product of the Scott topologies of the factors, then the Scott space of is sober. We also exhibit connections of this work with de Groot duality.

computer science, theory & methods
A procdh topology

Shane Kelly,Shuji Saito

2024-01-05

Abstract:In this article we propose a definition of a procdh topos. We show that it encodes procdh excision, has bounded homotopy dimension and therefore is hypercomplete and admits a conservative family of fibre functors. We also describe the local rings.

Algebraic Geometry,K-Theory and Homology
Generalized Product Topology

Xinxing Wu,Peiyong Zhu

DOI: https://doi.org/10.4134/CKMS.2013.28.4.819

2013-01-01

Communications of the Korean Mathematical Society

Abstract:Similarly to Tychonoff product, we introduce the concept of generalized product topology which is different from the notion of product of generalized topologies in [A. Csaszar, Acta Math. Hungar. 123(2009), 127-132] for generalized topology and obtain some propertiesabout it. Besides, we prove that connectedness, sigma-connectedness and alpha-connectedness are all preserved under this product
$\mathcal{Z}$-stability of crossed products by topological full groups

Petr Naryshkin,Spyridon Petrakos

2024-02-12

Abstract:We introduce the property of having good subgroups for actions of countable discrete groups on compact metrizable spaces. We show that it implies comparison for actions of amenable groups and amenable actions of groups containing the free group on two generators. As a result, free actions on finite-dimensional spaces of topological full groups of many étale groupoids are almost finite whenever the group is amenable, or have comparison if instead it contains a free group on two generators and the action is minimal and amenable. In particular, free minimal actions give rise to classifiable crossed products in both of the above cases.

Dynamical Systems,Operator Algebras
A Survey of Ultraproduct Constructions in General Topology

Paul Bankston

DOI: https://doi.org/10.48550/arXiv.math/9709203

1997-09-02

Abstract:We survey various attempts to transport the ultraproduct construction from the realm of model theory to that of general topology.

Logic
Coactions and skew products for topological quivers

Lucas Hall

DOI: https://doi.org/10.1017/s0013091524000208

2024-05-23

Proceedings of the Edinburgh Mathematical Society

Abstract:Given a cocycle on a topological quiver by a locally compact group, the author constructs a skew product topological quiver and determines conditions under which a topological quiver can be identified as a skew product. We investigate the relationship between the -algebra of the skew product and a certain native coaction on the -algebra of the original quiver, finding that the crossed product by the coaction is isomorphic to the skew product. As an application, we show that the reduced crossed product by the dual action is Morita equivalent to the -algebra of the original quiver.

mathematics
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.
Topological proofs of categorical coherence

Pierre-Louis Curien,Guillaume Laplante-Anfossi

2024-05-08

Abstract:We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.

Algebraic Topology,Combinatorics,Category Theory,Quantum Algebra
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Ruiyuan Chen

DOI: https://doi.org/10.1017/fms.2024.25

2024-03-16

Abstract:We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as well as Sami's and Hjorth's sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms; and the equivalence of "potentially open" versus "orbitwise open" Borel sets. We also characterize "potentially open" $n$-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions, and prove a result subsuming Lupini's Becker--Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures. Our proof method is new even in the classical case of Polish groups, and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids, and more generally in the point-free context, for open localic groupoids.

Logic,Category Theory,Dynamical Systems
Topological Quantum Groups, Star Products and their relations

M. Flato,D. Sternheimer

DOI: https://doi.org/10.48550/arXiv.hep-th/9409052

1994-09-11

Abstract:This short summary of recent developments in quantum compact groups and star products is divided into 2 parts. In the first one we recast star products in a more abstract form as deformations and review its recent developments. The second part starts with a rapid presentation of standard quantum group theory and its problems, then moves to their completion by introduction of suitable Montel topologies well adapted to duality. Preferred deformations (by star products and unchanged coproducts) of Hopf algebras of functions on compact groups and their duals, are of special interest. Connection with the usual models of quantum groups and the quantum double is then presented.

High Energy Physics - Theory,Quantum Algebra
A Topological Version of Schaefer's Dichotomy Theorem

Patrick Schnider,Simon Weber

2023-07-07

Abstract:Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise, it is NP-complete. In this paper, we analyze boolean CSPs in terms of their topological complexity, instead of their computational complexity. We attach a natural topological space to the set of solutions of a boolean CSP and introduce the notion of projection-universality. We prove that a boolean CSP is projection-universal if and only if it is categorized as NP-complete by Schaefer's dichotomy theorem, showing that the dichotomy translates exactly from computational to topological complexity. We show a similar dichotomy for SAT variants and homotopy-universality.

Computational Complexity,Algebraic Topology
A product theorem in simple Lie groups

Nicolas de Saxcé

DOI: https://doi.org/10.1007/s00039-015-0326-7

2015-03-17

Geometric and Functional Analysis

Abstract:We prove a discretized Product Theorem for general simple Lie groups, in the spirit of Bourgain’s Discretized Sum-Product Theorem.

mathematics
Topological posets and tropical phased matroids

Ulysses Alvarez,Ross Geoghegan

2024-05-29

Abstract:For a discrete poset $\mathcal X$ McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$ from the order complex to the poset equipped with the Up topology is a weak homotopy equivalence. Much later, Zivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. A familiar topological example is the Grassmann poset of proper non-zero linear subspaces of R^{n+1} partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Section 2.

Combinatorics
Multimo dal Logics of Products of Topologies

J. van Benthem,G. Bezhanishvili,B. ten Cate,D. Sarenac

DOI: https://doi.org/10.1007/s11225-006-9013-x

2006-01-01

Studia Logica

Abstract:We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4 . We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.
The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

Simon M. Smith

DOI: https://doi.org/10.48550/arXiv.1910.13624

2019-10-31

Abstract:This paper is about the structure of infinite primitive permutation groups and totally disconnected locally compact groups ("tdlc groups'"). The permutation groups we investigate are subdegree-finite (i.e. all orbits of point stabilisers are finite). Automorphism groups of connected, locally finite graphs are examples of subdegree-finite permutation groups. The tdlc groups we investigate all have a maximal subgroup that is compact and open. Tdlc groups with few open subgroups (recently studied by Pierre-Emmanuel Caprace and Timothée Marquis) are examples of such groups. We prove a classification result, and use it to show that every closed, subdegree-finite primitive group is a primitive subgroup of a product H Wr F_1 [X] F_2 Wr ... [X] F_{m-1} Wr F_m, where H is a closed, subdegree-finite and primitive group that is either finite or one-ended and almost topologically simple. The groups F_i are transitive and finite and m is finite. The product [X] here denotes the recently discovered box product, and all wreath products here act via their product action. We apply this permutational result to tdlc groups. If G is a tdlc group then it contains a compact open subgroup V. The permutation group induced by the action of G on the coset space G/V is called the Schlichting completion of the pair (G,V), and is denoted G//V. Knowledge of this action of G on G/V underpins many recent influential results in tdlc theory. We show that if V is a maximal subgroup of G, and G is non-compact, then G//V is subject to a topological interpretation of our result for primitive groups. We use this to show that in this case, if G//V is nondiscrete, preserves no nontrivial homogenous cartesian decomposition on G/V, and does not split nontrivially over a compact open subgroup, then the monolith of G//V is a nondiscrete, one-ended, topologically simple, compactly generated tdlc group.

Group Theory
Topological automorphism groups of compact quantum groups

Alexandru Chirvasitu,Issan Patri

DOI: https://doi.org/10.1007/s00209-017-2032-7

2018-01-11

Mathematische Zeitschrift

Abstract:We study the topological structure of the automorphism groups of compact quantum groups showing that, in parallel to a classical result due to Iwasawa, the connected component of identity of the automorphism group and of the “inner” automorphism group coincide. For compact matrix quantum groups, which can be thought of as quantum analogues of compact Lie groups, we prove that the inner automorphism group is a compact Lie group and the outer automorphism group is discrete. Applications of this to the study of group actions on compact quantum groups are highlighted. We end by providing examples of compact matrix quantum groups with infinitely-generated fusion rings, in stark contrast with the classical situation. Along the way we study the invariant theory of finite group actions on free Laurent rings and show that the rings of invariants are, in general, not finitely generated.

mathematics
The Baum-Connes conjecture, Swan group actions and controlled topology

Fabian Lenhardt

DOI: https://doi.org/10.48550/arXiv.1303.0701

2013-03-04

Abstract:We give a new proof of some cases of the Baum-Connes conjecture along the lines of a proof of the Farrell-Jones conjecture.

Algebraic Topology,K-Theory and Homology
Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models

Antti J. Harju

DOI: https://doi.org/10.48550/arXiv.1211.6761

2014-05-28

Abstract:This is a study of twisted K-theory on a product space $T \times M$. The twisting comes from a decomposable cup product class which applies the 1-cohomology of $T$ and the 2-cohomology of $M$. In the case of a topological product, we give a concrete realization for the gerbe associated to a cup product characteristic class and use this to realize twisted $K^1$-theory elements in terms of supercharge sections in a Fredholm bundle. The nontriviality of this construction is proved. Equivariant twisted K-theory and gerbes are studied in the product case as well. This part applies Lie groupoid theory. Superconnection formalism is used to provide a construction for characteristic polynomials which are used to extract information from the twisted K-theory classes.

K-Theory and Homology,Mathematical Physics

A controlled-topology proof of the product structure theorem

Controlled Mather-Thurston theorems

T 0 -spaces and the lower topology

A procdh topology

Generalized Product Topology

$\mathcal{Z}$-stability of crossed products by topological full groups

A Survey of Ultraproduct Constructions in General Topology

Coactions and skew products for topological quivers

Categorically Proper Homomorphisms of Topological Groups.

Topological proofs of categorical coherence

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Topological Quantum Groups, Star Products and their relations

A Topological Version of Schaefer's Dichotomy Theorem

A product theorem in simple Lie groups

Topological posets and tropical phased matroids

Multimo dal Logics of Products of Topologies

The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

Topological automorphism groups of compact quantum groups

The Baum-Connes conjecture, Swan group actions and controlled topology

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models