Delphi.science

Definability via the tilting correspondence

Gessica Alecci, Ihsane Hadeg, Franziska Jahnke, Margarete Ketelsen, Isabella Negrini

arXivarxiv/2605.23466May 22, 2026math.LOscore 0

We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate whether these definitions can be chosen uniformly, and discuss the required quantifier complexity.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

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