ScalingStacks

Proposition 3.4 . [028P]

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

Proposition 3.4.

Let X={x=y3}X=\{x=y^{3}\} and η⁡(x,y)=log⁡|1+y|\eta(x,y)=\log|1+y|, so η|X∈ℒ1/3(X)\eta\,|_{{}_{X}}\in{\mathcal{L}}_{1/3}(X).

Given k≥1k\geq 1, there is a polynomial Qk​(x,y)Q_{k}(x,y) of degree k+1k+1 so that Qk​(y3,y)=(y+1)3​kQ_{k}(y^{3},y)=(y+1)^{3k}. In particular, ψk=13​k​log⁡|Qk|∈ℒ(k+1)/3​k​(ℂ2)\psi_{k}=\frac{1}{3k}\log|Q_{k}|\in{\mathcal{L}}_{(k+1)/3k}({\mathbb{C}}^{2}) is an extension of η|X\eta\,|_{{}_{X}}.

There exists 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}. However, η|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.