Group measure space decomposition of II1 factors and W*-superrigidity

We prove a “unique crossed product decomposition” result for group measure space II₁ factors L ^∞(X)⋊Γ arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γ in a fairly large family G\mathcal{G}, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T _n denotes the group of upper triangular matrices in PSL (n,ℤ), then any free, mixing p.m.p. action of G = \operatornamePSL(n,\mathbbZ)*_Tn\operatornamePSL(n,\mathbbZ)\Gamma=\operatorname{PSL}(n,\mathbb{Z})*_{T_{n}}\operatorname{PSL}(n,\mathbb{Z}) is W^∗-superrigid, i.e. any isomorphism between L ^∞(X)⋊Γ and an arbitrary group measure space factor L ^∞(Y)⋊Λ, comes from a conjugacy of the actions. We also prove that for many groups Γ in the family G\mathcal{G}, the Bernoulli actions of Γ are W^∗-superrigid.     

$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

Characterizations of Bent and Almost Bent Function on {\mathbb{Z}_p^2}

Bent and almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are studied in this paper. By calculating certain exponential sum and using a technique due to Hou (Finite Fields Appl 10:566–582, 2004), we obtain a degree bound for quasi-bent functions, and prove that almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are equivalent to a degenerate quadratic form. From the viewpoint of relative difference sets, we also characterize bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} in two classes of M{\mathcal{M}} ’s and PS{\mathcal{PS}} ’s, and show that the graph set corresponding to a bent function on \mathbbZ_p²{\mathbb{Z}_p^2} can be written as the sum of a graph set of M{\mathcal{M}} ’s type bent function and another group ring element. By using our characterization and some technique of permutation polynomial, we obtain the result: a bent function must be of M{\mathcal{M}} ’s type if its corresponding set contains more than (p − 3)/2 flats. A problem proposed by Ma and Pott (J Algebra 175:505–525, 1995) is therefore partially answered.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

Ring of invariants of general linear group over local ring \mathbb{Z}_{p^m }

Let \mathbbZ_p^m \mathbb{Z}_{p^m } be the ring of integers modulo p ^m , where p is a prime and m ⩾ 1. The general linear group GL _n ( \mathbbZ_p^m \mathbb{Z}_{p^m } ) acts naturally on the polynomial algebra A _n := \mathbbZ_p^m \mathbb{Z}_{p^m } [x ₁, …, x _n ]. Denote by A_n^{GL₂ (\mathbbZ_pm )} A_n^{GL_2 (\mathbb{Z}_{p^m } )} the corresponding ring of invariants. The purpose of the present paper is to calculate this invariant ring. Our results also generalize the classical Dickson’s theorem.     

Balanced Deep Matrix Algebras

This paper continues the study of associative and Lie deep matrix algebras, DM(X,\mathbbK){\mathcal{DM}}(X,{\mathbb{K}}) and \mathfrakgld(X,\mathbbK){\mathfrak{gld}}(X,{\mathbb{K}}), and their subalgebras. After a brief overview of the general construction, balanced deep matrix subalgebras, BDM(X,\mathbbK){\mathcal{BDM}}(X,{\mathbb{K}}) and \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}), are defined and studied for an infinite set X. The global structures of these two algebras are studied, devising a depth grading on both as well as determining their ideal lattices. In particular, \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) is shown to be semisimple. The Lie algebra \mathfrakbld(X,\mathbbK){\mathfrak{bld}}(X,{\mathbb{K}}) possesses a deep Cartan decomposition and is locally finite with every finite subalgebra naturally enveloped by a semi-direct product of \mathfraksl_n{\mathfrak{{sl}_n}}’s. We classify all associative bilinear forms on \mathfraksl₂\mathfrakd{\mathfrak{sl}_2\mathfrak{d}} (a natural depth analogue of \mathfraksl₂{\mathfrak{{sl}_2}}) and \mathfrakbld{\mathfrak{bld}}.     

The 2-factoriality of the O’Grady moduli spaces

The aim of this work is to show that the moduli space M ₁₀ introduced by O’Grady is a 2-factorial variety. Namely, M ₁₀ is the moduli space of semistable sheaves with Mukai vector v: = (2, 0, −2) in H^ev(X,\mathbbZ){H^{ev}(X,\mathbb{Z})} on a projective K3 surface X. As a corollary to our construction, we show that the Donaldson morphism gives a Hodge isometry between v^{^}{v^{\perp}} (sublattice of the Mukai lattice of X) and its image in H² ([(M)\tilde]₁₀, \mathbbZ){H^{2} (\widetilde{M}_{10}, \mathbb{Z})}, lattice with respect to the Beauville form of the 10-dimensional irreducible symplectic manifold [(M)\tilde]₁₀{\widetilde{M}_{10}}, obtained as symplectic resolution of M ₁₀. Similar results are shown for the moduli space M ₆ introduced by O’Grady to produce its 6-dimensional example of irreducible symplectic variety.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

The independence of initial vectors in the subdivision schemes

Starting with an initial vector λ = (λ(κ))κ∈z ∈ ep(Z), the subdivision scheme generates asequence (Snaλ)∞n=1 of vectors by the subdivision operator Saλ(κ) = ∑λ(j)a(k - 2j), k ∈ Z. j∈zSubdivision schemes play an important role in computer graphics and wavelet analysis. It is very interesting tounderstand under what conditions the sequence (Snaλ)∞n=1 converges to an Lp-function in an appropriate sense.This problem has been studied extensively. In this paper we show that the subdivision scheme converges forany initial vector in ep(Z) provided that it does for one nonzero vector in that space. Moreover, if the integertranslates of the refinable function are stable, the smoothness of the limit function corresponding to the vectorλ is also independent of λ.     

Affine Synthesis onto L p when 0<p≤1

The affine synthesis operator is shown to map the coefficient space ℓ ^p (ℤ₊×ℤ ^d ) surjectively onto L ^p (ℝ ^d ), for p∈(0,1]. Here ψ _j,k (x)=|det a _j |^1/p ψ(a _j x−k) for dilation matrices a _j that expand, and the synthesizer ψ∈L ^p (ℝ ^d ) need satisfy only mild restrictions, for example, ψ∈L ¹(ℝ ^d ) with nonzero integral or else with periodization that is real-valued, nontrivial and bounded below. An affine atomic decomposition of L ^p follows immediately:

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Periodicity of Non-Central Integral Arrangements Modulo Positive Integers

An integral coefficient matrix determines an integral arrangement of hyperplanes in \mathbbR^m{\mathbb{R}^m} . After modulo q reduction ${(q \in {\mathbb{Z}_{ >0 }})}${(q \in {\mathbb{Z}_{ >0 }})} , the same matrix determines an arrangement A_q{\mathcal{A}_q} of “hyperplanes” in \mathbbZ^m_q{\mathbb{Z}^m_q} . In the special case of central arrangements, Kamiya, Takemura, and Terao [J. Algebraic Combin. 27(3), 317–330 (2008)] showed that the cardinality of the complement of A_q{\mathcal{A}_q} in \mathbbZ^m_q{\mathbb{Z}^m_q} is a quasi-polynomial in ${q \in {\mathbb{Z}_{ >0 }}}${q \in {\mathbb{Z}_{ >0 }}} . Moreover, they proved in the central case that the intersection lattice of A_q{\mathcal{A}_q} is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement [^(B)]_m^[0,a]{\hat{\mathcal{B}}_m^{[0,a]}} of Athanasiadis [J. Algebraic Combin. 10(3), 207–225 (1999)] to illustrate our results.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, u^￠_n(t) = ?_{j ? \mathbbZ^d} J_n-ju_j(t)-u_n(t)u^{\prime}_{n}(t) = \sum_{{j\in}{{{\mathbb{Z}}}^{d}}} J_{n-j}u_{j}(t)-u_{n}(t) with t ≥ 0 and n ? \mathbbZ^dn \in {\mathbb{Z}}^{d}. We assume that J is nonnegative and verifies ?_{n ? \mathbbZ^d}J_n = 1\sum_{{n \in {\mathbb{Z}}}^{d}}J_{n}= 1. We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.     

On the distribution of powers of a complex number

Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo ${\mathbb{Z}[i],}Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo \mathbbZ[i],{\mathbb{Z}[i],} where i=?{-1}{i=\sqrt{-1}} and \mathbbZ[i]=\mathbbZ+i\mathbbZ{\mathbb{Z}[i]=\mathbb{Z}+i\mathbb{Z}} is the ring of Gaussian integers. For any z ? \mathbbC,{z\in \mathbb{C},} one may naturally call the quantity z modulo \mathbbZ[i]{\mathbb{Z}[i]} the fractional part of z and write {z} for this, in general, complex number lying in the unit square S:={z ? \mathbbC:0 ￡ \mathfrakR(z),\mathfrakJ(z) < 1 }{S:=\{z\in\mathbb{C}:0\leq \mathfrak{R}(z),\mathfrak{J}(z) <1 \}}. We first show that if α is a complex non-real number which is algebraic over \mathbbQ{\mathbb{Q}} and satisfies |α| > 1 then there are two limit points of the sequence {ξ α ⁿ  +ν}, n = 0, 1, 2, . . . , which are ‘far’ from each other (in terms of α only), except when α is an algebraic integer whose conjugates over \mathbbQ(i){\mathbb{Q}(i)} all lie in the unit disc |z| ≤  1 and x ? \mathbbQ(a,i).{\xi\in\mathbb{Q}(\alpha,i).} Then we prove a result in the opposite direction which implies that, for any fixed a ? \mathbbC{\alpha\in\mathbb{C}} of modulus greater than 1 and any sequence z_n ? \mathbbC,n=0,1,2,...,{z_n\in\mathbb{C},n=0,1,2,\dots,} there exists x ? \mathbbC{\xi \in \mathbb{C}} such that the numbers ξ α ⁿ −z _n , n = 0, 1, 2, . . . , all lie ‘far’ from the lattice \mathbbZ[i]{\mathbb{Z}[i]}. In particular, they all can be covered by a union of small discs with centers at (1+i)/2+\mathbbZ[i]{(1+i)/2+\mathbb{Z}[i]} if |α| is large.