Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

Minimal number of periodic points of smooth boundary-preserving self-maps of simply-connected manifolds

Let M be a smooth compact and simply-connected manifold with simply-connected boundary \(\partial M\), r be a fixed odd natural number. We consider f, a \(C^1\) self-map of M, preserving \(\partial M\). Under the assumption that the dimension of M is at least 4, we define an invariant \(D_r(f;M,\partial M)\) that is equal to the minimal number of r-periodic points for all maps preserving \(\partial M\) and \(C^1\)-homotopic to f. As an application, we give necessary and sufficient conditions for a reduction of a set of r-periodic points to one point in the \(C^1\)-homotopy class.     

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 Compactness Theorem of the Space of Free Boundary <Emphasis Type="Italic">f</Emphasis>-Minimal Surfaces in Three-Dimensional Smooth Metric Measure Space with Boundary

Let \((M^3,g,e^{-f}d\mu _M)\) be a compact three-dimensional smooth metric measure space with nonempty boundary. Suppose that M has nonnegative Bakry–Émery Ricci curvature and the boundary \(\partial M\) is strictly f-mean convex. We prove that there exists a properly embedded smooth f-minimal surface \(\Sigma \) in M with free boundary \(\partial \Sigma \) on \(\partial M\). If we further assume that the boundary \(\partial M\) is strictly convex, then we prove that \(M^3\) is diffeomorphic to the 3-ball \(B^3\), and a compactness theorem for the space of properly embedded f-minimal surfaces with free boundary in such \((M^3,g,e^{-f}d\mu _M)\), when the topology of these f-minimal surfaces is fixed.     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Harmonic Analysis on the Möbius Gyrogroup

In this paper we propose to develop harmonic analysis on the Poincaré ball \({{\mathbb {B}}_{t}^{n}}\), a model of the \(n\)-dimensional real hyperbolic space. The Poincaré ball \({{\mathbb {B}}_{t}^{n}}\) is the open ball of the Euclidean \(n\)-space \(\mathbb {R}^n\) with radius \(t >0\), centered at the origin of \(\mathbb {R}^n\) and equipped with Möbius addition, thus forming a Möbius gyrogroup where Möbius addition in the ball plays the role of vector addition in \(\mathbb {R}^n.\) For any \(t>0\) and an arbitrary parameter \(\sigma \in \mathbb {R}\) we study the \((\sigma ,t)\)-translation, the \((\sigma ,t)\)-convolution, the eigenfunctions of the \((\sigma ,t)\)-Laplace–Beltrami operator, the \((\sigma ,t)\)-Helgason Fourier transform, its inverse transform and the associated Plancherel’s Theorem, which represent counterparts of standard tools, thus, enabling an effective theory of hyperbolic harmonic analysis. Moreover, when \(t \rightarrow +\infty \) the resulting hyperbolic harmonic analysis on \({{\mathbb {B}}_{t}^{n}}\) tends to the standard Euclidean harmonic analysis on \(\mathbb {R}^n,\) thus unifying hyperbolic and Euclidean harmonic analysis. As an application we construct diffusive wavelets on \({{\mathbb {B}}_{t}^{n}}\).     

On the approximation of dynamical indicators in systems with nonuniformly hyperbolic behavior

Let f be a \(C^{1+\alpha }\) diffeomorphism of a compact Riemannian manifold and \(\mu \) an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that the topological pressure \(P(f|\Omega _n,\phi )\) converges to the free energy \(P_{\mu }(\phi ) = h(\mu ) + \int \phi {d\mu }\). We also prove that for a suitable class of potentials \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that \(P(f|\Omega _n,\phi ) \rightarrow P(\phi )\).     

The non-abelian tensor square of residually finite groups

Let m, n be positive integers and p a prime. We denote by \(\nu (G)\) an extension of the non-abelian tensor square \(G \otimes G\) by \(G \times G\). We prove that if G is a residually finite group satisfying some non-trivial identity \(f \equiv ~1\) and for every \(x,y \in G\) there exists a p-power \(q=q(x,y)\) such that \([x,y^{\varphi }]^q = 1\), then the derived subgroup \(\nu (G)'\) is locally finite (Theorem A). Moreover, we show that if G is a residually finite group in which for every \(x,y \in G\) there exists a p-power \(q=q(x,y)\) dividing \(p^m\) such that \([x,y^{\varphi }]^q\) is left n-Engel, then the non-abelian tensor square \(G \otimes G\) is locally virtually nilpotent (Theorem B).     

Analytic sets and extension of holomorphic maps of positive codimension

Let D, \(D'\) be arbitrary domains in \({\mathbb C}^n\) and \({\mathbb C}^N\) respectively, \(1<n\le N\), both possibly unbounded and \(M \subseteq \partial D\), \(M'\subseteq \partial D'\) be open pieces of the boundaries. Suppose that \(\partial D\) is smooth real-analytic and minimal in an open neighborhood of \({\bar{M}}\) and \(\partial D'\) is smooth real-algebraic and minimal in an open neighborhood of \({\bar{M}'}\). Let \(f: D\rightarrow D'\) be a holomorphic mapping such that the cluster set \(\mathrm{cl}_{f}(M)\) does not intersect \(D'\). It is proved that if the cluster set \(\mathrm{cl}_{f}(p)\) of some point \(p\in M\) contains some point \(q\in M'\) and the graph of f extends as an analytic set to a neighborhood of \((p, q)\in {\mathbb {C}}^n \times {\mathbb C}^N\), then f extends as a holomorphic map to a dense subset of some neighborhood of p. If in addition, \(M =\partial D\), \(M'=\partial D'\) and \(M'\) is compact, then f extends holomorphically across an open dense subset of \(\partial D\).     

On <Emphasis Type="Italic">f</Emphasis>-non-parabolic ends for Ricci-harmonic metrics

In this paper, we study gradient Ricci-harmonic soliton metrics and quasi Ricci-harmonic metrics (both metrics are called Ricci-harmonic). First, we prove that all ends of \(\tau \)-quasi Ricci-harmonic metrics with \(\tau >1\) should be f-non-parabolic if \(\lambda =0,\mu >0\), or \(\lambda <0, \mu \ge 0\). For the case that \(\lambda<0, \mu < 0\), we can also arrive at the f-non-parabolic property if we add a condition about the scalar curvature. Furthermore, we discuss the connectivity at infinity for quasi Ricci-harmonic metrics. We also conclude that all ends of steady or expanding gradient Ricci-harmonic solitons should be f-non-parabolic, based on which we establish structure theorems for these two solitons.     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

Vector-Valued Kernels of Bergman Type

Bergman reproducing integral formulas can be obtained for holomorphic mappings \(f{:}\,{\mathbb {B}}\rightarrow {\mathbb {C}}^n,\,{\mathbb {B}}\) the open unit ball of \({\mathbb {C}}^n\), by applying the well-known formulas for scalar-valued functions on \({\mathbb {B}}\) to each coordinate function of f, provided those coordinate functions each lie in an appropriate Bergman space. Here, we consider an alternative formulation whereby f is reproduced as the integral of the product of a fixed vector-valued kernel and the scalar expression \(\langle f(z),z \rangle ,\,z\in {\mathbb {B}}\), where \(\langle \cdot ,\cdot \rangle \) is the Hermitian inner product in \({\mathbb {C}}^n\). We provide two different classes of vector-valued kernels that reproduce holomorphic mappings lying in spaces properly containing the weighted vector-valued Bergman spaces. An analysis of these larger spaces is given. The first set of kernels arises naturally from the scalar-valued Bergman kernels, while the second yields the orthogonal projection onto an isomorphic space of scalar-valued functions in the unweighted case.     

The deformation of symplectic critical surfaces in a Kähler surface-II—compactness

In this paper we consider the compactness of \(\beta \)-symplectic critical surfaces in a Kähler surface. Let M be a compact Kähler surface and \(\Sigma _i\subset M\) be a sequence of closed \(\beta _i\)-symplectic critical surfaces with \(\beta _i\rightarrow \beta _0\in (0,\infty )\). Suppose the quantity \(\int _{\Sigma _i}\frac{1}{\cos ^q\alpha _i}d\mu _i\) (for some \(q>4\)) and the genus of \(\Sigma _{i}\) are bounded, then there exists a finite set of points \({{\mathcal {S}}}\subset M\) and a subsequence \(\Sigma _{i'}\) which converges uniformly in the \(C^l\) topology (for any \(l<\infty \)) on compact subsets of \(M\backslash {{\mathcal {S}}}\) to a \(\beta _0\)-symplectic critical surface \(\Sigma \subset M\), each connected component of \(\Sigma \setminus {{\mathcal {S}}}\) can be extended smoothly across \({{\mathcal {S}}}\).     

Quasi-classical generalized CRF structures

In an earlier paper, we studied manifolds M endowed with a generalized F structure \(\Phi \in \mathrm{End}(TM\oplus T^*M)\), skew-symmetric with respect to the pairing metric, such that \(\Phi ^3+\Phi =0\). Furthermore, if \(\Phi \) is integrable (in some well-defined sense), \(\Phi \) is a generalized CRF structure. In the present paper, we study quasi-classical generalized F and CRF structures, which may be seen as a generalization of the holomorphic Poisson structures (it is well known that the latter may also be defined via generalized geometry). The structures that we study are equivalent to a pair of tensor fields \((A\in \mathrm{End}(TM),\pi \in \wedge ^2TM)\), where \(A^3+A=0\) and some relations between A and \(\pi \) hold. We establish the integrability conditions in terms of \((A,\pi )\). They include the facts that A is a classical CRF structure, \(\pi \) is a Poisson bivector field and \(\mathrm{im}\,A\) is a (non)holonomic Poisson submanifold of \((M,\pi )\). We discuss the case where either \(\mathrm{ker}\,A\) or \(\mathrm{im}\,A\) is tangent to a foliation and, in particular, the case of almost contact manifolds. Finally, we show that the dual bundle of \(\mathrm{im}\,A\) inherits a Lie algebroid structure and we briefly discuss the Poisson cohomology of \(\pi \), including an associated spectral sequence and a Dolbeault type grading.     

Oscillation of holomorphic Bergman–Besov kernels on the ball

We estimate the oscillation of holomorphic Bergman–Besov reproducing kernels on the unit ball of \(\mathbb {C}^n\). As an application of this estimate we characterize holomorphic Bergman–Besov spaces \(A_\alpha ^p\,(\alpha \in \mathbb {R})\) in terms of double integrals of the fractions \(|f(z)-f(w)|/|z-w|\) and \(|f(z)-f(w)|/|1-\langle z,w \rangle |\) and complete the earlier works done on this subject. Our results provide, when \(\alpha \le -1\), a derivative-free characterization of \(A_\alpha ^p\).     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).     

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations

Let \((M,\Omega )\) be a connected symplectic 4-manifold and let \(F=(J,H) :M\rightarrow \mathbb {R}^2\) be a completely integrable system on M with only non-degenerate singularities. Assume that F does not have singularities with hyperbolic blocks and that \(p_1,\ldots ,p_n\) are the focus–focus singularities of F. For each subset \(S=\{i_1,\ldots ,i_j\}\), we will show how to modify F locally around any \(p_i, i \in S\), in order to create a new integrable system \(\widetilde{F}=(J, \widetilde{H}) :M \rightarrow \mathbb {R}^2\) such that its classical spectrum \(\widetilde{F}(M)\) contains j smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of \(\widetilde{F}\). Moreover the focus–focus singularities of \(\widetilde{F}\) are precisely \(p_i\), \(i \in \{1,\ldots ,n\} \setminus S\). The proof is based on Eliasson’s linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.     

A Parametric Jet-Interpolation Theorem for Holomorphic Automorphisms of $$\mathbb {C}^n$$

We consider the problem of interpolating a holomorphic family of nondegenerate holomorphic jets on \(\mathbb {C}^n\) for \(n>1\), parametrized by points in a Stein manifold, by a holomorphic family of automorphisms of \(\mathbb {C}^n\). We show that under a suitable topological condition it is possible to find a solution, thereby generalizing results of Forstneri? and Varolin concerning the nonparametric jet interpolation by automorphisms.     

Density and spectrum of minimal submanifolds in space forms

Let \(\varphi : M^m \rightarrow N^n\) be a minimal, proper immersion in an ambient space suitably close to a space form \(\mathbb {N}^n_k\) of curvature \(-k\le 0\). In this paper, we are interested in the relation between the density function \(\Theta (r)\) of M and the spectrum of its Laplace–Beltrami operator. In particular, we prove that if \(\Theta (r)\) has subexponential growth (when \(k<0\)) or sub-polynomial growth (\(k=0\)) along a sequence, then the spectrum of \(M^m\) is the same as that of the space form \(\mathbb {N}^m_k\). Notably, the result applies to Anderson’s (smooth) solutions of Plateau’s problem at infinity on the hyperbolic space, independently of their boundary regularity. We also give a simple condition on the second fundamental form that ensures M to have finite density. In particular, we show that minimal submanifolds with finite total curvature in the hyperbolic space also have finite density.     

Prescribed scalar curvature plus mean curvature flows in compact manifolds with boundary of negative conformal invariant

Using a geometric flow, we study the following prescribed scalar curvature plus mean curvature problem: Let \((M,g_0)\) be a smooth compact manifold of dimension \(n\ge 3\) with boundary. Given any smooth functions f in M and h on \(\partial M\), does there exist a conformal metric of \(g_0\) such that its scalar curvature equals f and boundary mean curvature equals h? Assume that f and h are negative and the conformal invariant \(Q(M,\partial M)\) is a negative real number, we prove the global existence and convergence of the so-called prescribed scalar curvature plus mean curvature flows. Via a family of such flows together with some additional variational arguments, we prove the existence and uniqueness of positive minimizers of the associated energy functional and give a confirmative answer to the above problem. The same result also can be obtained by sub–super-solution method and subcritical approximations.