Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

Parametric CR-umbilical locus of ellipsoids in C2

For every real numbers $a?1$, $b?1$ with $(a,b)\ne (1,1)$, the curve parametrized by $\theta \in \mathbb{R}$ valued in ${\mathbb{C}}^2?{\mathbb{R}}^4$

$\gamma :\theta ?(x(\theta )+\sqrt{?1}y(\theta ),u(\theta )+\sqrt{?1}v(\theta ))$

with components:

$\begin{array}{c}x(\theta ):=\sqrt{\frac{a?1}{a(ab?1)}}\cos ?\theta ,y(\theta ):=\sqrt{\frac{b(a?1)}{ab?1}}\sin ?\theta ,\hfill \\ u(\theta ):=\sqrt{\frac{b?1}{b(ab?1)}}\sin ?\theta ,v(\theta ):=?\sqrt{\frac{a(b?1)}{ab?1}}\cos ?\theta ,\hfill \end{array}$

has image contained in the CR-umbilical locus:

$\gamma (\mathbb{R})?\mathsf{UmbCR}\left({\mathsf{E}}_{a,b}\right)?{\mathsf{E}}_{a,b}$

of the ellipsoid ${\mathsf{E}}_{a,b}?{\mathbb{C}}^2$ of equation $a{x}^2+y^2+b{u}^2+v^2=1$, where the CR-umbilical locus of a Levi nondegenerate hypersurface $M^3?{\mathbb{C}}^2$ is the set of points at which the Cartan curvature of M vanishes.     

Construction of solutions via local Pohozaev identities

This paper deals with the following nonlinear elliptic equation

$?\mathrm{\Delta }u+V(|y^{\prime }|,y^{″})u=u^{\frac{N+2}{N?2}},u>0,u\in H^1({\mathbb{R}}^N),$

where $(y^{\prime },y^{″})\in {\mathbb{R}}^2\times {\mathbb{R}}^{N?2}$, $V(|y^{\prime }|,y^{″})$ is a bounded non-negative function in ${\mathbb{R}}^{+}\times {\mathbb{R}}^{N?2}$. By combining a finite reduction argument and local Pohozaev type of identities, we prove that if $N\ge 5$ and $r^{2}V(r,y^{″})$ has a stable critical point $(r_0,y_0^{″})$ with $r_0>0$ and $V(r_0,y_0^{″})>0$, then the above problem has infinitely many solutions. This paper overcomes the difficulty appearing in using the standard reduction method to locate the concentrating points of the solutions.     

Powerful numbers in (1ℓ + qℓ)(2ℓ + qℓ)⋯(nℓ + qℓ)

Let q be a positive integer. Recently, Niu and Liu proved that, if $n\ge \max ?\{q,1198?q\}$, then the product $(1^3+q^3)(2^3+q^3)?(n^3+q^3)$ is not a powerful number. In this note, we prove (1) that, for any odd prime power ? and $n\ge \max ?\{q,11?q\}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number, and (2) that, for any positive odd integer ?, there exists an integer $N_{q,?}$ such that, for any positive integer $n\ge N_{q,?}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number.     

The 2-center problem in three dimensions

Let P be a set of n points in ${\mathbb{R}}^3$. The 2-center problem for P is to find two congruent balls of minimum radius whose union covers P. We present a randomized algorithm for computing a 2-center of P that runs in $O(\beta (r^{?})n^2{\log }^{4}n\log \log n)$ expected time; here $\beta (r)=1/{(1?r/r_0)}^3$, $r^{?}$ is the radius of the 2-center balls of P, and $r_0$ is the radius of the smallest enclosing ball of P. The algorithm is near quadratic as long as $r^{?}$ is not too close to $r_0$, which is equivalent to the condition that the centers of the two covering balls be not too close to each other. This improves an earlier slightly super-cubic algorithm of Agarwal, Efrat, and Sharir (2000) [2] (at the cost of making the algorithm performance depend on the center separation of the covering balls).