Oración 1: sea c como en la Proposición 5.2.6
Oración 2: :   ∑ div(ξa) ≥  a · P− (α)∞ P∈Sop(D−D(α)∞ ) Como      ∑ ∑D = ordP (D)P +  ordP (D)P P∈Sop(D−D(α)∞ ) P∈Sop((α)∞) Entonces para valores a y η ∈ N∗ suficientemente grandes tenemos que: D ≤ div(ξa) + η(α)∞ Como D−div(ξa) y D pertenecen a la misma clase en Cl(Div(XF )), por la Proposición 5.2.2, y por la Proposición 5.2.5 tenemos que: 0 ≤ deg(η(α)∞)− lη(α)∞ − (deg(D)− lD) Por lo tanto por la Proposición 5.2.6, para η suficientemente grande tenemos que: deg(D)− lD ≤ c §5.3 37 Como lo habíamos anunciado, por la Proposición 5.2.5 y por la Proposición 5.2.7 ahora podemos acotar el valor de la dimensión de Ker(ΓD,D′)
Relación: neutral
Género: theses