Publishing house / Journals and Serials / Annales Polonici Mathematici / All issues

Abstract

Let $\mathcal {O}(U)$ denote the algebra of holomorphic functions on an open subset $U\subset \mathbb {C}^n$ and $Z\subset \mathcal {O}(U)$ its finite-dimensional vector subspace. By the theory of least spaces of de Boor and Ron, there exists a projection $ {\mathsf T}_{\boldsymbol b}$ from the local ring $\mathcal {O}_{n,\boldsymbol b}$ onto the space $Z_{\boldsymbol b}$ of germs of elements of $Z$ at $\boldsymbol b$. At a general point $\boldsymbol b\in U$ its kernel is an ideal and $ {\mathsf T}_{\boldsymbol b}$ induces the structure of an Artinian algebra on $Z_{\boldsymbol b}$. In particular, this holds at points where the $k$th jets of elements of $Z$ form a vector bundle for each $k\in \mathbb {N}$. For an embedded manifold $X\subset \mathbb {C}^m$, we introduce a space of higher order tangents following Bos and Calvi. In the case of curve, using $ {\mathsf T}_{\boldsymbol b}$, we define the Taylor projector of order $d$ at a general point $\boldsymbol a\in X$, generalising results of Bos and Calvi. It is a retraction of $\mathcal {O}_{X,\boldsymbol a}$ onto the set of polynomial functions on $X_{\boldsymbol a}$ of degree up to $d$. Using the ideal property stated above, we show that the transcendency index, defined by the author, of the embedding of a manifold $X\subset \mathbb {C}^m$ is not very high at a general point of $X$.