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.     

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     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

Numerical realization of the conditions of Max Nther's residual intersection theorem

The aim of this paper is to study numerical realization of the conditions of Max Nther's residual intersection theorem. The numerical realization relies on obtaining the intersection of two algebraic curves by homotopy continuation method, computing the approximate places of an algebraic curve, getting the exact orders of a polynomial at the places, and determining the multiplicity and character of a point of an algebraic curve. The numerical experiments show that our method is accurate, effective and robust without using multiprecision arithmetic,even if the coefficients of algebraic curves are inexact. We also conclude that the computational complexity of the numerical realization is polynomial time.     

Numerical realization of the conditions of Max NSther＇s residual intersection theorem

The aim of this paper is to study numerical realization of the conditions of Max Nother＇s residual intersection theorem. The numerical realization relies on obtaining the inter- section of two algebraic curves by homotopy continuation method, computing the approximate places of an algebraic curve, getting the exact orders of a polynomial at the places, and determin- ing the multiplicity and character of a point of an algebraic curve. The numerical experiments show that our method is accurate, effective and robust without using multiprecision arithmetic, even if the coefficients of algebraic curves are inexact. We also conclude that the computational complexity of the numerical realization is polynomial time.     

Morgan-Scott型剖分上的样条空间的奇异性

Multivariate spline function is an important research object and tool in Computational Geometry. The singularity of multivariate spline spaces is a difficult problem that is ineritable in the research of the structure of multivariate spline spaces. The aim of this paper is to reveal the geometric significance of the singularity of bivariate spline space over Morgan-Scott type triangulation by using some new concepts proposed by the first author such as characteristic ratio, characteristic mapping of lines （or ponits）, and characteristic number of algebraic curve. With these concepts and the relevant results, a polished necessary and sufficient conditions for the singularity of spline space S u＋1^u （△MS^u） are geometrically given for any smoothness u by recursion. Moreover, the famous Pascal＇s theorem is generalized to algebraic plane curves of degree n≥3.     

球面上的几何连续插值

In this paper, a new method for geometrically continuous interpolation in spheres is proposed. The method is entirely based on the spherical B′ezier curves defined by the generalized de Casteljau algorithm. Firstly we compute the tangent directions and curvature vectors at the endpoints of a spherical B′ezier curve. Then, based on the above results, we design a piecewise spherical B′ezier curve with G 1 and G 2 continuity. In order to get the optimal piecewise curve according to two different criteria, we also give a constructive method to determine the shape parameters of the curve. According to the method, any given spherical points can be directly interpolated in the sphere. Experimental results also demonstrate that the method performs well both in uniform speed and magnitude of covariant acceleration.     

An isomorphism theorem for Teichmüller curves

It is proved that for any Fuchsian group Г such that H/Г is a hyperbolic Riemann surface, the Teichmuller curve V(Г) has a unique complex manifold structure so that the natural projection of the Bers fiber space F(Г) onto V(Г) is holomorphic with local holomorphic sections. An isomorphism theorem for Teichmuller curves is deduced, which generalizes a classical result that the Teichmuller curve V(Г) depends only on the type of Г and not on the orders of the elliptic elements of Г when H/Г is a compact hyperbolic Riemann surface.     

Degree elevation from Bzier curve to C-Bzier curve with corner cutting form

The existing results of curve degree elevation mainly focus on the degree of algebraic polynomials. The paper considers the elevation of degree of the trigonometric polynomial, from a Bzier curve on the algebraic polynomial space, to a C-B′ezier curve on the algebraic and trigonometric polynomial space. The matrix of degree elevation is obtained by an operator presentation and a derivation pyramid. It possesses not a recursive presentation but a direct expression. The degree elevation process can also be represented as a corner cutting form.     

Second Main Theorem for Meromorphic Maps into Algebraic Varieties Intersecting Moving Hypersurfaces Targets*

Since the great work on holomorphic curves into algebraic varieties intersecting hypersurfaces in general position established by Ru in 2009, recently there has been some developments on the second main theorem into algebraic varieties intersecting moving hypersurfaces targets. The main purpose of this paper is to give some interesting improvements of Ru’s second main theorem for moving hypersurfaces targets located in subgeneral position with index.     

HOMOCLINIC CYCLES OF A QUADRATIC SYSTEM DESCRIBED BY QUARTIC CURVES

This paper is devoted to discussing the topological classification of the quartic invariant algebraic curves for a quadratic system. We obtain sufficient and necessary conditions which ensure that the homoclinic cycle of the system is defined by the quartic invariant algebraic curve. Finally, the corresponding global phase diagrams are drawn.     

On the Integral Curvature of Curve-(III)

In this paper we prove the following theorem.It is a generalization of Tenchel's theorem on theintegral curvature of curve.Theorem.If 1 is the length of a curve C=AB and φ is the angle between the tangent vectors ofC at A,B,then the integral curvature of C     

Geometric meanings of the parameters on rational conic segments

Using algebraic and geometric methods,functional relationships between a point on a conic segment and its corresponding parameter are derived when the conic segment is presented by a rational quadratic or cubic Bézier curve.That is,the inverse mappings of the mappings represented by the expressions of rational conic segments are given.These formulae relate some triangular areas or some angles,determined by the selected point on the curve and the control points of the curve,as well as by the weights of the rational Bézier curve.Also,the relationship can be expressed by the corresponding parametric angles of the selected point and two endpoints on the conic segment,as well as by the weights of the rational Bézier curve.These results are greatly useful for optimal parametrization,reparametrization,etc.,of rational Bézier curves and surfaces.     

On a Class of Generalized Curve Flows for Planar Convex Curves

In this paper, the authors consider a class of generalized curve flow for convex curves in the plane. They show that either the maximal existence time of the flow is finite and the evolving curve collapses to a round point with the enclosed area of the evolving curve tending to zero, i.e., limt→T A(t) = 0, or the maximal time is infinite, that is, the flow is a global one. In the case that the maximal existence time of the flow is finite, they also obtain a convergence theorem for rescaled curves at the maximal time.     

A vanishing result for Donaldson Thomas invariants of ℙ1 scroll

Let S be a smooth algebraic surface and let L be a line bundle on S.Suppose there is a holomorphic two form over S with zero loci to be a curve C.We show that the DonaldsonThomas invariant of the P^1 scroll X = P（L＋Бs） vanishes unless the curves being enumerated lie in D = P（L︱C＋БC）.Our method is cosection localization of Y.-H.Kiem and J.Li.     

On solving equations of algebraic sum of equal powers

It is well known that a system of equations of sum of equal powers can be converted to an algebraic equation of higher degree via Newton's identities. This is the Viete-Newton theorem. This work reports the generalizations of the Viete-Newton theorem to a system of equations of algebraic sum of equal powers. By exploiting some facts from algebra and combinatorics, it is shown that a system of equations of algebraic sum of equal powers can be converted in a closed form to two algebraic equations, whose degree sum equals the number of unknowns of the system of equations of algebraic sum of equal powers.     

A Vanishing Result for Donaldson Thomas Invariants of P~1 Scroll

Let S be a smooth algebraic surface and let L be a line bundle on S.Suppose there is a holomorphic two form over S with zero loci to be a curve C.We show that the DonaldsonThomas invariant of the P~1 scroll X = P(Lθs) vanishes unless the curves being enumerated lie in D = P(L︱CθC).Our method is cosection localization of Y.-H.Kiem and J.Li.     

Scattering Diagrams,Sheaves, and Curves

We review the recent proof of the N. Takahashi's conjecture on genus 0 Gromov–Witten invariants of(P~2, E), where E is a smooth cubic curve in the complex projective plane P~2. The main idea is the use of the algebraic notion of scattering diagram as a bridge between the world of Gromov–Witten invariants of(P~2, E) and the world of moduli spaces of coherent sheaves on P~2. Using this bridge, the N. Takahashi's conjecture can be translated into a manageable question about moduli spaces of coherent sheaves on P~2. This survey is based on a three hours lecture series given as part of the Beijing–Zurich moduli workshop in Beijing, 9–12 September 2019.     

The pointwise convergence of p-adic Mbius maps

The convergence of linear fractional transformations is an important topic in mathematics.We study the pointwise convergence of p-adic Mbius maps,and classify the possibilities of limits of pointwise convergent sequences of Mbius maps acting on the projective line P1(C p),where C p is the completion of the algebraic closure of Q p.We show that if the set of pointwise convergence of a sequence of p-adic Mbius maps contains at least three points,the sequence of p-adic Mbius maps either converges to a p-adic Mbius map on the projective line P1(C p),or converges to a constant on the set of pointwise convergence with one unique exceptional point.This result generalizes the result of Piranian and Thron(1957)to the non-archimedean settings.     

Judging or setting weight steady-state of rational Bézier curves and surfaces

Many works have investigated the problem of reparameterizing rational Bézier curves or surfaces via Mbius transformation to adjust their parametric distribution as well as weights, such that the maximal ratio of weights becomes smallerthat some algebraic and computational properties of the curves or surfaces can be improved in a way. However, it is an indication of veracity and optimization of the reparameterization to do prior to judge whether the maximal ratio of weights reaches minimum, and verify the new weights after Mbius transformation. What's more the users of computer aided design softwares may require some guidelines for designing rational Bézier curves or surfaces with the smallest ratio of weights. In this paper we present the necessary and sufficient conditions that the maximal ratio of weights of the curves or surfaces reaches minimum and also describe it by using weights succinctly and straightway.The weights being satisfied these conditions are called being in the stable state. Applying such conditions, any giving rational Bézier curve or surface can automatically be adjusted to come into the stable state by CAD system, that is, the curve or surface possesses its optimal parametric distribution. Finally, we give some numerical examples for demonstrating our results in important applications of judging the stable state of weights of the curves or surfaces and designing rational Bézier surfaces with compact derivative bounds.