We prove that the mod [pfr ]-reduction of a Shimura subvariety of the moduli space of abelian varieties has a Zariski dense ordinary locus for almost all height 1 primes [pfr ] of the reflex field. We show further that the ordinary locus is empty at primes which are not of height 1.

Let ${\cal A}$ be a unital maximal full algebra of operator fields with base space $[0, 1]^k$ and fibre algebras $\{{\cal A}_t\}_{t\in[0, 1]}^{k}$. It is shown in this paper that the stable rank of ${\cal A}$ is bounded above by the quantity sup$_{t\in[0, 1]^k}\,{\rm sr}(C([0, 1]^k)\,{\otimes}\,{\cal A}_t)$, where ‘sr’ means stable rank. Using the above estimate, the stable ranks of the C$^*$-algebras of the (possibly higher rank) discrete Heisenberg groups are computed.

Let G and A be finite groups with coprime orders, and suppose that A acts on G by automorphisms. Let π(G, A)[ratio ]IrrA(G)→Irr (CG(A)) be the Glauberman–Isaacs correspondence. Let B[les ]A and χ∈IrrA(G). We exhibit a counterexample to the conjecture that χπ(G, A) is an irreducible constituent of the restriction of χπ(G, B) to CG(A).

It is well known that there exist infinite closed subsets E of [ ] such that A(E) = C(E) (see, for example, [3]). Such sets are called Helson sets. Let E be a closed subset of [ ], let 0 < α < 1, and let Aα(E) be the restriction of the Beurling algebra Aα([ ]). Then Aα(E) ⊂ lipαE. We shall show that Aα(E) = lipαE if and only if E is finite. This answers a question raised by Pedersen [5], where partial results were obtained.

In this paper, half-dimensional Einstein–Kähler submanifolds or locally reducible Kähler submanifolds are classified in a quaternion projective space.

By means of a simplification in a significant step of Zelmanov's solution of the restricted Burnside problem, the known bounds for the order of finite $m$ -generator groups of exponent $n$ are improved.

Let $G$ be an additively written abelian group, and let $S$ be a sequence in $G \setminus \{0\}$ with length $|S| \ge 4$. Suppose that $S$ is a product of two subsequences, say $S = B C$, such that the element $g+h$ occurs in the sequence $S$ whenever $g \cdot h$ is a subsequence of $B$ or of $C$. Then $S$ contains a proper zero-sum subsequence, apart from some well-characterized exceptional cases. This result is closely connected with restricted set addition in abelian groups. Moreover, it solves a problem on the structure of minimal zero-sum sequences, which recently occurred in the theory of non-unique factorizations.

Higher algebraic K-theoretic analogues of Hasse's norm theorem in class field theory are proved. The result gives a partial affirmative answer to a question posed by Bak and Rehmann.

The notions of controlled truncations for operators in the Roe algebras $C^*(X)$ of a coarse space $(X, \cal{E})$ with uniformly locally finite coarse structure, and rank distributions on $(X, \cal{E})$ are introduced. It is shown that the controlled propagation operators in an ideal $I$ of $C^*(X)$ are exactly the controlled truncations of elements in $I$. It follows that the lattice of the ideals of $C^*(X)$ in which controlled propagation operators are dense is isomorphic to the lattice of all rank distributions on $(X, \cal{E})$. If $X$ is a discrete metric space with Yu's property A, then the ideal structure of the Roe algebra $C^*(X)$ is completely determined by the rank distributions on $X$.

Let $H$ be a not necessarily separable Hilbert space, and let $\mathcal{B}(H)$ denote the space of all bounded linear operators on $H$. It is proved that a commutative lattice $\mathcal{D}$ of self-adjoint projections in $H$ that contains $0$ and $I$ is spatially complete if and only if it is a closed subset of $\mathcal{B}(H)$ in the strong operator topology. Some related results are obtained concerning commutative lattice-ordered cones of self-adjoint operators that contain $\mathcal{D}$.

An inequality is established involving colengths of the tight closure of ideals of systems of parameters in local rings with some mild conditions. As an application, a proof is given of a result due to Goto and Nakamura (first conjectured by Watanabe and Yoshida), which states that the Hilbert–Samuel multiplicity of a parameter ideal is greater than or equal to the colength of the tight closure of the ideal. The result is also further refined.

Let $\Cal F$ be a holomorphic foliation (possibly with singularities) on a non-singular manifold $M$, and let $V$ be a complex analytic subset of $M$. Usual residue theorems along $V$ in the theory of complex foliations require that $V$ be tangent to the foliation (that is, a union of leaves and singular points of $V$ and $\Cal F$); this is the case for instance for the blow-up of a non-dicritical isolated singularity. In this paper, residue theorems are introduced along subvarieties that are not necessarily tangent to the foliation, including the blow-up of the dicritical situation.

The following result is established.

THEOREM. Let G be a periodic, residually finite group with all subgroups sub-normal. Then G is nilpotent.

The well-known groups of Heineken and Mohamed [1] show that the hypothesis of residual finiteness cannot be omitted here, while examples in [5] show that a residually finite group with all subgroups subnormal need not be nilpotent. The proof of the Theorem will use the results of Möhres that a group with all subgroups subnormal is soluble [3] and that a periodic hypercentral group with all subgroups subnormal is nilpotent [4]. Borrowing an idea from [2], the plan is to construct certain subgroups H and K that intersect trivially, and to show that the subnormality of both leads to a contradiction.

An alternative proof is given of a result, originally due to Guido Mislin, giving necessary and sufficient conditions for the inclusion of a subgroup to induce an isomorphism in mod p cohomology.

The authors present a technique of deriving basic hypergeometric identities from specializations using fewer parameters, by using the classical Cauchy identity on the expansion of the power of $x$ in terms of the $q$-binomial coefficients. This method is referred to as ‘Cauchy augmentation’. Despite its simple appearance, the Cauchy identity plays a key role in parameter augmentation. For example, one can reach the $q$-Gauss summation formula from the Euler identity by using the Cauchy augmentation twice. This idea also applies to Jackson's $_2\phi_1$ to $_3\phi_1$ transformation formula. Moreover, a transformation formula analogous to Jackson's formula is obtained.

The topological disc (De Paepe's) \[ P=\{(z^2,\bar{z}^2+\bar{z}^3):|z|\le 1\}\subset {\bb C}^2 \]

is shown here to have non-trivial polynomially convex hull. In fact, the authors show that this holds for all discs of the form $X=\{(z^2,f(\bar{z})):|z|\le r\}$ , where $f$ is holomorphic on $|z|\le r$ , and $f(z)=z^2+a_3z^3+\ldots$ , with all coefficients $a_n$ real, and at least one $a_{2n+1}\ne 0$ .

The Fredholm properties of Toeplitz operators $T_a$ on Hardy spaces $H^p$ ($1<p<\infty$) with continuous symbols $a$ are well understood. We consider $T_a$ acting on $H^1$, where the operator is bounded provided that $a$ belongs to the class of symbols given by Janson and Stegenga's result on the pointwise multipliers on $H^1$. A necessary and sufficient condition for $T_a$ to be a Fredholm operator is given when $a$ is continuous and satisfies a mild additional condition (much weaker than Hölder continuity). A formula for the index of $T_a$ is also derived. In addition, we study the case of matrix-valued symbols and Toeplitz operators on $\rm{BMO}_A$.

It is known that if a is an algebraic element of a Banach algebra A, then its spectrum σ(a) is finite, and there exists γ > 0 such that the Hausdorff distance to spectra of nearby elements satisfies

(formula here)

We prove that the converse is also true, provided that A is semisimple.

Sharp decay estimates are provided in this paper for spherical averages of a certain multilinear extension operator on $L^{2}(\mathbb{S}^{n-1})\times \ldots\times L^{2}(\mathbb{S}^{n-1})$.

I exhibit a pair of non-symmetric operads that, while not themselves isomorphic, induce isomorphic monads. The existence of such a pair implies that if ‘algebraic theory’ is understood as meaning ‘monad’ then operads cannot be regarded as algebraic theories of a special kind.