Tiny models of categorical theories

Summary We explore the existence and the size of infinite models of categorical theories having cardinality less than the size of the associated Tarski-Lindenbaum algebra. Restricting to totally transcendental, categorical theories we show that Every tiny model is countable is independent of ZFC. IfT is trivial there is at most one tiny model, which must be the algebraic closure of the empty set. We give a new proof that there are no tiny models ifT is not totally transcendental and is non-trivial.Research supported by NSF grant DMS #8505550Research partially supported by NSF grant DMS #8505550Research partially supported by NSF grant DMS #8505550 and the Deutsche Forschungsgemeinschaft. This author would like to thank Eli Danbru at Paris for helpful discussions     

Strongly meager sets can be quite big

AssumeCH. There exists a strongly meager setX⊆2^ω and a continuous functionF: 2^ω → 2^ω such thatF″ (X)=2^ω. The analogous statement for the strong measure zero, the notion dual to strongly meager, is false. The first author was partially supported by NSF grant DMS 9971282 and the Alexander von Humboldt Foundation. The second author was partially supported by grant BW 5100-5-0231-2.     

Bessel identities in the waldspurger correspondence over the real numbers

We prove certain identities between Bessel functions attached to irreducible unitary representations ofPGL ₂(R) and Bessel functions attached to irreducible unitary representations of the double cover ofSL ₂(R). These identities give a correspondence between such representations which turns out to be the Waldspurger correspondence. In the process we prove several regularity theorems for Bessel distributions which appear in the relative trace formula. In the heart of the proof lies a classical result of Weber and Hardy on a Fourier transform of classical Bessel functions. This paper constitutes the local (real) spectral theory of the relative trace formula for the Waldspurger correspondence for which the global part was developed by Jacquet. Research of first author was partially supported by NSF grant DMS-0070762. Research of second author was partially supported by NSF grant DMS-9729992 and DMS 9971003.     

Groups with small Dehn functions and bipartite chord diagrams

We introduce a new invariant of bipartite chord diagrams and use it to construct the first examples of groups with Dehn function n²log n. Some of these groups have undecidable conjugacy problem. Our groups are multiple HNN extensions of free groups. We show that n²log n is the smallest Dehn function of a multiple HNN extension of a free group with undecidable conjugacy problem. Both authors were supported in part by the NSF grants DMS 0245600 and DMS 0455881. In addition, the research of the first author was supported in part by the Russian Fund for Basic Research 05-01-00895, the research of the second author was supported in part by the NSF grant DMS 9978802 and the US-Israeli BSF grant 1999298. Received: February 2005; Revision: September 2005; Accepted: September 2005     

Orbit cardinals: On the effective cardinalities arising as quotient spaces of the formX/G whereG acts on a Polish spaceX

We prove an Ulm-type classification theorem for actions inL(ℝ), thereby answering a question of Becker and Kechris, and investigate the effective cardinalities which can be induced by various classes of Polish groups. Research partially supported by NSF grant DMS 96-22977.     

Collapsed Riemannian manifolds with bounded diameter and bounded covering geometry

We study the class ofn-Riemannian manifolds in the title such that the torsion elements in the fundamental group have a definite bound on their orders. Our main result asserts the existence of a kind of generalized Seifert fiber structure onM ⁿ , for which the fundamental group of fibers injects into that ofM ⁿ . This provides a necessary and sufficient topological condition for a manifold to admit a sufficiently collapsed metric in our class. Among other consequences we obtain a strengthened version of the gap conjecture in this context.The work of the first author is partially supported by NSF Grant DMS 9303999. The work of the second author is supported by MSRI through NSF grant DMS 9022140 and partially supported by NSF Grant DMS 9204095.     

Strongly meager and strong measure zero sets

 In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets. RID="ID=" <E5>Mathematics Subject Classification (2000):</E5>&ensp;03E35 RID="ID=" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658 Received: 6 January 1999 / Revised version: 20 July 1999 / Published online: 25 February 2002 RID=" ID=" <E5>Mathematics Subject Classification (2000):</E5>&ensp;03E35 RID=" ID=" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658     

On the existence of area-minimizing surfaces with free boundary

Research partially supported by NSF grant # DMS87-03537     

Non-amenable finitely presented torsion-by-cyclic groups

Abstract. – We construct a finitely presented non-amenable group without free non-cyclic subgroups thus providing a finitely presented counterexample to von Neumann’s problem. Our group is an extension of a group of finite exponent n ≫ 1 by a cyclic group, so it satisfies the identity [x,y] ⁿ = 1. Manuscrit reĉu le 8 février 2001. RID="*" ID="*"Both authors were supported in part by the NSF grant DMS 0072307. In addition, the research of the first author was supported in part by the Russian Fund for Basic Research 99-01-00894 and by the INTAS grant, the research of the second author was supported in part by the NSF grant DMS 9978802.     

Strongly meager sets of size continuum

We will construct several models where there are no strongly meager sets of size 2⁰. First author partially supported by NSF grant DMS 0200671.Second author partially supported by Israel Science Foundation and NSF grant DMS 0072560. Publication 807. Mathematics Subject Classification (2000):03E15, 03E20     

Ehrhart polynomials and stringy Betti numbers

We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of δ-vectors of reflexive polytopes. The first author was partially supported by NSF grant DMS 0500127 and the second author was supported by a Graduate Research Fellowship from the NSF     

On formulas of Ramanujan and Evans

We give short elementary proofs of a formula of Ramanujan as interpreted by Bradley, and a companion formula originally proved by W. Chu. We also give an elementary proof of a generalization of an identity originally proved using modular functions and used to study a generating function for the number of partitions with specified crank. Research partially supported by NSF grant DMS 99-70865. 2000 Mathematics Subject Classification Primary—39A70, 11P83; Secondary—33C20     

Branched two-sheeted covers

In this paper we explore the connection between Weierstrass points of subspaces of the holomorphic differentials and the geometry of the canonical curve inPC ^g−1. In particular, we consider non-hyperelliptic Riemann surfaces with involution and the Weierstrass points of the −1 eigenspace of the holomorphic differentials. The case of coverings of a torus is considered in detail. Research of the first author supported in part by the Paul and Gabriella Rosenbaum Foundation, the Landau Center for Research in Mathematical Analysis (supported by Minerva Foundation-Germany) and a US-Israel BSF grant. Research by the second author supported in part by NSF Grant DMS 9003361 and a Lady Davis Visiting Professorship at the Hebrew University.     

A note on holomorphic approximation in Banach spaces

Given a complex Banach space X and a holomorphic function f on its unit ball B, we discuss the problem whether f can be approximated, uniformly on smaller balls, by functions g holomorphic on all of X. Research partially supported by NSF grant DMS0700281.     

A generalized bridge number for links in 3-manifolds

Research partially supported under NSF grant DMS 8901065     

The dimension of cycle-free orders

The existence of a four-dimensional cycle-free order is proved. This answers a question of Ma and Spinrad. Two similar problems are also discussed.Research partially supported by Office of Naval Research grant N00014-90-J-1206Research partially supported by the National Science Foundation under grant DMS     

Families of univalent functions and Kleinian groups

The paper treats two topics. We obtain new characterizations of quasidiscs using theλ-lemma. We study regularb-groups by combining results on holomorphic families of injections with theorems on algebraic convergence of Kleinian groups and the structure of the Eichler cohomology spaces. We also obtain results about projective structures whose developing maps are coverings. Research partially supported by NSF grant DMS 8401280.     

Torsion sections of elliptic surfaces

Given a torsion section of a semistable elliptic surface we prove equidistribution results for the components of singular fibers which are hit by the section and for the root of unity (identifying the zero component withC) which is hit by the section in case the section hits the zero component Research supported in part by the NSF under grant DMS 9104058 and the NSA under grant MDA 904-92 H 3022     

Packing directed circuits

We prove a conjecture of Younger, that for every integern0 there exists an integert0 such that for every digraphG, eitherG hasn vertex-disjoint directed circuits, orG can be made acyclic by deleting at mostt vertices.Research partially supported by DONET ECHM contract CHRXCT930090.Research partially supported by DIMACS, by NSF grant DMS-9401981 and by ONR grant N00014-92-J-1965, and partially performed under a consulting agreement with Bellcore.Research partially supported by DIMACS, by Université de Paris VI, by NSF grant DMS-9303761 and by ONR grant N00014-93-1-0325, and partially performed under a consulting agreement with Bellcore.     

Classification of manifolds with weakly 1/4-pinched curvatures

We show that a compact Riemannian manifold with weakly pointwise 1/4-pinched sectional curvatures is either locally symmetric or diffeomorphic to a space form. More generally, we classify all compact, locally irreducible Riemannian manifolds M with the property that M × R ² has non-negative isotropic curvature. The first author was partially supported by a Sloan Foundation Fellowship and by NSF grant DMS-0605223. The second author was partially supported by NSF grant DMS-0604960.