Analytic / CONCEPT
unramified-supported Frobenius-fibre equidistribution
unramified-supported Frobenius-fibre equidistribution.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH13
DOCUMENT LINKS1
unramified-supported Frobenius-fibre equidistribution
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Analytic Extension of Nontrivial Cyclotomic Artin Seriesstructural-affinity · Closed
- Analytic input of the cyclotomic case (Dirichlet's argument)structural-affinity · Closed
- Coprime Prime Sumstructural-affinity · Closed
- Cyclotomicstructural-affinity · Closed
- Fourier decay from realized residuesstructural-affinity · Closed
- Frobenii of coprime-norm primes generate the Galois groupstructural-affinity · Closed
- The dvd-density is the full density divided by N(𝔟) (Lang VI §3 Thm 3; GRS Thm 1)structural-affinity · Closed
- The L2 count as a sum of norm-residue countsstructural-affinity · Closed
- Zeta Productstructural-affinity · Closed
- Zeta Product Arithmeticstructural-affinity · Closed
- Zeta Product Factorizationstructural-affinity · Closed
- 𝔓 is the unique prime of 𝓞 L above 𝔓 ∩ 𝓞 Estructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance