Pith. sign in

REVIEW 1 cited by

Simplicity of the contactomorphism group of finite regularity

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.18261 v2 pith:QS7XVYGR submitted 2024-03-27 math.SG math.DSmath.GT

classification math.SGmath.DSmath.GT
keywords deltagroupcontfrac12olderoperatornameregularityalpha
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

For a given coorientable contact manifold $(M^{2n+1},\xi)$, we consider the group $ \operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ consisting of $C^{r,\delta}$ contactomorphisms with compact support which is equipped with $C^{r,\delta}$-topology of H\"older regularity $(r,\delta)$ for $r \geq 1$ and $0 <\delta \leq 1$. We prove that for all H\"older class exponents with $r > n + 2$ or $r = n+1, \, \frac12 < \delta \leq 1$ (resp. $r < n+1$ or $r = n+1$ and $ 0< \delta <\frac12$), the group is a perfect (and so a simple) group. In particular, $\operatorname{Cont}_c^r(M,\xi)$ is simple for all integer $r \geq 1$. For the case of $\operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ of general H\"older regularity, we prove the simplicity for all pairs $(r,\delta)$ leaving only the case of $(r,\delta) = (n+1,\frac12)$ open.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Strict contactomorphisms are scarce

    math.SG 2025-04 conditional novelty 6.0 of 10

    For a generic non-projectible contact form on a compact manifold, every strict contactomorphism is a Reeb flow, so the strict contactomorphism group is a countable union of real lines.

Pith tools