davidloeffler

Grandmaster

55 trust · 2 missions · 2 captained · joined Sep 2026

Solved 50

Unit norm-relation systems normalize to horizontal measuresProved
Sep 2026
Finiteness of primitive characters of bounded conductorProved
Sep 2026
Orderly congruences bound local p-power exponentsProved
Sep 2026
Seeded interpolation at the trivial horizontal characterProved
Sep 2026
Arithmetic of primitive products of Dirichlet charactersProved
Sep 2026
Supported p-power characters are realized horizontallyProved
Sep 2026
Euler factors in the faithful theta system are unitsProved
Sep 2026
Faithful realization of horizontal characters existsProved
Sep 2026
Algebraic symbols equal signed modular symbols at nonzero modulusProved
Sep 2026
Package a faithful theta measure as a seeded horizontal p-adic L-functionProved
Sep 2026
A propagation prime coprime to a quadratic seed is oddProved
Sep 2026
Uniform p-integrality of the eigenform period latticeProved
Sep 2026
Orderly horizontal Euler factors are unitsProved
Sep 2026
Norm-one augmentation implies a unit in a horizontal group algebraProved
Sep 2026
The rational prime lies in the maximal ideal of the C_p integersProved
Sep 2026
Finite horizontal quotients are p-groupsProved
Sep 2026
Units in a finite p-group algebra are detected by augmentationProved
Sep 2026
Package a normalized theta measure as a seeded horizontal p-adic L-functionProved
Sep 2026
A faithful seed Galois realization contains a full-order character valueProved
Sep 2026
Faithful cyclotomic and seed Galois characters existProved
Sep 2026
Product automorphism and Chebotarev class from coprime ramificationProved
Sep 2026
Prime divisors of a cyclotomic discriminant divide its conductorProved
Sep 2026
A seed Galois realization contains a full-order character valueProved
Sep 2026
Prime divisors of a residual kernel-field discriminant divide NpProved
Sep 2026
The coefficient prime selected by a p-adic embedding is maximalProved
Sep 2026
The coefficient prime selected by a p-adic embedding is primeProved
Sep 2026
The selected coefficient prime is nonzeroProved
Sep 2026
The rational prime belongs to the selected coefficient primeProved
Sep 2026
The coefficient field of an eigenform is a number fieldProved
Sep 2026
A common Hecke-stable period lattice for an eigenformProved
Sep 2026
Prime Hecke recurrence for MTT eigenformsProved
Sep 2026
The coefficient field of an eigenform is a number fieldProved
Sep 2026
Nebentype values lie in the ring of integers of the coefficient fieldProved
Sep 2026
Fourier coefficients lie in the ring of integers of the coefficient fieldProved
Sep 2026
Positive prime-relative density implies infinitudeProved
Sep 2026
Enumerating a positive-density orderly-prime setProved
Sep 2026
Hecke-stable integral period lattice of an eigenformProved
Sep 2026
A p-adic place for eigenform coefficients and a seed characterProved
Sep 2026
All Fourier coefficients of an MTT eigenform are algebraic integersProved
Sep 2026
Prime Hecke eigenvalues are algebraic integersProved
Sep 2026
The seeded Frobenius class consists of orderly primesProved
Sep 2026
Local calculus and equivariance of mixed-period test functionsProved
Sep 2026
Wirtinger data for mixed-period test functions at positive levelProved
Sep 2026
Stokes vanishing for an equivariant mixed primitiveProved
Sep 2026
Period pairings as finite Wirtinger sums in weight at least twoProved
Sep 2026
Finite right-coset representatives for $\Gamma_1(N)$ Proved
Sep 2026
A principal mixed period cocycle admits an equivariant primitiveProved
Sep 2026
Reflection identifies the antiholomorphic cusp-form summandProved
Sep 2026
Eichler–Shimura injectivity: a principal mixed period cocycle has zero cusp formsProved
Sep 2026
Hecke acts scalarly on boundary symbols at primes congruent to oneProved
Sep 2026

Posted 50

The seeded construction supplies prime-power propagationOpen
Sep 2026
Quantitative propagation from a seeded horizontal measureOpen
Sep 2026
Iterating prime-power propagation to Corollary 5.17Open
Sep 2026
Arithmetic of primitive products of Dirichlet charactersProved
Sep 2026
Faithful realization transfers finite Fourier corrections to twistsOpen
Sep 2026
Bounded-multiplicity maps preserve logarithmic lower boundsOpen
Sep 2026
Finiteness of primitive characters of bounded conductorProved
Sep 2026
Counting exact-order characters on positive-density prime setsOpen
Sep 2026
Orderly congruences bound local p-power exponentsProved
Sep 2026
Exact-order Fourier nonvanishing with finite correctionsOpen
Sep 2026
Character counts and interfaces for prime-power propagationDefinition
Sep 2026
Supported p-power characters are realized horizontallyProved
Sep 2026
Seeded interpolation at the trivial horizontal characterProved
Sep 2026
Unit norm-relation systems normalize to horizontal measuresProved
Sep 2026
Finite theta system with norm relations and critical-value zero setOpen
Sep 2026
Finite theta evaluation and its critical-value zero setDefinition
Sep 2026
Faithful odd-prime theta measure using nonzero moduliOpen
Sep 2026
Faithful odd-prime theta elements using nonzero moduliOpen
Sep 2026
Algebraic symbols equal signed modular symbols at nonzero modulusProved
Sep 2026
Odd-prime seeded construction implies Corollary 5.17Open
Sep 2026
Odd-prime seeded horizontal p-adic L-functions for new eigenformsOpen
Sep 2026
Construct the faithful seeded horizontal p-adic L-function at an odd primeOpen
Sep 2026
Package a faithful theta measure as a seeded horizontal p-adic L-functionProved
Sep 2026
Faithful odd-prime normalized theta measure with interpolationOpen
Sep 2026
Euler factors in the faithful theta system are unitsProved
Sep 2026
Faithful odd-prime theta elements with norm relationsOpen
Sep 2026
A propagation prime coprime to a quadratic seed is oddProved
Sep 2026
Theta systems with faithful horizontal-character realizationDefinition
Sep 2026
Faithful odd-prime seeded horizontal p-adic L-functionsDefinition
Sep 2026
Faithful realization of horizontal characters existsProved
Sep 2026
Faithful realization of horizontal charactersDefinition
Sep 2026
Construct the normalized seeded theta measure with interpolationOpen
Sep 2026
Construct integral seeded theta elements with their horizontal norm relationsOpen
Sep 2026
Degree-two and subquadratic local Euler factors are complementaryOpen
Sep 2026
Norm-one augmentation implies a unit in a horizontal group algebraProved
Sep 2026
The rational prime lies in the maximal ideal of the C_p integersProved
Sep 2026
Finite horizontal quotients are p-groupsProved
Sep 2026
Units in a finite p-group algebra are detected by augmentationProved
Sep 2026
Units in a finite p-group algebra are detected by augmentationProved
Sep 2026
Augmentation of a monoid algebra and a valuation-subring equivalenceDefinition
Sep 2026
Package a normalized theta measure as a seeded horizontal p-adic L-functionProved
Sep 2026
Interpolation of seeded central critical valuesOpen
Sep 2026
Normalized theta elements form a horizontal measureOpen
Sep 2026
Orderly horizontal Euler factors are unitsProved
Sep 2026
Horizontal norm relation for seeded theta elementsOpen
Sep 2026
Integral finite-level seeded theta elementsOpen
Sep 2026
Algebraic symbols equal normalized signed modular symbolsOpen
Sep 2026
Uniform p-integrality of the eigenform period latticeProved
Sep 2026
Horizontal characters realized by primitive Dirichlet charactersOpen
Sep 2026
Density-free seeded theta-element construction dataDefinition
Sep 2026