No label defined (Q3972989)

[For the entire collection see Zbl 0721.00006.] Let \(F\) be a totally real field of degree \(d\), \(p\) a rational prime, and \({\mathcal O}\) a valuation ring finite and flat over \(\mathbb{Z}_ p\) and containing all conjugates of the ring of integers of \(F\). In earlier work the author has constructed, for each positive weight \(v\), a Hecke algebra \(h_ v^{ord}(1,{\mathcal O})\) such that for each non-negative weight \(n\) parallel to \(-2v\) the Hecke algebra over \({\mathcal O}\) for the space of Hilbert cusp forms of level \(p^ \alpha\) and weight \((n+2t,v+n+t)\) can be obtained uniquely as a quotient of \(h_ v^{ord}(1,{\mathcal O})\). In this paper the author constructs a universal Hecke algebra of which each algebra \(h_ v^{ord}(1,{\mathcal O})\) is a quotient. As a corollary, the author observes that if \(f\) is a normalized Hilbert eigenform then \(f\) has an \(s\)-dimensional \(p\)-adic deformation over \({\mathcal O}\), where \(s>d\). Moreover, if Leopoldt's conjecture holds for \(F\) and \(p\) then, in fact, \(s=d+1\).