Isometries with dense windings of the torus in <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">M</Emphasis>)

Let C(M) be the space of all continuous functions on M? ?. We consider the multiplication operator T: C(M) → C(M) defined by Tf(z) = zf(z) and the torus

$$O(M) = \left\{ {f:M \to \mathbb{C} \ntrianglelefteq \left\| f \right\| = \left\| {\frac{1}{f}} \right\| = 1} \right\}$$

. If M is a Kronecker set, then the T-orbits of the points of the torus ½O(M) are dense in ½O(M) and are ½-dense in the unit ball of C(M).

     

On the multiplicity of solutions of a system of algebraic equations

We obtain upper bounds for the multiplicity of an isolated solution of a system of equations f ₁ = ... = f _M = 0 in M variables, where the set of polynomials (f ₁, ..., f _M ) is a tuple of general position in a subvariety of a given codimension which does not exceed M, in the space of tuples of polynomials. It is proved that as M → ∞ this multiplicity grows no faster than \(\sqrt M \exp \left[ {\omega \sqrt M } \right]\), where ω > 0 is a certain constant.     

Non-closed isometry-invariant geodesics

Let c be a non-closed and bounded geodesic in a complete Riemannian manifold M. Assume that c is invariant under an isometry A of M and that c is not contained in the set of fixed points of A. We prove that, for some \({k\ge 2}\), the geodesic flow line ? corresponding to c is dense in a k-dimensional torus N embedded in TM. In particular, every geodesic with initial vector in N is A-invariant.     

On holomorphic immersions into kähler manifolds of constant holomorphic sectional curvature

We study holomorphic immersions f:X →M from a complex manifoldX into a Kähler manifold of constant holomorphic sectional curvatureM, i.e. a complex hyperbolic space form, a complex Euclidean space form, or the complex projective space equipped with the Fubini-Study metric. ForX compact we show that the tangent sequence splits holomorphically if and only iff is a totally geodesic immersion. ForX not necessarily compact we relate an intrinsic cohomological invariantp(X) onX, viz. the invariant defined by Gunning measuring the obstruction to the existence of holomorphic projective connections, to an extrinsic cohomological invariant(f) measuring the obstruction to the holomorphic splitting of the tangent sequence. The two invariantsp(X) and?(f) are related by a linear map on cohomology groups induced by the second fundamental form. In some cases, especially whenX is a complex surface andM is of complex dimension 4, under the assumption thatX admits a holomorphic projective connection we obtain a sufficient condition for the holomorphic splitting of the tangent sequence in terms of the second fundamental form.     

Traces of Quantized Canonical Transformations Localized on a Finite Set of Points

For an embedding i : X ? M of smooth manifolds and a Fourier integral operator Φ on M defined as the quantization of a canonical transformation g: T*M \ {0} → T*M \ {0}, we consider the operator i*Φi* on the submanifold X, where i* and i_* are the boundary and coboundary operators corresponding to the embedding i. We present conditions on the transformation g under which such an operator has the form of a Fourier integral operator associated with the fiber of the cotangent bundle over a point. We obtain an explicit formula for calculating the amplitude of this operator in local coordinates.     

Frobenius Differential-Algebraic Universums on Complex Algebraic Curves

In terms of differential generators and differential relations for a finitely generated commutative- associative differential C-algebra A (with a unit element) we study and determine necessary and sufficient conditions for the fact that under any Taylor homomorphism \(\widetilde \psi \)M: A → C[[z]] the transcendence degree of the image \(\widetilde \psi \)M(A) over C does not exceed 1 \(\left( {\widetilde \psi M{{\left( a \right)}^{\underline{\underline {def}} }}\sum\limits_{m = 0}^\infty {\psi M\left( {{a^{\left( m \right)}}} \right)} } \right)\frac{{{z^m}}}{{m!}}\), where a ∈ A, M ∈ Spec_CA is a maximal ideal in A, a^(m) is the result of m-fold application of the signature derivation of the element a, and ψM is the canonic epimorphism A → A/M).     

On Lipschitz extension from finite subsets

We prove that for every n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X, a Banach space (Z, \({\left\| \right\|_Z}\)) and a 1-Lipschitz function f: S → Z such that the Lipschitz constant of every function F: X → Z that extends f is at least a constant multiple of \(\sqrt {\log n} \). This improves a bound of Johnson and Lindenstrauss [JL84]. We also obtain the following quantitative counterpart to a classical extension theorem of Minty [Min70]. For every α ∈ (1/2, 1] and n ∈ ? there exists a metric space (X, d _X), an n-point subset S ? X and a function f: S → ?₂ that is α-Hölder with constant 1, yet the α-Hölder constant of any F: X → ?₂ that extends f satisfies \({\left\| F \right\|_{Lip\left( \alpha \right)}} > {\left( {\log n} \right)^{\frac{{2\alpha - 1}}{{4\alpha }}}} + {\left( {\frac{{\log n}}{{\log \log n}}} \right)^{{\alpha ^2} - \frac{1}{2}}}\). We formulate a conjecture whose positive solution would strengthen Ball’s nonlinear Maurey extension theorem [Bal92], serving as a far-reaching nonlinear version of a theorem of König, Retherford and Tomczak-Jaegermann [KRTJ80]. We explain how this conjecture would imply as special cases answers to longstanding open questions of Johnson and Lindenstrauss [JL84] and Kalton [Kal04].     

On the regularity of the one-sided Hardy-Littlewood maximal functions

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators \(\mathcal{M}^+\) and \(\mathcal{M}^-\). More precisely, we prove that \(\mathcal{M}^+\) and \(\mathcal{M}^-\) map W ^1,p (?) → W ^1,p (?) with 1 < p < 1, boundedly and continuously. In addition, we show that the discrete versions M ⁺ and M ^? map BV(?) → BV(?) boundedly and map l ¹(?) → BV(?) continuously. Specially, we obtain the sharp variation inequalities of M ⁺ and M ^?, that is

$$Var\left( {{M^ + }\left( f \right)} \right) \leqslant Var\left( f \right)andVar\left( {{M^ - }\left( f \right)} \right) \leqslant Var\left( f \right)$$

if f ∈ BV(?), where Var(f) is the total variation of f on ? and BV(?) is the set of all functions f: ? → ? satisfying Var(f) < 1.

     

The relative Chebyshev centers of finite sets in geodesic spaces

In the present paper we estimate variation in the relative Chebyshev radius R _W (M), where M and W are nonempty bounded sets of a metric space, as the sets M and W change. We find the closure and the interior of the set of all N-nets each of which contains its unique relative Chebyshev center, in the set of all N-nets of a special geodesic space endowed by the Hausdorff metric. We consider various properties of relative Chebyshev centers of a finite set which lie in this set.     

Geodesic Curves on {\mathbb{R}}-Complex Finsler Spaces

The main propose of this paper is to investigate the geodesic curves on a strongly convex \({\mathbb{R}}\)-complex Finsler space (M, F). We survey the first variation of the length integral associated to F and use this to give the equation of geodesic curves on such spaces. We prove the local existence and uniqueness of geodesic curves, under the weakly Kähler assumption. As an application, we characterize the critical points of the displacement function of a holomorphic isometry on M.     

Nonaffine differential-algebraic curves do not exist

The paper outlines why the spectrum of maximal ideals Spec _? A of a countable-dimensional differential ?-algebra A of transcendence degree 1 without zero divisors is locally analytic, which means that for any ?-homomorphism ψ _M: A → ? (M ∈ Spec _? A) and any a ∈ A the Taylor series \(\widetilde {{\psi _M}}{\left( a \right)^{\underline{\underline {def}} }}\sum\limits_{m = 0}^\infty {\psi M\left( {{a^{\left( m \right)}}} \right)} \frac{{{z^m}}}{{m!}}\) has nonzero radius of convergence depending on the element a ∈ A.     

Positive-fraction intersection results and variations of weak epsilon-nets

A connected Finsler space (M, F) is said to be homogeneous if it admits a transitive connected Lie group G of isometries. A geodesic in a homogeneous Finsler space (G / H, F) is called a homogeneous geodesic if it is an orbit of a one-parameter subgroup of G. In this paper, we study the problem of the existence of homogeneous geodesics on a homogeneous Finsler space, and prove that any homogeneous Finsler space of odd dimension admits at least one homogeneous geodesic through each point.     

Complete hypersurfaces with constant laguerre scalar curvature in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let x: M ^n?1 → R ⁿ be an umbilical free hypersurface with non-zero principal curvatures. Two basic invariants of M under the Laguerre transformation group of R ⁿ are Laguerre form C and Laguerre tensor L. In this paper, n > 3) complete hypersurface with vanishing Laguerre form and with constant Laguerre scalar curvature R in R ⁿ , denote the trace-free Laguerre tensor by ?\(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\) · Id. If \(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\), then M is Laguerre equivalent to a Laguerre isotropic hypersurface; and if \({\sup _M}\left\| {\widetilde L} \right\| = \frac{{\sqrt {\left( {n - 1} \right)\left( {n - 2} \right)} R}}{{\left( {n - 1} \right)\left( {n - 2} \right)\left( {n - 3} \right)}},\), M is Laguerre equivalent to the hypersurface ?x: H ¹ × S ^n?2 → R ⁿ .     

Erratum to: Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume \(\Vert M\Vert \) of M is equal to \(\mathrm{Vol}(M)/v_n\), where \(v_n\) is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio \(\mathrm{Vol}(M)/\Vert M\Vert \) is strictly smaller than \(v_n\) if M is compact with nonempty geodesic boundary. We prove here a quantitative version of Jungreis’ result for \(n\ge 4\), which bounds from below the ratio \(\Vert M\Vert /\mathrm{Vol}(M)\) in terms of the ratio \(\mathrm{Vol}(\partial M)/\mathrm{Vol}(M)\). As a consequence, we show that, for \(n\ge 4\), a sequence \(\{M_i\}\) of compact hyperbolic n-manifolds with geodesic boundary satisfies \(\lim _i \mathrm{Vol}(M_i)/\Vert M_i\Vert =v_n\) if and only if \(\lim _i \mathrm{Vol}(\partial M_i)/\mathrm{Vol}(M_i)=0\). We also provide estimates of the simplicial volume of hyperbolic manifolds with geodesic boundary in dimension 3.     

A Higgs bundle on a Hermitian symmetric space

Let \(M := \Gamma\backslash G/K\) be the quotient of an irreducible Hermitian symmetric space G/K by a torsionfree cocompact lattice \(\Gamma\subset G\) . There is a natural flat principal G-bundle over the compact Kähler manifold M which is constructed from the principal Γ-bundle over M defined by the quotient map \(G/K\longrightarrow M\) . We construct the principal G-Higgs bundle over M corresponding to this flat G-bundle. This principal G-Higgs bundle is rigid if \({\rm dim}_\mathbb{C} M\,\geq\,2\) .     

A new proof of a theorem of Petersen

Let M be an n-dimensional complete Riemannian manifold with Ricci curvature n- 1. By developing some new techniques, Colding(1996) proved that the following three conditions are equivalent: 1)dGH(M, S~n) → 0; 2) the volume of M Vol(M) → Vol(S~n); 3) the radius of M rad(M) →π. By developing a different technique, Petersen(1999) gave the 4th equivalent condition, namely he proved that the n + 1-th eigenvalue of M, λ_(n+1)(M) → n, is also equivalent to the radius of M, rad(M) →π, and hence the other two.In this paper, we use Colding's techniques to give a new proof of Petersen's theorem. We expect our estimates will have further applications.     

Existence theorems for nonlinear differential equations having trichotomy in banach spaces

We give existence theorems for weak and strong solutions with trichotomy of the nonlinear differential equation

$$\dot x\left( t \right) = \mathcal{L}\left( t \right)x\left( t \right) + f\left( {t,x\left( t \right)} \right),t \in \mathbb{R}$$

(P)

where {?(t): t ∈ R} is a family of linear operators from a Banach space E into itself and f: R × E → E. By L(E) we denote the space of linear operators from E into itself. Furthermore, for a < b and d > 0, we let C([?d, 0],E) be the Banach space of continuous functions from [?d, 0] into E and f ^d : [a, b] × C([?d, 0],E) → E. Let \(\hat {\mathcal{L}}:[a,b] \to L(E)\) be a strongly measurable and Bochner integrable operator on [a, b] and for t ∈ [a, b] define τ _t x(s) = x(t + s) for each s ∈ [?d, 0]. We prove that, under certain conditions, the differential equation with delay

$$\dot x\left( t \right) = \hat {\mathcal{L}}\left( t \right)x\left( t \right) + {f^d}\left( {t,{\tau _t}x} \right),ift \in \left[ {a,b} \right],$$

(Q)

has at least one weak solution and, under suitable assumptions, the differential equation (Q) has a solution. Next, under a generalization of the compactness assumptions, we show that the problem (Q) has a solution too.

     

Szegő kernels and Poincaré series

Let \(M = {{\widetilde M} \mathord{\left/ {\vphantom {{\widetilde M} \Gamma }} \right. \kern-\nulldelimiterspace} \Gamma }\) be a Kähler manifold, where Γ ~ π₁(M) and \(\widetilde M\) is the universal Kähler cover. Let (L, h) → M be a positive hermitian holomorphic line bundle. We first prove that the L² Szeg? projector \({\widetilde \Pi _N}\) for L²-holomorphic sections on the lifted bundle \({\widetilde L^N}\) is related to the Szeg? projector for H⁰(M, L^N) by \({\widehat \Pi _N}\left( {x,y} \right) = \sum\nolimits_{\gamma \in \Gamma } {{{\widetilde {\widehat \Pi }}_N}} \left( {\gamma \cdot x,y} \right)\). We then apply this result to give a simple proof of Napier’s theorem on the holomorphic convexity of \(\widetilde M\) with respect to \({\widetilde L^N}\) and to surjectivity of Poincaré series.     

The formation of black holes in spherically symmetric gravitational collapse

We consider the spherically symmetric, asymptotically flat Einstein–Vlasov system. We find explicit conditions on the initial data, with ADM mass M, such that the resulting spacetime has the following properties: there is a family of radially outgoing null geodesics where the area radius r along each geodesic is bounded by 2M, the timelike lines \({r=c\in [0,2M]}\) are incomplete, and for r > 2M the metric converges asymptotically to the Schwarzschild metric with mass M. The initial data that we construct guarantee the formation of a black hole in the evolution. We give examples of such initial data with the additional property that the solutions exist for all r ≥ 0 and all Schwarzschild time, i.e., we obtain global existence in Schwarzschild coordinates in situations where the initial data are not small. Some of our results are also established for the Einstein equations coupled to a general matter model characterized by conditions on the matter quantities.     

An extendability condition for bilipschitz functions

We give a new definition of λ-relatively connected set, some generalization of a uniformly perfect set. This definition is equivalent to the old definition for large λ but makes it possible to obtain stable properties for small λ. We prove the λ-relative connectedness of Cantor sets for corresponding λ. The main result is as follows: A ? ? admits the extension of all M-bilipschitz functions f: A → ? to M-bilipschitz functions F: ? → ? if and only if A is λ-relatively connected. We give exact estimates of the dependence of M and λ.