Spaces of polynomial functions of bounded degrees on an embedded manifold and their duals

Abstract: Let

m a t h c a l O (U)

denote the algebra of holomorphic functions on an open subset

U s u b s e t m a t h b b C^{n}

and

Z s u b s e t m a t h c a l O (U)

its finite-dimensional vector subspace. By the theory of least space of de Boor and Ron, there exists a projection

T_{b}

from the local ring

m a t h c a l O_{n, b}

onto the space

Z_{b}

of germs of elements of

Z

at

b

. At general

b i n U

, its kernel is an ideal and induces a structure of an Artinian algebra on

Z_{b}

. In particular, it holds at points where

k

-th jets of elements of

Z

form a vector bundle for each

k l e d i m_{m a t h b b C} Z_{b} - 1

. Using

T_{b}

we define the Taylor projector of order

d

on an embedded curve

X s u b s e t m a t h b b C^{m}

at a general point

, generalising results of Bos and Calvi. It is a retraction of

m a t h c a l O_{X, a}

onto the set of the polynomial functions on

X_{a}

of degree up to

d

. For an embedded manifold

X s u b s e t m a t h b b C^{m}

, we introduce a set of higher order tangents following Bos and Calvi and show a zero-estimate for a system of generators of the maximal ideal of

m a t h b b C t - b

at general

b i n X

. It means that

X

is embedded in

m a t h b b C^{n}

in not very highly transcendental manner at a general point.

Cites Work

Cited In (1)

This page was built for publication: Spaces of polynomial functions of bounded degrees on an embedded manifold and their duals