pith:H466YKTR
Weierstrass semigroups at totally ramified places of degree one on Kummer extensions
The Weierstrass semigroup at totally ramified degree-one places on Kummer extensions y^m = f(x) admits an explicit unified description.
arxiv:2605.14583 v1 · 2026-05-14 · math.AG
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{H466YKTRKSOSYVLOANOV6JQI4J}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
We explicitly describe the set of gaps and the Weierstrass semigroup at a totally ramified place of degree one on a Kummer extension defined by the affine equation y^m = f(x) over K, an algebraic extension of F_q, where f(x) in K(x). Our description takes a unified form for distinct totally ramified places of degree one.
The assumption that the place is totally ramified of degree one on the Kummer extension y^m = f(x), with the description holding uniformly without additional restrictions on the ramification or the polynomial f beyond the Kummer setup.
Explicit descriptions of Weierstrass semigroups and gaps at totally ramified places on Kummer extensions, plus symmetry conditions and minimal generators, with applications to GGS and BM curves.
References
Receipt and verification
| First computed | 2026-05-17T23:39:05.338853Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
3f3dec2a71549d2c556e035d5f2608e2509da17997f8cfa8663b086080a1903c
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/H466YKTRKSOSYVLOANOV6JQI4J \
| 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: 3f3dec2a71549d2c556e035d5f2608e2509da17997f8cfa8663b086080a1903c
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "cac63ac7a91b745b7cfb97e4b6af66d117d7aefcc4738f986a3ae738a221c3c4",
"cross_cats_sorted": [],
"license": "http://creativecommons.org/licenses/by/4.0/",
"primary_cat": "math.AG",
"submitted_at": "2026-05-14T08:54:10Z",
"title_canon_sha256": "bc14ba4a47a28998215f4728d2214ca4fac25bd095986b0d7d9e30a5ed316556"
},
"schema_version": "1.0",
"source": {
"id": "2605.14583",
"kind": "arxiv",
"version": 1
}
}