Groups definable in linear o-minimal structures

Add to Collection


Let M = <M, <, +, 0, …> be a linear o-minimal expansion of an ordered group, and G an n-dimensional group definable in M. We show that if G is definably connected with respect to the t-topology, then it is definably isomorphic to a definable quotient group U/L, for some convex V-definable subgroup U of <Mn, +> and a lattice L of rank equal to the dimension of the ‘compact part’ of G. This is suggested as a structure theorem analogous to the classical theorem that every connected abelian Lie group is Lie isomorphic to a direct sum of copies of the additive group <R, +> of the reals and the circle topological group S1. We then apply our analysis and prove Pillay’s Conjecture and the Compact Domination Conjecture for a saturated M as above. En route, we show that the o-minimal fundamental group of G is isomorphic to L. Finally, we state some restrictions on L.


Attribute NameValues
  • etd-07202007-144313

Author Pantelis E. Eleftheriou
Advisor Sergei Starchenko
Contributor Sergei Starchenko, Committee Chair
Contributor Julia Knight, Committee Member
Contributor Lou van den Dries, Committee Member
Contributor Steven Buechler, Committee Member
Contributor Gregory Madey, Committee Member
Degree Level 2
Degree Discipline Mathematics
Degree Name Doctor of Philosophy
Defense Date
  • 2007-06-29

Submission Date 2007-07-20
  • United States of America

  • groups

  • o-minimal structures

  • University of Notre Dame

  • English

Access Rights Open Access
Content License
  • All rights reserved