The Cohomology of Pro-p-Groups with Group Ring Coefficients and Virtual Poincare Duality

The relationship between the group-theoretic properties of a pro-p-group G and the G-module structure of the group $H^n (G,\mathbb{F}_q \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ is studied. A necessary and sufficient condition for a pro-p-group G to contain an open Poincare subgroup of dimension n is obtained. This condition does not require that G have finite cohomological dimension and, therefore, applies to groups with torsion. Results concerning the possible values of $\dim _{\mathbb{F}p} H^n (G,\mathbb{F}_p \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ are also obtained.     

The formal translation equation for iteration groups of type II

We investigate the translation equation $$F(s+t, x) = F(s, F(t, x)),\quad \quad s,t\in{\mathbb{C}},\qquad\qquad\qquad\qquad({\rm T})$$ in ${\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ , the ring of formal power series over ${\mathbb{C}}$ . Here we restrict ourselves to iteration groups of type II, i.e. to solutions of (T) of the form ${F(s, x) \equiv x + c_k(s)x^k {\rm mod} x^{k + 1}}$ , where k ≥ 2 and c _k ≠ 0 is necessarily an additive function. It is easy to prove that the coefficient functions c _n (s) of $$F(s, x) = x + \sum_{n \ge q k}c_n(s)x^n$$ are polynomials in c _k (s). It is possible to replace this additive function c _k by an indeterminate. In this way we obtain a formal version of the translation equation in the ring ${(\mathbb{C}[y])\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ . We solve this equation in a completely algebraic way, by deriving formal differential equations or an Aczél–Jabotinsky type equation. This way it is possible to get the structure of the coefficients in great detail which are now polynomials. We prove the universal character (depending on certain parameters, the coefficients of the infinitesimal generator H of an iteration group of type II) of these polynomials. Rewriting the solutions G(y, x) of the formal translation equation in the form ${\sum_{n\geq 0}\phi_n(x)y^n}$ as elements of ${(\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right])\left[\kern-0.15em\left[{y}\right]\kern-0.15em\right]}$ , we obtain explicit formulas for ${\phi_n}$ in terms of the derivatives H ^(j)(x) of the generator ${H}$ and also a representation of ${G(y, x)}$ as a Lie–Gröbner series. Eventually, we deduce the canonical form (with respect to conjugation) of the infinitesimal generator ${H}$ as x ^k + hx ^2k-1 and find expansions of the solutions ${G(y, x) = \sum_{r\geq 0} G_r(y, x)h^r}$ of the above mentioned differential equations in powers of the parameter h.     

Some class 1 graphs on <Emphasis Type="Italic">g</Emphasis><Subscript><Emphasis Type="Italic">c</Emphasis></Subscript>-colorings

An edge-coloring of a graph G is an assignment of colors to all the edges of G. A g _c -coloring of a graph G is an edge-coloring of G such that each color appears at each vertex at least g(v) times. The maximum integer k such that G has a g _c -coloring with k colors is called the g _c -chromatic index of G and denoted by \(\chi\prime_{g_{c}}\)(G). In this paper, we extend a result on edge-covering coloring of Zhang and Liu in 2011, and give a new sufficient condition for a simple graph G to satisfy \(\chi\prime_{g_{c}}\)(G) = δ _g (G), where \(\delta_{g}\left(G\right) = min_{v\epsilon V (G)}\left\{\lfloor\frac{d\left(v\right)}{g\left(v\right)}\rfloor\right\}\).     

Involutions of Type G<Subscript>2</Subscript> Over Fields of Characteristic Two

We continue a study of automorphisms of order 2 of algebraic groups. In particular we look at groups of type G₂ over fields k of characteristic two. Let C be an octonion algebra over k; then Aut(C) is a group of type G₂ over k. We characterize automorphisms of order 2 and their corresponding fixed point groups for Aut(C) by establishing a connection between the structure of certain four dimensional subalgebras of C and the elements in Aut(C) that induce inner automorphisms of order 2. These automorphisms relate to certain quadratic forms which, in turn, determine the Galois cohomology of the fixed point groups of the involutions. The characteristic two case is unique because of the existence of four dimensional totally singular subalgebras. Over finite fields we show how our results coincide with known results, and we establish a classification of automorphisms of order 2 over infinite fields of characteristic two.     

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

Distance-Regular Shilla Graphs with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript> = <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript>

A Shilla graph is defined as a distance-regular graph of diameter 3 with second eigen-value θ₁ equal to a₃. For a Shilla graph, let us put a = a₃ and b = k/a. It is proved in this paper that a Shilla graph with b₂ = c₂ and noninteger eigenvalues has the following intersection array:

$$\left\{ {\frac{{{b^2}\left( {b - 1} \right)}}{2},\frac{{\left( {b - 1} \right)\left( {{b^2} - b + 2} \right)}}{2},\frac{{b\left( {b - 1} \right)}}{4};1,\frac{{b\left( {b - 1} \right)}}{4},\frac{{b{{\left( {b - 1} \right)}^2}}}{2}} \right\}$$

If Γ is a Q-polynomial Shilla graph with b₂ = c₂ and b = 2r, then the graph Γ has intersection array

$$\left\{ {2tr\left( {2r + 1} \right),\left( {2r + 1} \right)\left( {2rt + t + 1} \right),r\left( {r + t} \right);1,r\left( {r + t} \right),t\left( {4{r^2} - 1} \right)} \right\}$$

and, for any vertex u in Γ, the subgraph Γ₃(u) is an antipodal distance-regular graph with intersection array

$$\left\{ {t\left( {2r + 1} \right),\left( {2r - 1} \right)\left( {t + 1} \right),1;1,t + 1,t\left( {2r + 1} \right)} \right\}$$

The Shilla graphs with b₂ = c₂ and b = 4 are also classified in the paper.

     

A remark on the existence of entire large and bounded solutions to a (<Emphasis Type="Italic">k</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">k</Emphasis><Subscript>2</Subscript>)-Hessian system with gradient term

In this paper, we study the existence of positive entire large and bounded radial positive solutions for the following nonlinear system

$$\left\{ {\begin{array}{*{20}c}{S_{k_1 } \left( {\lambda \left( {D^2 u_1 } \right)} \right) + a_1 \left( {\left| x \right|} \right)\left| {\nabla u_1 } \right|^{k_1 } = p_1 \left( {\left| x \right|} \right)f_1 \left( {u_2 } \right)} & {for x \in \mathbb{R}^N ,} \\{S_{k_2 } \left( {\lambda \left( {D^2 u_2 } \right)} \right) + a_2 \left( {\left| x \right|} \right)\left| {\nabla u_2 } \right|^{k_2 } = p_2 \left( {\left| x \right|} \right)f_2 \left( {u_1 } \right)} & {for x \in \mathbb{R}^N .} \\\end{array} } \right.$$

Here \({S_{{k_i}}}\left( {\lambda \left( {{D^2}{u_i}} \right)} \right)\) is the k _i -Hessian operator, a ₁, p ₁, f ₁, a ₂, p ₂ and f ₂ are continuous functions.

     

Two new families of <Emphasis Type="Italic">q</Emphasis>-positive integers

Let n,p and k be three non negative integers. We prove that the apparently rational fractions of q:

On <Emphasis Type="Italic">g</Emphasis><Subscript><Emphasis Type="Italic">c</Emphasis></Subscript>-colorings of nearly bipartite graphs

Let G be a simple graph, let d(v) denote the degree of a vertex v and let g be a nonnegative integer function on V (G) with 0 ≤ g(v) ≤ d(v) for each vertex v ∈ V (G). A g _c -coloring of G is an edge coloring such that for each vertex v ∈ V (G) and each color c, there are at least g(v) edges colored c incident with v. The g _c -chromatic index of G, denoted by χ′g _c (G), is the maximum number of colors such that a gc-coloring of G exists. Any simple graph G has the g _c -chromatic index equal to δ _g (G) or δ _g (G) ? 1, where \({\delta _g}\left( G \right) = \mathop {\min }\limits_{v \in V\left( G \right)} \left\lfloor {d\left( v \right)/g\left( v \right)} \right\rfloor \). A graph G is nearly bipartite, if G is not bipartite, but there is a vertex u ∈ V (G) such that G ? u is a bipartite graph. We give some new sufficient conditions for a nearly bipartite graph G to have χ′g _c (G) = δ _g (G). Our results generalize some previous results due to Wang et al. in 2006 and Li and Liu in 2011.     

The Automorphism Group of a Class of Nilpotent Groups with Infinite Cyclic Derived Subgroups

The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial Z-group E and a free abelian group A with rank m, where E ={(1 kα_1 kα_2 ··· kα_nα_(n+1) 0 1 0 ··· 0 α_(n+2)...............000...1 α_(2n+1)000...01|αi∈ Z, i = 1, 2,..., 2 n + 1},where k is a positive integer. Let AutG G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G of G, and AutG/ζ G,ζ GG be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζ G of G. Then(i) The extension 1→ Aut_(G') G→ AutG→ Aut(G')→ 1 is split.(ii) Aut_(G') G/Aut_(G/ζ G,ζ G)G≌Sp(2 n, Z) ×(GL(m, Z)■(Z~)m).(iii) Aut_(G/ζ G,ζ GG/Inn G)≌(Z_k)~(2n)⊕(Z)~(2nm).     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

Homology of GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>: injectivity conjecture for GL<Subscript>4</Subscript>

The homology of GL _n (R) and SL _n (R) is studied, where R is a commutative ‘ring with many units’. Our main theorem states that the natural map H ₄(GL₃(R), k) → H ₄(GL₄(R), k) is injective, where k is a field with char(k) ≠ 2, 3. For an algebraically closed field F, we prove a better result, namely, is injective. We will prove a similar result replacing GL by SL. This is used to investigate the indecomposable part of the K-group K ₄(R).     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

The Similarity Between Finitary and Artinian-Finitary Groups

Let M be a module over the commutative ring R. The finitary automorphism group of M over R is FAut_RM = {g ? Aut_RM :M(g-1) is R-Noetherian}{\rm FAut}_RM =\{g\in{\rm Aut}_RM :M(g-1)\ {\rm is}\ R\hbox{-}{\rm Noetherian}\} and the Artinian-finitary automorphism group of M over R is F₁Aut_RM = {g ? Aut_RM : M(g-1) is R-Artinian}.{\rm F}_1{\rm Aut}_RM = \{g\in{\rm Aut}_RM : M(g-1)\ {\rm is}\ R\hbox{-}{\rm Artinian}\}. We investigate further the surprisingly close relationship between these two types of automorphism groups. Their group theoretic properties seem practically identical.     

Engel words and the Restricted Burnside Problem

The following theorem is proved. For any positive integers n and k there exists a number s = s(n, k) depending only on n and k such that the class of all groups G satisfying the identity ^n 1{\left(\left[x_1, {}_ky_1\right] \cdots \left[x_s, {}_ky_s\right]\right)^n \equiv 1} and having the verbal subgroup corresponding to the kth Engel word locally finite is a variety.     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

A zero-one law for random subgroups of some totally disconnected groups

Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups $ {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} Let A be a locally compact group topologically generated by d elements and let k > d. Consider the action, by precomposition, of Γ = Aut(F _k ) on the set of marked, k-generated, dense subgroups D_k,A: = { h ? \textHom( F_k,A )| [`( á f( F_k ) ñ )] = A } {D_{k,A}}: = \left\{ {\eta \in {\text{Hom}}\left( {{F_k},A} \right)\left| {\overline {\left\langle {\phi \left( {{F_k}} \right)} \right\rangle } = A} \right.} \right\} . We prove the ergodicity of this action for the following two families of simple, totally disconnected, locally compact groups:

•	A = PSL2(K) where K is a non-Archimedean local field (of characteristic ≠ 2);
•	A = Aut0(T q+1)—the group of orientation-preserving automorphisms of a q + 1 regular tree, for q \geqslant 2.q \geqslant 2.

In contrast, a recent result of Minsky’s shows that the same action fails to be ergodic for A = PSL₂(C) and, when k is even, also for A = PSL₂(R). Therefore, if k \geqslant 4 k \geqslant 4 is even and K is a local field (with char(K) ≠ 2), the action of Aut(F _k ) on D_{k,\textPS\textL2(K)} {D_{k,{\text{PS}}{{\text{L}}_2}(K)}} is ergodic if and only if K is non-Archimedean. Ergodicity implies that every “measurable property” either holds or fails to hold for almost every k-generated dense subgroup of A.     

A modulation invariant Carleson embedding theorem outside local <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>

Yen Do and Christoph Thiele developed a theory of Carleson embeddings in outer L_p spaces for the wave packet transform

$${F_\phi }(f)(u,t,\eta ) = \int {f(x){e^{i\eta (u - x)}}\phi \left( {\frac{{u - x}}{t}} \right)} \frac{{dx}}{t},(u,t,\eta ) \in R \times (0,\infty ) \times R$$

of functions f ∈ L_p(R) in the range 2 ≤ p ≤ ∞, referred to as local L². In this article, we formulate a suitable extension of this theory to exponents 1 < p < 2, answering a question posed by Do and Thiele. The proof of our main embedding theorem involves a refined multi-frequency Calderón-Zygmund decomposition in the vein of work by Di Plinio and Thiele and by Nazarov, Oberlin, and Thiele. We apply our embedding theorem to recover the full known range of L^p estimates for the bilinear Hilbert transforms without reducing to discrete model sums or appealing to generalized restricted weak-type interpolation.