Arith / CONCEPT
The dvd-density is the full density divided by N(饾敓) (Lang VI 搂3 Thm 3; GRS Thm 1)
The dvd-density is the full density divided by N(饾敓) (Lang VI 搂3 Thm 3; GRS Thm 1).
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS1
The dvd-density is the full density divided by N(饾敓) (Lang VI 搂3 Thm 3; GRS Thm 1)
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
- Effective count of cone points of idealSet K J with a norm residuestructural-affinity 路 Closed
- Effective product-ideal residue fibre countstructural-affinity 路 Closed
- Effective residue count in an orthant cellstructural-affinity 路 Closed
- Fourier decay from realized residuesstructural-affinity 路 Closed
- Prime-ideal Euler productstructural-affinity 路 Closed
- Sublattice cell correspondencestructural-affinity 路 Closed
- Sublattice cell countstructural-affinity 路 Closed
- The J- and 饾敓J-cone residue counts share a leading constant up to N(饾敓)structural-affinity 路 Closed
- The L2 count as a sum of norm-residue countsstructural-affinity 路 Closed
- unramified-supported Frobenius-fibre equidistributionstructural-affinity 路 Closed
- Zeta Product Arithmeticstructural-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