Invariant random subgroups of linear groups

Let Γ < GL _n (_F) be a countable non-amenable linear group with a simple, center free Zariski closure. Let Sub(Γ) denote the space of all subgroups of Γ with the compact, metric, Chabauty topology. An invariant random subgroup (IRS) of Γ is a conjugation invariant Borel probability measure on Sub(Γ). An IRS is called non-trivial if it does not have an atom in the trivial group, i.e. if it is non-trivial almost surely. We denote by IRS⁰(Γ) the collection of all non-trivial IRS on Γ.

Theorem 0.1: With the above notation, there exists a free subgroup F < Γ and a non-discrete group topology on Γ such that for every μ ∈ IRS⁰(Γ) the following properties hold:

μ-almost every subgroup of Γ is open

• F ·Δ = Γ for μ-almost every Δ ∈ Sub(Γ).
• F ∩ Δ is infinitely generated, for every open subgroup. In particular, this holds for μ-almost every Δ ∈ Sub(Γ).
• The map

Φ: (Sub(Γ), μ) → (Sub(F),Φ*μ) Δ → Δ ∩ F is an F-invariant isomorphism of probability spaces.A more technical version of this theorem is valid for general countable linear groups. We say that an action of Γ on a probability space, by measure preserving transformations, is almost surely non-free (ASNF) if almost all point stabilizers are non-trivial.Corollary 0.2: Let Γ be as in the Theorem above. Then the product of finitely many ASNF Γ-spaces, with the diagonal Γ action, is ASNF.Corollary 0.3: Let Γ < GL_n(F) be a countable linear group, A Δ Γ the maximal normal amenable subgroup of Γ — its amenable radical. If μ ∈ IRS(Γ) is supported on amenable subgroups of Γ, then in fact it is supported on Sub(A). In particular, if A(Γ) = <e> then Δ = <e>, μ almost surely.     

On a question of Külshammer for representations of finite groups in reductive groups

Let G be a simple algebraic group of type G₂ over an algebraically closed field of characteristic 2. We give an example of a finite group Γ with Sylow 2-subgroup Γ₂ and an infinite family of pairwise non-conjugate homomorphisms ρ: Γ → G whose restrictions to Γ₂ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of Γ on a connected unipotent group V such that the map of 1-cohomologies H¹(Γ, V) → H¹(Γ_p, V) induced by restriction of 1-cocycles has an infinite fibre.     

On low discrepancy sequences and low discrepancy ergodic transformations of the multidimensional unit cube

In this paper we describe a third class of low discrepancy sequences. Using a lattice Γ ? ? ^s , we construct Kronecker-like and van der Corput-like ergodic transformations T _1,Γ and T _2,Γ of [0, 1) ^s . We prove that for admissible lattices Γ, (T _ν,Γ ⁿ (x))_n≥0 is a low discrepancy sequence for all x ∈ [0, 1) ^s and ν ∈ {1, 2}. We also prove that for an arbitrary polyhedron P ? [0, 1) ^s , for almost all lattices Γ ∈ L _s = SL(s,?)/SL(s, ?) (in the sense of the invariant measure on L _s ), the following asymptotic formula

$\# \{ 0 \le n < N:T_{v,\Gamma }^n(x) \in P\} = NvolP + O({(\ln N)^{s + \varepsilon }}),N \to \infty$

holds with arbitrary small ? > 0, for all x ∈ [0, 1) ^s , and ν ∈ {1, 2}.

     

On <Emphasis Type="Italic">r</Emphasis>-recognition by prime graph of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(3) where <Emphasis Type="Italic">p</Emphasis> is an odd prime

Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p and p′ are joined by an edge if there is an element in G of order pp′. We denote by k(Γ(G)) the number of isomorphism classes of finite groups H satisfying Γ(G) = Γ(H). Given a natural number r, a finite group G is called r-recognizable by prime graph if k(Γ(G)) =  r. In Shen et al. (Sib. Math. J. 51(2):244–254, 2010), it is proved that if p is an odd prime, then B _p (3) is recognizable by element orders. In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(B _p (3)), where p > 3 is an odd prime, then \({G\cong B_p(3)}\) or C _p (3). Also if Γ(G) = Γ(B ₃(3)), then \({G\cong B_3(3), C_3(3), D_4(3)}\), or \({G/O_2(G)\cong {\rm Aut}(^2B_2(8))}\). As a corollary, the main result of the above paper is obtained.     

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.

     

The best extension of algebraic polynomials from the unit circle

We study the class \(\mathfrak{P}_n \) of algebraic polynomials P _n (x, y) in two variables of total degree n whose uniform norm on the unit circle Γ₁ centered at the origin is at most 1: \(\left\| {P_n } \right\|_{C(\Gamma _1 )} \) ≤ 1. The extension of polynomials from the class \(\mathfrak{P}_n \) to the plane with the least uniform norm on the concentric circle Γ _r of radius r is investigated. It is proved that the values θ _n (r) of the best extension of the class \(\mathfrak{P}_n \) satisfy the equalities θ _n (r) = r ⁿ for r > 1 and θ _n (r) = r ^n?1 for 0 < r < 1.     

Functional equations and Weierstrass sigma-functions

It is proved that if an entire function f: ? → ? satisfies an equation of the form α ₁(x)β ₁(y) + α ₂(x)β ₂(y) + α ₃(x)β ₃(y), x,y ∈ C, for some α _j , β _j : ? → ? and there exist no \({\widetilde \alpha _j}\) and ?\({\widetilde \beta _j}\) for which \(f\left( {x + y} \right)f\left( {x - y} \right) = {\overline \alpha _1}\left( x \right){\widetilde \beta _1}\left( y \right) + {\overline \alpha _2}\left( x \right){\widetilde \beta _2}\left( y \right)\), then f(z) = exp(Az ² + Bz + C) ? σ _Γ(z - z ₁) ? σ _Γ(z - z ₂), where Γ is a lattice in ?; σ _Γ is the Weierstrass sigma-function associated with Γ; A,B,C, z ₁, z ₂ ∈ ?; and \({z_1} - {z_2} \notin \left( {\frac{1}{2}\Gamma } \right)\backslash \Gamma \).     

A new estimate for the vertex number of an edge-regular graph

Given a connected edge-regular graph Γ with parameters (v, k, λ) and b ₁ = k ? λ ? 1, we prove that in the case k ≥ 3b ₁ ?2 either |Γ₂(u)|(k?2b ₁ + 2) < kb ₁ for every vertex u or Γ is a polygon, the edge graph of a trivalent graph without triangles that has diameter greater than 2, the icosahedral graph, the complete multipartite graph K _r×2, the 3 × 3-grid, the triangular graph T(m) with m ≤ 7, the Clebsch graph, or the Schläfli graph.     

Eulerian graphs and automorphisms of a maximal graph

Let R be a commutative ring with identity. Let Γ(R) denote the maximal graph corresponding to the non-unit elements of R, i.e., Γ(R) is a graph with vertices the non-unit elements of R, where two distinct vertices a and b are adjacent if and only if there is a maximal ideal of R containing both. In this paper, we have shown that, for any finite ring R which is not a field, Γ(R) is a Euler graph if and only if R has odd cardinality. Moreover, for any finite ring R ? R ₁×R ₂× · · · ×R _n, where the R _i is a local ring of cardinality p _i ^αi for all i, and the p _i’s are distinct primes, it is shown that Aut(Γ(R)) is isomorphic to a finite direct product of symmetric groups. We have also proved that clique(G(R)’) = χ(G(R)’) for any semi-local ring R, where G(R)’ denote the comaximal graph associated to R.     

Multiple commutator formulas for unitary groups

Let (A,Λ) be a formring such that A is quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak’s unitary groups GU(2n, A, Λ), n ≥ 3. For a form ideal (I, Γ) of the form ring (A, Λ) we denote by EU(2n, I, Γ) and GU(2n, I, Γ) the relative elementary group and the principal congruence subgroup of level (I, Γ), respectively. Now, let (I _i , Γ _i ), i = 0,...,m, be form ideals of the form ring (A, Λ). The main result of the present paper is the following multiple commutator formula: [EU(2n, I ₀, Γ ₀),GU(2n, I ₁, Γ ₁), GU(2n, I ₂, Γ ₂),..., GU(2n, I _m , Γ _m )] =[EU(2n, I ₀, Γ ₀), EU(2n, I ₁, Γ ₁), EU(2n, I ₂, Γ ₂),..., EU(2n, I _m , Γ _m )], which is a broad generalization of the standard commutator formulas. This result contains all previous results on commutator formulas for classicallike groups over commutative and finite-dimensional rings.     

Parallelogram-free distance-regular graphs having completely regular strongly regular subgraphs

Let Γ=(X,R) be a distance-regular graph of diameter d. A parallelogram of length i is a 4-tuple xyzw consisting of vertices of Γ such that ?(x,y)=?(z,w)=1, ?(x,z)=i, and ?(x,w)=?(y,w)=?(y,z)=i?1. A subset Y of X is said to be a completely regular code if the numbers

$\pi_{i,j}=|\Gamma_{j}(x)\cap Y|\quad (i,j\in \{0,1,\ldots,d\})$

depend only on i=?(x,Y) and j. A subset Y of X is said to be strongly closed if

$\{x\mid \partial(u,x)\leq \partial(u,v),\partial(v,x)=1\}\subset Y,\mbox{ whenever }u,v\in Y.$

Hamming graphs and dual polar graphs have strongly closed completely regular codes. In this paper, we study parallelogram-free distance-regular graphs having strongly closed completely regular codes. Let Γ be a parallelogram-free distance-regular graph of diameter d≥4 such that every strongly closed subgraph of diameter two is completely regular. We show that Γ has a strongly closed subgraph of diameter d?1 isomorphic to a Hamming graph or a dual polar graph. Moreover if the covering radius of the strongly closed subgraph of diameter two is d?2, Γ itself is isomorphic to a Hamming graph or a dual polar graph. We also give an algebraic characterization of the case when the covering radius is d?2.

     

Modern thermodynamics as a branch of mathematics (mathematical physics)

In the paper, it is proved that, if f(x₁,..., x_n)g(y₁,..., y_m) is a multilinear central polynomial for a verbally prime T-ideal Γ over a field of arbitrary characteristic, then both polynomials f(x₁,..., x_n) and g(y₁,..., y_m) are central for Γ.     

Neighbor Connectivity of Two Kinds of Cayley Graphs

In this paper, we determine the neighbor connectivity κNB of two kinds of Cayley graphs: alternating group networks AN _n and star graphs S _n ; and give the exact values of edge neighbor connectivity λ_NB of ANn and Cayley graphs generated by transposition trees Γ _n . Those are κ_NB(AN _n ) = n^?1, λ_NB(AN _n ) = n^?2 and κ_NB(S _n ) = λ_NB(Γ _n ) = n^?1.     

On dihedrants admitting arc-regular group actions

We consider Cayley graphs Γ over dihedral groups, dihedrants for short, which admit an automorphism group G acting regularly on the arc set of Γ. We prove that, if D _2n ≤G≤Aut(Γ) is a regular dihedral subgroup of G of order 2n such that any of its index 2 cyclic subgroups is core-free in G, then Γ belongs to the family of graphs of the form \((K_{n_{1}}\otimes\cdots\otimes K_{n_{\ell}})[K_{m}^{\mathrm{c}}]\), where 2n=n ₁???n _? m, and the numbers n _i are pairwise coprime. Applications to 1-regular dihedrants and Cayley maps on dihedral groups are also given.     

Finiteness results for lattices in certain Lie groups

In this note we establish some general finiteness results concerning lattices Γ in connected Lie groups G which possess certain “density” properties (see Moskowitz, M., On the density theorems of Borel and Furstenberg, Ark. Mat. 16 (1978), 11–27, and Moskowitz, M., Some results on automorphisms of bounded displacement and bounded cocycles, Monatsh. Math. 85 (1978), 323–336). For such groups we show that Γ always has finite index in its normalizer N _G (Γ). We then investigate analogous questions for the automorphism group Aut(G) proving, under appropriate conditions, that Stab_Aut(G)(Γ) is discrete. Finally we show, under appropriate conditions, that the subgroup \(\tilde{\Gamma}=\{i_{\gamma}:\gamma \in \Gamma \},\ i_{\gamma}(x)=\gamma x\gamma^{-1}\), of Aut(G) has finite index in Stab_Aut(G)(Γ). We test the limits of our results with various examples and counterexamples.     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$

     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

On canonical embeddings of complex projective spaces in real projective spaces

In this paper, we construct a natural embedding \(\sigma :\mathbb{C}P_\mathbb{R}^{n} \to \mathbb{R}P^{n^2 + 2n} \) of the complex projective space ?P ⁿ considered as a 2n-dimensional, real-analytic manifold in the real projective space \(\mathbb{R}P^{n^2 + 2n} \). The image of the embedding σ is called the ?P ⁿ-surface. To construct the embedding, we consider two equivalent approaches. The first approach is based on properties of holomorphic bivectors in the realification of a complex vector space. This approach allows one to prove that a ?P-surface is a flat section of a Grassman manifold. In the second approach, we use the adjoint representation of the Lie group U(n + 1) and the canonical decomposition of the Lie algebra u(n). This approach allows one to state a gemetric characterization of the canonical decomposition of the Lie algebra u(n). Moreover, we study properties of the embedding constructed. We prove that this embedding determines the canonical Kähler structure on ?P _? ⁿ . In particular, the Fubini-Study metric is exactly the first fundamental form of the embedding and the complex structure on ?P _? ⁿ is completely defined by its second fundamental form; therefore, this embedding is said to be canonical. Moreover, we describe invariant and anti-invariant completely geodesic submanifolds of the complex projective space.     

Estimates of sums of integrals of the Legendre Polynomial

Estimates of sums \({R_{nk}}\left( x \right) = \sum\limits_{m = n}^\infty {{P_{mk}}\left( x \right)} \) are established. Here, P_n0(x)= P_n(x), \({R_{nk}}\left( x \right) = \int\limits_.^x {{P_{n,k - 1}}\left( y \right)dy} \), P_n is the Legendre polynomial with standard normalization P_n(1) = 1. With k = 1 in the main interval [–1, 1] the sum decreases with increasing n as n^–1, and in the half-open interval [–1, 1), as n^–3/2. With k > 1 the point x = 1 does not need to be excluded. The sum decreases as n^-k–1/2. Moreover, a small increase in the multiplicative constant permits to obtain the estimate \(|{R_{nk}}\left( {\cos \theta } \right)| < \frac{{C{{\sin }^{k - 3/2}}\theta }}{{{n^{k + 1/2}}}}\), where C depends weakly on k (but not on n, θ). In passing, a Mehler–Dirichlet-type integral for R_nk(cos θ) is deduced.