A survey on the local divisor technique

© 2015 Elsevier B.V. Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church-Rosser congruential languages, and Simon's Factorization Forest Theorem. We also introduce the notion of a localizable language class as a new abstract concept which unifies some of the proofs for the results above

A Survey on the Local Divisor Technique

Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars restricted to prefix codes with bounded synchronization delay, Church-Rosser congruential languages, and Simon's Factorization Forest Theorem. We also introduce the notion of localizable language class as a new abstract concept which unifies some of the proofs for the results above

Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings where proofs and further material can be found.Comment: Extended abstract of an invited talk given at WORDS 201

Construction of G_2-instantons via twisted connected sums

We propose a method to construct G_2-instantons over a compact twisted connected sum G_2-manifold, applying a gluing result of S\'a Earp and Walpuski to instantons over a pair of 7-manifolds with a tubular end (see arXiv:1310.7933). In our example, the moduli spaces of the ingredient instantons are non-trivial, and their images in the moduli space over the asymptotic cross-section K3 surface intersect transversely. Such a pair of asymptotically stable holomorphic bundles is obtained using a twisted version of the Hartshorne-Serre construction, which can be adapted to produce other examples. Moreover, their deformation theory and asymptotic behaviour are explicitly understood, results which may be of independent interest.Comment: 22 pages. Final version to appear in Mathematical Research Letter

Oriented Local Moves and Divisibility of the Jones Polynomial

For any virtual link $L = S \cup T$ that may be decomposed into a pair of oriented $n$-tangles $S$ and $T$, an oriented local move of type $T \mapsto T'$ is a replacement of $T$ with the $n$-tangle $T'$ in a way that preserves the orientation of $L$. After developing a general decomposition for the Jones polynomial of the virtual link $L = S \cup T$ in terms of various (modified) closures of $T$, we analyze the Jones polynomials of virtual links $L_1,L_2$ that differ via a local move of type $T \mapsto T'$. Succinct divisibility conditions on $V(L_1)-V(L_2)$ are derived for broad classes of local moves that include the $\Delta$-move and the double-$\Delta$-move as special cases. As a consequence of our divisibility result for the double-$\Delta$-move, we introduce a necessary condition for any pair of classical knots to be $S$-equivalent