English
Related papers

Related papers: O-minimal cohomology and definably compact definab…

200 papers

We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…

Logic · Mathematics 2011-01-11 Anand Pillay

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Logic · Mathematics 2022-09-30 Guillaume Valette

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

We introduce some compact orbifolds on which there is a certain finite group action having a simple convex polytope as the orbit space. We compute the orbifold fundamental group and homology groups of these orbifolds. We calculate the…

Algebraic Topology · Mathematics 2011-05-10 Soumen Sarkar

We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…

Logic · Mathematics 2020-10-29 Annalisa Conversano

We prove that for every compact K\"ahler manifold $X$ there exists an $L$-infinity morphism, lifting the usual cup product in cohomology, from the Kodaira-Spencer differential graded Lie algebra to the suspension of the space of linear…

Algebraic Geometry · Mathematics 2007-05-23 Marco Manetti

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

Logic · Mathematics 2017-05-23 Eliana Barriga

For a torsion-free virtually polycyclic group $\Gamma$, we give a canonical homomorphism form certain finite-dimensional cochain complex to the $\Q$-polynomial de Rham complex of the simplicial classifying space $B\Gamma$ which induces a…

Algebraic Topology · Mathematics 2015-11-19 Hisashi Kasuya

Results of Smale (1957) and Dugundji (1969) allow to compare the homotopy groups of two topological spaces $X$ and $Y$ whenever a map $f:X\to Y$ with strong connectivity conditions on the fibers is given. We apply similar techniques in…

Logic · Mathematics 2017-06-08 Alessandro Achille , Alessandro Berarducci

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

Logic · Mathematics 2025-07-28 Eduardo Magalhães

For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting…

Geometric Topology · Mathematics 2012-03-06 Rustam Sadykov

In this short note we discuss discrete torsion in orientifolds. In particular, we apply the physical understanding of discrete torsion worked out several years ago, as group actions on B fields, to the case of orientifolds, and recover some…

High Energy Physics - Theory · Physics 2011-03-28 E. Sharpe

We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these…

Commutative Algebra · Mathematics 2023-03-09 Dave Benson , Srikanth B. Iyengar , Henning Krause , Julia Pevtsova

Let $G$ be a connected, simply connected nilpotent Lie group, identified with a real algebraic subgroup of $\mathrm{UT}(n,\mathbb{R})$, and let $\Gamma$ be a lattice in $G$, with $\pi:G\to G/\Gamma$ the quotient map. For a semi-algebraic…

Logic · Mathematics 2021-04-13 Ya'acov Peterzil , Sergei Starchenko

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…

Logic · Mathematics 2025-02-27 Alf Onshuus

We construct an explicit de Rham isomorphism relating the cohomology rings of Banagl's de Rham and spatial approach to intersection space cohomology for stratified pseudomanifolds with isolated singularities. Intersection space…

Algebraic Topology · Mathematics 2020-01-28 Franz Wilhelm Schlöder , J. Timo Essig

We initiate a study of cohomological aspects of weakly almost periodic group representations on Banach spaces, in particular, isometric representations on reflexive Banach spaces. Using the Ryll-Nardzewski fixed point Theorem, we prove a…

Group Theory · Mathematics 2013-02-12 Uri Bader , Christian Rosendal , Roman Sauer

For T an abelian compact Lie group, we give a description of T-equivariant K-theory with complex coefficients in terms of equivariant cohomology. In the appendix we give applications of this by extending results of Chang-Skjelbred and…

Algebraic Topology · Mathematics 2009-03-10 Ioanid Rosu , Allen Knutson

We prove an analog of the Szemer\'edi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well…

Logic · Mathematics 2017-07-14 Saugata Basu , Orit E. Raz

We construct certain orbifold compactifications of the moduli stack of pointed stable curves over $\mathbb C$ and study their fundamental groups by means of their quantum representations. This enables to construct interesting K\"ahler…

Algebraic Geometry · Mathematics 2021-12-14 Philippe Eyssidieux , Louis Funar