Surjectivity of quotient maps for algebraic (ℂ,+)-actions and polynomial maps with contractible fibers

In this paper we establish two results concerning algebraic (,+)-actions on ⁿ . First, let be an algebraic (,+)-action on ³. By a result of Miyanishi, its ring of invariants is isomorphic to [t ₁,t ₂]. Iff ₁,f ₂ generate this ring, the quotient map of is the mapF:³²,x(f ₁(x), f₂(x)). By using some topological arguments we prove thatF is always surjective. Secon, we are interested in dominant polynomial mapsF: ^{n n-1} whose connected components of their generic fibers are contractible. For such maps, we prove the existence of an algebraic (,+)-action on ⁿ for whichF is invariant. Moreover we give some conditions so thatF*([t ₁,...,t _n-1 ]) is the ring of invariants of .Dedicated to all my friends and my family     

Existence of Moduli for Bi-Lipschitz Equivalence of Analytic Functions

We show that the bi-Lipschitz equivalence of analytic function germs (², 0)(, 0) admits continuous moduli. More precisely, we propose an invariant of the bi-Lipschitz equivalence of such germs that varies continuously in many analytic families f _t : (², 0)(, 0). For a single germ f the invariant of f is given in terms of the leading coefficients of the asymptotic expansions of f along the branches of generic polar curve of f.     

A note on the classification of holomorphic harmonic morphisms

In this note we give a complete classification of those holomorphic maps :U ⁿ defined on open and connected subsets of ^m which are harmonic morphisms.The first author was supported by the Icelandic Science Fund.     

Translations and Associated Dirichlet Polyhedra in Complex Hyperbolic Space

We study a nonidentity transvection (i.e. (strictly) hyperbolic isometry) or nonidentity Heisenberg translation f of complex hyperbolic space H ⁿ and a Dirichlet polyhedron P of the cyclic group f. We have four main results: (a) If z & in H ⁿ and the axis of a nonidentity transvection are not complex collinear, then, roughly speaking, any two distinct 'naturally arising' geodesics passing through z are not complex collinear. (b) If g is also a transvection or Heisenberg translation of H ⁿ and z & in H ⁿ such that f(z)=g(z) and f ^–1(z)=g ^–1(z), then f=g. (c) We classify all this kind of polyhedra up to congruence in H ⁿ. (d) We obtain an equivalent condition for P to be cospinal (which means that the complex spines of the two sides of P coincide) in terms of the distance of the spines of the two sides of P.     

A geometrical interpretation of the shape invariant for geodesic triangles in complex projective spaces

We show that the shape invariant of a triangle in the complex projective space P ⁿ , see [B], can be obtained by integrating the Kählerian form of P ⁿ over a domain parametrized by geodesics and bounded by a geodesic loop formed with sides of the triangle.The second author was supported by a grant from INDAM-Rome.     

Differentiable structures with zero entropy on simply connected 4-manifolds

We show that a closed 4-dimensional simply connected topological manifoldM admits a differentiable structure with aC Riemannian metric whose geodesic flow has zero topological entropy if and only ifM is homeomorphic toS ⁴, ²,S ²×S ², or ²#².     

A spectral mapping theorem for scalar-type spectral operators in locally convex spaces

LetT be a continuous scalar-type spectral operator defined on a quasi-complete locally convex spaceX, that is,T=fdP whereP is an equicontinuous spectral measure inX andf is aP-integrable function. It is shown that (T) is precisely the closedP-essential range of the functionf or equivalently, that (T) is equal to the support of the (unique) equicontinuous spectral measureQ ^* defined on the Borel sets of the extended complex plane ^* such thatQ ^*({})=0 andT=zdQ _*(z). This result is then used to prove a spectral mapping theorem; namely, thatg((T))=(g(T)) for anyQ ^*-integrable functiong: ^{* *} which is continuous on (T). This is an improvement on previous results of this type since it covers the case wheng((T))/{} is an unbounded set in a phenomenon which occurs often for continuous operatorsT defined in non-normable spacesX.     

Quotient singularities which are complete intersections

Let G be a finite subgroup of GL_n() acting naturally on an affine space ⁿ. In this note we will determine G such that the quotient variety ⁿ/G is a complete intersection. For n=2 and 3, such a group G was classified in [13, 24, 32].     

Some totally real embeddings of three-manifolds

LetV be a complex hypersurface in an open subset of ³, and letM be a smooth compact real hypersurface inV. Using a theorem of Gromov we prove that there exist small C¹ perturbations ofM in ³ such that is a totally real submanifold of ³. As a consequence we show that certain quotients of the three-sphere admit totally real embeddings into ³. In some special cases including the real projective three-space we find explicit totally real embeddings into ³. Our construction is similar to that of Ahern and Rudin who found a totally real embedding of the three-sphere into ³.Research supported by a fellowship from the Alfred P. Sloan foundation     

Ordinary and strong density continuity of complex analytic functions

In the paper we prove that the complex analytic functions are (ordinarily) density continuous. This stays in contrast with the fact that even such a simple function asG:²²,G(x,y)=(x,y ³ ), is not density continuous [1]. We will also characterize those analytic functions which are strongly density continuous at the given pointa . From this we conclude that a complex analytic functionf is strongly density continuous if and only iff(z)=a+bz, wherea, b andb is either real or imaginary.     

Polynomially convex orbits of compact lie groups

LetV be a finite dimensional complex linear space and letG be a compact subgroup of GL(V). We prove that an orbitG, V, is polynomially convex if and only ifG is closed andG is the real form ofG . For every orbitG which is not polynomially convex we construct an analytic annulus or strip inG with the boundary inG. It is also proved that the group of holomorphic automorphisms ofG which commute withG acts transitively on the set of polynomially convexG-orbits. Further, an analog of the Kempf-Ness criterion is obtained and homogeneous spaces of compact Lie groups which admit only polynomially convex equivariant embeddings are characterized.Supported by Federal program Integratsiya, no. 586.Supported by INTAS grant 97/10170.     

On a global descent method for polynomials

Summary Given a complex polynomialp we determine a functionf _p : such that |p(f _p (z))||p(z)|,z withk<1. This result is used to introduce a global root-finding algorithm for polynomials.     

Milnor numbers and the topology of polynomial hypersurfaces

Summary LetF: n + 1 be a polynomial. The problem of determining the homology groupsH _q (F ^–1 (c)), c , in terms of the critical points ofF is considered. In the best case it is shown, for a certain generic class of polynomials (tame polynomials), that for allc,F ^–1 (c) has the homotopy type of a bouquet of - ^c n-spheres. Here is the sum of all the Milnor numbers ofF at critical points ofF and ^c is the corresponding sum for critical points lying onF ^–1 (c). A second best case is also discussed and the homology groupsH _q (F ^–1 (c)) are calculated for genericc. This case gives an example in which the critical points at infinity ofF must be considered in order to determine the homology groupsH _q (F ^–1 (c)).     

Finely holomorphic functions and quasi-analytic classes

We study the set of functions in quasi-analytic classes and the set of finely holomorphic functions. We show that no one of these two sets is contained in the other.LetI denote the set of complex functionsf: for which there exists a quasi-analytic classC{M _n} containingf. Let denote the set of complex functionsf: for which there exist a fine domainU containing the real line and a function finely holomorphic onU satisfyingf(x)= (x) for allx . The power of unique continuation is incomparable in these two cases (I\ is non-empty, \I is non-empty).Research supported by the grant No. 201/93/2174 of Czech Grant Agency and by the grant No. 354 of Charles University.     

Nicht endlich erzeugte Primideale in Steinschen Algebren

In this note we exhibit a closed prime idealF in the ring Ó(³) of all holomorphic functions on ³ which is not finitely generated.F is the ideal of a certain irreducible curve Y³, obtained as the image of a proper holomorphic map f³.

---

---

Herrn Karl Stein gewidmet     

Twistor holomorphic Lagrangian surfaces in the complex projective and hyperbolic planes

We completely classify all the twistor holomorphic Lagrangian immersions in the complex projective plane ², i.e. those Lagrangian immersions such that their twistor lifts to the twistor space over ² are holomorphic. This classification provides a one-parameter family of examples of Lagrangian spheres in ².Research partially supported by a DGICYT grant No. PB91-0731.     

New examples of Kobayashi hyperbolic surfaces in ℂℙ3

We show that a generic small deformation of the union of two generic cones in ³ of degree 4 is Kobayashi hyperbolic. Hence we obtain new examples of hyperbolic surfaces in ³ of any given degree d 8.__________Translated from Funktsionalnyi Analiz i Ego Prilozheniya, Vol. 39, No. 1, pp. 90–94, 2005Original Russian Text Copyright © by B. Shiffman and M. ZaidenbergThe second authors research was supported in part by NSF grant No. DMS-0100474.Translated by B. Shiffman and M. Zaidenberg     

Injectivity sets for spherical means on the Heisenberg group

We prove that the boundary of a bounded domain is a set of injectivity for the twisted spherical means on ⁿ for a certain class of functions on ⁿ . As a consequence we obtain results about injectivity of the spherical mean operator in the Heisenberg group and the complex Radon transform.     

A perturbation result for the asymptotic behavior of matrix powers

We prove a perturbation result for the asymptotic behavior of the sequence (A ⁿ c) _nN , whereAG|(d), the space of invertibled×d matrices, andc ^d .     

Die Zahl der Spitzen und die Jacobi-Algebra einer isolierten Hyperflächensingularität

Let f{x_o,...,x_n} define a germ of a complex analytic hypersurface (X_o,0) with isolated singularity. We show that the number of cusps of the unfolded discriminant curve is an invariant of the Jacobian algebra {x,_o},...,x_n/(f/x_o,...,f/x_n) of f. Moreover we show that this number + 1 equals the sum of the Milnor numbers of (X_o,0) and of the polar curve of (X_o,0). Our result generalizes formulas of Iversen and Lê for plane curves to arbitrary dimensions.