Pith. sign in

REVIEW 2 cited by

A choice-free absolute Galois group and Artin motives

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1706.06573 v1 pith:GJR6XJM4 submitted 2017-06-20 math.NT

classification math.NT
keywords groupabsolutefieldgaloisdefinedonlyarbitraryartin
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to inner automorphism. Here we construct a profinite algebraic group which is an inner form of the absolute Galois group. Our construction uses no form of the axiom of choice, and the group is defined up to canonical isomorphism. We also show that the Frobenius associated with a prime of a number field unramified in an extension, which is classically defined only up to conjugation, has a uniquely-defined analogue in terms of our group. We give a construction of the category of Artin motives with coefficients in an arbitrary field, and we give an interpretation of our absolute Galois group in terms of this category.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

    math.NT 2026-05 unverdicted novelty 6.0 of 10

    Establishes transcendence of Frobenius traces for non-CM elliptic curves over Q and for several abelian varieties over Q.

  2. Positive characteristic analogues of finite algebraic numbers

    math.NT 2026-01 conditional novelty 6.0 of 10

    A positive-characteristic analogue of Rosen's finite algebraic numbers is introduced over F_q(θ) and is characterized by linear recurrent sequences with separable eigen polynomial, Frobenius evaluation, and matrix coe...

Pith tools