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.     

Parabolic exhaustions for strictly convex domains

Using results of L. Lempert, we are able to construct parabolic exhaustions for strictly convex domains D^m with center at any given point of D. Using the theory of parabolic spaces and the geometric properties of these exhaustions, we can characterize the strictly convex domains biholomorphic to a circular domain and in particular to the ball in ^m.Supported by a grant from the C.N.R. (Italy)     

Quasisimilarity of model contractions with unequal defects

Let T and T be C₁₀ contractions with characteristic functions H (ⁿⁿ⁺¹), H (^mm+1). The fundamental result is: T and T are quasisimilar if and only if The paper contains an analysis of this condition; examples are given.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 149, pp. 24–37, 1986.     

Complex Hyperbolic Quasi-Fuchsian Groups and Toledo's Invariant

We consider discrete, faithful, type-preserving representations of the fundamental group of a punctured Riemann surface into PU(21), the holomorphic isometry group of complex hyperbolic space. Our main result is that there is a continuous family of such representations which interpolates between -Fuchsian representations and -Fuchsian representations. Moreover, these representations take every possible (real) value of the Toledo invariant. This contrasts with the case of closed surfaces where -Fuchsian and -Fuchsian representations lie in different components of the representation variety. In that case the Toledo invariant lies in a discrete set and indexes the components of the representation variety.     

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

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     

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.     

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     

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.     

The general Stone-Weierstrass problem and extremal completely positive maps

Let A be a C*-algebra with identity e and let B be a C*-subalgebra of A that contains e. We show that if B separates the pure states of A, then, for each n, B also separates the set ECP(A,ⁿ;I) of extremal completely positive unital maps of A into ⁿ, thus giving another equivalent condition for the general Stone-Weierstrass conjecture for C*-algebras.     

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].     

On the Ordered K0‐Group of Universal, Free Product C*‐Algebras

The ordered K₀-group of the universal, unital free product C^*-algebra M_k()*M_l()is calculated in the case where k is prime and not a divisor in l. It is shown that the positive cone of K₀(M_k()*M_l())is as small as possible in this case. The article also contains results (full and partial) on the ordered K₀0-group of more general universal, unital free product C^* algebras.     

On the smoothness of the moduli space of mathematical instanton bundles

In this paper we prove that the moduli spaces MI _2n+1(k) of mathematical instanton bundles on ²ⁿ⁺¹ with quantum number k are singular for n 2 and k 3 ,giving a positive answer to a conjecture made by Ancona and Ottaviani in 1993.     

Invariant subrings of ℂ[X,Y,Z] which are complete intersections

It is known that for every finite subgroup G of SL(2,), the invariant subring [X,Y]^G is a hyper-surface. In this note we treat finite subgroups of SL(3,) and give complete classification of the finite subgroups of SL(3,) whose invariant subrings are complete intersections.     

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.     

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.     

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 .