A local extension theorem for proper holomorphic mappings in ℂ<Superscript>2</Superscript>

Let ƒ: D → D′ be a proper holomorphic mapping between bounded domains D, D′ in ℂ².Let M, M′ be open pieces on δD, δD′, respectively that are smooth, real analytic and of finite type. Suppose that the cluster set of M under ƒ is contained in M′. It is shown that ƒ extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in ℂ².     

Analytic sets extending the graphs of holomorphic mappings

Let D, D′ ⊂ ℂⁿ be bounded domains with smooth real analytic boundaries and ƒ: D → D′ be a proper holomorphic map. Our main result implies that if the graph of ƒ extends as an analytic set to a neighborhood of a poìnt (a, a′) ∈ ∂D × 3D′ with a′ ∈ cl_ƒ(a), then ƒ extends holomorphically to a neighborhood of a.     

Logarithmic moduli spaces for surfaces of class VII

In this paper we describe logarithmic moduli spaces of pairs (S, D) consisting of a minimal surface S of class VII with second Betti number b ₂ > 0 together with a reduced maximal divisor D of b ₂ rational curves. The special case of Enoki surfaces has already been considered by Dloussky and Kohler. We use normal forms for the action of the fundamental group of S\D and for the associated holomorphic contraction . Part of this work was done while the first author visited the University of Osnabrück under the program “Globale Methoden in der komplexen Geometrie” of the DFG and while the second author visited the Max-Planck-Institut für Mathematik in Bonn and the LATP, Université de Provence. We thank these institutions for their hospitality and for financial support. Furthermore the authors wish to thank Georges Dloussky for numerous discussions on surfaces of class VII.     

A bound for the topological entropy of homeomorphisms of a punctured two-dimensional disk

We consider homeomorphisms ƒ of a punctured 2-disk D ² \ P, where P is a finite set of interior points of D ², which leave the boundary points fixed. Any such homeomorphism induces an automorphism ƒ _* of the fundamental group of D ² \ P. Moreover, to each homeomorphism ƒ, a matrix B _ƒ (t) from GL(n, ℤ[t, t ⁻¹]) can be assigned by using the well-known Burau representation. The purpose of this paper is to find a nontrivial lower bound for the topological entropy of ƒ. First, we consider the lower bound for the entropy found by R. Bowen by using the growth rate of the induced automorphism ƒ _*. Then we analyze the argument of B. Kolev, who obtained a lower bound for the topological entropy by using the spectral radius of the matrix B _ƒ (t), where t ∈ ℂ, and slightly improve his result. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 47–55, 2005.     

Polynomial hulls and an optimization problem

We say that a subset of Cⁿ is hypoconvex if its complement is the union of complex hyperplanes. We say it is strictly hypoconvex if it is smoothly bounded hypoconvex and at every point of the boundary the real Hessian of its defining function is positive definite on the complex tangent space at that point. Let B_n be the open unit ball in Cⁿ.Suppose K is a C^∞ compact manifold in ∂B₁ × Cⁿ, n > 1, diffeomorphic to ∂B₁ × ∂B_n, each of whose fibers K_z over ∂B₁ bounds a strictly hypoconvex connected open set. Let K be the polynomialhull of K. Then we show that K∖K is the union of graphs of analytic vector valued functions on B₁. This result shows that an unnatural assumption regarding the deformability of K in an earlier version of this result is unnecessary. Next, we study an H^∞ optimization problem. If pis a C^∞ real-valued function on ∂B₁× Cⁿ, we show that the infimum γ_ρ = inf_ƒ∈H ^∞ (B₁)ⁿ ‖ρ(z, ƒ (z))‖_∞ is attained by a unique bounded ƒ provided that the set (z, w) ∈ ∂B₁ × C ⁿ|ρ(z, w) ≤ γ_ρ has bounded connected strictly hypoconvex fibers over the circle.     

Estimates of Jacobians by subdeterminants

Let ƒ: Ω → ℝⁿ be a mapping in the Sobolev space W^1,n−1(Ω,ℝⁿ), n ≥ 2. We assume that the determinant of the differential matrix Dƒ (x) is nonnegative, while the cofactor matrix D^#ƒ satisfies , where L^p(Ω) is an Orlicz space. We show that, under the natural Divergence Condition on P, see (1.10), the Jacobian lies in L _loc ¹ (Ω). Estimates above and below L _loc ¹ (Ω) are also studied. These results are stronger than the previously known estimates, having assumed integrability conditions on the differential matrix.     

Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces

We show that ifG is a semisimple algebraic group defined overQ and Γ is an arithmetic lattice inG:=G _R with respect to theQ-structure, then there exists a compact subsetC ofG/Γ such that, for any unipotent one-parameter subgroup {u _t} ofG and anyg∈G, the time spent inC by the {u _t}-trajectory ofgΓ, during the time interval [0,T], is asymptotic toT, unless {g ⁻¹u_tg} is contained in aQ-parabolic subgroup ofG. Some quantitative versions of this are also proved. The results strengthen similar assertions forSL(n,Z),n≥2, proved earlier in [5] and also enable verification of a technical condition introduced in [7] for lattices inSL(3,R), which was used in our proof of Raghunathan’s conjecture for a class of unipotent flows, in [8].     

The region of values of the system {ƒ(z1), …, ƒ(zn)} in the class of typically real functions. II

The paper studies the region of values D_m,1(T) of the system {ƒ(z₁), ƒ(z₂), …, ƒ(zm), ƒ(r)}, m e 1, where z_j (j = 1, 2, …,m) are arbitrary fixed points of the disk U = {z: |z| < 1} with Im zj ≠ 0 (j = 1, 2, …,m), and r, 0 < r < 1, is fixed, in the class T of functions ƒ(z) = z+a₂z²+ ⋯ regular in the disk U and satisfying in the latter the condition Im ƒ(z) Imz > 0 for Im z ≠ 0. An algebraic characterization of the set D_m,1(T) in terms of nonnegative-definite Hermitian forms is given, and all the boundary functions are described. As an implication, the region of values of ƒ(z_m) in the subclass of functions from the class T with prescribed values ƒ(z_k) (k = 1, 2, …,m − 1) and ƒ(r) is determined. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 323, 2005, pp. 24–33. Original article submitted June 13, 2005.     

Energy estimate, energy gap phenomenon, and relaxed energy for Yang-Mills functional

Concerning the Yang-Mills functional over R ⁵ ∖ {a ₁,...,a _p },we calculate its energy using geometrical term. Moreover, we may find the energy gap phenomenon with respect to the Yang-Mills energy which occurs also for harmonic mapping etc. From this, we propose to consider new functional, called relaxed energy.     

The uniform norm of hyperinterpolation on the unit sphere in an arbitrary number of dimensions

In this paper we study the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere S ^r−1 ⊂ R^r. The hyperinterpolation approximation L _n ƒ, where ƒ ∈ C(S ^r −1), is derived from the exact L ² orthogonal projection Π ƒ onto the space P _n ^r (S ^r −1) of spherical polynomials of degree n or less, with the Fourier coefficients approximated by a positive weight quadrature rule that integrates exactly all polynomials of degree ≤ 2n. We extend to arbitrary r the recent r = 3 result of Sloan and Womersley [9], by proving that under an additional “quadrature regularity” assumption on the quadrature rule, the order of growth of the uniform norm of the hyperinterpolation operator on the unit sphere is O(n ^r /2−1), which is the same as that of the orthogonal projection Π_n, and best possible among all linear projections onto P _n ^r (S ^r −1).     

Interpolation by holomorphic automorphisms and embeddings in Cn

Let n > 1 and let C ⁿ denote the complex n-dimensional Euclidean space. We prove several jet-interpolation results for nowhere degenerate entire mappings F:C ⁿ →C ⁿ and for holomorphic automorphisms of C ⁿ on discrete subsets of C ⁿ.We also prove an interpolation theorem for proper holomorphic embeddings of Stein manifolds into C ⁿ.For each closed complex submanifold (or subvariety) M ⊂ C ⁿ of complex dimension m < n we construct a domain Ω ⊂C ⁿ containing M and a biholomorphic map F: Ω → C ⁿ onto C ⁿ with J F ≡ 1such that F(M) intersects the image of any nondegenerate entire map G:C ^n−m →C ⁿ at infinitely many points. If m = n − 1, we construct F as above such that C ⁿ ∖F(M) is hyperbolic. In particular, for each m ≥ 1we construct proper holomorphic embeddings F:C ^m →C ^m−1 such that the complement C ^m+1 ∖F(C ^m )is hyperbolic.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

A criterion for regular sequences

LetR be a commutative noetherian ring and ƒ₁, …, ƒ_r ∃ R. In this article we give (cf. the Theorem in §2) a criterion for ƒ₁, …, ƒ_r to be regular sequence for a finitely generated module overR which strengthens and generalises a result in [2]. As an immediate consequence we deduce that if V(g ₁, …,g _r ) ⊆ V(ƒ₁, …, ƒ_r) in SpecR and if ƒ₁, …, ƒ_r is a regular sequence inR, theng ₁, …,g _r is also a regular sequence inR.     

Oscillation of forced neutral differential equations with positive and negative coefficients

In this paper the forced neutral difterential equation with positive and negative coefficients d/dt [x(t)-R(t)x(t-r)] P(t)x(t-x)-Q(t)x(t-σ)=f(t),t≥t0,is considered,where f∈L^1(t0,∞)交集C([t0,∞],R^ )and r,x,σ∈(0,∞),The sufficient conditions to oscillate for all solutions of this equation are studied.     

Polynomials over division rings

LetD be a division ring with a centerC, andD[X ₁, …,X _N] the ring of polynomials inN commutative indeterminates overD. The maximum numberN for which this ring of polynomials is primitive is equal to the maximal transcendence degree overC of the commutative subfields of the matrix ringsM _n(D),n=1, 2, …. The ring of fractions of the Weyl algebras are examples where this numberN is finite. A tool in the proof is a non-commutative version of one of the forms of the “Nullstellensatz”, namely, simpleD[X ₁, …,X _m]-modules are finite-dimensionalD-spaces. This paper was written while the authors were Fellows of the Institute for Advanced Studies, The Hebrew University of Jerusalem, Mount Scopus, Jerusalem, Israel.     

Growth properties of plurisubharmonic functions related to Fourier-Laplace transforms

The purpose of the paper is to study the behavior at infinity of Fourier-Laplace transforms of distributions or more generally plurisubharmonic functions u in Cⁿ with bounds of the form

On a Fixed Point Theorem of Ky Fan

We generalize a theorem of Ky Fan about the nearest distance between a closed convex set D in a Banach space E and its image by a function ƒ:D→E, in several directions: (1) for noncompact sets D, when ƒ(D) precompact; (2) for compact D and upper semicontinuous multifunction ƒ and more generally, (3) for noncompact D and upper semicontinuous multifunction ƒ with ƒ(D) Hausdorff precompact. In particular, we prove a version of the fixed point theorem of Kakutani-Ky Fan for multifunctions whose values are convex closed bounded, thus not necessarily compact. Received May 23, 2000, Accepted September 4, 2001     

Real moduli of complex objects: Surfaces and bundles

Here we study the real locus (i.e. the fixed locus by the conjugation) of a few moduli spaces (defined overR) of complex objects (essentially moduli spaces of surfaces of general type or of vector bundles on curves andP ²).     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

Rang maximal pourT_{P^n }

Letk be an algebraically closed field,P ⁿ the n-dimensional projective space overk andT _P ⁿ the tangent vector bundle ofP ⁿ . In this paper I prove the following result: for every integerl, for every non-negative integers, ifZ _s is the union ofs points in sufficiently general position inP ⁿ , then the restriction mapH ⁰(P ⁿ ,T _P ⁿ (l)) →H ⁰(Z _s,T _P ⁿ (l)_{|z s} ) has maximal rank. This result implies that the last non-trivial term of the minimal free resolution of the homogeneous ideal ofZ _s is the conjectured one by the Minimal Resolution Conjecture of Anna Lorenzini (cf. [Lo]).