Hyperreflexivity of bounded N-cocycle spaces of banach algebras

Let \(X\) and \(Y\) be Banach spaces, \(n\in \mathbb {N}\) , and \(B^n(X,Y)\) the space of bounded \(n\) -linear maps from \(X\times \ldots \times X\) ( \(n\) -times) into \(Y\) . The concept of hyperreflexivity has already been defined for subspaces of \(B(X,Y)\) , where \(X\) and \(Y\) are Banach spaces. We extend this concept to the subspaces of \(B^n(X,Y)\) , taking into account its \(n\) -linear structure. We then investigate when \(\mathcal {Z}^n(A,X)\) , the space of all bounded \(n\) -cocycles from a Banach algebra \(A\) into a Banach \(A\) -bimodule \(X\) , is hyperreflexive. Our approach is based on defining two notions related to a Banach algebra, namely the strong property \((\mathbb {B})\) and bounded local units, and then applying them to find uniform criterions under which \(\mathcal {Z}^n(A,X)\) is hyperreflexive. We also demonstrate that these criterions are satisfied in variety of examples including large classes of C \(^*\) -algebras and group algebras and thereby providing various examples of hyperreflexive \(n\) -cocyle spaces. One advantage of our approach is that not only we obtain the hyperreflexivity for bounded \(n\) -cocycle spaces in different cases but also our results generalize the earlier ones on the hyperreflexivity of bounded derivation spaces, i.e. when \(n=1\) , in the literature. Finally, we investigate the hereditary properties of the strong property \((\mathbb {B})\) and b.l.u. This allows us to come with more examples of bounded \(n\) -cocycle spaces which are hyperreflexive.     

On conditional permutability and factorized groups

Two subgroups \(A\) and \(B\) of a group \(G\) are said to be totally completely conditionally permutable (tcc-permutable) if \(X\) permutes with \(Y^g\) for some \(g\in \langle X,Y\rangle \) , for all \(X \le A\) and all \(Y\le B\) . In this paper, we study finite products of tcc-permutable subgroups, focussing mainly on structural properties of such products. As an application, new achievements in the context of formation theory are obtained.     

Noether–Lefschetz theory with base locus

Let \(Z\) be a closed subscheme of a smooth complex projective variety \(Y\subseteq \mathbb {P}^N\) , with \(\dim \,Y=2r+1\ge 3\) . We describe the intermediate Néron–Severi group (i.e. the image of the cycle map \(A_r(X)\rightarrow H_{2r}(X;\mathbb {Z})\) ) of a general smooth hypersurface \(X\subset Y\) of sufficiently large degree containing \(Z\) .     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

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.     

Approximation faible et principe de Hasse pour des espaces homogènes à stabilisateur fini résoluble

Let \(K\) be a global field and \(G\) a finite solvable \(K\) -group. Under certain hypotheses concerning the extension splitting \(G\) , we show that the homogeneous space \(V=G'/G\) with \(G'\) a semi-simple simply connected \(K\) -group has the weak approximation property. We use a more precise version of this result to prove the Hasse principle for homogeneous spaces \(X\) under a semi-simple simply connected \(K\) -group \(G'\) with finite solvable geometric stabilizer \({\bar{G}}\) , under certain hypotheses concerning the \(K\) -kernel (or \(K\) -lien) \(({\bar{G}},\kappa )\) defined by \(X\) .     

A New Topological Helly Theorem and Some Transversal Results

We prove that for a topological space \(X\) with the property that \( H_{*}(U)=0\) for \(*\ge d\) and every open subset \(U\) of \(X\) , a finite family of open sets in \(X\) has nonempty intersection if for any subfamily of size \(j,\,1\le j\le d+1,\) the \((d-j)\) -dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of convex sets.     

The V-filtration for tame unit F-crystals

Let \(X\) be a smooth variety over an algebraically closed field of characteristic \(p > 0, Z\) a smooth divisor, and \(j: U=X {\setminus } Z \rightarrow X\) the natural inclusion. We introduce in an axiomatic way the notion of a \(V\) -filtration on unit \(F\) -crystals and prove such axioms determine a unique filtration. It is shown that if \(\mathcal M \) is a tame unit \(F\) -crystal on \(U\) , then such a \(V\) -filtration along \(Z\) exists on \(j_*\mathcal M \) . The degree zero component of the associated graded module is proven to be the (unipotent) nearby cycles functor of Grothendieck and Deligne under the Emerton–Kisin Riemann–Hilbert correspondence. A few applications to \(\mathbb A ^1\) and gluing are then discussed.     

Truncated Quillen complexes of p-groups

Let \(p\) be an odd prime and let \(P\) be a \(p\) -group. We examine the order complex of the poset of elementary abelian subgroups of \(P\) having order at least \(p^2\) . Bouc and Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer \(l\) , the number of spheres of dimension \(l\) in this wedge is controlled by the number of extraspecial subgroups \(X\) of \(P\) having order \(p^{2l+3}\) and satisfying \(\Omega _1(C_P(X))=Z(X)\) . We go on to provide a negative answer to a question raised by Bouc and Thévenaz concerning restrictions on the homology groups of the given complex.     

On an extension of the Frobenius^{\prime } theorem about p-nilpotency of a finite group

Suppose that \(G\) is a finite group and \(H\) is a subgroup of \(G\) . \(H\) is said to be \(s\) -quasinormally embedded in \(G\) if for each prime \(p\) dividing the order of \(H\) , a Sylow \(p\) -subgroup of \(H\) is also a Sylow \(p\) -subgroup of some \(s\) -quasinormal subgroup of \(G\) . We fix in every non-cyclic Sylow subgroup \(P\) of \(G\) some subgroup \(D\) satisfying \(1<|D|<|P|\) and study the \(p\) -nilpotency of \(G\) under the assumption that every subgroup \(H\) of \(P\) with \(|H|=|D|\) is \(s\) -quasinormally embedded in \(G\) . Some recent results and the Frobenius \(^{\prime }\) theorem are generalized.     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

Pencils on separating (M-2)-curves

A separating ( \(M-2\) )-curve is a smooth geometrically irreducible real projective curve \(X\) such that \(X(\mathbb{R })\) has \(g-1\) connected components and \(X(\mathbb{C })\setminus X(\mathbb{R })\) is disconnected. Let \(T_g\) be a Teichmüller space of separating ( \(M-2\) )-curves of genus g. We consider two partitions of \(T_g\) , one by means of a concept of special type, the other one by means of the separating gonality. We show that those two partitions are very closely related to each other. As an application, we obtain the existence of real curves having isolated real linear systems \(g^1_{g-1}\) for all \(g\ge 4\) .     

On weakly closed subgroups of finite groups

Suppose that \(G\) is a finite group and \(H\) , \(K\) are subgroups of \(G\) . We say that \(H\) is weakly closed in \(K\) with respect to \(G\) if, for any \(g \in G\) such that \(H^{g}\le K\) , we have \(H^{g}=H\) . In particular, when \(H\) is a subgroup of prime-power order and \(K\) is a Sylow subgroup containing it, \(H\) is simply said to be a weakly closed subgroup of \(G\) or weakly closed in \(G\) . In the paper, we investigate the structure of finite groups by means of weakly closed subgroups.     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Endomorphism rings of bimodules

Let \(M\) be an \(R\) - \(R\) -bimodule over a semi-prime right and left Goldie ring \(R\) . We investigate how non-singularity conditions on \(M_R\) are related to such conditions on \(_RM\) . In particular, we say an \(R\) - \(R\) -bimodule \(M\) such that \(_RM\) and \(M_R\) are non-singular has the right essentiality property if \(IM_R\) is essential in \(M_R\) for all essential right ideals \(I\) of \(R\) , and investigate several questions related to this property.     

On extensions of completely simple semigroups by groups

An example of an extension of a completely simple semigroup \(U\) by a group \(H\) is given which cannot be embedded into the wreath product of \(U\) by \(H\) . On the other hand, every central extension of \(U\) by \(H\) is shown to be embeddable in the wreath product of \(U\) by \(H\) , and any extension of \(U\) by \(H\) is proved to be embeddable in a semidirect product of a completely simple semigroup \(V\) by \(H\) where the maximal subgroups of \(V\) are direct powers of those of \(U\) .     

Characterization of ellipses as uniformly dense sets with respect to a family of convex bodies

Let \(K\subset \mathbb R ^N\) be a convex body containing the origin. A measurable set \(G\subset \mathbb R ^N\) with positive Lebesgue measure is said to be uniformly \(K\) -dense if, for any fixed \(r>0\) , the measure of \(G\cap (x+r K)\) is constant when \(x\) varies on the boundary of \(G\) (here, \(x+r K\) denotes a translation of a dilation of \(K\) ). We first prove that \(G\) must always be strictly convex and at least \(C^{1,1}\) -regular; also, if \(K\) is centrally symmetric, \(K\) must be strictly convex, \(C^{1,1}\) -regular and such that \(K=G-G\) up to homotheties; this implies in turn that \(G\) must be \(C^{2,1}\) -regular. Then for \(N=2\) , we prove that \(G\) is uniformly \(K\) -dense if and only if \(K\) and \(G\) are homothetic to the same ellipse. This result was already proven by Amar et al. in 2008 . However, our proof removes their regularity assumptions on \(K\) and \(G\) , and more importantly, it is susceptible to be generalized to higher dimension since, by the use of Minkowski’s inequality and an affine inequality, avoids the delicate computations of the higher-order terms in the Taylor expansion near \(r=0\) for the measure of \(G\cap (x+r\,K)\) (needed in 2008).     

Scattered linear sets generated by collineations between pencils of lines

Let \(A\) and \(B\) be two points of \(\mathrm{{PG}}(2,q^n)\) , and let \(\Phi \) be a collineation between the pencils of lines with vertices \(A\) and \(B\) . In this paper, we prove that the set of points of intersection of corresponding lines under \(\Phi \) is either the union of a scattered \(\mathrm{{GF}}(q)\) -linear set of rank \(n+1\) with the line \(AB\) or the union of \(q-1\) scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n\) with \(A\) and \(B\) . We also determine the intersection configurations of two scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n+1\) of \(\mathrm{{PG}}(2,q^n)\) both meeting the line \(AB\) in a \(\mathrm{{GF}}(q)\) -linear set of pseudoregulus type with transversal points \(A\) and \(B\) .     

Bounding the exponent of a verbal subgroup

We deal with the following conjecture. If \(w\) is a group word and \(G\) is a finite group in which any nilpotent subgroup generated by \(w\) -values has exponent dividing \(e\) , then the exponent of the verbal subgroup \(w(G)\) is bounded in terms of \(e\) and \(w\) only. We show that this is true in the case where \(w\) is either the \(n\text{ th }\) Engel word or the word \([x^n,y_1,y_2,\ldots ,y_k]\) (Theorem A). Further, we show that for any positive integer \(e\) there exists a number \(k=k(e)\) such that if \(w\) is a word and \(G\) is a finite group in which any nilpotent subgroup generated by products of \(k\) values of the word \(w\) has exponent dividing \(e\) , then the exponent of the verbal subgroup \(w(G)\) is bounded in terms of \(e\) and \(w\) only (Theorem B).     

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\) .