O-minimal spectra, infinitesimal subgroups and cohomology

DOI10.2178/JSL/1203350779zbMATH Open1131.03015arXivmath/0604186OpenAlexW2054033078MaRDI QIDQ5444693FDOQ5444693

Authors: Alessandro Berarducci 

Publication date: 25 February 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: By recent work on some conjectures of Pillay, each definably compact group $G$ in a saturated o-minimal expansion of an ordered field has a normal ``infinitesimal subgroup $G^{00}$ such that the quotient $G/G^{00}$, equipped with the ``logic topology, is a compact (real) Lie group. Our first result is that the functor $GmapstoG/G^{00}$ sends exact sequences of definably compact groups into exacts sequences of Lie groups. We then study the connections between the Lie group $G/G^{00}$ and the o-minimal spectrum $widetildeG$ of $G$. We prove that $G/G^{00}$ is a topological quotient of $widetildeG$. We thus obtain a natural homomorphism $Ps{i}^{\ast }$ from the cohomology of $G/G^{00}$ to the (v{C}ech-)cohomology of $widetildeG$. We show that if $G^{00}$ satisfies a suitable contractibility conjecture then $widetilde{G}^{00}$ is acyclic in v{C}ech cohomology and $Ps{i}^{\ast }$ is an isomorphism. Finally we prove the conjecture in some special cases.

Full work available at URL: https://arxiv.org/abs/math/0604186

Recommendations

• o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS
• Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
• Definable group extensions and o-minimal group cohomology via spectral sequences
• ON O-MINIMAL HOMOTOPY GROUPS
• Infinitesimal 1-parameter subgroups and cohomology
• o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
• Cohomology of infinitesimal algebraic groups
• scientific article; zbMATH DE number 3853170
• Cohomology of infinitesimal and discrete groups
• O-MINIMAL CECH COHOMOLOGY

zbMATH Keywords

Lie groupdefinable groupo-minimalitytype-definable group

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) General properties and structure of real Lie groups (22E15) Nonstandard models in mathematics (03H05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES
• La topologie du spectre réel
• On groups and fields definable in o-minimal structures
• Normal spectral spaces and their dimensions
• DEFINABLY COMPACT ABELIAN GROUPS
• A descending chain condition for groups definable in o-minimal structures
• One-dimensional groups over an o-minimal structure
• Generic sets in definably compact groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Linear groups definable in o-minimal structures
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• A remark on divisibility of definable groups
• Intersection theory for o-minimal manifolds

Cited In (19)

• Invariance of o-minimal cohomology with definably compact supports
• Sheaves on \(\mathcal T\)-topologies
• Definable group extensions and o-minimal group cohomology via spectral sequences
• Infinitesimal 1-parameter subgroups and cohomology
• On the o-minimal LS-category
• o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
• On central extensions and definably compact groups in o-minimal structures
• Higher homotopy of groups definable in o-minimal structures
• Classifying torsion free groups in o-minimal expansions of real closed fields
• A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
• DEFINABLY COMPACT ABELIAN GROUPS
• O-MINIMAL CECH COHOMOLOGY
• On NIP and invariant measures
• ON O-MINIMAL HOMOTOPY GROUPS
• Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
• SHEAF COHOMOLOGY IN o-MINIMAL STRUCTURES
• Definability in the group of infinitesimals of a compact Lie group
• Connected components of definable groups, and o-minimality. II.
• On the homotopy type of definable groups in an o-minimal structure

This page was built for publication: O-minimal spectra, infinitesimal subgroups and cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5444693)