All.lean
Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.All
0 declarations indexed from sourceView source ↗
Module documentation
Kummer comparisons for unramified pro-p relation ranks
This aggregate collects absolute and finite Kummer comparisons, local Artin and Hilbert pairings, localization at finite places, and cyclic degree-two norm quotients.
Imports34
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerSPlaceCardinality
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerSPlaceLocalization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteDiscreteKernelField
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteKummerH1Linear
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPKummerComparison
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPKummerLinear
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPTopRep
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPTrivialization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteCyclicKummerH2NormQuotient
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteIntermediateAbsoluteClosure
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerAbsoluteLift
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerCyclicCarryInflation
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerCyclicDescent
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerLocalHilbertCarry
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerMuPCoefficients
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerNormalizedCoordinate
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FinitePlaceH1CharacterLocalization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FinitePlaceH1RamificationLocalization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FinitePlaceMuPH1Localization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FinitePlaceMuPH1RamificationLocalization
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteRootIdeleSupport
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteUnitBoundaryMuPPrimitive
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalArtinKummerH1Duality
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalHilbertKummerDual
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalKummerInertia
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalReciprocityCharacterFixedField
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalReciprocityCharacterPairing
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalReciprocityUnramifiedUnits
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalReciprocityUnramifiedValuation
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalUnramifiedArtinKummerAnnihilator
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalUnramifiedArtinKummerRange
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalUnramifiedKummerHilbertValuation
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.LocalUnramifiedKummerValuationDual
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.UnramifiedKummerFieldUnitsH2
This module has no indexed declarations. Its imports and full source are available here.