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

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

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.     

Holomorphic differentials and Laguerre deformation of surfaces

A Laguerre geometric local characterization is given of L-minimal surfaces and Laguerre deformations (T-transforms) of L-minimal isothermic surfaces in terms of the holomorphicity of a quartic and a quadratic differential. This is used to prove that, via their L-Gauss maps, the T-transforms of L-minimal isothermic surfaces have constant mean curvature \(H=r\) in some translate of hyperbolic 3-space \({\mathbb {H}}^3(-r^2)\subset \mathbb {R}^4_1\), de Sitter 3-space \({\mathbb {S}}^3_1(r^2)\subset \mathbb {R}^4_1\), or have mean curvature \(H=0\) in some translate of a time-oriented lightcone in \(\mathbb {R}^4_1\). As an application, we show that various instances of the Lawson isometric correspondence can be viewed as special cases of the T-transformation of L-isothermic surfaces with holomorphic quartic differential.     

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.     

Fourth-order Schrödinger type operator with singular potentials

We prove that a deformation of a hypersurface in an (n + 1)-dimensional real space form \({{\mathbb S}^{n+1}_{p,1}}\) induces a Hamiltonian variation of the normal congruence in the space \({{\mathbb L}({\mathbb S}^{n+1}_{p,1})}\) of oriented geodesics. As an application, we show that every Hamiltonian minimal submanifold in \({{\mathbb L}({\mathbb S}^{n+1})}\) (resp. \({{\mathbb L}({\mathbb H}^{n+1})}\)) with respect to the (para-)Kähler Einstein structure is locally the normal congruence of a hypersurface \({\Sigma}\) in \({{\mathbb S}^{n+1}}\) (resp. \({{\mathbb H}^{n+1}}\)) that is a critical point of the functional \({{\mathcal W}(\Sigma) = \int_\Sigma\left(\Pi_{i=1}^n|\epsilon+k_i^2|\right)^{1/2}}\), where k_i denote the principal curvatures of \({\Sigma}\) and \({\epsilon \in \{-1, 1\}}\). In addition, for \({n = 2}\), we prove that every Hamiltonian minimal surface in \({{\mathbb L}({\mathbb S}^{3})}\) (resp. \({{\mathbb L}({\mathbb H}^{3})}\)), with respect to the (para-)Kähler conformally flat structure, is the normal congruence of a surface in \({{\mathbb S}^{3}}\) (resp. \({{\mathbb H}^{3}}\)) that is a critical point of the functional \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K+1}}\) (resp. \({{\mathcal W}\prime(\Sigma) = \int_\Sigma\sqrt{H^2-K-1}}\)), where H and K denote, respectively, the mean and Gaussian curvature of \({\Sigma}\).     

Complete classification of pseudo <Emphasis Type="Italic">H</Emphasis>-type Lie algebras: I

Let \({\mathscr {N}}\) be a 2-step nilpotent Lie algebra endowed with a non-degenerate scalar product \(\langle .\,,.\rangle \), and let \({\mathscr {N}}=V\oplus _{\perp }Z\), where Z is the centre of the Lie algebra and V its orthogonal complement. We study classification of the Lie algebras for which the space V arises as a representation space of the Clifford algebra \({{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\), and the representation map \(J:{{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\rightarrow {{\mathrm{End}}}(V)\) is related to the Lie algebra structure by \(\langle J_zv,w\rangle =\langle z,[v,w]\rangle \) for all \(z\in {\mathbb {R}}^{r,s}\) and \(v,w\in V\). The classification depends on parameters r and s and is completed for the Clifford modules V having minimal possible dimension, that are not necessary irreducible. We find necessary conditions for the existence of a Lie algebra isomorphism according to the range of the integer parameters \(0\le r,s<\infty \). We present a constructive proof for the isomorphism maps for isomorphic Lie algebras and determine the class of non-isomorphic Lie algebras.     

Constructions of complete permutation polynomials

Based on the Feistel and MISTY structures, this paper presents several new constructions of complete permutation polynomials (CPPs) of the finite field \({\mathbb {F}}_{2^{n}}^2\) for a positive integer n and three constructions of CPPs over \({\mathbb {F}}_{p^{n}}^m\) for any prime p and positive integer \(m\ge 2\). In addition, we investigate the upper bound on the algebraic degree of these CPPs and show that some of them can have nearly optimal algebraic degree.     

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.     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

A Note on the Deformations of Almost Complex Structures on Closed Four-Manifolds

In this paper, we calculate the dimension of the J-anti-invariant cohomology subgroup \(H_J^-\) on \({\mathbb {T}}^4\). Inspired by the concrete example, \({\mathbb {T}}^4\), we get that: on a closed symplectic 4-dimensional manifold \((M, \omega )\), \(h^-_J=0\) for generic \(\omega \)-compatible almost complex structures.     

On the Dual Form of ‘Low <Emphasis Type="Italic">M</Emphasis><Superscript>*</Superscript> Estimate’ in the Quasi-convex Case

Let\(B_{2}^{n}\) denote the Euclidean ball in\({\mathbb R}^n\), and, given closed star-shaped body\(K \subset {\mathbb R}^{n}, M_{K}\) denote the average of the gauge of K on the Euclidean sphere. Let\(p \in (0,1)\) and let\(K \subset {\mathbb R}^{n}\) be a p-convex body. In [17] we proved that for every\(\lambda \in (0,1)\) there exists an orthogonal projection P of rank\((1 - \lambda)n\) such that

$\frac{f(\lambda)}{M_K} PB^{n}_{2} \subset PK,$

where\(f(\lambda)=c_p\lambda^{1+1/p}\) for some positive constant c _p depending on p only. In this note we prove that\(f(\lambda)\) can be taken equal to\(C_p\lambda^{1/p-1/2}\). In terms of Kolmogorov numbers it means that for every\(k \leq n\)

$d_k (\hbox{Id}:\ell^{n}_{2} \to ({\mathbb R}^{n},\|\cdot\|_{K})) \leq C_p \frac{n^{1/p-1}}{k^{1/p-1/2}} \ell(\hbox{ID}: \ell^{n}_{2} \to ({\mathbb R}^{n}, \|\cdot\|_{K})),$

where\(\ell(\hbox{Id})={\bf E}\|\sum\limits^{n}_{i=1}g_i e_i\|_K\) for the independent standard Gaussian random variables\(\{g_i\}\) and the canonical basis\(\{e_i\}\) of\({\mathbb R}^n\). All results do not require the symmetry of K.

     

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.     

Separation Theorems for Group Invariant Polynomials

We study the existence of separation theorems by polynomials that are invariant under a group action. We show that if G is a finite subgroup of \(\textit{GL}(n,{\mathbb {C}})\), K is a set in \({\mathbb {C}}^{n}\) that is invariant under the action of G and z is a point in \({\mathbb {C}}^{n}\setminus K\) that can be separated from K by a polynomial Q, then z can be separated from K by a G-invariant polynomial P. Furthermore, if Q is homogeneous then P can be chosen to be homogeneous. As a particular case, if K is a symmetric polynomially convex compact set in \({\mathbb {C}}^{n}\) and \(z\notin K\) then there exists a symmetric polynomial that separates z and K.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

Normes cyclotomiques naïves et unités logarithmiques

We compute the \({\mathbb {Z}}\)-rank of the subgroup \(\widetilde{E}_K =\bigcap _{n\in {\mathbb {N}}} N_{K_n/K}(K_n^\times )\) of elements of the multiplicative group of a number field K that are norms from every finite level of the cyclotomic \({\mathbb {Z}}_\ell \)-extension \(K^c\) of K. Thus we compare its \(\ell \)-adification \({\mathbb {Z}}_\ell \otimes _{\mathbb {Z}}\widetilde{E}_K\) with the group of logarithmic units \(\widetilde{\varepsilon }_K\). By the way we point out an easy proof of the Gross–Kuz’min conjecture for \(\ell \)-undecomposed extensions of abelian fields.     

Complete real Kähler submanifolds in codimension two

Minimal isometric immersions \(f : M^{2n} \rightarrow {\mathbb{R}}^{2n+2}\) in codimension two from a complete Kähler manifold into Euclidean space had been classified in Dajczer and Gromoll (Invent Math 119:235–242, 1995) for n ≥  3. In this note we describe the non-minimal situation showing that, if f is real analytic but not everywhere minimal, then f is a cylinder over a real Kähler surface \(g : N^4 \rightarrow {\mathbb{R}}^6\) , that is, \(M^{2n} = N^4 \times {\mathbb{C}}^{n-2}\) and f = g × id split, where \({id} : {\mathbb{C}}^{n-2} \cong {\mathbb{R}}^{2n-4}\) is the identity map. Moreover, g can be further described.     

The primitive idempotents and weight distributions of irreducible constacyclic codes

Let \({\mathbb {F}}_q\) be a finite field with q elements such that \(l^v||(q^t-1)\) and \(\gcd (l,q(q-1))=1\), where l, t are primes and v is a positive integer. In this paper, we give all primitive idempotents in a ring \(\mathbb F_q[x]/\langle x^{l^m}-a\rangle \) for \(a\in {\mathbb {F}}_q^*\). Specially for \(t=2\), we give the weight distributions of all irreducible constacyclic codes and their dual codes of length \(l^m\) over \({\mathbb {F}}_q\).     

Space of invariant bilinear forms

Let \({\mathbb {F}}\) be a field, V a vector space of dimension n over \({\mathbb {F}}\). Then the set of bilinear forms on V forms a vector space of dimension \(n^2\) over \({\mathbb {F}}\). For char \({\mathbb {F}}\ne 2\), if T is an invertible linear map from V onto V then the set of T-invariant bilinear forms, forms a subspace of this space of forms. In this paper, we compute the dimension of T-invariant bilinear forms over \({\mathbb {F}}\). Also we investigate similar type of questions for the infinitesimally T-invariant bilinear forms (T-skew symmetric forms). Moreover, we discuss the existence of nondegenerate invariant (resp. infinitesimally invariant) bilinear forms.