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.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

On the sub poly-harmonic property for solutions to (−Δ)pu < 0 in Rn

In this note, we mainly study the relation between the sign of ${(?\mathrm{\Delta })}^{p}u$ and ${(?\mathrm{\Delta })}^{p?i}u$ in ${\mathbb{R}}^n$ with $p?2$ and $n?2$ for $1?i?p?1$. Given the differential inequality ${(?\mathrm{\Delta })}^{p}u<0$, first we provide several sufficient conditions so that ${(?\mathrm{\Delta })}^{p?1}u<0$ holds. Then we provide conditions such that ${(?\mathrm{\Delta })}^{i}u<0$ for all $i=1,2,\dots ,p?1$, which is known as the sub poly-harmonic property for u. In the last part of the note, we revisit the super poly-harmonic property for solutions to ${(?\mathrm{\Delta })}^{p}u={\mathrm{e}}^{2pu}$ and ${(?\mathrm{\Delta })}^{p}u=u^q$ with $q>0$ in ${\mathbb{R}}^n$.     

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.     

On a p-Laplace equation with multiple critical nonlinearities

Using the Mountain-Pass Theorem of Ambrosetti and Rabinowitz we prove that $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{u}^{p?1}={|x|}^{?s}{u}^{p^{?}(s)?1}+u^{p^{?}?1}$ admits a positive weak solution in ${\mathbb{R}}^n$ of class $D_1^p({\mathbb{R}}^n)\cap C^1({\mathbb{R}}^n?\{0\})$, whenever $\mu <{\mu }_1$, and ${\mu }_1={[(n?p)/p]}^p$. The technique is based on the existence of extremals of some Hardy–Sobolev type embeddings of independent interest. We also show that if $u\in D_1^p({\mathbb{R}}^n)$ is a weak solution in ${\mathbb{R}}^n$ of $?{\mathrm{\Delta }}_{p}u?\mu {|x|}^{?p}{|u|}^{p?2}u={|x|}^{?s}{|u|}^{p^{?}(s)?2}u+{|u|}^{q?2}u$, then $u\equiv 0$ when either $1<q<p^{?}$, or $q>p^{?}$ and u is also of class $L_{\mathrm{loc}}^{\infty }({\mathbb{R}}^n?\{0\})$.