ℱ-subnormal and ℱ-subabnormal chains in finite groups

The class ℱ_pc of all finite groupsG is defined such thatX≤G implies that there exists an ℱ-subnormal subgroupS ofG containingX such thatX is ℱ-subabnormal inS, where ℱ is a saturated formation, closed under taken subgroups. Groups in ℱ_pc are characterized by ℱ-projectors and ℱ-covering subgroups. Project supported by the National Natural Science Foundation of China (Grant No. 19760001) and the Natural Science Foundation of Guangxi Autonomous Region.     

Groups with no infinite perfect subgroups and aspherical 2-complexes

The purpose of this paper is to generalize a theorem of J. F. Adams. He showed in [A] that ifX is a subcomplex of an aspherical 2-complex and the fundamental groupG ofX has no non-trivial perfect subgroups, thenX is aspherical. We weaken the hypothesis onG to “no infinite perfect subgroups”.     

Return times, recurrence densities and entropy for actions of some discrete amenable groups

It is a theorem of Wyner and Ziv and Ornstein and Weiss that if one observes the initialk symbolsX ₀,…,X _k−1 of a typical realization of a finite valued ergodic process with entropyh, the waiting time until this sequence appears again in the same realization grows asymptotically like 2 ^hk [7, 12]. A similar result for random fields was obtained in [8]: in this case, one observes cubes in ℤ ^d instead of initial segments. In the present paper, we describe generalizations of this. We examine what happens when the set of possible return times is restricted. Fix an increasing sequence of sets of possible times {W _n } and defineR _k to be the firstn such thatX ₀,…,X _k−1 recurs at some time inW _n . It turns out that |W _{R k} | cannot drop below 2 ^hk asymptotically. We obtain conditions on the sequence {W _n } which ensure that |W _{R k} | is asymptotically equal to 2 ^hk . We consider also recurrence densities of initial blocks and derive a uniform Shannon-McMillan-Breiman theorem. Informally, ifU _k,n is the density of recurrences of the blockX ₀,…,X _k−1 inX _−n ,…,X _n , thenU _k,n grows at a rate of 2 ^hk , uniformly inn. We examine the conditions under which this is true when the recurrence times are again restricted to some sequence of sets {W _n }. The above questions are examined in the general context of finite-valued processes parametrized by discrete amenable groups. We show that many classes of groups have time-sequences {W _n } along which return times and recurrence densities behave as expected. An interesting feature here is that this can happen also when the time sequence lies in a small subgroup of the parameter group.     

Polynomial maps with constant Jacobian

It has been long conjectured that ifn polynomialsf ₁, …,f _n inn variables have a (non-zero) constant Jacobian determinant then every polynomial can be expressed as a polynomial inf ₁, …,f _n. In this paper, various extra assumptions (particularly whenn=2) are shown to imply the conclusion. These conditions are discussed algebraically and geometrically.     

Confined subgroups in periodic simple finitary linear groups

A subgroupX of the locally finite groupG is said to beconfined, if there exists a finite subgroupF≤G such thatX ^g∩F≠1 for allg∈G. Since there seems to be a certain correspondence between proper confined subgroups inG and non-trivial ideals in the complex group algebra ℂG, we determine the confined subgroups of periodic simple finitary linear groups in this paper. Dedicated to the memory of our friend and collaborator Richard E. Phillips     

The influence of variables in product spaces

LetX be a probability space and letf: X ⁿ → {0, 1} be a measurable map. Define the influence of thek-th variable onf, denoted byI _f (k), as follows: Foru=(u ₁,u ₂,…,u _n−1) ∈X ⁿ⁻¹ consider the setl _k (u)={(u ₁,u ₂,...,u _k−1,t,u _k ,…,u _n−1):t ∈X}. More generally, forS a subset of [n]={1,...,n} let the influence ofS onf, denoted byI _f (S), be the probability that assigning values to the variables not inS at random, the value off is undetermined. Theorem 1:There is an absolute constant c ₁ so that for every function f: X ⁿ → {0, 1},with Pr(f ⁻¹(1))=p≤1/2,there is a variable k so that Theorem 2:For every f: X ⁿ → {0, 1},with Prob(f=1)=1/2, and every ε>0,there is S ⊂ [n], |S|=c ₂(ε)n/logn so that I _f (S)≥1−ε. These extend previous results by Kahn, Kalai and Linial for Boolean functions, i.e., the caseX={0, 1}. Work supported in part by grants from the Binational Israel-US Science Foundation and the Israeli Academy of Science.     

On the Cohen–Lusk theorem

Let G be a finite group and X be a G-space. For a map f: X → ℝ ^m , the partial coincidence set A(f, k), k ≤ |G|, is the set of points x ∈ X such that there exist k elements g ₁,…, g _k of the group G, for which f(g ₁ x) = ⋅⋅⋅ = f(g _k x) holds. We prove that the partial coincidence set is nonempty for G = ℤ _p ⁿ under some additional assumptions. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 61–67, 2007.     

Invariants for group algebras of Abelian groups

LetF be a field of characteristicp>0 and letG be an arbitrary abelian group written multiplicatively withp-basis subgroup denoted byB. The first main result of the present paper is thatB is an isomorphism invariant of theF-group algebraFG. In particular, thep-local algebraically compact groupG can be retrieved fromFG. Moreover, for the lower basis subgroupB ₁ of thep-componentG _p it is shown thatG _p/B_l is determined byFG. Besides, ifH is (p-)high inG, thenG _p/H_p andH ^{p n}[p] for ℕ₀ are structure invariants forFG, andH[p] as a valued vector space is a structural invariant forN ₀ G, whereN _p is the simple field ofp-elements. Next, presume thatG isp-mixed with maximal divisible subgroupD. ThenD andF(G/D) are functional invariants forFG. The final major result is that the relative Ulm-Kaplansky-Mackeyp-invariants ofG with respect to the subgroupC are isomorphic invariants of the pair (FG, FC) ofF-algebras. These facts generalize and extend analogous in this aspect results due to May (1969), Berman-Mollov (1969) and Beers-Richman-Walker (1983). As a finish, some other invariants for commutative group algebras are obtained.     

Geometrical implications of the existence of very smooth bump functions in Banach spaces

We show that ifX is a Banach space and if there is a non-zero real-valuedC ^∞-smooth function onX with bounded support, then eitherX contains an isomorphic copy ofc ₀(N), or there is an integerk greater than or equal to 1 such thatX is of exact cotype 2k and, in this case,X contains an isomorphic copy ofl ^2k(N). We also show that ifX is a Banach space such that there is onX a non-zero real-valuedC ⁴-smooth function with bounded support and ifX is of cotypeq forq<4, thenX is isomorphic to a Hilbert space.     

Disjoint homotopic paths and trees in a planar graph

In this paper we describe a polynomial-time algorithm for the following problem:given: a planar graphG embedded in ℝ², a subset {I ₁, …,I _p} of the faces ofG, and pathsC ₁, …,C _k inG, with endpoints on the boundary ofI ₁ ∪ … ∪I _p; find: pairwise disjoint simple pathsP ₁, …,P _k inG so that, for eachi=1, …,k, P _i is homotopic toC _i in the space ℝ²\(I ₁ ∪ … ∪I _p). Moreover, we prove a theorem characterizing the existence of a solution to this problem. Finally, we extend the algorithm to disjoint homotopic trees. As a corollary we derive that, for each fixedp, there exists a polynormial-time algorithm for the problem:given: a planar graphG embedded in ℝ² and pairwise disjoint setsW ₁, …,W _k of vertices, which can be covered by the boundaries of at mostp faces ofG;find: pairwise vertex-disjoint subtreesT ₁, …,T _k ofG whereT _i (i=1, …, k).     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

Two comments on Dvoretzky’s sphericity theorem

For any two positive integersk, l and anyɛ>0 there exists anN(k, l, ɛ) so that given anyl convex bodiesC ₁, …,C _l symmetric about the origin inE ⁿ withn≧N there exists a subspaceE ^k so that eachC _i intersectsE ^k, or has a projection intoE ^k, in a set which is nearly spherical (asphericity <ɛ). The measure of the totality ofE ^k which intersect a given body inE ⁿ in a nearly ellipsoidal set is considered and an affine invariant measure is introduced for that purpose.     

Strictly Hermitian positive definite functions

LetH be any complex inner product space with inner product <·,·>. We say thatf: ℂ→ℂ is Hermitian positive definite onH if the matrix

Varieties for Modules of Quantum Elementary Abelian Groups

We define a rank variety for a module of a noncocommutative Hopf algebra A = L \rtimes GA = \Lambda \rtimes G where L = k[X₁, ..., X_m]/(X₁^l, ..., X_m^l), G = (\mathbbZ/l\mathbbZ)^m\Lambda = k[X_1, \dots, X_m]/(X_1^{\ell}, \dots, X_m^{\ell}), G = (\mathbb{Z}/\ell\mathbb{Z})^m and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ=2, rank varieties for Λ-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λ-modules coincide with those of Erdmann and Holloway.     

Fixed points and normal families of quasiregular mappings

LetF be a family of mappingsK-quasiregular in some domainG. We show that if for eachf∈F, there existsk>1 such that thek-th iteratef ^k off has no fixed point, thenF is normal. Moreover, we examine to what extent this result holds if we consider only repelling fixed points, rather than fixed points in general. We also prove thatF is quasinormal, ifF contains only quasiregular mappings that do not have periodic points of some period greater than one inG. This implies that a quasiregular mappingf:ℝ ⁿ with an essential singularity in ∞ has infinitely many periodic points of any period greater than one. These results generalize results of M. Essén, S. Wu, D. Bargmann and W. Bergweiler for holomorphic functions.     

Intersection properties of boxes. Part I: An upper-bound theorem

LetP be a family ofn boxes inR ^d (with edges parallel to the coordinate axes). Fork=0, 1, 2, …, denote byf _k (P) the number of subfamilies ofP of sizek+1 with non-empty intersection. We show that iff _r (P)=0 for somer≦n, then where thef _k (n, d, r) are ceg196rtain definite numbers defined by (3.4) below. The result is best possible for eachk. Fork=1 it was conjectured by G. Kalai (Israel J. Math.48 (1984), 161–174). As an application, we prove a ‘fractional’ Helly theorem for families of boxes inR ^d .     

On the subspaces ofL p (p>2) spanned by sequences of independent random variables

Let 2<p<∞. The Banach space spanned by a sequence of independent random variables inL ^p , each of mean zero, is shown to be isomorphic tol ²,l ^p ,l ²⊕l ^p , or a new spaceX _p , and the linear topological properties ofX _p are investigated. It is proved thatX _p is isomorphic to a complemented subspace ofL ^p and another uncomplemented subspace ofL ^p , whence there exists an uncomplemented subspace ofl ^p isomorphic tol ^p . It is also proved thatX _p is not isomorphic to the previously knownℒ _p spaces. The work for this research was partially supported by the National Science Foundation GP-12997.     

Correlated equilibria of games with many players

Let G _m,n be the class of strategic games with n players, where each player has m≥2 pure strategies. We are interested in the structure of the set of correlated equilibria of games in G _m,n when n→∞. As the number of equilibrium constraints grows slower than the number of pure strategy profiles, it might be conjectured that the set of correlated equilibria becomes large. In this paper, we show that (1) the average relative measure of the set of correlated equilibria is smaller than 2⁻ⁿ; and (2) for each 1<c<m, the solution set contains c ⁿ correlated equilibria having disjoint supports with a probability going to 1 as n grows large. The proof of the second result hinges on the following inequality: Let c ₁, …, c _l be independent and symmetric random vectors in R ^k, l≥k. Then the probability that the convex hull of c ₁, …, c _l intersects R ^k ₊ is greater than or equal to . Received: December 1998/Final version: March 2000     

Bounds on the number of cycles of length three in a planar graph

LetG be ap-vertex planar graph having a representation in the plane with nontriangular facesF ₁,F ₂, …,F _r. Letf ₁,f ₂, …,f _r denote the lengths of the cycles bounding the facesF ₁,F ₂, …,F _r respectively. LetC ₃(G) be the number of cycles of length three inG. We give bounds onC ₃(G) in terms ofp,f ₁,f ₂, …,f _r. WhenG is 3-connected these bounds are bounds for the number of triangles in a polyhedron. We also show that all possible values ofC ₃(G) between the maximum and minimum value are actually achieved. This research was supported in part by the U.S.A.F. Office of Scientific Research, Systems Command, under Grant AFOSR-76-3017 and the National Science Foundation under Grant ENG79-09724.     

On degrees of maps between Grassmannians

Let G_n,k denote the oriented grassmann manifold of orientedk-planes in ℝⁿ. It is shown that for any continuous mapf: G_n,k → G_n,k, dim G_n,k = dim G_m,l = l(m −l), the Brouwer’s degree is zero, providedl > 1,n ≠ m. Similar results for continuous mapsg: ℂG_m,l → ℂG_n,k,h: ℍG_m,l → ℍG_n,k, 1 ≤ l < k ≤ n/2, k(n — k) = l(m — l) are also obtained.