English

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

Complex Variables 2015-02-12 v8 Algebraic Geometry

Abstract

Let O(U)\mathcal{O}(U) denote the algebra of holomorphic functions on an open subset UCnU\subset\mathbb{C}^n and ZO(U)Z\subset\mathcal{O}(U) its finite-dimensional vector subspace. By the theory of least space of de Boor and Ron, there exists a projection TbT_b from the local ring On,b\mathcal{O}_{n,b} onto the space ZbZ_b of germs of elements of ZZ at bb. At general bUb\in U, its kernel is an ideal and induces a structure of an Artinian algebra on ZbZ_b. In particular, it holds at points where kk-th jets of elements of ZZ form a vector bundle for each kdimCZb1k\le\dim_{\mathbb{C}}Z_b-1. Using TbT_b we define the Taylor projector of order dd on an embedded curve XCmX\subset\mathbb{C}^m at a general point aX\boldsymbol{a}\in X, generalising results of Bos and Calvi. It is a retraction of OX,a\mathcal{O}_{X,a} onto the set of the polynomial functions on XaX_a of degree up to dd. For an embedded manifold XCmX\subset\mathbb{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 C{tb}\mathbb{C}\{t-b\} at general bXb\in X. It means that XX is embedded in Cn\mathbb{C}^n in not very highly transcendental manner at a general point.

Keywords

Cite

@article{arxiv.1102.2813,
  title  = {Spaces of polynomial functions of bounded degrees on an embedded manifold and their duals},
  author = {Shuzo Izumi},
  journal= {arXiv preprint arXiv:1102.2813},
  year   = {2015}
}

Comments

42 pages