arXiv Science⌕ Search

arXiv · 0706.0788

Polynomial maps that are roots of power series

Abstract

We introduce a class of polynomial maps that we call polynomial roots of powerseries, and show that automorphisms with this property generate the automorphism group in any dimension. In particular we determine generically which polynomial maps that preserve the origin are roots of powerseries. We study the one-dimensional case in greater depth.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stefan Maubach, Han Peters. 2007-06-06. Polynomial maps that are roots of power series. https://arxiv.org/abs/0706.0788

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Koszul complex in quaternionic analysis and its applications

Let $n\geqslant 1, Ω\subset\mathbb{H}^n $ be a domain. We construct a Koszul-type complex for the ideal sheaf $\mathcal{I}_X^{(k)}$ of $k$-regular functions vanishing on $X=\{(q_0, q_1, \cdots, q_{n-1})\in Ω: q_0=0\}$ in several quaternionic variables: $$0\to \mathcal{R}^{(k+2)}\xrightarrow{\widetilde{\mathscr{L}}^{(k)}} \mathcal{R}^{(k+1)}\oplus\mathcal{R}^{(k+1)}\xrightarrow{\mathscr{L}^{(k)}} \mathcal{I}_X^{(k)}\to 0,$$ where $k\geqslant 0$, $\mathcal{R}^{(k)}$ is the sheaf of $k$-regular functions on $Ω$, $\widetilde{\mathscr{L}}^{(k)}=(-L_1^{(k+2)},L_0^{(k+2)})^{T}$, $\mathscr{L}^{(k)}=(L_0^{(k+1)},L_1^{(k+1)})$, and $L_0^{(k)},L_1^{(k)}$ are multiplication-like operators on $k$-regular functions. This gives the quaternionic analogue of the classical Koszul complex. And we present the long exact sequence in cohomology for the case $Ω\cap\{q_0=0\}=\emptyset$ with explicit differential connecting maps, by applying the Cauchy-Fueter complex and cohomological methods. As an application, in the special case $n=1, k=1$, the operator pair $(L_0^{(1)}, L_1^{(1)})$ is shown to be surjective if and only if $H^3(Ω, \mathbb{R})=0$. Furthermore, a cohomological vanishing criterion is given for $H^1(Ω,\mathcal{I}_X^{(k)})$; under this criterion, every $k$-regular function on $\{q_0=0\}\capΩ$ extends to a $k$-regular function on $Ω$.

math.CV↗

Periodic transport and Oka complements in \(\C^n\)

For every \(n\geq2\), we prove that the complement in \(\C^n\) of a periodic closed set with compact holomorphically convex quotient in \((\C^*)^n\) is Oka. The proof combines periodic divergence-free transport with Fatou--Bieberbach basins. Applications include complements of convex tubes \(\R^n+\ii B\), products of closed annuli, and, more generally, products of planar compact sets whose complements have at most one bounded component. In particular, \(\C^2\setminus\R^2\) is Oka.

math.CV↗

Ross-Witt Nyström correspondence and Ohsawa-Takegoshi extension

This paper is an attempt to study a few \emph{effective} universality phenomenons in complex geometry using deformations and the Hörmander $L^2$-method. The main idea of the proof is to deform the general case to the toric (or convex) case and to apply two new Berndtsson-Lempert type Ohsawa-Takegoshi extension theorems. The first one is based on the Ross-Witt Nyström correspondence picture, Darvas-Xia-Zhang's asymptotic slope formula for Ding-type functionals and Berndtsson's monotonicity theorem. The second version is proved using an $S^1$-symmetrization method for PSH potentials based on Witt Nyström's canonical Kähler deformations and Berndtsson-P\u aun's positivity theorem for Stein fibrations associated to deformations to normal bundles. The resulting effective universality phenomenons include a sharp lower bound of the Bergman kernel for compact Riemann surfaces, an effective Okounkov body construction and a sharp Faber-Widom type Bergman approximation of the logarithmic capacity.

math.CV↗