Étale covers with a prescribed exterior sheet
Independent panel assessments · paired prompt comparison
The proposed argument
The argument constructs semistable-model cycles, uses graph characters to obtain cyclic covers supported above the chosen disks, and takes a stabilizer quotient of their Galois composite to obtain an exterior sheet and disk degrees divisible by p.
This test concerns this manuscript only. Independent human mathematical assessment remains pending.
Reading order
Follow the dependencies
Open the full map ↗Select a claim to see its prerequisites and consumers. Edge labels distinguish proof inputs, source references, background and exclusions.
Your independent assessment
Identify the exact positive-genus resolution input and its hypotheses. Trace the graph-character construction and check the stabilizer index argument separately; the broader section-conjecture family is outside this manuscript.