Mathematische Zeitschrift

The aim of this paper is to fill a small, but fundamental, gap in the theory of p-adic analytic groups. We illustrate by example that the now standard notion of a uniformly powerful pro-p group is more restrictive than Lazard’s concept of a saturable pro-p group. For instance, the Sylow-pro-p subgroups of many classical groups are saturable, but need not be uniformly powerful. Extending work of Ilani, we obtain a correspondence between subgroups and Lie sublattices of saturable pro-p groups. This leads to applications, for instance, in the subject of subgroup growth.

We give an effective formula for the local Łojasiewicz exponent of a polynomial mapping. Moreover, we give an algorithm for computing the local dimension of an algebraic variety.

Let H be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold X and a real algebraic bundle $${\mathcal {E}}$$ on X. Let $$\mathfrak {h}$$ be the Lie algebra of H. Let $$\mathcal {S}(X,{\mathcal {E}})$$ be the space of Schwartz sections of $${\mathcal {E}}$$ . We prove that $$\mathfrak {h}\mathcal {S}(X,{\mathcal {E}})$$ is a closed subspace of $$\mathcal {S}(X,{\mathcal {E}})$$ of finite codimension. We give an application of this result in the case when H is a real spherical subgroup of a real reductive group G. We deduce an equivalence of two old conjectures due to Casselman: the automatic continuity and the comparison conjecture for zero homology. Namely, let $$\pi $$ be a Casselman–Wallach representation of G and V be the corresponding Harish–Chandra module. Then the natural morphism of coinvariants $$V_{\mathfrak {h}}\rightarrow \pi _{\mathfrak {h}}$$ is an isomorphism if and only if any linear $$\mathfrak {h}$$ -invariant functional on V is continuous in the topology induced from $$\pi $$ . The latter statement is known to hold in two important special cases: if H includes a symmetric subgroup, and if H includes the nilradical of a minimal parabolic subgroup of G.

We give an explicit formula for the Bellman function associated with the dual bound related to the unconditional constant of the Haar system.

The algebra of quantum matrices of a given size supports a rational torus action by automorphisms. It follows from work of Letzter and the first named author that to understand the prime and primitive spectra of this algebra, the first step is to understand the prime ideals that are invariant under the torus action. In this paper, we prove that a family of quantum minors is the set of all quantum minors that belong to a given torus-invariant prime ideal of a quantum matrix algebra if and only if the corresponding family of minors defines a non-empty totally nonnegative cell in the space of totally nonnegative real matrices of the appropriate size. As a corollary, we obtain explicit generating sets of quantum minors for the torus-invariant prime ideals of quantum matrices in the case where the quantisation parameter q is transcendental over $${\mathbb{Q}}$$ .

In this paper, we give formulas for the embedding dimension, the Frobenius number, the type and the genus for a numerical semigroups generated by the Mersenne numbers greater than or equal to a given Mersenne number.

In this article we study a class of manifolds introduced by Bosio called $$\mathrm{{LVMB}}$$ manifolds. We provide an interpretation of his construction in terms of quotient of toric manifolds by complex Lie groups. Furthermore, $$\mathrm{{LVMB}}$$ manifolds extend a class of manifolds obtained by Meersseman, called $$\mathrm{{LVM}}$$ manifolds and we give a characterization of these manifolds using our toric description. Finally, we give an answer to a question asked by Cupit-Foutou and Zaffran.