Dynamics of local groups of conformal mappings and generic properties of differential equations on ℂ2

This paper is a survey of the present state of the problems related to the generic properties of foliations defined on ?² by algebraic differential equations. We prove that the properties of density, absolute rigidity, and existence of a countable set of complex limit cycles are inherent in all equations except possibly for the union of some real algebraic set and real analytic set of codimension at least two in the space of coefficients.     

Equivalence problem for Bishop surfaces

The paper has two parts. We first briefly survey recent studies on the equivalence problem for real submanifolds in a complex space under the action of biholomorphic transformations. We will mainly focus on some of the recent studies of Bishop surfaces, which, in particular, includes the work of the authors. In the second part of the paper, we apply the general theory developed by the authors to explicitly classify an algebraic family of Bishop surfaces with a vanishing Bishop invariant. More precisely, we let M be a real submanifold of C 2 defined by an equation of the form w = zz + 2Re(z s + az s+1 ) with s≥ 3 and a a complex parameter. We will prove in the second part of the paper that for s≥ 4 two such surfaces are holomorphically equivalent if and only if the parameter differs by a certain rotation. When s = 3, we show that surfaces of this type with two different real parameters are not holomorphically equivalent.     

Rational and Homological Equivalence of Real Algebraic Cycles

In this paper we study algebraic cycles on smooth quasiprojective real algebraic varieties. We are interested under what conditions an algebraic cycle homologous to zero is rationally equivalent to a cycle supporting no real points.     

Degree of the divisor of solutions of a differential equation on a projective variety

Using the data schemes from [1] we give a rigorous definition of algebraic differential equations on the complex projective space Pⁿ. For an algebraic subvariety S?Pⁿ, we present an explicit formula for the degree of the divisor of solutions of a differential equation on S and give some examples of applications. We extend the technique and result to the real case.     

A generalization of Voronoi's unit algorithm I

By means of a new method of mapping an algebraic number field into a euclidean space Voronoi's unit algorithm is generalized to all algebraic number fields and it is proved that the generalized Voronoi algorithm computes the fundamental units of all algebraic number fields of unit rank 1, i.e., of the real quadratic fields, of the complex cubic fields, and of the totally complex quartic fields.     

A Transfer Principle in the Real Plane from Nonsingular Algebraic Curves to Polynomial Vector Fields

For every nonsingular algebraic curve C of degree m in the real plane a polynomial vector field of degree 2m–1 is constructed, which has exactly the ovals of C as attracting limit cycles. Therefore, every progress on the algebraic part of Hilbert's 16th problem automatically yields progress on its dynamical part.     

Rational surfaces and regular maps into the 2-dimensional sphere

Let X and Y be affine nonsingular real algebraic varieties. A general problem in Real Algebraic Geometry is to try to decide when a mapping, , can be approximated by regular mappings in the space of mappings, , equipped with the topology. In this paper, we obtain some results concerning this problem when the target space is the 2-dimensional standard sphere and X has a complexification that is a rational (complex) surface. To get the results we study the subgroup of the second cohomology group of X with integer coefficients that consists of the cohomology classes that are pullbacks, via the inclusion mapping , of the cohomology classes in represented by complex algebraic hypersurfaces. Received December 1, 1998; in final form August 2, 1999     

Addendum to “Connesʼ embedding conjecture and sums of hermitian squares” [Adv. Math. 217 (4) (2008) 1816–1837]

We show that Connes? embedding conjecture (CEC) is equivalent to a real version of the same (RCEC). Moreover, we show that RCEC is equivalent to a real, purely algebraic statement concerning trace positive polynomials. This purely algebraic reformulation of CEC had previously been given in both a real and a complex version in a paper of the last two authors. The second author discovered a gap in this earlier proof of the equivalence of CEC to the real algebraic reformulation (the proof of the complex algebraic reformulation being correct). In this note, we show that this gap can be filled with help of the theory of real von Neumann algebras.     

The planetary <Emphasis Type="Italic">N</Emphasis>-body problem: symplectic foliation,reductions and invariant tori

This is the third of a series of papers relating intersections of special cycles on the integral model of a Shimura surface to Fourier coefficients of Hilbert modular forms. More precisely, we embed the Shimura curve over ℚ associated to a rational quaternion algebra into the Shimura surface associated to the base change of the quaternion algebra to a real quadratic field. After extending the associated moduli problems over ℤ we obtain an arithmetic threefold with a embedded arithmetic surface, which we view as a cycle of codimension one. We then construct a family, indexed by totally positive algebraic integers in the real quadratic field, of codimension two cycles (complex multiplication points) on the arithmetic threefold. The intersection multiplicities of the codimension two cycles with the fixed codimension one cycle are shown to agree with the Fourier coefficients of a (very particular) Hilbert modular form of weight 3/2. The results are higher dimensional variants of results of Kudla-Rapoport-Yang, which relate intersection multiplicities of special cycles on the integral model of a Shimura curve to Fourier coefficients of a modular form in two variables.     

Invariant generalized functions supported on an orbit

We study the space of invariant generalized functions supported on an orbit of the action of a real algebraic group on a real algebraic manifold. This space is equipped with the Bruhat filtration. We study the generating function of the dimensions of the filtras, and give some methods to compute it. To illustrate our methods we compute those generating functions for the adjoint action of GL₃(C). Our main tool is the notion of generalized functions on a real algebraic stack, introduced recently in [Sak16].     

求複數根的舗D法

<正> 一. 引言 代數方程f(x)=0的實數根的逐步接近法已有多種,其中計算簡單收斂最快的是用牛頓公式     

Clifford's inequality for real algebraic curves

We improve Clifford's Inequality for real algebraic curves. As an application we improve Harnack's Inequality for real space curves having a certain number of pseudo-lines. Another application involves the number of ovals that a real space curve can have.     

Viro theorem and topology of real and complex combinatorial hypersurfaces

We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension 2 inℂP ⁿ and are topologically “glued” out of algebraic hypersurfaces in (ℂ^*) ⁿ . Our construction can be viewed as a version of the Viro gluing theorem relating topology of algebraic hypersurfaces to the combinatorics of subdivisions of convex lattice polytopes. If a subdivision is convex, then according to the Viro theorem a combinatorial hypersurface is isotopic to an algebraic one. We study combinatorial hypersurfaces resulting from non-convex subdivisions of convex polytopes, show that they are almost complex varieties, and in the real case, they satisfy the same topological restrictions (congruences, inequalities etc.) as real algebraic hypersurfaces. A part of the present work was done during the stay of the second author at the Fields Institute, Toronto, and at the NSF Science and Technology Research Center for the Computation and Visualization of Geometric Structures, funded by NSF/DMS89-20161. The work was completed during the stay of both authors at Max-Planck-Institu für Mathematik. The authors thank these funds and institutions for hospitality and financial support.     

Toric cycles in the complement to a complex curve in (C×)2

The amoeba of a complex curve in the 2‐dimensional complex torus is its image under the projection onto the real parts of the logarithmic coordinates. A toric cycle in the complement to a curve is a fiber of this projection over a point in the complement to the amoeba of the curve. We consider amoebas of complex algebraic curves defined by so‐called Harnack polynomials. We prove that toric cycles are homologically independent in the complement to a such curve.     

Integral geometry of complex space forms

We show how Alesker’s theory of valuations on manifolds gives rise to an algebraic picture of the integral geometry of any Riemannian isotropic space. We then apply this method to give a thorough account of the integral geometry of the complex space forms, i.e. complex projective space, complex hyperbolic space and complex Euclidean space. In particular, we compute the family of kinematic formulas for invariant valuations and invariant curvature measures in these spaces. In addition to new and more efficient framings of the tube formulas of Gray and the kinematic formulas of Shifrin, this approach yields a new formula expressing the volumes of the tubes about a totally real submanifold in terms of its intrinsic Riemannian structure. We also show by direct calculation that the Lipschitz-Killing valuations stabilize the subspace of invariant angular curvature measures, suggesting the possibility that a similar phenomenon holds for all Riemannian manifolds. We conclude with a number of open questions and conjectures.     

Most real analytic Cauchy-Riemann manifolds are nonalgebraizable

We give a simple argument to the effect that most germs of generic real analytic Cauchy-Riemann manifolds of positive CR dimension are not holomorphically embeddable into a generic real algebraic CR manifold of the same real codimension in a finite dimensional space. In particular, most such germs are not holomorphically equivalent to a germ of a generic real algebraic CR manifold.Mathematics Subject Classification (2000): Primary 32V20, 32V30Supported in part by Research Program P1-0291, Republic of SloveniaAcknowledgement I wish to thank Peter Ebenfelt and Alexander Sukhov for their invaluable advice concerning the state of knowledge on the question considered in the paper.     

The 16th Hilbert problem on algebraic limit cycles

For real planar polynomial differential systems there appeared a simple version of the 16th Hilbert problem on algebraic limit cycles: Is there an upper bound on the number of algebraic limit cycles of all polynomial vector fields of degree m? In [J. Llibre, R. Ramírez, N. Sadovskaia, On the 16th Hilbert problem for algebraic limit cycles, J. Differential Equations 248 (2010) 1401-1409] Llibre, Ramírez and Sadovskaia solved the problem, providing an exact upper bound, in the case of invariant algebraic curves generic for the vector fields, and they posed the following conjecture: Is1+(m−1)(m−2)/2the maximal number of algebraic limit cycles that a polynomial vector field of degree m can have?In this paper we will prove this conjecture for planar polynomial vector fields having only nodal invariant algebraic curves. This result includes the Llibre et al.?s as a special one. For the polynomial vector fields having only non-dicritical invariant algebraic curves we answer the simple version of the 16th Hilbert problem.     

Real Abelian Varieties with Many Line Bundles

Let X and Y be affine nonsingular real algebraic varieties.A general problem in real algebraic geometry is to try to decidewhen a continuous map f: X Y can be approximated by regularmaps in the space of c⁰ mappings from X to Y, equipped withthe c⁰ topology. This paper solves this problem when X is theconnected component containing the origin of the real part ofa complex Abelian variety and Y is the standard 2-dimensionalsphere.     

Symmetric Orientations of Dividing T-curves

In 1974, Rokhlim introduced complex orientations for nonsingular real algebraic plane projective curves of type I. Here we give a definition of symmetric orientations and of "type" for T-curves which are PL-curves constructed using a combinatorial method called T-construction. An important aspect of T-construction is that, under particular conditions, the constructed T-curve has the isotopy type of a nonsingular real algebraic plane projective curve. T-construction is in fact a particular case of the method of construction of real algebraic projective varieties due to O. Ya. Viro. We prove that if an algebraic curve is associated to a T-curve by the Viro process, then the type of the T-curve coincides with the type of the algebraic curve and its symmetric orientations are complex orientations as defined by Rokhlin. The main result of this paper is the classification theorem for T-curves of type I.     

The Space of Unordered Real Line Arrangements

The set of all unordered real line arrangements of given degree in the real projective plane is known to have a natural semialgebraic structure. The nonreduced arrangements are singular points of this structure. We show that the set of all unordered real line arrangements of given degree also has a natural structure of a smooth compact connected affine real algebraic variety. In fact, as such, it is isomorphic to a real projective space. As a consequence, we get a projectively linear structure on the set of all real line arrangements of given degree. We also show that the universal family of unordered real line arrangements of given degree is not algebraic.