デファイナブルg集合の同変デファイナブル三角形分割について

Key Points

• The aim is to prove the existence of an equivariant definable triangulation for definable G sets.
• The proof involves defining an equivariant triangulation (L, φ) for G sets within representation Ω.
• Each open simplex in triangulation is analyzed to ensure it maps to a locally closed definable C^γ submanifold.
• Every definable G set admits an equivariant definable triangulation.
• The mapping ensures that the triangulated structure of X is definable.