A Symmetric Chain Decomposition of L(4, n)

L(m, n) is the set of integer m-tuples (a, ..., am) with 0 ⩽ a1 ⩽ ⋯ ⩽ am ⩽ n, ordered by a¯≤b¯ when ai ⩽ bi for all i. R. Stanley conjectured that L(m, n) is a symmetric chain order for all (m, n). We verify this by construction for m = 4

Some applications of algebraic surgery theory: 4-manifolds, triangular matrix rings and braids

This thesis consists of three applications of Ranicki's algebraic theory of surgery to the topology of manifolds. The common theme is a decomposition of a global algebraic object into simple local pieces which models the decomposition of a global topological object into simple local pieces. Part I: Algebraic reconstruction of 4-manifolds. We extend the product and glueing constructions for symmetric Poincaré complexes, pairs and triads to a thickening construction for a symmetric Poincaré representation of a quiver. Gay and Kirby showed that, subject to certain conditions, the fold curves and fibres of a Morse 2-function F : M4 → Ʃ 2 determine a quiver of manifold and glueing data which allows one to reconstruct M and F up to diffeomorphism. The Gay-Kirby method of reconstructing M glues the pre-images of disc neighbourhoods of cusps and crossings with thickenings of regular fibres and thickenings of cobordisms between regular fibres. We use our thickening construction for a symmetric Poincaré representation of a quiver to give an algebraic analogue of the Gay-Kirby result to reconstruct the symmetric Poincaré complex (C(M); ϕ M) of M from a Morse 2-function. Part II: The L-theory of triangular matrix rings. We construct a chain duality on the category of left modules over a triangular matrix ring A = (A1;A2;B) where A1;A2 are rings with involution and B is an (A1;A2)-bimodule. We describe the resulting L-theory of A and relate it to the L-theory of A1;A2 and to the change of rings morphism B ⊗A2 − : A2-Mod → A1-Mod. By examining algebraic surgery over A we define a relative algebraic surgery operation on an (n+1)-dimensional symmetric Poincaré pair with data an (n+2)-dimensional triad. This gives an algebraic model for a half-surgery on a manifold with boundary. We then give an algebraic analogue of Borodzik, Némethi and Ranciki's half-handle decomposition of a relative manifold cobordism and show that every relative Poincaré cobordism is homotopy equivalent to a union of traces of elementary relative surgeries. Part III: Seifert matrices of braids with applications to isotopy and signatures. Let β be a braid with closure ^β a link. Collins developed an algorithm to find the Seifert matrix of the canonical Seifert surface Ʃ of ^ β constructed by Seifert's algorithm. Motivated by Collins' algorithm and a construction of Ghys, we define a 1-dimensional simplicial complex K(β) and a bilinear form λβ : C1(K(β);Z)×C1(K(β);Z) → Z[ 1/2 ] such that there is an inclusion K(β) ~ → Ʃ which is a homotopy equivalence inducing an isomorphism H1(Ʃ;Z) ≅ H1(K(β);Z) such that [λβ] : H1(K(β);Z) × H1(K(β);Z) → Z ⊂ Z[ 1/2 ] is the Seifert form of Ʃ. We show that this chain level model is additive under the concatenation of braids and then verify that this model is chain equivalent to Banchoff's combinatorial model for the linking number of two space polygons and Ranicki's surgery theoretic model for a chain level Seifert pairing. We then define the chain level Seifert pair (λβ; d β) of a braid β and equivalence relations, called A and Â-equivalence. Two n-strand braids are isotopic if and only if their chain level Seifert pairs are A-equivalent and this yields a universal representation of the braid group. Two n-strand braids have isotopic link closures in the solid torus D2 ×S1 if and only if their chain level Seifert pairs are  A-equivalent and this yields a representation of the braid group modulo conjugacy. We use the first representation to express the ω signature of a braid β in terms of the chain level Seifert pair (λ β; d β)

Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices

We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $\gamma$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.Comment: 30 pages, 5 figures, 1 table. Final version. The results of the initial version were extended to symmetric Boolean decompositions of noncrossing partition lattice

Some Lipschitz maps between hyperbolic surfaces with applications to Teichmüller theory

International audienceIn the Teichmüller space of a hyperbolic surface of finite type, we construct geodesic lines for Thurston's asymmetric metric having the property that when they are traversed in the reverse direction, they are also geodesic lines (up to reparametrization). The lines we construct are special stretch lines in the sense of Thurston. They are directed by complete geodesic laminations that are not chain-recurrent, and they have a nice description in terms of Fenchel-Nielsen coordinates. At the basis of the construction are certain maps with controlled Lipschitz constants between right-angled hyperbolic hexagons having three non-consecutive edges of the same size. Using these maps, we obtain Lipschitz-minimizing maps between hyperbolic particular pairs of pants and, more generally, between some hyperbolic sufaces of finite type with arbitrary genus and arbitrary number of boundary components. The Lipschitz-minimizing maps that we contruct are distinct from Thurston's stretch maps