ScalingStacks

Proof. [028Q]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We construct QkQ_{k} by replacing y3y^{3} by xx in the polynomial

(y+1)3​k=∑j=03​k(3​kj)​yj.(y+1)^{3k}=\sum_{j=0}^{3k}{3k\choose j}y^{j}.

Since j=3​[j/3]+rjj=3[j/3]+r_{j}, rj∈{0,1,2}r_{j}\in\{0,1,2\}, it follows that

Qk​(x,y)=∑j=03​k(3​kj)​x[j/3]​yrj=3​k​xk−1​y2+l.d.t..Q_{k}(x,y)=\sum_{j=0}^{3k}{3k\choose j}x^{[j/3]}y^{r_{j}}=3kx^{k-1}y^{2}+l.d.t.\;.

We now check that there is no polynomial Q⁡(x,y)Q(x,y) of degree kk so that Q⁡(y3,y)=(y+1)3​kQ(y^{3},y)=(y+1)^{3k}. Indeed, if Q⁡(x,y)=∑j+l≤kcj​l​xj​ylQ(x,y)=\sum_{j+l\leq k}c_{jl}x^{j}y^{l} then

Q⁡(y3,y)=ck​0​y3​k+ck−1,1​y3​k−2+l.d.t.Q(y^{3},y)=c_{k0}y^{3k}+c_{k-1,1}y^{3k-2}+l.d.t.

does not contain the monomial y3​k−1y^{3k-1}.

Note that X¯={xt2=y3}=X∪{a}\overline{X}=\{xt^{2}=y^{3}\}=X\cup\{a\}, where a=[0:1:0]a=[0:1:0], so the germ (X¯,a)(\overline{X},a) is irreducible. Proposition 3.1 implies that η|X\eta\,|_{{}_{X}} has an extension in ℒ1/3​(ℂ2){\mathcal{L}}_{1/3}({\mathbb{C}}^{2}). ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.