Arithmetic of Critical 𝑝-Adic 𝐿-Functions
<p> Our objective in the present work is to develop a fairly complete arithmetic theory of critical <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -adic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -functions on the eigencurve. To this end, we carry out the following tasks: </p> <p> We give an “étale” construction of Bellaïche’s <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -adic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -functions at a <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="theta"> <mml:semantics> <mml:mi> θ </mml:mi> <mml:annotation encoding="application/x-tex">\theta</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -critical point on the cuspidal Coleman–Mazur–Buzzard eigencurve. </p> <p> We introduce the algebraic counterparts of these objects (which arise as appropriately defined Selmer complexes) and develop Iwasawa theory in this context, including a definition of an Iwasawa theoretic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper L"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="script">L</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathscr L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -invariant <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper L Subscript upper I w Superscript c r"> <mml:semantics> <mml:msubsup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="script">L</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>I</mml:mi> <mml:mi>w</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>c</mml:mi> <mml:mi>r</mml:mi> </mml:mrow> </mml:msubsup> <mml:annotation encoding="application/x-tex">\mathscr {L}^{cr}_{Iw}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . </p> <p>We formulate the (punctual) critical main conjectures, and study its relationship with its slope-zero counterpart. Along the way, we also develop descent theory (paralleling Perrin-Riou’s work).</p> <p> We introduce what we call <italic>thick</italic> (Iwasawa theoretic) fundamental line and the <italic>thick</italic> Selmer complex to counter Bellaïche’s secondary <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -adic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -functions. This allows us to formulate an infinitesimal thickening of the Iwasawa main conjecture, and we observe that it implies both slope-zero and punctual critical main conjectures, but it seems stronger than both. </p> <p> We establish an <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O Subscript script upper X"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">X</mml:mi> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\mathcal {O}_\mathcal {X}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -adic leading term formula for the two-variable <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="p"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding="application/x-tex">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -adic <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -function over the affinoid neighborhood <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper X equals upper S p m left-parenthesis script upper O Subscript script upper X Baseline right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">X</mml:mi> </mml:mrow> <mml:mo>=</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>S</mml:mi> <mml:mi>p</mml:mi> <mml:mi>m</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">X</mml:mi> </mml:mrow>