A solution to Curry and Hindley’s problem on combinatory strong reduction

It has often been remarked that the metatheory of strong reduction , the combinatory analogue of βη-reduction in λ-calculus, is rather complicated. In particular, although the confluence of is an easy consequence of being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of , one which makes no detour through λ-calculus. We answer positively to this question, by extending and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of immediately follows from the main result of the present paper, namely that a certain analytic proof system G _e [] , which is equivalent to the standard proof system CL _ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G _e [] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators.      

Orbits of the hyperoctahedral group as Euclidean designs

The hyperoctahedral group H in n dimensions (the Weyl group of Lie type B _n ) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes.With e ₁ , ..., e _n denoting the standard basis vectors of ⁿ and letting x _k = e ₁ + ··· + e _k (k = 1, 2, ..., n), the set

Bi-Inner Dilations and Bi-Stable Passive Scattering Realizations of Schur Class Operator-Valued Functions

Let S(U; Y) be the class of all Schur functions (analytic contractive functions) whose values are bounded linear operators mapping one separable Hilbert space U into another separable Hilbert space Y , and which are defined on a domain , which is either the open unit disk or the open right half-plane . In the development of the Darlington method for passive linear time-invariant input/state/output systems (by Arov, Dewilde, Douglas and Helton) the following question arose: do there exist simple necessary and sufficient conditions under which a function has a bi-inner dilation mapping into ; here U ₁ and Y ₁ are two more separable Hilbert spaces, and the requirement that Θ is bi-inner means that Θ is analytic and contractive on Ω and has unitary nontangential limits a.e. on ∂Ω. There is an obvious well-known necessary condition: there must exist two functions and (namely and ) satisfying and for almost all . We prove that this necessary condition is also sufficient. Our proof is based on the following facts. 1) A solution ψ _r of the first factorization problem mentioned above exists if and only if the minimal optimal passive realization of θ is strongly stable. 2) A solution ψ _l of the second factorization problem exists if and only if the minimal *-optimal passive realization of θ is strongly co-stable (the adjoint is strongly stable). 3) The full problem has a solution if and only if the balanced minimal passive realization of θ is strongly bi-stable (both strongly stable and strongly co-stable). This result seems to be new even in the case where θ is scalar-valued.      

On Galois groups of unramified pro-p extensions

Let p be an odd prime satisfying Vandiver’s conjecture. We consider two objects, the Galois group X of the maximal unramified abelian pro-p extension of the compositum of all Z _p -extensions of Q(μ _p ) and the Galois group of the maximal unramified pro-p extension of Q . We give a lower bound for the height of the annihilator of X as an Iwasawa module. Under some mild assumptions on Bernoulli numbers, we provide a necessary and sufficient condition for to be abelian. The bound and the condition in the two results are given in terms of special values of a cup product pairing on cyclotomic p-units. We obtain in particular that, for p  <  1,000, Greenberg’s conjecture that X is pseudo-null holds and is in fact abelian.     

Multiplicity one theorem for ({\rm GL}_{n+1}({\mathbb{R}}), {\rm GL} _ {n} ({ \mathbb{R}}))

Let F be either or . Consider the standard embedding and the action of GL_n(F) on GL_n+1(F) by conjugation. We show that any GL_n(F)-invariant distribution on GL_n+1(F) is invariant with respect to transposition. We prove that this implies that for any irreducible admissible smooth Fréchet representations π of GL_n+1(F) and of GL_n(F),

General Logic-Systems and Finite Consequence Operators

In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On the other hand, it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given. Mathematics Subject Classification (2000): Primary 03B22, Secondary 03B65     

Non-variational elliptic systems in dimension two: a priori bounds and existence of positive solutions

We establish a priori bounds for positive solutions of semilinear elliptic systems of the form

Varieties with quadratic entry locus, <Emphasis Type="Italic">I</Emphasis>

We introduce and study (L)QEL-manifolds of type δ, a class of projective varieties whose extrinsic and intrinsic geometry is very rich, especially when δ >  0. We prove a strong Divisibility Property for LQEL-manifolds of type δ ≥  3, allowing the classification of those of type . In particular we obtain a new and very short proof that Severi varieties have dimension 2,4, 8 or 16 and also an almost self-contained proof of their classification due to Zak. We also provide the classification of special Cremona transformations of type (2,3) and (2,5). Partially supported by CNPq (Centro Nacional de Pesquisa), grant 308745/2006-0, and by PRONEX/FAPERJ–Algebra Comutativa e Geometria Algebrica.     

Liftings of distributive lattices by locally matricial algebras with respect to the Id c functor

We study representations of distributive -lattices, considered as join-semilattices, by semilattices of finitely generated two-sided ideals of locally matricial algebras over a field k, aiming to find a functorial solution of the problem. We find simple examples of a finite subcategory of the category Ld of distributive -lattices and of a subcategory of L_d corresponding to a partially ordered class which cannot be lifted with respect to the Id_c functor. On the other hand, we prove that there is such a lifting of every diagram in L_d or of a subcategory L_d1 of L_d whose objects are all distributive -lattices and whose morphisms are -embeddings. This paper is dedicated to Walter Taylor. Received February 8, 2005; accepted in final form August 11, 2005. The work is a part of the research project MSM 0021620839 financed by MSMT and partly supported by INTAS project 03-51-4110, the grant GAUK 448/2004/B-MAT, and the post-doctoral grant GAČR 201/03/P140.     

Addendum to “Complete rotation hypersurfaces with <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript> constant in space forms”*

Here we study complete rotation hypersurfaces with constant k-th mean curvature H_k in even and 2 < k < n. We prove the existence of a constant such that there are no such hypersurfaces for . We have only one compact hypersurface of this kind with . For each there is a corresponding family of complete immersed rotation hypersurfaces, each family containing two isoparametric hypersurfaces. For H_k ≥ 0, there is also such a family, now containing only one isoparametric hypersurface. Finally, we prove the existence of compact hypersurfaces with arbitrarily large H_k , neither isometric to a sphere nor to a product of spheres. *Bull. Braz. Math. Soc. 30 (2), 1999, 139–161. **Partially supported by FUNCAP, Brazil. ***Partially supported by CNPq, Brazil and DGAPA-UNAM, México.     

Transition Semi–groups on a Local Field Induced by Galois Group and their Representation

For a given map defined on the field of p-adic numbers satisfying

Zur Topologie der Dixmier-Abbildung

Summary  LetG be the coadjoint group of a finite-dimensional complex Lie algebrag. Forg solvable, the Dixmier-map is known to be a homeomorphism of the orbit space /G onto the space χ of primitive ideals in the enveloping algebra U(G) [6,15]. For , the Dixmier-map is known to be a bijection (and in general not a homeomorphism) with the space χ^l of all completely prime primitive ideals [7, 16]. Here we derive from a result ofW. SOERGEL [18], that this map issheet- wise a homeomorphism onto the image. Here a sheet is a maximal irreducible subset consisting of orbits of a fixed dimension; obviouslyg decomposes into finitely many sheets [3]. The results of this paper hold more generally forg semisimple, if one restricts to a sheet of polarizable orbits, where a Dixmier-map can be defined. Relative to a fixed polarization (a parabolic subalgebra)p ⊂g let I be the annihilator of the generic module induced from p. The „relative enveloping algebra“ ) has been studied e.g. bySOERGEL [19, 18]. Its center Z is described here by a relative Harish-Chandra isomorphism of the normalization with a suitable ring of group invariants (3.2). We study here the extension ofU by . We suggest that this very mild central extension ofU generates good properties and is very suitable for the study of the Dixmier-map (cf.4.3,5.6). In particular, we conjecture in case : Every minimal primitive ideal of is generated by a maximal ideal of the center. This would generalize for a well known theorem ofM. Duflo (casep Borel, where ). AsJ. Dixmier communicated in a letter, the main result here is exactly what he had hoped for when he first introduced a notion of sheets many years ago.

---

---

Added in proof: This conjecture will be proved in a subsequent paper.     

Potential continuity of colorings

We say that a coloring is continuous if it is continuous with respect to some second countable topology on κ. A coloring c is potentially continuous if it is continuous in some -preserving extension of the set-theoretic universe. Given an arbitrary coloring , we define a forcing notion that forces c to be continuous. However, this forcing might collapse cardinals. It turns out that is c.c.c. if and only if c is potentially continuous. This gives a combinatorial characterization of potential continuity. On the other hand, we show that adding Cohen reals to any model of set theory introduces a coloring which is potentially continuous but not continuous. has no uncountable c-homogeneous subset in the Cohen extension, but such a set can be introduced by forcing. The potential continuity of c can be destroyed by some c.c.c. forcing. The research for this paper was supported by G.I.F. Research Grant No. I-802-195.6/2003. The author would like to thank Uri Abraham for very fruitful discussions on the subject of this article.     

Distance sets corresponding to convex bodies

Suppose that is a 0-symmetric convex body which denes the usual norm

A direct proof that vwb processes are closed in the\bar d-metric

As defined in the literature, a process is very weak Bernoulli if a certain propertyP(ε) is satisfied for everyε>0. By means of an easy proof, it is shown that givenε>0, there existsδ>0 such that given any two stationary processes whose -distance is less thanδ, if one of the processes is very weak Bernoulli then the other process is “almost” very weak Bernoulli in the sense that the propertyP(ε) is satisfied. Using this result a direct proof can be given that the very weak Bernoulli processes are closed under the -distance, and also that a finitely determined process is very weak Bernoulli. Relativized versions of these results are also considered. Supported by NSF Grant MCS-7821335.     

On weighted L p -spaces of vector-valued entire analytic functions

The weighted L _p -spaces of entire analytic functions are generalized to the vector-valued setting. In particular, it is shown that the dual of the space is isomorphic to when the function χ _K is an L _p,ρ (E)-Fourier multiplier. This result allows us to give some new characterizations of the so-called UMD-property and to represent several ultradistribution spaces by means of spaces of vector sequences. J. Motos is partially supported by DGI (Spain), Grant BFM 2002-04013 and Grant MTEM 2005-08350-C03-03.     

On nonatomic submeasures on {\mathbb{N}}. III

In our earlier paper (Arch. Math. 91 (2008), 76–85), we proved that if F is a sequence of finite nonempty subsets of such that a certain quantity t(F) is finite, then the associated submeasure d_F on is nonatomic. In the present note, we give two curious characterizations of the set of such sequences F. The second author is partially supported by the Foundation for Polish Science.     

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

On Certain Distributive Lattices of Subgroups of Finite Soluble Groups

In this paper, we prove the following result. Let ξ be a saturated formation and ∑ a Hall system of a soluble group G. Let X be a w-solid set of maximal subgroups of G such that ∑ reduces into each element of X. Consider in G the following three subgroups： the ξ-normalizer D of G associated with ∑; the X-prefrattini subgroup W = W（G, X） of G; and a hypercentrally embedded subgroup T of G. Then the lattice ζ（T, W, D） generated by T, D and W is a distributive lattice of pairwise permutable subgroups of G with the cover and avoidance property. This result remains true for the lattice ,ζ（V, W, D）, where V is a subgroup of G whose Sylow subgroups are also Sylow subgroups of hypercentrally embedded subgroups of G such that ∑ reduces into V.