Bouvier's Conjecture and Dimension Sequences of Unique Factorization Domains

Viet-Hoang Tran, Thieu N. Vo, Tan M. Nguyen

arXivarxiv/2609.01887Sep 1, 2026math.ACscore 0

We prove Bouvier's conjecture. More generally, an integer sequence $(a_n)_{n \ge 0}$ with $a_0=d \ge 0$ is realized by a unique factorization domain (UFD) $R$ with $\dim R[X_1,\ldots,X_n]=a_n$ for every $n \ge 0$ if and only if $$ a_n+1\le a_{n+1} \le a_n+\left\lfloor\frac{a_n+1}{n+1}\right\rfloor \qquad(n\ge0) $$ and $a_1 \le 2d$ whenever $d \ge 1$.

SourceJSON

Comments and reviews

No comments yet.

API

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