Hyper-(rank one) groups

A group $G$ is called a $\mathcal{P }_1$ -group if it has a normal series of finite length whose factors have rank $1$ , while $G$ is an $\mathcal{H }_1$ -group if it has an ascending normal series of the same type. This paper investigates properties of $\mathcal{P }_1$ -groups and $\mathcal{H }_1$ -groups which correspond to known properties of nilpotent and supersoluble groups.     

On locally finite groups with a four-subgroup whose centralizer is small

Let $G$ be a locally finite group which contains a non-cyclic subgroup $V$ of order four such that $C_{G}\left( V\right) $ is finite and $C_{G}\left( \phi \right)$ has finite exponent for some $\phi \in V$ . We show that $[G,\phi ]^{\prime }$ has finite exponent. This enables us to deduce that $G$ has a normal series $1\le G_1\le G_2\le G_3\le G$ such that $G_1$ and $G/G_2$ have finite exponents while $G_2/G_1$ is abelian. Moreover $G_3$ is hyperabelian and has finite index in $G$ .     

The Ubiquity of the Orders of Fractional Semifields of Even Characteristic

To each non-square integer \(2^{2N+1}\ge 2^5\) there correspond semifields \(D\) of order of \(2^{2N+1}\) that contain \(\text{ GF}(4)\) . Hence there exist affine planes for each non-square order \(2^{2N+1}\ge 2^{5}\) that contain subaffine planes of order \(2^2\) . Moreover, there also exists semifields \(D_1\) and \(D_2\) , with \(|D_1|= |D_2| =|D|\) such that \(D_1\) is commutative and \(D_2\) is non-commutative but neither \(D_1\) nor \(D_2\) contains \(\text{ GF}(4)\) .     

Units of compatible nearrings,IV

This is the fourth in a sequence of papers originating in a effort to study the units of a compatible nearring $R$ satisfying the descending chain condition on right ideals using a faithful compatible module $G$ of $R$ . A key point in this endeavor involves determining $1 + Ann_R(G/H)$ where $H$ is a direct sum of isomorphic minimal $R$ -ideals where success in doing so gives us not only information about the units of $R$ , but also information about $R$ and $J_2(R)$ . In the previous papers, $1 + Ann_R(G/H)$ has been determined whenever $G/H$ does not contain a minimal factor isomorphic to the minimal summands of $H$ . In this paper we determine $1 + Ann_R(G/H)$ when $G/H$ does contain a minimal factor isomorphic to the minimal summands of $H$ . With the completion of the determination of $1 + Ann_R(G/H)$ in all cases, we illustrate how things work in practice by considering the nearrings generated by the inner automorphisms of a finite dihedral group, special linear group, and general linear group and nearrings of congruence preserving functions on an expanded group.     

Sharp energy estimates for nonlinear fractional diffusion equations

We study the nonlinear fractional equation $(-\Delta )^su=f(u)$ in $\mathbb R ^n,$ for all fractions $0<s<1$ and all nonlinearities $f$ . For every fractional power $s\in (0,1)$ , we obtain sharp energy estimates for bounded global minimizers and for bounded monotone solutions. They are sharp since they are optimal for solutions depending only on one Euclidian variable. As a consequence, we deduce the one-dimensional symmetry of bounded global minimizers and of bounded monotone solutions in dimension $n=3$ whenever $1/2\le s<1$ . This result is the analogue of a conjecture of De Giorgi on one-dimensional symmetry for the classical equation $-\Delta u=f(u)$ in $\mathbb R ^n$ . It remains open for $n=3$ and $s<1/2$ , and also for $n\ge 4$ and all $s$ .     

On the zeros of Meixner polynomials

We investigate the zeros of a family of hypergeometric polynomials $M_n(x;\beta ,c)=(\beta )_n\,{}_2F_1(-n,-x;\beta ;1-\frac{1}{c})$ , $n\in \mathbb N ,$ known as Meixner polynomials, that are orthogonal on $(0,\infty )$ with respect to a discrete measure for $\beta >0$ and $0<c<1.$ When $\beta =-N$ , $N\in \mathbb N $ and $c=\frac{p}{p-1}$ , the polynomials $K_n(x;p,N)=(-N)_n\,{}_2F_1(-n,-x;-N;\frac{1}{p})$ , $n=0,1,\ldots , N$ , $0<p<1$ are referred to as Krawtchouk polynomials. We prove results for the zero location of the orthogonal polynomials $M_n(x;\beta ,c)$ , $c<0$ and $n<1-\beta $ , the quasi-orthogonal polynomials $M_n(x;\beta ,c)$ , $-k<\beta <-k+1$ , $k=1,\ldots ,n-1$ and $0<c<1$ or $c>1,$ as well as the polynomials $K_{n}(x;p,N)$ with non-Hermitian orthogonality for $0<p<1$ and $n=N+1,N+2,\ldots $ . We also show that the polynomials $M_n(x;\beta ,c)$ , $\beta \in \mathbb R $ are real-rooted when $c\rightarrow 0$ .     

Maximal Equilateral Sets

A subset of a normed space $X$ X is called equilateral if the distance between any two points is the same. Let $m(X)$ m ( X ) be the smallest possible size of an equilateral subset of $X$ X maximal with respect to inclusion. We first observe that Petty’s construction of a $d$ d - $X$ X of any finite dimension $d\ge 4$ d ≥ 4 with $m(X)=4$ m ( X ) = 4 can be generalised to give $m(X\oplus _1\mathbb R )=4$ m ( X ⊕ 1 R ) = 4 for any $X$ X of dimension at least $2$ 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $\Gamma $ Γ , $m(\ell _p(\Gamma ))$ m ( ? p ( Γ ) ) is finite and bounded above by a function of $p$ p , for all $1\le p<2$ 1 ≤ p < 2 . Also, for all $p\in [1,\infty )$ p ∈ [ 1 , ∞ ) and $d\in \mathbb N $ d ∈ N there exists $c=c(p,d)>1$ c = c ( p , d ) > 1 such that $m(X)\le d+1$ m ( X ) ≤ d + 1 for all $d$ d - $X$ X with Banach–Mazur distance less than $c$ c from $\ell _p^d$ ? p d . Using Brouwer’s fixed-point theorem we show that $m(X)\le d+1$ m ( X ) ≤ d + 1 for all $d$ d - $X$ X with Banach–Mazur distance less than $3/2$ 3 / 2 from $\ell _\infty ^d$ ? ∞ d . A graph-theoretical argument furthermore shows that $m(\ell _\infty ^d)=d+1$ m ( ? ∞ d ) = d + 1 . The above results lead us to conjecture that $m(X)\le 1+\dim X$ m ( X ) ≤ 1 + dim X for all finite-normed spaces $X$ X .     

On the third gap for proper holomorphic maps between balls

Let $F$ be a proper rational map from the complex ball $\mathbb B ^n$ into $\mathbb B ^N$ with $n>7$ and $3n+1 \le N\le 4n-7$ . Then $F$ is equivalent to a map $(G, 0, \dots , 0)$ where $G$ is a proper holomorphic map from $\mathbb B ^n$ into $\mathbb B ^{3n}$ .     

On the commuting probability and supersolvability of finite groups

For a finite group \(G\) , let \(d(G)\) denote the probability that a randomly chosen pair of elements of \(G\) commute. We prove that if \(d(G)>1/s\) for some integer \(s>1\) and \(G\) splits over an abelian normal nontrivial subgroup \(N\) , then \(G\) has a nontrivial conjugacy class inside \(N\) of size at most \(s-1\) . We also extend two results of Barry, MacHale, and Ní Shé on the commuting probability in connection with supersolvability of finite groups. In particular, we prove that if \(d(G)>5/16\) then either \(G\) is supersolvable, or \(G\) isoclinic to \(A_4\) , or \(G/\mathbf{Z}(G)\) is isoclinic to \(A_4\) .     

On pointwise estimate for Gamma operators

For linear combinations of Gamma operators, if 0＜a＜2r, 1/2-1/2r≤λ≤l, or 0≤λ＜1/2-1/2r(r≥2),0＜a＜r+10＜a<(r+1)/1-λ, we obtain an equivalent theorem with ωuλρ(f ,t) instead of ωrλφ(f,t), where ωuφ(f,t) is theDitzian-Totik moduli of smoothness.     

Growth in solvable subgroups of {{\mathrm{GL}}}_r({\mathbb {Z}}/p{\mathbb {Z}})

Let \(K={\mathbb {Z}}/p{\mathbb {Z}}\) and let \(A\) be a subset of \({{\mathrm{GL}}}_r(K)\) such that \(\langle A \rangle \) is solvable. We reduce the study of the growth of \(A\) under the group operation to the nilpotent setting. Fix a positive number \(C\ge 1\) ; we prove that either \(A\) grows (meaning \(|A_3|\ge C|A|\) ), or else there are groups \(U_R\) and \(S\) , with \(U_R\unlhd S \unlhd \langle A\rangle \) , such that \(S/U_R\) is nilpotent, \(A_k\cap S\) is large and \(U_R\subseteq A_k\) , where \(k\) depends only on the rank \(r\) of \({{\mathrm{GL}}}_r(K)\) . Here \(A_k = \{x_1 x_2 \cdots x_k : x_i \in A \cup A^{-1} \cup \{1\}\}\) . When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that \(\langle A \rangle \) is solvable.     

A converse of Baer’s theorem

Schur’s classical theorem states that for a group $G$ , if $G/Z(G)$ is finite, then $G'$ is finite. Baer extended this theorem for the factor group $G/Z_n(G)$ , in which $Z_n(G)$ is the $n$ -th term of the upper central series of $G$ . Hekster proved a converse of Baer’s theorem as follows: If $G$ is a finitely generated group such that $\gamma _{n+1}(G)$ is finite, then $G/Z_n(G)$ is finite where $\gamma _{n+1}(G)$ denotes the $(n+1)$ st term of the lower central series of $G$ . In this paper, we generalize this result by obtaining the same conclusion under the weaker hypothesis that $G/Z_n(G)$ is finitely generated. Furthermore, we show that the index of the subgroup $Z_n(G)$ is bounded by a precisely determined function of the order of $\gamma _{n+1}(G)$ . Moreover, we prove that the mentioned theorem of Hekster is also valid under a weaker condition that $Z_{2n}(G)/Z_{n}(G)$ is finitely generated. Although in this case the bound for the order of $\gamma _{n+1}(G)$ is not achieved.     

Construction of relative difference sets and Hadamard groups

‘There exist normal \((2m,2,2m,m)\) relative difference sets and thus Hadamard groups of order \(4m\) for all \(m\) of the form $$\begin{aligned} m= x2^{a+t+u+w+\delta -\epsilon +1}6^b 9^c 10^d 22^e 26^f \prod _{i=1}^s p_i^{4a_i} \prod _{i=1}^t q_i^2 \prod _{i=1}^u \left( (r_i+1)/2)r_i^{v_i}\right) \prod _{i=1}^w s_i \end{aligned}$$ under the following conditions: \(a,b,c,d,e,f,s,t,u,w\) are nonnegative integers, \(a_1,\ldots ,a_r\) and \(v_1,\ldots ,v_u\) are positive integers, \(p_1,\ldots ,p_s\) are odd primes, \(q_1,\ldots ,q_t\) and \(r_1,\ldots ,r_u\) are prime powers with \(q_i\equiv 1\ (\mathrm{mod}\ 4)\) and \(r_i\equiv 1\ (\mathrm{mod}\ 4)\) for all \(i, s_1,\ldots ,s_w\) are integers with \(1\le s_i \le 33\) or \(s_i\in \{39,43\}\) for all \(i, x\) is a positive integer such that \(2x-1\) or \(4x-1\) is a prime power. Moreover, \(\delta =1\) if \(x>1\) and \(c+s>0, \delta =0\) otherwise, \(\epsilon =1\) if \(x=1, c+s=0\) , and \(t+u+w>0, \epsilon =0\) otherwise. We also obtain some necessary conditions for the existence of \((2m,2,2m,m)\) relative difference sets in partial semidirect products of \(\mathbb{Z }_4\) with abelian groups, and provide a table cases for which \(m\le 100\) and the existence of such relative difference sets is open.     

Salem numbers in dynamics on Kähler threefolds and complex tori

Let \(X\) be a compact Kähler manifold of dimension \(k\!\le \! 4\) and \(f{:}X\!\rightarrow \! X\) a pseudo-automorphism. If the first dynamical degree \(\lambda _1(f)\) is a Salem number, we show that either \(\lambda _1(f)=\lambda _{k-1}(f)\) or \(\lambda _1(f)^2=\lambda _{k-2}(f)\) . In particular, if \({\dim }(X)=3\) then \(\lambda _1(f)=\lambda _2(f)\) . We use this to show that if \(X\) is a complex 3-torus and \(f\) is an automorphism of \(X\) with \(\lambda _1(f)>1\) , then \(f\) has a non-trivial equivariant holomorphic fibration if and only if \(\lambda _1(f)\) is a Salem number. If \(X\) is a complex 3-torus having an automorphism \(f\) with \(\lambda _1(f)=\lambda _2(f)>1\) but is not a Salem number, then the Picard number of \(X\) must be 0, 3 or 9, and all these cases can be realized.     

Generalized normal homogeneous Riemannian metrics on spheres and projective spaces

In this paper, we develop new methods to study generalized normal homogeneous Riemannian manifolds. In particular, we obtain a complete classification of generalized normal homogeneous Riemannian metrics on spheres ${S^n}$ . We prove that for any connected (almost effective) transitive on $S^n$ compact Lie group $G$ , the family of $G$ -invariant Riemannian metrics on $S^n$ contains generalized normal homogeneous but not normal homogeneous metrics if and only if this family depends on more than one parameters and $n\ge 5$ . Any such family (that exists only for $n=2k+1$ ) contains a metric $g_\mathrm{can}$ of constant sectional curvature $1$ on $S^n$ . We also prove that $(S^{2k+1}, g_\mathrm{can})$ is Clifford–Wolf homogeneous, and therefore generalized normal homogeneous, with respect to $G$ (except the groups $G={ SU}(k+1)$ with odd $k+1$ ). The space of unit Killing vector fields on $(S^{2k+1}, g_\mathrm{can})$ from Lie algebra $\mathfrak g $ of Lie group $G$ is described as some symmetric space (except the case $G=U(k+1)$ when one obtains the union of all complex Grassmannians in $\mathbb{C }^{k+1}$ ).     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.     

Toric surfaces,K-stability and Calabi flow

Let $X$ be a toric surface and $u$ be a normalized symplectic potential on the corresponding polygon $P$ . Suppose that the Riemannian curvature is bounded by a constant $C_1$ and $ \int _{\partial P} u d \sigma < C_2, $ then there exists a constant $C_3$ depending only on $C_1, C_2$ and $P$ such that the diameter of $X$ is bounded by $C_3$ . Moreoever, we can show that there is a constant $M > 0$ depending only on $C_1, C_2$ and $P$ such that Donaldson’s $M$ -condition holds for $u$ . As an application, we show that if $(X,P)$ is (analytic) relative $K$ -stable, then the modified Calabi flow converges to an extremal metric exponentially fast by assuming that the Calabi flow exists for all time and the Riemannian curvature is uniformly bounded along the Calabi flow.     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .