We show that the category of X-generated E-unitary inverse monoids with greatest group image G is equivalent to the category of G-invariant, finitary closure operators on the set of connected subgraphs of the Cayley graph of G. Analogously, we study F-inverse monoids in the extended signature (·,1,-1,m)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(\\cdot, 1, ^{-1}, ^\\mathfrak m)$$\\end{document}, and show that the category of X-generated F-inverse monoids with greatest group image G is equivalent to the category of G-invariant, finitary closure operators on the set of all subgraphs of the Cayley graph of G. As an application, we show that presentations of F-inverse monoids in the extended signature can be studied by tools analogous to Stephen’s procedure in inverse monoids, in particular, we introduce the notions of F-Schützenberger graphs and P-expansions.

Let S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S$$\\end{document} be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S$$\\end{document} with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that S\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S$$\\end{document} defines a pair of crossing edges of the same color is equal to 1/4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$1/4$$\\end{document}. This is connected to a recent result of Aichholzer et al. [1] who showed that by 2-colouring the edges of a geometric graph and counting monochromatic crossings instead of crossings, the number of crossings can be more than halved. Our result shows that for the described random drawings, there is a coloring of the edges such that the number of monochromatic crossings is in expectation 12-750\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\frac{1}{2}-\\frac{7}{50}$$\\end{document} of the total number of crossings.

Suppose K is a knot in a 3-manifold Y, and that Y admits a pair of distinct contact structures. Assume that K has Legendrian representatives in each of these contact structures, such that the corresponding Thurston-Bennequin framings are equivalent. This paper provides a method to prove that the contact structures resulting from Legendrian surgery along these two representatives remain distinct. Applying this method to the situation where the starting manifold is -Σ(2,3,6m+1)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$-\\Sigma(2,3,6m+1)$$\\end{document} and the knot is a singular fiber, together with convex surface theory we can classify the tight contact structures on certain families of Seifert fiber spaces.