Collapsing Construction with Nilpotent Structures

A fundamental result concerning collapsed manifolds with bounded sectional curvature is the existence of compatible local nilpotent symmetry structures whose orbits capture all collapsed directions of the local geometry [CFG]. The underlying topological structure is called an N-structure of positive rank. We show that if a manifold M admits such an N-structure , then M admits a one-parameter family of metrics g _∈ with curvature bounded in absolute value while injectivity radii and the diameters of -orbits away from the singular set of uniformly converge to zero as . Moreover, g _∈ is -invariant away from the singular set. This result extends collapsing results in [CG1], [Fu3] and [G]. Q.C. supported partially by a Jingshi research fund from Beijing Normal University. X.R. supported partially by NSF Grant DMS 0504534 and by a Jingshi research fund from Beijing Normal University.     

The clone of operations preserving a cycle with loops

We consider all the binary relations on a k-element set which, when viewed as directed graphs, consist of a k-cycle and some loops. If k ≥ 3 and the relation has at least two loops, we show that it is only preserved by essentially unary operations. In all other cases, the relation is preserved by operations that depend on a greater number of variables. Received March 9, 2006; accepted in final form September 14, 2007.     

Primitive partial permutation representations of the polycyclic monoids and branching function systems

We characterise the maximal proper closed inverse submonoids of the polycyclic inverse monoids, also known as Cuntz inverse semigroups, and so determine all their primitive partial permutation representations. We relate our results to the work of Kawamura on certain kinds of representations of the Cuntz C*-algebras and to the branching function systems of Bratteli and Jorgensen.      

Transitive partial actions of groups

J. Kellendonk and M. V. Lawson established that each partial action of a group G on a set Y can be extended to a global action of G on a set Y _G containing a copy of Y. In this paper we classify transitive partial group actions. When G is a topological group acting on a topological space Y partially and transitively we give a condition for having a Hausdorff topology on Y _G such that the global group action of G on Y _G is continuous and the injection Y into Y _G is an open dense equivariant embedding.      

Equational theories as congruences of enriched monoids

The problem of characterizing the lattices of equational theories is still unsolved. In this paper we describe a class of monoids enriched by two unary operations and show that a lattice L is a lattice of equational theories if and only if L is isomorphic to a lattice of congruences of some enriched monoid belonging to . The author was supported by INTAS grant 03-51-4110 and The Alexander von Humboldt Foundation.     

From Fibring to Cryptofibring. A Solution to the Collapsing Problem

The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For illustration, we revisit the example of combining intuitionistic and classical propositional logics. Mathematics Subject Classification (2000): 03B22 (03B35, 03G25, 03G30)     

Some remarks on trigonometric sums

Let

The operad of finite labeled tournaments

We study the operad of finite labeled tournaments. We describe the structure of suboperads of this operad generated by simple tournaments. We prove that a suboperad generated by a tournament with two vertices (i.e., the operad of finite linearly ordered sets) is isomorphic to the operad of symmetric groups, and a suboperad generated by a simple tournament with more that two vertices is isomorphic to the quotient operad of the free operad with respect to a certain congruence. We obtain this congruence explicitly.     

Estimates for Mixed Character Sums

We give sharp estimates for certain families of exponential sums in several variables over finite fields. Received: May 2007, Accepted: September 2007     

Reconstruction of Function Fields

For k an algebraic closure of the finite field , ℓ prime distinct from p and X a surface over k, we prove that the field of rational functions k(X) can be recovered from the maximal pro-ℓ-quotient of its absolute Galois group – in fact already from the second central descending series quotient of . Submitted: July 2004, Revision: October 2005, Final revision: February 2008, Accepted: February 2008     

Lectures on topology of words

We discuss a topological approach to words introduced by the author in [Tu2]–[Tu4]. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants of words and give a homotopy classification of words of length five. Based on notes by Eri Hatakenaka, Daniel Moskovich, and Tadayuki Watanabe     

Polytopes passing through circles

Suppose a convex body wants to pass through a circular hole in a wall. Does its ability to do so depend on the thickness of the wall? In fact in most cases it does, and in this paper we present a sufficient criterion for a polytope to allow an affirmative answer to the question.     

Multilinear Exponential Sums in Prime Fields Under Optimal Entropy Condition on the Sources

The main result of this paper is an exponential sum bound in prime fields for multilinear expressions of the type under nearly optimal conditions on . It provides the expected generalization of the well-known inequality for r = 2. We also establish a new result on Gauss sums for multiplicative subgroups H of , obtaining a nontrivial estimate provided . This is a further improvement on [BGK]. Received: May 2007, Revision: October 2007, Accepted: October 2007     

Generalized bisymmetry on a restricted domain

Let X ⊂ ℝ be an interval of positive length and define the set Δ = {(x, y) ∈ X × X | x ≧ y}. We give the solution of the equation

Length Bounds on Curves Arising from Tight Geodesics

Let M be a complete hyperbolic 3-manifold admitting a homotopy equivalence to a compact surface ∑, such that the cusps of M are in bijective correspondence with the boundary components of ∑. Suppose we realise a tight geodesic in the curve complex as a sequence of closed geodesics M. There is an upper bound on the lengths of such curves in terms of the lengths of the terminal curves and the topologicial type of ∑. We give proofs of these and related bounds. Similar bounds have been proven by Minsky using the sophisticated machinery of hierarchies. Such bounds feature in the work of Brock, Canary and Minsky towards the ending lamination conjecture, and can also be used to study the action of the mapping class group on the curve complex. Received: January 2006, Revision: March 2007, Accepted: July 2007     

Relaxation in Reactive Flows

We consider convective systems in a bounded domain, in which viscous fluids described by the Stokes system are coupled using the Boussinesq approximation to a reaction-advection-diffusion equation for the temperature. We show that the resulting flows possess relaxation-enhancing properties in the sense of [CoKRZ]. In particular, we show that solutions of the nonlinear problems become small when gravity is sufficiently strong due to the improved interaction with the cold boundary. As an application, we deduce that the explosion threshold for power-like nonlinearities tends to infinity in the large Rayleigh number limit. We also discuss the behavior of the principal eigenvalues of the corresponding advection-diffusion problem and the quenching phenomenon for reaction-diffusion equations. Received: March 2007, Revision: May 2007, Accepted: May 2007     

Ads Manifolds With Particles and Earthquakes on Singular Surfaces

We prove two related results. The first is an “earthquake theorem” for closed hyperbolic surfaces with cone singularities where the total angle is less than π: any two such metrics in are connected by a unique left earthquake. The second result is that the space of “globally hyperbolic” AdS manifolds with “particles” – cone singularities (of given angle) along time-like lines – is parametrized by the product of two copies of the Teichmüller space with some marked points (corresponding to the cone singularities). The two statements are proved together. F.B. was partially supported by the A.N.R. project GEODYCOS. J.-M.S. was partially supported by the A.N.R. programs RepSurf, 2006-09, ANR-06-BLAN-0311, GeomEinstein, 2006-09, 06-BLAN-0154, and FOG, 2007-10, ANR-07-BLAN-0251-01.     

On the stability of the quadratic functional equation on bounded domains

A result of Skof and Terracini will be generalized; More precisely, we will prove that if a functionf : [-t, t]ⁿ →E satisfies the inequality (1) for some δ > 0 and for allx, y ∈ [-t, t]ⁿ withx + y, x - y ∈ [-t, t]ⁿ, then there exists a quadratic functionq: ℝⁿ →E such that ∥f(x) -q(x)∥ < (2912n² + 1872n + 334)δ for anyx ∈ [-t, t] ⁿ .     

Solution of fifth-degree equations

In this paper we establish a relationship between two approaches to the solution of algebraic fifth-degree equations, namely, the Hermite-Kronecker method (based on the modular elliptic equation) and the Mellin method (based on hypergeometric series).     

Concatenation of pseudorandom binary sequences

In the applications it may occur that our initial pseudorandom binary sequence turns out to be not long enough, thus we have to take the concatenation or merging of it with other pseudorandom binary sequences. Here our goal is study when we can form the concatenation of several pseudorandom binary sequences belonging to a given family? We introduce and study new measures which can be used for answering this question.