Weak version of restriction estimates for spheres and paraboloids in finite fields

We study $L^p-L^r$ restriction estimates for algebraic varieties in d-dimensional vector spaces over finite fields. Unlike the Euclidean case, if the dimension d is even, then it is conjectured that the $L^{(2d+2)/(d+3)}-L^2$ Stein–Tomas restriction result can be improved to the $L^{(2d+4)/(d+4)}-L^2$ estimate for both spheres and paraboloids in finite fields. In this paper we show that the conjectured $L^p-L^2$ restriction estimate holds in the specific case when test functions under consideration are restricted to d-coordinate functions or homogeneous functions of degree zero. To deduce our result, we use the connection between the restriction phenomena for our varieties in d dimensions and those for homogeneous varieties in $(d+1)$ dimensions.     

Global uniqueness in an inverse problem for time fractional diffusion equations

Given $(M,g)$, a compact connected Riemannian manifold of dimension $d?2$, with boundary ?M, we consider an initial boundary value problem for a fractional diffusion equation on $(0,T)\times M$, $T>0$, with time-fractional Caputo derivative of order $\alpha \in (0,1)\cup (1,2)$. We prove uniqueness in the inverse problem of determining the smooth manifold $(M,g)$ (up to an isometry), and various time-independent smooth coefficients appearing in this equation, from measurements of the solutions on a subset of ?M at fixed time. In the “flat” case where M is a compact subset of ${\mathbb{R}}^d$, two out the three coefficients ρ (density), a (conductivity) and q (potential) appearing in the equation $\rho {?}_t^{\alpha }u?\mathrm{div}\left(a\mathrm{?}u\right)+qu=0$ on $(0,T)\times M$ are recovered simultaneously.     

Positive block matrices and numerical ranges

Any positive matrix M partitioned in four n-by-n blocks satisfies the unitarily invariant norm inequality $6M6\le 6M_{1,1}+M_{2,2}+\omega I6$, where ω is the width of the numerical range of $M_{1,2}$. Some related inequalities and a reverse Lidskii majorization are given.     

Minimal homogeneous Steiner 2-(v,3) trades

A Steiner 2-$(v,3)$ trade is a pair $(T_1,T_2)$ of disjoint partial Steiner triple systems, each on the same set of $v$ points, such that each pair of points occurs in $T_1$ if and only if it occurs in $T_2$. A Steiner 2-$(v,3)$ trade is called d-homogeneous if each point occurs in exactly d blocks of $T_1$ (or $T_2$). In this paper we construct minimal d-homogeneous Steiner 2-$(v,3)$ trades of foundation $v$ and volume $\mathit{dv}/3$ for sufficiently large values of $v$. (Specifically, $v>3(1.75d^2+3)$ if $v$ is divisible by 3 and $v>d(4^{d/3+1}+1)$ otherwise.)     

Classification of some 3-subgroups of the finite groups of Lie type E6

We consider the finite exceptional group of Lie type $G=E_6^{\epsilon }(q)$ (universal version) with $3|q?\epsilon$, where $E_6^{+1}(q)=E_6(q)$ and $E_6^{?1}(q){=}^2{E}_6(q)$. We classify, up to conjugacy, all maximal-proper 3-local subgroups of G, that is, all 3-local $M<G$ which are maximal with respect to inclusion among all proper subgroups of G which are 3-local. To this end, we also determine, up to conjugacy, all elementary-abelian 3-subgroups containing $Z(G)$, all extraspecial subgroups containing $Z(G)$, and all cyclic groups of order 9 containing $Z(G)$. These classifications are an important first step towards a classification of the 3-radical subgroups of G, which play a crucial role in many open conjectures in modular representation theory.     

On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.     

Asymptotic expansions for Laplace transforms of Markov processes

Let ${\mu }^{?}$ be the probability measures on $D[0,T]$ of suitable Markov processes ${\{{\xi }_t^{?}\}}_{0\le t\le T}$ (possibly with small jumps) depending on a small parameter $?>0$, where $D[0,T]$ denotes the space of all functions on $[0,T]$ which are right continuous with left limits. In this paper we investigate asymptotic expansions for the Laplace transforms ${\int }_{D[0,T]}\exp ?\{{?}^{?1}F(x)\}{\mu }^{?}(dx)$ as $?\to 0$ for smooth functionals F on $D[0,T]$. This study not only recovers several well-known results, but more importantly provides new expansions for jump Markov processes. Besides several standard tools such as exponential change of measures and Taylor's expansions, the novelty of the proof is to implement the expectation asymptotic expansions on normal deviations which were recently derived in [13].     

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

Extension operators and twisted sums of c0 and C(K) spaces

We investigate the following problem posed by Cabello Sanchéz, Castillo, Kalton, and Yost:Let K be a nonmetrizable compact space. Does there exist a nontrivial twisted sum of $c_0$ and $C(K)$, i.e., does there exist a Banach space X containing a non-complemented copy Y of $c_0$ such that the quotient space $X/Y$ is isomorphic to $C(K)$?Using additional set-theoretic assumptions we give the first examples of compact spaces K providing a negative answer to this question. We show that under Martin's axiom and the negation of the continuum hypothesis, if either K is the Cantor cube $2^{{\omega }_1}$ or K is a separable scattered compact space of height 3 and weight ${\omega }_1$, then every twisted sum of $c_0$ and $C(K)$ is trivial.We also construct nontrivial twisted sums of $c_0$ and $C(K)$ for K belonging to several classes of compacta. Our main tool is an investigation of pairs of compact spaces $K?L$ which do not admit an extension operator $C(K)\to C(L)$.     

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.     

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.