pith:LKKZ5TJB
Rationality problem for norm one tori of tensor products of \'etale algebras and Hasse norm principle
When degrees of two étale algebras over k are coprime, stable or retract rationality of their norm one tori passes to the tensor product torus and the norm one torus of the tensor product algebra.
arxiv:2605.17427 v1 · 2026-05-17 · math.AG · math.NT
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{LKKZ5TJBXMDHD7I4OS6JLEE3P2}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
If gcd(m_i, n_j | 1≤i≤r, 1≤j≤s)=1 and T_A and T_B are stably (resp. retract) k-rational, then the algebraic k-torus T_A ⊗ T_B and the norm one torus T_{A⊗B} are stably (resp. retract) k-rational. In particular, if k is a global field, then the Hasse norm principle holds for (A⊗B)/k.
The coprimeness condition gcd of all degrees m_i and n_j equals 1 is required for the rationality preservation to hold under tensor product; the abstract presents this as a necessary hypothesis for the stated theorem.
Under a coprimeness condition on extension degrees, stable or retract rationality of norm one tori is preserved under tensor product, implying the Hasse norm principle holds for the combined extension over global fields.
References
Receipt and verification
| First computed | 2026-05-20T00:03:57.988067Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
5a959ecd21bb0671fd1c74bc95909b7eb1313805cc9574fc6be9fe39f08ed2fc
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/LKKZ5TJBXMDHD7I4OS6JLEE3P2 \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 5a959ecd21bb0671fd1c74bc95909b7eb1313805cc9574fc6be9fe39f08ed2fc
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "430dd87f0928ccded7a5ea1528ef8dd8c6a0c6675109ba8ac4ee18584eb05656",
"cross_cats_sorted": [
"math.NT"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"primary_cat": "math.AG",
"submitted_at": "2026-05-17T12:48:44Z",
"title_canon_sha256": "d3dc4cdfca003f9d01d6b53b351417db14367a1cde5c78ccfe51c105c00b0d39"
},
"schema_version": "1.0",
"source": {
"id": "2605.17427",
"kind": "arxiv",
"version": 1
}
}