On homogeneous hypersurfaces in $${\mathbb {C}}^3$$

We consider a family \(M_t^n\), with \(n\geqslant 2\), \(t>1\), of real hypersurfaces in a complex affine n-dimensional quadric arising in connection with the classification of homogeneous compact simply connected real-analytic hypersurfaces in  \({\mathbb {C}}^n\) due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the embeddability of \(M_t^n\) in  \({\mathbb {C}}^n\) for \(n=3,7\). In our earlier article we showed that \(M_t^7\) is not embeddable in  \({\mathbb {C}}^7\) for every t and that \(M_t^3\) is embeddable in  \({\mathbb {C}}^3\) for all \(1<t<1+10^{-6}\). In the present paper, we improve on the latter result by showing that the embeddability of \(M_t^3\) in fact takes place for \(1<t<\sqrt{(2+\sqrt{2})/3}\). This is achieved by analyzing the explicit totally real embedding of the sphere \(S^3\) in \({\mathbb {C}}^3\) constructed by Ahern and Rudin. For \(t\geqslant {\sqrt{(2+\sqrt{2})/3}}\), the problem of the embeddability of \(M_t^3\) remains open.     

Why there is no an existence theorem for a convex polytope with prescribed directions and perimeters of the faces?

We choose some special unit vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) in \({\mathbb {R}}^3\) and denote by \({\mathscr {L}}\subset {\mathbb {R}}^5\) the set of all points \((L_1,\ldots ,L_5)\in {\mathbb {R}}^5\) with the following property: there exists a compact convex polytope \(P\subset {\mathbb {R}}^3\) such that the vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) (and no other vector) are unit outward normals to the faces of P and the perimeter of the face with the outward normal \({\mathbf {n}}_k\) is equal to \(L_k\) for all \(k=1,\ldots ,5\). Our main result reads that \({\mathscr {L}}\) is not a locally-analytic set, i.e., we prove that, for some point \((L_1,\ldots ,L_5)\in {\mathscr {L}}\), it is not possible to find a neighborhood \(U\subset {\mathbb {R}}^5\) and an analytic set \(A\subset {\mathbb {R}}^5\) such that \({\mathscr {L}}\cap U=A\cap U\). We interpret this result as an obstacle for finding an existence theorem for a compact convex polytope with prescribed directions and perimeters of the faces.     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Gibbs measures associated to the integrals of motion of the periodic derivative nonlinear Schrödinger equation

We study the one-dimensional periodic derivative nonlinear Schrödinger equation. This is known to be a completely integrable system, in the sense that there is an infinite sequence of formal integrals of motion \({\textstyle \int }h_k\), \(k\in {\mathbb {Z}}_{+}\). In each \({\textstyle \int }h_{2k}\) the term with the highest regularity involves the Sobolev norm \(\dot{H}^{k}({\mathbb {T}})\) of the solution of the DNLS equation. We show that a functional measure on \(L^2({\mathbb {T}})\), absolutely continuous w.r.t. the Gaussian measure with covariance \(({\mathbb {I}}+(-\varDelta )^{k})^{-1}\), is associated to each integral of motion \({\textstyle \int }h_{2k}\), \(k\ge 1\).     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Error Bounds for Consistent Reconstruction: Random Polytopes and Coverage Processes

Consistent reconstruction is a method for producing an estimate \(\widetilde{x} \in {\mathbb {R}}^d\) of a signal \(x\in {\mathbb {R}}^d\) if one is given a collection of \(N\) noisy linear measurements \(q_n = \langle x, \varphi _n \rangle + \epsilon _n\), \(1 \le n \le N\), that have been corrupted by i.i.d. uniform noise \(\{\epsilon _n\}_{n=1}^N\). We prove mean-squared error bounds for consistent reconstruction when the measurement vectors \(\{\varphi _n\}_{n=1}^N\subset {\mathbb {R}}^d\) are drawn independently at random from a suitable distribution on the unit-sphere \({\mathbb {S}}^{d-1}\). Our main results prove that the mean-squared error (MSE) for consistent reconstruction is of the optimal order \({\mathbb {E}}\Vert x - \widetilde{x}\Vert ^2 \le K\delta ^2/N^2\) under general conditions on the measurement vectors. We also prove refined MSE bounds when the measurement vectors are i.i.d. uniformly distributed on the unit-sphere \({\mathbb {S}}^{d-1}\) and, in particular, show that in this case, the constant \(K\) is dominated by \(d^3\), the cube of the ambient dimension. The proofs involve an analysis of random polytopes using coverage processes on the sphere.     

A new generalization of Hermite’s reciprocity law

Given a partition \(\lambda \) of n, the Schur functor \({\mathbb {S}}_\lambda \) associates to any complex vector space V, a subspace \({\mathbb {S}}_\lambda (V)\) of \(V^{\otimes n}\). Hermite’s reciprocity law, in terms of the Schur functor, states that \({\mathbb {S}}_{(p)}\left( {\mathbb {S}}_{(q)}({\mathbb {C}}^2)\right) \simeq {\mathbb {S}}_{(q)}\left( {\mathbb {S}}_{(p)}({\mathbb {C}}^2)\right) . \) We extend this identity to many other identities of the type \({\mathbb {S}}_{\lambda }\left( {\mathbb {S}}_{\delta }({\mathbb {C}}^2)\right) \simeq {\mathbb {S}}_{\mu }\left( {\mathbb {S}}_{\epsilon }({\mathbb {C}}^2)\right) \).     

Generalized Hénon Mappings and Foliation by Injective Brody Curves

We consider a finite composition of generalized Hénon mappings \({\mathfrak {f}}:{\mathbb {C}}^2\rightarrow {\mathbb {C}}^2\) and its Green function \({\mathfrak {g}}^+:{\mathbb {C}}^2\rightarrow {\mathbb {R}}_{\ge 0}\) (see Sect. 2). It is well known that each level set \(\{{\mathfrak {g}}^+=c\}\) for \(c>0\) is foliated by biholomorphic images of \({\mathbb {C}}\) and each leaf is dense. In this paper, we prove that each leaf is actually an injective Brody curve in \(\mathbb {P}^2\) (see Sect. 4). We also study the behavior of the level sets of \({\mathfrak {g}}^+\) near infinity.     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

A Short Proof of the Large Time Energy Growth for the Boussinesq System

We give a direct proof of the fact that the \(L^p\)-norms of global solutions of the Boussinesq system in \({\mathbb {R}}^3\) grow large as \(t\rightarrow \infty \) for \(1<p<3\) and decay to zero for \(3<p\le \infty \), providing exact estimates from below and above using a suitable decomposition of the space–time space \({\mathbb {R}}^{+}\times {\mathbb {R}}^{3}\). In particular, the kinetic energy blows up as \(\Vert u(t)\Vert _2^2\sim ct^{1/2}\) for large time. This contrasts with the case of the Navier–Stokes equations.     

Willmore surfaces of constant Möbius curvature

We study Willmore surfaces of constant Möbius curvature \({\mathcal{K}}\) in \({\mathbb{S}}^4\) . It is proved that such a surface in \({\mathbb{S}}^3\) must be part of a minimal surface in \({\mathbb{R}}^3\) or the Clifford torus. Another result in this paper is that an isotropic surface (hence also Willmore) in \({\mathbb{S}}^4\) of constant \({\mathcal{K}}\) could only be part of a complex curve in \({\mathbb{C}}^2 \cong {\mathbb{R}}^4\) or the Veronese 2-sphere in \({\mathbb{S}}^4\) . It is conjectured that they are the only possible examples. The main ingredients of the proofs are over-determined systems and isoparametric functions.     

There is exactly one $${\mathbb {Z}}_2{\mathbb {Z}}_4$$-cyclic 1-perfect code

Let \(\mathcal{C}\) be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive code of length \(n > 3\). We prove that if the binary Gray image of \(\mathcal{C}\) is a 1-perfect nonlinear code, then \(\mathcal{C}\) cannot be a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic code except for one case of length \(n=15\). Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive 1-perfect code gives a \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-additive extended 1-perfect code. We also prove that such a code cannot be \({\mathbb {Z}}_2{\mathbb {Z}}_4\)-cyclic.     

Fractional Sobolev metrics on spaces of immersed curves

Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) and on its Sobolev completions \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\). We prove local well-posedness of the geodesic equations both on the Banach manifold \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) and on the Fréchet-manifold \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) provided the order of the metric is greater or equal to one. In addition we show that the \(H^s\)-metric induces a strong Riemannian metric on the Banach manifold \({\mathcal {I}}^{s}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) of the same order s, provided \(s>\frac{3}{2}\). These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group.     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

The Whitney Extension Theorem for $$C^1$$, Horizontal Curves in the Heisenberg Group

For a real-valued function defined on a compact set \(K \subset {\mathbb {R}}^m\), the classical Whitney Extension Theorem from 1934 gives necessary and sufficient conditions for the existence of a \(C^k\) extension to \({\mathbb {R}}^m\). In this paper, we prove a version of the Whitney Extension Theorem in the case of \(C^1\), horizontal extensions for mappings defined on compact subsets of \({\mathbb {R}}\) taking values in the sub-Riemannian Heisenberg group \(\mathbb {H}^n\).     

Regularity for Inhomogeneous Dirichlet Problems of Some Schrödinger Equations on Domains

Let \(n\ge 3, \Omega \) be a bounded, simply connected and semiconvex domain in \({\mathbb {R}}^n\) and \(L_{\Omega }:=-\Delta +V\) a Schrödinger operator on \(L^2 (\Omega )\) with the Dirichlet boundary condition, where \(\Delta \) denotes the Laplace operator and the potential \(0\le V\) belongs to the reverse Hölder class \(RH_{q_0}({\mathbb {R}}^n)\) for some \(q_0\in (\max \{n/2,2\},\infty ]\). Assume that the growth function \(\varphi :\,{\mathbb {R}}^n\times [0,\infty ) \rightarrow [0,\infty )\) satisfies that \(\varphi (x,\cdot )\) is an Orlicz function and \(\varphi (\cdot ,t)\in {\mathbb {A}}_{\infty }({\mathbb {R}}^n)\) (the class of uniformly Muckenhoupt weights). Let \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) be the Musielak–Orlicz–Hardy space whose elements are restrictions of elements of the Musielak–Orlicz–Hardy space, associated with \(L_{{\mathbb {R}}^n}:=-\Delta +V\) on \({\mathbb {R}}^n\), to \(\Omega \). In this article, the authors show that the operators \(VL^{-1}_\Omega \) and \(\nabla ^2L^{-1}_\Omega \) are bounded from \(L^1(\Omega )\) to weak-\(L^1(\Omega )\), from \(L^p(\Omega )\) to itself, with \(p\in (1,2]\), and also from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to the Musielak–Orlicz space \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself. As applications, the boundedness of \(\nabla ^2{\mathbb {G}}_D\) on \(L^p(\Omega )\), with \(p\in (1,2]\), and from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself is obtained, where \({\mathbb {G}}_D\) denotes the Dirichlet Green operator associated with \(L_\Omega \). All these results are new even for the Hardy space \(H^1_{L_{{\mathbb {R}}^n},\,r}(\Omega )\), which is just \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) with \(\varphi (x,t):=t\) for all \(x\in {\mathbb {R}}^n\) and \(t\in [0,\infty )\).     

Morrey–Sobolev Extension Domains

We show that every uniform domain of \({{{\mathbb {R}}}^n}\) with \(n\ge 2\) is a Morrey–Sobolev \({\mathscr {W}}^{1,\,p}\)-extension domain for all \(p\in [1,\,n)\), and moreover, that this result is essentially the best possible for each \(p\in [1,\,n)\) in the sense that, given a simply connected planar domain or a domain of \({{{\mathbb {R}}}^n}\) with \(n\ge 3\) that is quasiconformal equivalent to a uniform domain, if it is a \({\mathscr {W}}^{1,\,p} \)-extension domain, then it must be uniform.     

Monotonicity of solutions for some nonlocal elliptic problems in half-spaces

In this paper we consider classical solutions u of the semilinear fractional problem \((-\Delta )^s u = f(u)\) in \({\mathbb {R}}^N_+\) with \(u=0\) in \({\mathbb {R}}^N {\setminus } {\mathbb {R}}^N_+\), where \((-\Delta )^s\), \(0<s<1\), stands for the fractional laplacian, \(N\ge 2\), \({\mathbb {R}}^N_+=\{x=(x',x_N)\in {\mathbb {R}}^N{:}\ x_N>0\}\) is the half-space and \(f\in C^1\) is a given function. With no additional restriction on the function f, we show that bounded, nonnegative, nontrivial classical solutions are indeed positive in \({\mathbb {R}}^N_+\) and verify

$$\begin{aligned} \frac{\partial u}{\partial x_N}>0 \quad \hbox {in } {\mathbb {R}}^N_+. \end{aligned}$$

This is in contrast with previously known results for the local case \(s=1\), where nonnegative solutions which are not positive do exist and the monotonicity property above is not known to hold in general even for positive solutions when \(f(0)<0\).

     

On Reachable Families of the Loewner Differential Equation in Several Complex Variables

Graham, Hamada, Kohr and Kohr studied the normalized time \(T\) reachable families \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) of the Loewner differential equation, which are generated by the Carathéodory mappings with values in a subfamily \(\Omega \) of the Carathéodory family \({\mathcal {N}}_A\) for the Euclidean unit ball \({\mathbb {B}}^n\), where \(A\) is a linear operator with \(k_+(A)<2m(A)\) (\(k_+(A)\) is the Lyapunov index of \(A\) and \(m(A)=\min \{\mathfrak {R}\left\langle Az,z\right\rangle \big |z\in {\mathbb {C}}^n,\Vert z\Vert =1\}\)). They obtained some compactness and density results, as generalizations of related results due to Roth, and conjectured that if \(\Omega \) is compact and convex, then \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) is compact and \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},ex\,\Omega )\) is dense in \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\), where \(ex\,\Omega \) denotes the corresponding set of extreme points and \(T\in [0,\infty ]\). We confirm this, by embedding the Carathéodory mappings in a suitable Bochner space.