Geodesic Ricci solitons on unit tangent sphere bundles

In the paper, (Abbassi and Kowalski, Ann Glob Anal Geom, 38: 11–20, 2010) the authors study Einstein Riemannian $g$ natural metrics on unit tangent sphere bundles. In this study, we equip the unit tangent sphere bundle $T_1 M$ of a Riemannian manifold $(M,g)$ with an arbitrary Riemannian $g$ natural metric $\tilde{G}$ and we show that if the geodesic flow $\tilde{\xi }$ is the potential vector field of a Ricci soliton $(\tilde{G},\tilde{\xi },\lambda )$ on $T_1M,$ then $(T_1M,\tilde{G})$ is Einstein. Moreover, we show that the Reeb vector field of a contact metric manifold is an infinitesimal harmonic transformation if and only if it is Killing. Thus, we consider a natural contact metric structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ over $T_1 M$ and we show that the geodesic flow $\tilde{\xi }$ is an infinitesimal harmonic transformation if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi },\tilde{\xi })$ is Sasaki $\eta $ -Einstein. Consequently, we get that $(\tilde{G},\tilde{\xi }, \lambda )$ is a Ricci soliton if and only if the structure $(\tilde{G}, \tilde{\eta }, \tilde{\varphi }, \tilde{\xi })$ is Sasaki-Einstein with $\lambda = 2(n-1) >0.$ This last result gives new examples of Sasaki–Einstein structures.     

\mathfrak D -parallelism of normal and structure Jacobi operators for hypersurfaces in complex two-plane Grassmannians

In this paper, we give non-existence theorems for Hopf hypersurfaces in complex two-plane Grassmannians $G_2(\mathbb{C }^{m+2})$ with $\mathfrak D $ -parallel normal Jacobi operator ${\bar{R}}_N$ and $\mathfrak D $ -parallel structure Jacobi operator $R_{\xi }$ if the distribution $\mathfrak D $ or $\mathfrak D ^{\bot }$ component of the Reeb vector field is invariant by the shape operator, respectively.     

ω — fundamental solutions supported in a half space

For a weight function ω let ${\cal D}^{\prime}_{(\omega)}({\rm R}^{n})$ denote the space of ultradistibutions of Beurling type on ?ⁿ in the sense of Braun, Meise and Taylor [3]. In the present note the existence of certain (local) fundamental solutions $E\in{\cal D}^{\prime}_{(\omega)}({\rm R}^{n})$ for a partial differential operator P(D) with constant coefficients is characterized by an algebraic condition for the zeros of P and the weight function ω.     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

The Lattice of Varieties of Completely Regular Semigroups

Polák’s theorem on the structure of the (lattice of) varieties of completely regular semigroups provides an isomorphic copy of the interval $[{\cal S,CR}]$ of varieties which contain semilattices in terms of certain functions. We give a variant of this theorem for the lattice ${\cal L(CR)}$ of all varieties of completely regular semigroups in terms of pairs with componentwise inclusion. The first entry of these pairs is a band variety and the second consists of a ?₀-tuple of members of ${\cal K}_0$ . Here ${\cal K}_0$ is the set of varieties which satisfy ${\cal V}_K={\cal V}$ where ${\cal V}_K$ is the least element of the K-class containing ${\cal V}$ . We have based the proof of our theorem on Polák’s theorem for the sake of expediency and comparison. It utilizes a set of varieties which we term canonical. Several corollaries treat various special cases.     

2-Nilpotent real section conjecture

We show a $2$ -nilpotent section conjecture over $\mathbb{R }$ : for a geometrically connected curve $X$ over $\mathbb{R }$ such that each irreducible component of its normalization has $\mathbb{R }$ -points, $\pi _0(X(\mathbb{R }))$ is determined by the maximal $2$ -nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for $X$ smooth and proper, $X(\mathbb{R })^{\pm }$ is determined by the maximal $2$ -nilpotent quotient of $\mathrm{Gal }(\mathbb{C }(X))$ with its $\mathrm{Gal }(\mathbb{R })$ action, where $X(\mathbb{R })^{\pm }$ denotes the set of real points equipped with a real tangent direction, showing a $2$ -nilpotent birational real section conjecture.     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

The modal logic of {\beta(\mathbb{N})}

Let ${\beta(\mathbb{N})}$ denote the Stone–?ech compactification of the set ${\mathbb{N}}$ of natural numbers (with the discrete topology), and let ${\mathbb{N}^\ast}$ denote the remainder ${\beta(\mathbb{N})-\mathbb{N}}$ . We show that, interpreting modal diamond as the closure in a topological space, the modal logic of ${\mathbb{N}^\ast}$ is S4 and that the modal logic of ${\beta(\mathbb{N})}$ is S4.1.2.     

On the images of horodisks under holomorphic self-maps of the unit disk

Suppose that f is a holomorphic self map of the unit disk ${\mathbb{D}}$ . Recently several monotonicity results related to the image of smaller disks under f have been proved. These results extend the classical Schwarz lemma in various ways. We prove analogous monotonicity results in the context of Julia’s boundary Schwarz lemma. A horodisk is a disk internally tangent to the unit circle. For positive ${\lambda}$ , we denote by ${H_{\lambda}}$ the disk of radius ${\lambda/(1\,+\,\lambda)}$ centered at the point ${1/(1\,+\,\lambda)}$ . This is a horodisk that touches the unit circle at the point 1. Suppose that f(1) = 1 (in the sense of radial limit) and denote by ${f^{\prime}(1)}$ the angular derivative. By Julia’s lemma ${f(H_{\lambda})\,\subset H_{{\lambda}f^{\prime}(1)}}$ . Let ${\Psi_f(\lambda)\,=\,\inf\,\{\rho > 0 : f(H_{\lambda}) \subset H_\rho\}}$ . We show that the function ${\Psi_f(\lambda)/\lambda}$ is a decreasing function of ${\lambda}$ and that ${\lim_{\lambda\,\to\,0+} \Psi_f(\lambda)/\lambda = f^\prime(1)}$ . This result implies that the constant ${f^\prime(1)}$ in Julia’s lemma is the best possible.     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Prescribed diagonal Schouten tensor in locally conformally flat manifolds

We consider the pseudo-euclidean space ${(\mathbb{R}^n, g)}$ , with n ≥  3 and ${g_{ij} = \delta_{ij} \varepsilon_i, \varepsilon_i = \pm 1}$ and tensors of the form ${T = \sum \nolimits_i \varepsilon_i f_i (x) dx_i^2}$ . In this paper, we obtain necessary and sufficient conditions for a diagonal tensor to admit a metric ${\bar{g}}$ , conformal to g, so that ${A_{\bar g}=T}$ , where ${A_{\bar g}}$ is the Schouten Tensor of the metric ${\bar g}$ . The solution to this problem is given explicitly for special cases for the tensor T, including a case where the metric ${\bar g}$ is complete on ${\mathbb{R}^n}$ . Similar problems are considered for locally conformally flat manifolds. As an application of these results we consider the problem of finding metrics ${\bar g}$ , conformal to g, such that ${\sigma_2 ({\bar g })}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })}}$ is equal to a given function. We prove that for some functions, f ₁ and f ₂, there exist complete metrics ${\bar{g} = g/{\varphi^2}}$ , such that ${\sigma_2 ({\bar g }) = f_1}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })} = f_2}$ .     

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space ${\mathcal{H}}$ , with ${dim(\mathcal{H}) \geq 3}$ , define ${\mathbb{S}(\mathcal{H}):= \{x\in \mathcal{H} \:|\: \|x\|=1\}}$ , and let ${\nu_\mathcal{H}}$ be the unique regular Borel positive measure invariant under the action of the unitary operators in ${\mathcal{H}}$ , with ${\nu_\mathcal{H}(\mathbb{S}(\mathcal{H}))=1}$ . We prove that if a complex frame function ${f : \mathbb{S}(\mathcal{H})\to \mathbb{C}}$ satisfies ${f \in \mathbb{L}^2(\mathbb{S}(\mathcal{H}), \nu_\mathcal{H})}$ , then it verifies Gleason’s statement: there is a unique linear operator ${A: \mathcal{H} \to \mathcal{H}}$ such that ${f(u) = \langle u| A u\rangle}$ for every ${u \in \mathbb{S}(\mathcal{H}).\,A}$ is Hermitean when f is real. No boundedness requirement is thus assumed on f a priori.     

On characterizations of real hypersurface in complex space form with Codazzi type structure Lie operator

In this paper, we prove that if $(\nabla _{X} L_{\xi })Y= (\nabla _{Y} L_{\xi })X$ holds on $M$ , then $M$ is a Hopf hypersurface, where $L_\xi $ denote the induced operator from the Lie derivative with respect to the structure vector field $\xi $ . We characterize such Hopf hypersurfaces of $M_n(c)$ .     

Actions infinitésimales dans la correspondance de Langlands locale p-adique

Let V be a two-dimensional absolutely irreducible ${\overline{\mathbb Qp}}$ -representation of ${{\rm Gal}(\overline{\mathbb Qp}/\mathbb Qp)}$ and let ${\prod(V)}$ be the ${{\rm GL}_2(\mathbb Qp)}$ Banach representation associated by Colmez??s p-adic Langlands correspondence. We establish a link between the action of the Lie algebra of ${{\rm GL}_2(\mathbb Qp)}$ on the locally analytic vectors ${\prod(V)^{\rm an}}$ of ${\prod(V)}$ , the connection ${\nabla}$ on the ${(\varphi, \Gamma)}$ -module associated to V and the Sen polynomial of V. This answers a question of Harris, concerning the infinitesimal character of ${\prod(V)^{\rm an}}$ . Using this result, we give a new proof of a theorem of Colmez, stating that ${\prod(V)}$ has nonzero locally algebraic vectors if and only if V is potentially semi-stable with distinct Hodge?CTate weights.     

Generalized normal homogeneous Riemannian metrics on spheres and projective spaces

In this paper, we develop new methods to study generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres ${S^n}$ . We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$ , the family of $G$ -invariant Riemannian metrics on $S^n$ contains generalized normal homogeneous but not normal homogeneous metrics if and only if this family depends on more than one parameters and $n\ge 5$ . Any such family (that exists only for $n=2k+1$ ) contains a metric $g_\mathrm{can}$ of constant sectional curvature $1$ on $S^n$ . We also prove that $(S^{2k+1}, g_\mathrm{can})$ is Clifford–Wolf homogeneous, and therefore generalized normal homogeneous, with respect to $G$ (except the groups $G={ SU}(k+1)$ with odd $k+1$ ). The space of unit Killing vector fields on $(S^{2k+1}, g_\mathrm{can})$ from Lie algebra $\mathfrak g $ of Lie group $G$ is described as some symmetric space (except the case $G=U(k+1)$ when one obtains the union of all complex Grassmannians in $\mathbb{C }^{k+1}$ ).