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.     

The mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.     

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.     

Compact embedding results of Sobolev spaces and existence of positive solutions to quasilinear equations

In this paper, we study mainly the existence of multiple positive solutions for a quasilinear elliptic equation of the following form on ${\mathbf{R}}^N$, when $N\ge 2$,

(0.1)$?{\mathrm{\Delta }}_{N}u+V(x){\left|u\right|}^{N?2}u=\lambda {\left|u\right|}^{r?2}u+f(x,u).$

Here, $V(x)>0:{\mathbf{R}}^N\to \mathbf{R}$ is a suitable potential function, $r\in (1,N)$, $f(x,u)$ is a continuous function of N-superlinear and subcritical exponential growth without having the Ambrosetti–Rabinowitz condition, while $\lambda >0$ is a constant. A suitable Moser–Trudinger inequality and the compact embedding $W_{\mathrm{V}}^{1,N}\left({\mathbf{R}}^N\right)?L^r\left({\mathbf{R}}^N\right)$ are proved to study problem (0.1). Moreover, the compact embedding $H_{\mathrm{V}}^1\left({\mathbf{R}}^N\right)?L_{\mathrm{K}}^t\left({\mathbf{R}}^N\right)$ is also analyzed to investigate the existence of a positive ground state to the following nonlinear Schrödinger equation

(0.2)$?\mathrm{\Delta }u+V(x)u=K(x)g(u)$

with potentials vanishing at infinity in a measure-theoretic sense when $N\ge 3$.     

Large solutions to the Monge–Ampère equations with nonlinear gradient terms: Existence and boundary behavior

In this paper, we obtain conditions about the existence and boundary behavior of (strictly) convex solutions to the Monge–Ampère equations with boundary blow-up

$\det ?D^{2}u(x)=b(x)f(u(x))\pm |\mathrm{?}u{|}^q,x\in \mathrm{\Omega },u{|}_{?\mathrm{\Omega }}=+\infty ,$

and

$\det ?D^{2}u(x)=b(x)f(u(x))(1+|\mathrm{?}u{|}^q),x\in \mathrm{\Omega },u{|}_{?\mathrm{\Omega }}=+\infty ,$

where Ω is a strictly convex, bounded smooth domain in ${\mathbb{R}}^N$ with $N\ge 2$, $q\in [0,N]$ (or $q\in [0,N)$), $b\in C^{\infty }(\mathrm{\Omega })$ which is positive in Ω, but may vanish or blow up on the boundary, $f\in C[0,\infty )$, $f(0)=0$, and f is strictly increasing on $[0,\infty )$ (or $f\in C(\mathbb{R})$, $f(s)>0,?s\in \mathbb{R}$, and f is strictly increasing on $\mathbb{R}$).     

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.     

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.     

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 Δ.