Order estimates for irreducible projections in L2 of a nilmanifold

Let π be an irreducible representation occurring in $\text{L}$²(Г?N), where N is a nilpotent Lie group and Γ is a discrete, cocompact subgroup. The projection onto the π-equivariant subspace is given by convolution against a distribution D_π. For certain π, we obtain an estimate on the order of D_π. The condition on π involves an extension of the “canonical objects” associated to elements of the Kirillov orbit of π; there does not appear to be an example in the literature where it is not satisfied.     

Self-dual cones in Hilbert space

Self-dual orderings of Hilbert spaces are defined and a structure theory is developed. As an application it is shown that a projection π is in the commuting algebra of a “nice” topological group iff π and I — π leave the cone of L² positive definite functions invariant.     

Geometric ergodicity of Harris recurrent Marcov chains with applications to renewal theory

Let (X_n) be a positive recurrent Harris chain on a general state space, with invariant probability measure π. We give necessary and sufficient conditions for the geometric convergence of λPⁿf towards its limit π(f), and show that when such convergence happens it is, in fact, uniform over f and in L¹(π)-norm. As a corollary we obtain that, when (Xn) is geometrically ergodic, ∝ π(dx)6Pⁿ(x,·)-π6 converges to zero geometrically fast. We also characterize the geometric ergodicity of (X_n) in terms of hitting time distributions. We show that here the so-called small sets act like individual points of a countable state space chain. We give a test function criterion for geometric ergodicity and apply it to random walks on the positive half line. We apply these results to non-singular renewal processes on [0,∞) providing a probabilistic approach to the exponencial convergence of renewal measures.     

On Milnor's classes “L” and “D”

A twenty-one player counterexample is presented which disposes of two questions raised by J. W. Milnor in 1952 concerning the existence of certain pre-solutions, based on plausible lower and upper bounds to what a coalition should expect to receive in a cooperative game in characteristic function form. In the counterexample, the lower-bound set, known as “L”, is empty, and the upper-bound set, known as “D”, contains no efficient outcomes.     

Cohomology of incidence coalgebras

The cohomology groups Hⁿ(M, C) are studied, where C is the incidence coalgebra of a locally finite partially ordered set P and where M is a C-C comodule depending on a convex coarsening of the given partial order on P. The case where P is a geometric lattice and the convex coarsening is just the equality relation is emphasized.     

The complete classification of fibres in pencils of curves of genus two

This article contains geometrical classification of all fibres in pencils of curves of genus two, which is essentially different from the numerical one given by Ogg ([11]) and Iitaka ([7]). Given a family π:X→D of curves of genus two which is smooth overD′=D?{0}, we define a multivalued holomorphic mapT _π fromD′ into the Siegel upper half plane of degree two, and three invariants called “monodromy”, “modulus point” and “degree”. We assert that the family π is completely determined byT _π, and its singular fibre by these three invariants. Hence all types of fibres are classified by these invariants and we list them up in a table, which is the main part of this article.     

A bound on the dimension of interval orders

We make use of the partially ordered set (I(0, n), <) consisting of all closed intervals of real numbers with integer endpoints (including the degenerate intervals with the same right- and left-hand endpoints), ordered by [a, b] < [c, d] if b < c, to show that there is no bound on the order dimension of interval orders. We then turn to the problem of computing the dimension of I(0, n), showing that I(0, 10) has dimension 3 but I(0, 11) has dimension 4. We use these results as initial conditions in obtaining an upper bound on the dimension of I(0, n) as a logarithmic function of n. It is our belief that this example is a “canonical” example for interval orders, so that the computation of its dimension should have significant impact on the problem of computing the dimension of interval orders in general.     

Generation of a finite group with Hall maximal subgroups by a pair of conjugate elements

For a finite group G, the set of all prime divisors of |G| is denoted by π(G). P. Shumyatsky introduced the following conjecture, which was included in the “Kourovka Notebook” as Question 17.125: a finite group G always contains a pair of conjugate elements a and b such that π(G) = π(〈a, b〉). Denote by \(\mathfrak{Y}\) the class of all finite groups G such that π(H) ≠ π(G) for every maximal subgroup H in G. Shumyatsky’s conjecture is equivalent to the following conjecture: every group from \(\mathfrak{Y}\) is generated by two conjugate elements. Let \(\mathfrak{V}\) be the class of all finite groups in which every maximal subgroup is a Hall subgroup. It is clear that \(\mathfrak{V} \subseteq \mathfrak{Y}\). We prove that every group from \(\mathfrak{V}\) is generated by two conjugate elements. Thus, Shumyatsky’s conjecture is partially supported. In addition, we study some properties of a smallest order counterexample to Shumyatsky’s conjecture.     

Classification of certain pairs of operators (P, Q) satisfying [P, Q] = −i Id

In a separable Hilbert space a certain class of pairs of operators (P, Q) satisfying the Born-Heisenberg commutation relation [P, Q] = ?i Id on a dense domain Ω is investigated. This class is essentially defined by requiring Q bounded and self-adjoint, P symmetric and $\text{PΩ ? Ω, QΩ ? Ω}$. We show that Q is absolutely continuous and that P can be thought of as a first order differential operator. The class considered contains the pair “angle ?” and “angular momentum L_z.” It is expected that the methods of this paper can be applied to more general classes of operators (P, Q) including the Schrödinger case.     

Local derivations of finitary incidence algebras

Let P be a partially ordered set, R a commutative ring with identity and FI(P,R) the finitary incidence algebra of P over R. We prove that each R-linear local derivation of FI(P,R) is a derivation, which partially generalizes Theorem 3 of [21].     

On the Form of Subobjects in Semi-Abelian and Regular Protomodular Categories

Let Gls denote the category of (possibly large) ordered sets with Galois connections as morphisms between ordered sets. The aim of the present paper is to characterize semi-abelian and regular protomodular categories among all regular categories ?, via the form of subobjects of ?, i.e. the functor ? → Gls which assigns to each object X in ? the ordered set Sub(X) of subobjects of X, and carries a morphism f : X → Y to the induced Galois connection Sub(X) → Sub(Y) (where the left adjoint maps a subobject m of X to the regular image of fm, and the right adjoint is given by pulling back a subobject of Y along f). Such functor amounts to a Grothendieck bifibration over ?. The conditions which we use to characterize semi-abelian and regular protomodular categories can be stated as self-dual conditions on the bifibration corresponding to the form of subobjects. This development is closely related to the work of Grandis on “categorical foundations of homological and homotopical algebra”. In his work, forms appear as the so-called “transfer functors” which associate to an object the lattice of “normal subobjects” of an object, where “normal” is defined relative to an ideal of null morphism admitting kernels and cokernels.     

H.O. Foulkes (1907–1977)

Two general kinds of subsets of a partially ordered set P are always retracts of P: (1) every maximal chain of P is a retract; (2) in P, every isometric, spanning subset of length one with no crowns is a retract. It follows that in a partially ordered set P with the fixed point property, every maximal chain of P is complete and every isometric, spanning fence of P is finite.     

Compact nilpotent groups

Herrlich, Salicrup, and Strecker [HSS] have shown that Kuratowski’s Theorem, namely, that a space X is compact if and only if for every space Y, the projection π₂X×Y → Y is a closed map, can be interpreted categorically, and hence generalized and applied in a wider settin than the category of topological spaces. The first author, in an earlier paperj [Fl] , applied this categorical interpretation of compactness in categories of R-modules, obtaining a theory of compactness for each torsion theory T. In the case of the category of abelian groups and a hereditary torsion theory T, a group G is T-compact provided G/TG is a T-injective. In this note, the notion of compact is extended to the categories of hypercentral groups, nilpotent groups, and of FC-groups; it is shown that if T _π denotes the π-torsion subgroup functor for a set of primes π, then a group G is T _π-compact provided G/T _πG is π-complete, extending the abelian group result in a natural way.     

An application of the Helly property to the partially ordered sets

Quilliot (Discrete Math. 1982.) showed that when the bowls of a connected graph satisfy the Helly property it is possible to deduce for this graph some fixed point and homomorphism extension theorems. For a partially ordered set E a special family of subsets is defined which, when it satisfies the Helly property, permits the deductions that every homomorphism from E into E has a fixed point, that every antitone function from E has “almost” a fixed point, and that there exists a simple criterion letting us know when a function f from a subset A of a partially ordered set G can be extended into a homomorphism from G to E.     

Über den Freudenthalschen Spektralsatz

For a vector lattice E with the principal projection property, the following generalization of H.Freudenthal's spectral theorem is proved: There exists a measure space (Ω,R,π) such that integration with respect to π establishes a vector lattice isomorphism from L¹(π) to E. Here π:?→E is a σ -additive vector measure on some δ-ring R which, for [σ-] Dedekind complete E, may be chosen to be the δ-ring of relatively compact [Baire-] Borel sets in a locally compact space. Among others Kakutani's representation of abstract L-spaces as concrete L¹ -spaces is an immediate consequence.     

Some theorems on graphs and posets

In this journal, Leclerc proved that the dimension of the partially ordered set consisting of all subtrees of a tree T, ordered by inclusion, is the number of end points of T. Leclerc posed the problem of determining the dimension of the partially ordered set P consisting of all induced connected subgraphs of a connected graph G for which P is a lattice.In this paper, we prove that the poset P consisting of all induced connected subgraphs of a nontrivial connected graph G, partially ordered by inclusion, has dimension n where n is the number of noncut vertices in G whether or not P is a lattice. We also determine the dimension of the distributive lattice of all subgraphs of a graph.     

On then-cutset property

For a partially ordered setP and an elementx ofP, a subsetS ofP is called a cutset forx inP if every element ofS is noncomparable tox and every maximal chain ofP meets {x}∪S. We letc(P) denote the smallest integerk such that every elementx ofP has a cutsetS with ‖S‖?k: Ifc(P)?n we say thatP has then-cutset property. Our results bear on the following question: givenP, what is the smallestn such thatP can be embedded in a partially ordered set having then-cutset property? As usual, 2 ⁿ denotes the Boolean lattice of all subsets of ann-element set, andB _n denotes the set of atoms and co-atoms of 2 ⁿ . We establish the following results: (i) a characterization, by means of forbidden configurations, of whichP can be embedded in a partially ordered set having the 1-cutset property; (ii) ifP contains a copy of 2 ⁿ , thenc(P)?2^[n/2]?1; (iii) for everyn>3 there is a partially ordered setP containing 2 ⁿ such thatc(P)<c(2 ⁿ ); (iv) for every positive integern there is a positive integerN such that, ifB _m is contained in a partially ordered set having then-cutset property, thenm?N.     

Automorphisms of lexicographic products

The automorphism group Γ(P) of a partially ordered set P consists of all permutations on P that preserve order (and have order preserving inverses). In this paper we raise, and partially answer, the question: How is the automorphism group of the lexicographic product (P × Q) of two orders (P and Q) related to the automorphism groups of the factors, P and Q?We show that the wreath product Γ(Q) wr ΓP) is always contained in Γ(P × Q). We find necessary and sufficient conditions for Γ(P × Q) to equal Γ(Q) wr Γ(P), and when P and Q are finite, we find a complete characterization of Γ(P × Q) in terms of Γ(P), Γ(Q) and properties of P and Q.