Invariant currents and dynamical Lelong numbers

Let ƒ be a polynomial automorphism of ℂ^k of degree λ, whose rational extension to ℙ^k maps the hyperplane at infinity to a single point. Given any positive closed current S on ℙ^k of bidegree (1,1), we show that the sequence λ⁻ⁿ(ƒⁿ)*S converges in the sense of currents on ℙ^k to a linear combination of the Green current T₊ of ƒ and the current of integration along the hyperplane at infinity. We give an interpretation of the coefficients in terms of generalized Lelong numbers with respect to an invariant dynamical current for ƒ⁻¹.     

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.     

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

Number-theoretic properties of certain CR mappings

We first prove a uniqueness result for certain group-invariant CR mappings to hyperquadrics. For cyclic groups these mappings lead to a collection of polynomials ƒ_p,q (with integer coefficients) in two variables; here p and q are positive integers. We use the uniqueness result to prove some surprising number-theoretic results about the ƒ_p,q, in particular, ƒ_p,q is congruent to x^P + y^P modulo (p) (for P ≥ 2) if and only if p is prime. We also determine recurrence relations for these polynomials for q ≤ 3 and determine a functional equation for a generating function. Finally, we discuss the invariant polynomials that arise for certain representations of dihedral groups to illustrate the non-Abelian case.     

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.     

Lipschitz selections of set-valued mappings and Helly’s theorem

We prove a Helly-type theorem for the family of all m-dimensional convex compact subsets of a Banach space X. The result is formulated in terms of Lipschitz selections of set-valued mappings from a metric space (M, ρ) into this family. Let M be finite and let F be such a mapping satisfying the following condition: for every subset M′ ⊂ M consisting of at most 2^m+1 points, the restriction F|_M′ of F to M′ has a selection f_M′ (i. e., f_M′(x) ∈ F(x) for all x ∈ M′) satisfying the Lipschitz condition ‖ƒ_M′(x) − ƒ_M′(y)‖_X ≤ ρ(x, y), x, y ∈ M′. Then F has a Lipschitz selection ƒ: M → X such that ‖ƒ(x) − ƒ(y)‖_X ≤ γρ(x,y), x, y ∈ M where γ is a constant depending only on m and the cardinality of M. We prove that in general, the upper bound of the number of points in M′, 2^m+1, is sharp. If dim X = 2, then the result is true for arbitrary (not necessarily finite) metric space. We apply this result to Whitney’s extension problem for spaces of smooth functions. In particular, we obtain a constructive necessary and sufficient condition for a function defined on a closed subset of R ² to be the restriction of a function from the Sobolev space W _∞ ² (R ²).A similar result is proved for the space of functions on R ² satisfying the Zygmund condition.     

On the degree growth of birational mappings in higher dimension

Let ƒ be a birational map of C ^d ,and consider the degree complexity or asymptotic degree growth rate δ(ƒ) = lim_n → ∞ (deg(ƒⁿ))^1/n.We introduce a family of elementary maps, which have the form ƒ = L o J, where L is (invertible) linear, and J(x ₁ ⁻¹ ,..., x_d) = (x ₁ ⁻¹ ,...,x _d ⁻¹ .We develop a method of regularization and show how it can be used to compute δ for an elementary map.     

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.     

Novikov’s inversion formula for the attenuated Radon transform—A new approach

We study the inversion of weighted Radon transforms in two dimensions, R_ρƒ(L)=ƒ_L =ƒ(·), where the weight function ρ(L, x), L a line and x ∈ L, has a special form. It was an important breakthrough when R.G. Novikov recently gave an explicit formula for the inverse of R_ρ when ρ has the form(1.2); in this case R_ρ is called the attenuated Radon transform. Here we prove similar results for a somewhat larger class of ρ using completely different and quite elementary methods.     

Orthogonal factorizations of digraphs

Let G be a digraph with vertex set V(G) and arc set E(G) and let g = (g ⁻, g ⁺) and ƒ = (ƒ ⁻, ƒ ⁺) be pairs of positive integer-valued functions defined on V(G) such that g ⁻(x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ ƒ ⁺(x) for each x ∈ V(G). A (g, ƒ)-factor of G is a spanning subdigraph H of G such that g ⁻(x) ⩽ id _H (x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ od _H (x) ⩽ ƒ ⁺(x) for each x ∈ V(H); a (g, ƒ)-factorization of G is a partition of E(G) into arc-disjoint (g, ƒ)-factors. Let = {F ₁, F ₂,…, F _m} and H be a factorization and a subdigraph of G, respectively. is called k-orthogonal to H if each F _i , 1 ⩽ i ⩽ m, has exactly k arcs in common with H. In this paper it is proved that every (mg+m−1,mƒ−m+1)-digraph has a (g, f)-factorization k-orthogonal to any given subdigraph with km arcs if k ⩽ min{g ⁻(x), g ⁺(x)} for any x ∈ V(G) and that every (mg, mf)-digraph has a (g, f)-factorization orthogonal to any given directed m-star if 0 ⩽ g(x) ⩽ f(x) for any x ∈ V(G). The results in this paper are in some sense best possible.      

On localization of functions in the Bernstein space

For ϱ > 0, let be the closed subspace of L ¹(ℝ) consisting of functions ƒ having the Fourier transforms ƒ concentrated in [−ϱ, ϱ]. Let a > 0. In this paper, we consider the problem of maximal localization of the L ¹ norm on [−a, a] of functions from B _ϱ ¹ . More precisely, for a given a, we investigate the supremum of the quantity E _a (ƒ) = ∫ _−a ^a |ƒ(x)|dx over all ƒ from the unit ball of the space B _ϱ ¹ . __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 47, No. 4, pp. 573–590, October–December, 2007.     

A regularity theorem for deformations of a compact complex surface

Let ƒ:M →D ⊑C ⁿ be a holomorphic family of compact, complex surfaces, which is locally trivial onD∖Z, for an analytic subsetZ. Conditions are found under which ƒ extends trivially toD, if the fibers of ƒ|_D∖Z are either Hirzebruch surfaces (projective bundles overP ₁), Hopf surfaces (elliptic bundles overP ₁), hyperelliptic bundles, or any compact complex surface having one of these as minimal model under blowing-down. The results of this paper are motivated by the existence of non-Hausdorff moduli spaces in the deformation of complex structure for certain complex manifolds.     

The Yamabe problem for almost Hermitian manifolds

The conformal class of a Hermitian metric g on a compact almost complex manifold (M^2m, J) consists entirely of metrics that are Hermitian with respect to J. For each one of these metrics, we may define a J-twisted version of the Ricci curvature, the J-Ricci curvature, and its corresponding trace, the J-scalar curvature s^J. We ask if the conformal class of g carries a metric with constant s^J, an almost Hermitian version of the usual Yamabe problem posed for the scalar curvature s. We answer our question in the affirmative. In fact, we show that (2m−1)s^J−s=2(2m−1)W(ω, ω), where W is the Weyl tensor and ω is the fundamental form of g. Using techniques developed for the solution of the problem for s, we construct an almost Hermitian Yamabe functional and its corresponding conformal invariant. This invariant is bounded from above by a constant that only depends on the dimension of M, and when it is strictly less than the universal bound, the problem has a solution that minimizes the almost complex Yamabe functional. By the relation above, we see that when W (ω, ω) is negative at least one point, or identically zero, our problem has a solution that minimizes the almost Hermitian Yamabe functional, and the universal bound is reached only in the case of the standard 6-sphere equipped with a suitable almost complex structure. When W(ω, ω) is non-negative and not identically zero, we prove that the conformal invariant is strictly less than the universal bound, thus solving the problem for this type of manifolds as well. We discuss some applications.     

Proof of the double bubble curvature conjecture

An area minimizing double bubble in ℝⁿ is given by two (not necessarily connected) regions which have two prescribed n-dimensional volumes whose combined boundary has least (n−1)-dimensional area. The double bubble theorem states that such an area minimizer is necessarily given by a standard double bubble, composed of three spherical caps. This has now been proven for n = 2, 3,4, but is, for general volumes, unknown for n ≥ 5. Here, for arbitrary n, we prove a conjectured lower bound on the mean curvature of a standard double bubble. This provides an alternative line of reasoning for part of the proof of the double bubble theorem in ℝ³, as well as some new component bounds in ℝⁿ.     

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.     

Estimation and detection of a function from tensor product spaces

We observe an unknown function of d variables ƒ(t), t ∈ [0, 1]^d, in the white Gaussian noise of level ε > 0. We assume that {ie4526-01}, where {ie4526-02} is a ball in the Hilbert space {ie4526-03} of tensor product structure. Under minimax setup, we consider two problems: estimate ƒ (for quadratic losses) and detect ƒ, i.e., test the null hypothesis H₀: ƒ = 0 against the alternatives {ie4526-04}. We are interested in the case {ie4526-05}. We study sharp, rate, and log-asymptotics (as ε → 0 and d → ∞) in the problems. In particular, we show that log-asymptotics are essentially different for d ≪ log ε⁻¹ and d ≫ log ε⁻¹. Bibliography: 19 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 351, 2007, pp. 180–218.     

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

The Hering plane and associated designs

Absract We associate an affine planeA _ƒ with any automorphism ƒ of the additive group of the fieldF=GF(q), whereq is odd,F ^*=Δ ∪−Δ, and Δ=x ^ƒ x |x εF ^*. We compute the ternar of the planeA _ƒ. A simple construction of the Hering plane in the caseq=27,x ^ƒ=x−Trx=−x ³−x ⁹ and two designs associated with it are described in detail. Translated fromMatematicheskie Zametki, Vol. 60, No. 6, pp. 873–881, December, 1996.     

Lois fortes des grands nombres presque sûres pour les sommes de Riesz–Raikov

The classical theorem of Riesz and Raikov states that if a > 1 is an integer and ƒ is a function in L ¹(ℝ/ℤ), then the averages