The correspondence between multivariate spline ideals and piecewise algebraic varieties

As a piecewise polynomial with a certain smoothness, the spline plays an important role in computational geometry. The algebraic variety is the most important subject in classical algebraic geometry. As the zero set of multivariate splines, the piecewise algebraic variety is a generalization of the algebraic variety. In this paper, the correspondence between piecewise algebraic varieties and spline ideals is discussed. Furthermore, Hilbert’s Nullstellensatz for the piecewise algebraic variety is also studied.     

Algebra-geometry of piecewise algebraic varieties

Algebraic variety is the most important subject in classical algebraic geometry. As the zero set of multivariate splines, the piecewise algebraic variety is a kind generalization of the classical algebraic variety. This paper studies the correspondence between spline ideals and piecewise algebraic varieties based on the knowledge of algebraic geometry and multivariate splines.     

Recent researches on multivariate spline and piecewise algebraic variety

The multivariate splines as piecewise polynomials have become useful tools for dealing with Computational Geometry, Computer Graphics, Computer Aided Geometrical Design and Image Processing. It is well known that the classical algebraic variety in algebraic geometry is to study geometrical properties of the common intersection of surfaces represented by multivariate polynomials. Recently the surfaces are mainly represented by multivariate piecewise polynomials (i.e. multivariate splines), so the piecewise algebraic variety defined as the common intersection of surfaces represented by multivariate splines is a new topic in algebraic geometry. Moreover, the piecewise algebraic variety will be also important in computational geometry, computer graphics, computer aided geometrical design and image processing. The purpose of this paper is to introduce some recent researches on multivariate spline, piecewise algebraic variety (curve), and their applications.     

Vector bundles over real algebraic varieties

The object of this paper is to study continuous vector bundles, over real algebraic varieties, admitting an algebraic structure. For large classes of real varieties, we obtain explicit information concerning the Grothendieck group of algebraic vector bundles. We show that in many cases this group is small compared to the corresponding group of continuous vector bundles. These results are used elsewhere to study the geometry of real algebraic varieties.Dedicated to Professor Alexander Grothendieck on the occasion of his 60th birthdaySupported by the NSF Grant DMS-8602672.     

Pure homology of algebraic varieties

We show that for a complete complex algebraic variety the pure term of the weight filtration in homology coincides with the image of intersection homology. Therefore pure homology is topologically invariant. To obtain slightly more general results we introduce image homology for noncomplete varieties.     

On homology of real algebraic varieties

Let be a commutative ring with unity and an -oriented compact nonsingular real algebraic variety of dimension . If is any nonsingular complexification of , then the kernel, which we will denote by , of the induced homomorphism is independent of the complexification. In this work, we study and give some of its applications.

     

The Nother and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nother type theorems for Cμpiecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible Cμpiecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the Cμpiecewise algebraic curve is established.     

Formality of equivariant intersection cohomology of algebraic varieties

We present a proof that the equivariant intersection cohomology of any complete algebraic variety acted by a connected algebraic group is a free module over .

     

Estimation of the Bezout number for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function.In this paper.a coniecture on trianguation is confirmed The relation between the piecewise linear algebraiccurve and four-color conjecture is also presented.By Morgan-Scott triangulation, we will show the instabilityof Bezout number of piecewise algebraic curves. By using the combinatorial optimization method,an upper     

Nöther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the Nöther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

THE DIMENSION OF A CLASS OF BIVARIATE SPLINE SPACES

ＴＨＥＤＩＭＥＮＳＩＯＮＯＦＡＣＬＡＳＳＯＦＢＩＶＡＲＩＡＴＥＳＰＬＩＮＥＳＰＡＣＥＳ￥ＧＡＯＪＵＮＢＩＮＡｂｓｔｒａｃｔ：ＷｅｅｓｔａｂｌｉｓｈｔｈｅｄｉｍｅｎｓｉｏｎｆｏｒｍｕｌａｏｆｔｈｅｓｐａｃｅｏｆＣｒｂｉｖａｒｉａｔｅｐｉｅｃｅｗｉｓｅｐ...     

N(o)ther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.N(o)ther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the N(o)ther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.     

PIECEWISE SEMIALGEBRAIC SETS

Semialgebraic sets are objects which are truly a special feature of real algebraic geometry. This paper presents the piecewise semialgebraic set, which is the subset of Rn satisfying a boolean combination of multivariate spline equations and inequalities with real coefficients. Moreover, the stability under projection and the dimension of C^μ piecewise semialgebraic sets are also discussed.     

The Bezout number of piecewise algebraic curves

Based on the discussion of the number of roots of univariate spline and the common zero points of two piecewise algebraic curves, a lower upbound of Bezout number of two piecewise algebraic curves on any given non-obtuse-angled triangulation is found. Bezout number of two piecewise algebraic curves on two different partitions is also discussed in this paper.     

Minimal invariant varieties and first integrals for algebraic foliations

Let X be an irreducible algebraic variety over ℂ, endowed with an algebraic foliation . In this paper, we introduce the notion of minimal invariant variety V( , Y) with respect to ( , Y), where Y is a subvariety of X. If Y = {x} is a smooth point where the foliation is regular, its minimal invariant variety is simply the Zariski closure of the leaf passing through x. First we prove that for very generic x, the varieties V( , x) have the same dimension p. Second we generalize a result due to X. Gomez- Mont (see [G-M]). More precisely, we prove the existence of a dominant rational map F : X → Z, where Z has dimension (n − p), such that for very generic x, the Zariski closure of F⁻¹(F(x)) is one and only one minimal invariant variety of a point. We end up with an example illustrating both results.     

Strictly pseudoconvex domains and algebraic varieties

In the paper, we consider applications of strictly pseudoconvex domains to the problems of algebraicity and rationality. We give a new proof of the Kodaira theorem on the algebraicity of a surface and we also prove a multidimensional version of this theorem. Theorems analogous to the Hodge index theorem and the Lefschetz theorem about (1, 1)-classes are obtained for strictly pseudoconvex domains. Conjectures on the geometry of strictly pseudoconvex domains on algebraic surfaces are formulated. Translated fromMatematicheskie Zametki, Vol. 60, No. 3, pp. 414–422, September, 1996. This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00225 and by the International Science Foundation under grant No. 508.     

零维代数簇的分解及其应用

本文利用Groebner基，给出了一种分解零维代数簇的方法，并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用．     

Projective push-forwards in the Witt theory of algebraic varieties

We define push-forwards along projective morphisms in the Witt theory of smooth quasi-projective varieties over a field. We prove that they have standard properties such as functoriality, compatibility with pull-backs and projection formulas.     

Diophantine approximation by algebraic hypersurfaces and varieties

Questions on rational approximations to a real number can be generalized in two directions. On the one hand, we may ask about ``approximation' to a point in by hyperplanes defined over the rationals. That is, we seek hyperplanes with small distance from the given point. On the other hand, following Wirsing, we may ask about approximation to a real number by real algebraic numbers of degree at most .

The present paper deals with a common generalization of both directions, namely with approximation to a point in by algebraic hypersurfaces, or more generally algebraic varieties defined over the rationals.

     

Some researches on multivariate Lagrange interpolation along the sufficiently intersected algebraic manifold

In this article, Lagrange interpolation by polynomials in several variables is studied. Particularly on the sufficiently intersected algebraic manifolds, we discuss the dimension about the interpolation space of polynomials. After defining properly posed set of nodes (or PPSN for short) along the sufficiently intersected algebraic manifolds, we prove the existence of PPSN and give the number of points in PPSN of any degree. Moreover, in order to compute the number of points in PPSN concretely, we propose the operator ? _k with reciprocal difference.