2017
DOI: 10.1112/topo.12024
|View full text |Cite
|
Sign up to set email alerts
|

C1-triangulations of semialgebraic sets

Abstract: We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is C1 differentiable. As an application, we give a straightforward definition of the integration ∫Xω over a compact semialgebraic subset X of a differential form ω on an ambient semialgebraic manifold. This provides a significant simplification of the theory of semialgebraic singular chains and integrations without using geometric measure theory. Our results hold over every (possibly non‐archimedian) real cl… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
18
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
4
3
1

Relationship

0
8

Authors

Journals

citations
Cited by 12 publications
(18 citation statements)
references
References 13 publications
0
18
0
Order By: Relevance
“…Consider the one point compactification of g, which is a sphere S. Let C(O λ0 , q) be the closure of C(O λ0 , q) in S. With respect to a standard metric on the sphere S, its compact semialgebraic subset C(O λ0 , q) has finite volume (see e.g. [OS17]). By comparing the standard metric on S and the Euclidean metric on g, this can be restated as (5.8) for N ≥ 4n.…”
Section: Reduction To Quantizations Of Semisimple Orbitsmentioning
confidence: 99%
“…Consider the one point compactification of g, which is a sphere S. Let C(O λ0 , q) be the closure of C(O λ0 , q) in S. With respect to a standard metric on the sphere S, its compact semialgebraic subset C(O λ0 , q) has finite volume (see e.g. [OS17]). By comparing the standard metric on S and the Euclidean metric on g, this can be restated as (5.8) for N ≥ 4n.…”
Section: Reduction To Quantizations Of Semisimple Orbitsmentioning
confidence: 99%
“…All arguments hinge on the existence of semi-algebraic or more generally definable triangulations. These exist in the C 0 -setting (this seems standard), but also in the C 1 -setting, see [OS17] and [CP18]. However, the questions of C p or even C ∞ -triangulations seems to be open.…”
Section: Generalisationsmentioning
confidence: 99%
“…Recently Ohmoto and Shiota proved a remarkable global S 1 version of the latter theorem. We state their result in the compact case only, see [OS,Thm.1.1].…”
Section: Amentioning
confidence: 99%
“…It is not known if the semialgebraic homeomorphism Ψ can be chosen of class C 2 (see [OS,Sect.1]). However, for a locally S ν polyhedral semialgebraic set we have in addition the following result, see [Sh2,Prop.I.3.13 & Rmk.I.3.22].…”
Section: Amentioning
confidence: 99%