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     

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     

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.     

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.     

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.     

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.     

Multiplication operator on a matrix polynomial

It is proved that the study of a perturbed multiplication operator on a matrix polynomial in the space L₂(, ⁿ) may be reduced to the study of a perturbed multiplication operator with independent variable in the space L₂(, , ^N) with weight satisfying the Mackenhaupt condition.Translated from Ukrayins'kyy Matemarychnyy Zhurnal, Vol. 44, No. 9, pp. 1287–1289, September, 1992.     

Contact metric hypersurfaces of ℂ2

Kaehler 2-form of ² being exact, it gives rise to a 1-form defined on a hypersurface of ². We show that if this 1-form defines a contact metric structure with respect to the induced metric on the compact and connected hypersurface of ², then the hypersurface is a round sphere of radius 1.This work is supported by Research Grant No. (Math/1409/05) of the Research Center, College of Science, King Saud University, Riyadh.     

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.     

On the Monodromy of a Multivalued Function along Its Ramification Locus

We consider multivalued analytic functions in ⁿ) whose set of singular points occupies a very small part of ⁿ). Under a mapping of a topological space Y into ⁿ), such a function f can induce a multivalued function on Y. This is possible even if the image of Y entirely lies in the ramification set of f. We estimate the monodromy group of the induced function via the monodromy group of f.     

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     

On Galois representations arising from towers of coverings of P1\{0, 1, ∞}

Summary We propose a new way to describe, universally, thel-adic Galois representations associated to each almost pro-l tower of etale coverings ofP ¹\{0, 1, }. This generalizes our universal power series for Jacobi sums (cf. [I]) which arises from the tower of Fermat curves of degreel ⁿ (n), and contains the case of the tower of modular curves of level 2ml ⁿ (m: fixed,n) as another important special case. As a fundamental tool, we shall establish and use an almost pro-l version of the theorems of Blanchfield and of Lyndon in Fox free differential calculus.     

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 ²#².     

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.     

On Bachet's diophantine equationx 3=y 2=k

Using Eisenstein's law of cubic reciprocity we investigate cases in whichx ³=y ²+k is unsolvable in the ring of rational integers In particular we show, that for all primesp ± 1 (mod 9),p3, the equationx ³=y ²+3p(p±9) has no solutions in .     

Constructing one-parameter transformations on white noise functions in terms of equicontinuous generators

Let be a barreled locally convex space. A continuous operator on is called anequicontinuous generator if { ⁿ /n!;n=0,1,2,...} is an equicontinuous family of operators. For each equicontinuous generator a one-parameter group of operators is constructed by means of power series. There is a one-to-one correspondence between the equicontinuous generators and the locally equicontinuous holomorphic one-parameter groups of operators. If two equicontinuous generators ₁, ₂ satisfy [₁,₂]=₂ for some thena₁+b₂ is also an equicontinuous generator for anya, b. These general results are applied to a study of operators on white noise functions. In particular, a linear combination of the number operator and the Gross Laplacian, which are natural infinite dimensional analogues of a finite dimensional Laplacian, is always an equicontinuous generator. This result contributes to the Cauchy problems in white noise (Gaussian) space.Work supported by Alexander von Humboldt-Stiftung and Japan Society for Promotion of Sciences     

Ordnungseigenschaften holomorpher Funktionen

A linear geometric order theory for holomorphic mappings F: ^nm is given if a family of linear subspaces L of ⁿ×^m is specified; the theory then is concerned with the order number of connected parts of the intersections L (F) of the L's with the graph (F) of F. For m=1 (i.e. case of one function) it is proved that the local linear order number of a holomorphic function is finite in every point. If the L's are real-linear subspaces then real differential geometric methods lead to the proof, if the L's are complex-linear then ideal-theoretical means do.     

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 .     

Behavior of the Bergman Kernel Near Smooth Convex Boundary Points

The nontangential behavior of the Bergman metric near a smooth convex boundary point of a bounded pseudoconvex domain D ⁿ is studied in terms of its multitype.Received January 25, 2002; in revised form June 20, 2002 Published online November 18, 2002     

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.