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

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.     

On the positive radial solutions of a class of singular semilinear elliptic equations

In this paper, we consider the following elliptic equation(0.1)$\mathit{div}\left(A\right(|x|\left)\mathrm{?}u\right)+B(|x|)u^p=0\text{in}{\mathbb{R}}^n,$ where $p>1$, $n?3$, $A(|x|)>0$ is differentiable in ${\mathbb{R}}^n?\{0\}$ and $B(|x|)$ is a given nonnegative Hölder continuous function in ${\mathbb{R}}^n?\{0\}$. The asymptotic behavior at infinity and structure of separation property of positive radial solutions with different initial data for (0.1) are discussed. Moreover, the existence and separation property of infinitely many positive solutions for Hardy equation and an equation related to Caffarelli–Kohn–Nirenberg inequality are obtained respectively, as special cases.     

Lehmer's totient problem over Fq[x]

In this paper, we consider the function field analogue of the Lehmer's totient problem. Let $p(x)\in {\mathbb{F}}_q[x]$ and $\phi (q,p(x))$ be the Euler's totient function of $p(x)$ over ${\mathbb{F}}_q[x]$, where ${\mathbb{F}}_q$ is a finite field with q elements. We prove that $\phi (q,p(x))|(q^{\mathrm{deg}(p(x))}?1)$ if and only if (i) $p(x)$ is irreducible; or (ii) $q=3$, $p(x)$ is the product of any 2 non-associate irreducibles of degree 1; or (iii) $q=2$, $p(x)$ is the product of all irreducibles of degree 1, all irreducibles of degree 1 and 2, and the product of any 3 irreducibles one each of degree 1, 2 and 3.     

Bivariate identities related to Chebyshev and Dickson polynomials over Fq

Let ${\mathbb{F}}_q$ be a field of q elements, where q is a power of an odd prime p. The polynomial $f(y)\in {\mathbb{F}}_q[y]$ defined by$f(y):={(1+\sqrt{y})}^{(q+1)/2}+{(1-\sqrt{y})}^{(q+1)/2}$ has the property that$f(1-y)=\rho (2)f(y),$ where ρ is the quadratic character on ${\mathbb{F}}_q$. This univariate identity was applied to prove a recent theorem of N. Katz. We formulate and prove a bivariate extension, and give an application to quadratic residuacity.     

A Gauss sum estimate in arbitrary finite fields

We establish bounds on exponential sums ${\sum }_{x\in {\mathbb{F}}_q}\psi (x^n)$ where $q=p^m$, p prime, and ψ an additive character on ${\mathbb{F}}_q$. They extend the earlier work of Bourgain, Glibichuk, and Konyagin to fields that are not of prime order $(m?2)$. More precisely, a non-trivial estimate is obtained provided n satisfies $\gcd (n,\frac{q?1}{p^{\nu }?1})<p^{?\nu }{q}^{1?\epsilon }$ for all $1?\nu <m$, $\nu |m$, where $\epsilon >0$ is arbitrary. To cite this article: J. Bourgain, M.-C. Chang, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Non-level semi-standard graded Cohen–Macaulay domain with h-vector (h0,h1,h2)

Let $\mathbb{k}$ be an algebraically closed field of characteristic 0, and $A={?}_{i\in \mathbb{N}}{A}_i$ a Cohen–Macaulay graded domain with $A_0=\mathbb{k}$. If A is semi-standard graded (i.e., A is finitely generated as a $\mathbb{k}[A_1]$-module), it has the h-vector$(h_0,h_1,\dots ,h_s)$, which encodes the Hilbert function of A. From now on, assume that $s=2$. It is known that if A is standard graded (i.e., $A=\mathbb{k}[A_1]$), then A is level. We will show that, in the semi-standard case, if A is not level, then $h_1+1$ divides $h_2$. Conversely, for any positive integers h and n, there is a non-level A with the h-vector $(1,h,(h+1)n)$. Moreover, such examples can be constructed as Ehrhart rings (equivalently, normal toric rings).     

Nonlinear fractional magnetic Schrödinger equation: Existence and multiplicity

In this paper we focus our attention on the following nonlinear fractional Schrödinger equation with magnetic field

${\epsilon }^{2s}{(?\mathrm{\Delta })}_{A/\epsilon }^{s}u+V(x)u=f(|u{|}^2)u\text{ in }{\mathbb{R}}^N,$

where $\epsilon >0$ is a parameter, $s\in (0,1)$, $N\ge 3$, ${(?\mathrm{\Delta })}_A^s$ is the fractional magnetic Laplacian, $V:{\mathbb{R}}^N\to \mathbb{R}$ and $A:{\mathbb{R}}^N\to {\mathbb{R}}^N$ are continuous potentials and $f:{\mathbb{R}}^N\to \mathbb{R}$ is a subcritical nonlinearity. By applying variational methods and Ljusternick–Schnirelmann theory, we prove existence and multiplicity of solutions for ε small.     

Elliptic operators with unbounded diffusion,drift and potential terms

We prove that the realization $A_p$ in $L^p({\mathbb{R}}^N),1<p<\infty$, of the elliptic operator $A=(1+|x{|}^{\alpha })\mathrm{\Delta }+b|x{|}^{\alpha ?1}\frac{x}{|x|}?\mathrm{?}?c|x{|}^{\beta }$ with domain $D(A_p)=\{u\in W^{2,p}({\mathbb{R}}^N)|Au\in L^p({\mathbb{R}}^N)\}$ generates a strongly continuous analytic semigroup $T(?)$ provided that $\alpha >2,\beta >\alpha ?2$ and any constants $b\in \mathbb{R}$ and $c>0$. This generalizes the recent results in [4] and in [16]. Moreover we show that $T(?)$ is consistent, immediately compact and ultracontractive.