Concise formulae in groups of non-positive curvature

Laura Ciobanu; Martina Conte

Concise formulae in groups of non-positive curvature

Laura Ciobanu, Martina Conte

arXivarxiv/2605.06023May 7, 2026math.GRscore 0

We show that first-order formulae are concise in acylindrically hyperbolic groups and certain extensions thereof. We study further classes of groups, including Burnside groups, icc groups, groups with the `Big Powers' condition, torus knot groups and more, and prove conciseness for wide classes of formulae. We also explore properties of definable sets in these groups, such as their finiteness, depending on the type of formula considered.

Source JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2605.06023
curl -X POST /api/v1/records/arxiv/2605.06023/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.06023/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'