Crystals, quiver varieties, and coboundary categories for Kac-Moody algebras

Henriques and Kamnitzer have defined a commutor for the category of crystals of a finite-dimensional complex reductive Lie algebra that gives it the structure of a coboundary category (somewhat analogous to a braided monoidal category). Kamnitzer and Tingley then gave an alternative definition of the crystal commutor, using Kashiwara's involution on Verma crystals, that generalizes to the setting of symmetrizable Kac-Moody algebras. In the current paper, we give a geometric interpretation of the crystal commutor using quiver varieties. Equipped with this interpretation we show that the commutor endows the category of crystals of a symmetrizable Kac-Moody algebra with the structure of a coboundary category, answering in the affirmative a question of Kamnitzer and Tingley.     

Factor maps and invariant distributional chaos

The main aim of this article is to show that maps with the specification property have invariant distributionally scrambled sets and that this kind of scrambled set can be transferred from factor to extension under finite-to-one factor maps. This solves some open questions in the literature of the topic.     

Braids and partial permutations

We study the inverse braid monoid IBn introduced by Easdown and Lavers in 2004. We completely describe the factorizable structure of IBn and use this to give a new proof of the Easdown-Lavers presentation; we also derive several new presentations, each of which gives rise to a new presentation of the symmetric inverse monoid. We then define and study the pure inverse braid monoid IPn which is related to IBn in the same way that the pure braid group is related to the braid group.     

Positively expansive dynamical systems

We introduce the notions of weakly and strongly positively expansive (wPE and sPE, respectively) discrete dynamical systems. Both are topological generalizations of the well-known metric notion of positive expansiveness (PE). We prove that the three notions are identical on compact metrizable spaces, but not on noncompact spaces. We investigate properties of PE, wPE, and sPE dynamical systems and show how they are related. Finally, we show that the possible dynamics for wPE and sPE homeomorphisms are severely limited, and we classify sPE homeomorphisms.     

Infinitesimal bendings of high orders for homogeneous surfaces with positive curvature and a flat point

For any given n∈Z⁺ and k∈Z⁺, infinitesimal bendings of order n and of class Ck are constructed for a class of surfaces in R³. These surfaces are given as graphs of homogeneous polynomials P(x,y) and they have positive curvature except at the origin.     

Cosheaves and connectedness in formal topology

The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π₀ together with certain additional structure and properties that constrain π₀ to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf.A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics.     

Chirality and principal graph obstructions

Determining which bipartite graphs can be principal graphs of subfactors is an important and difficult question in subfactor theory. Using only planar algebra techniques, we prove a triple point obstruction which generalizes all known initial triple point obstructions to possible principal graphs. We also prove a similar quadruple point obstruction with the same technique. Using our obstructions, we eliminate some infinite families of possible principal graphs with initial triple and quadruple points which were a major hurdle in extending subfactor classification results above index 5.     

Dynamical systems on lattices with decaying interaction II: Hyperbolic sets and their invariant manifolds

This is the second part of the work devoted to the study of maps with decay in lattices. Here we apply the general theory developed in Fontich et al. (2011) [3] to the study of hyperbolic sets. In particular, we establish that any close enough perturbation with decay of an uncoupled lattice map with a hyperbolic set has also a hyperbolic set, with dynamics on the hyperbolic set conjugated to the corresponding of the uncoupled map. We also describe how the decay properties of the maps are inherited by the corresponding invariant manifolds.     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Quasi-reflection algebras and cyclotomic associators

We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism , where B _n ¹ is a braid group of type B. The formality isomorphism depends algebraically on a series Ψ_KZ, the “KZ pseudotwist”. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N, k), mapping to Drinfeld’s group GT(k), and whose Lie algebra is isomorphic to its associated graded (N, k). We prove that Ihara’s subgroup GTK of the Grothendieck–Teichmüller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue (N, k) of (N, k); it is a graded Lie algebra with an action of , and we give a lower bound for the character of its space of generators.      

Endomorphism algebras and q-traces

For a braided vector space (V,σ) with braiding σ of Hecke type, we introduce three associative algebra structures on the space of graded endomorphisms of the quantum symmetric algebra S_σ(V). We use the second product to construct a new trace. This trace is an algebra morphism with respect to the third product. In particular, when V is the fundamental representation of U_qsl_N+1 and σ is the action of the R-matrix, this trace is a scalar multiple of the quantum trace of type A.     

Zig-zag chains and metric equivalences between ultrametric spaces

We study the classification of ultrametric spaces based on their small scale geometry (uniform homeomorphism), large scale geometry (coarse equivalence) and both (bi-uniform equivalences). Using a combinatoric approach we consider every ultrametric space as the end space of a chain and prove that all these equivalences can be characterized by the existence of a common zig-zag chain.     

Finite quotients of groups of I-type

To every group of I-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin–Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of I-type are related to finite set-theoretical solutions of the Yang–Baxter equation. So, our result provides a new tool to attack the problem of the classification of finite set-theoretical solutions of the Yang–Baxter equation.     

Castelnuovo-Mumford regularity for complexes and weakly Koszul modules

Let A be a noetherian AS-regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and the category of finitely generated graded left A-modules. Following Jørgensen, we define the Castelnuovo-Mumford regularity of a complex in terms of the local cohomologies or the minimal projective resolution of M^•. Let A^! be the quadratic dual ring of A. For the Koszul duality functor , we have . Using these concepts, we interpret results of Martinez-Villa and Zacharia concerning weakly Koszul modules (also called componentwise linear modules) over A^!. As an application, refining a result of Herzog and Römer, we show that if J is a monomial ideal of an exterior algebra E=?〈y₁,…,y_d〉, d≥3, then the (d−2)nd syzygy of E/J is weakly Koszul.     

On negative limit sets for one-dimensional dynamics

In this paper we study the structure of negative limit sets of maps on the unit interval. We prove that every α-limit set is an ω-limit set, while the converse is not true in general. Surprisingly, it may happen that the space of all α-limit sets of interval maps is not closed in the Hausdorff metric (and thus some ω-limit sets are never obtained as α-limit sets). Moreover, we prove that the set of all recurrent points is closed if and only if the space of all α-limit sets is closed.     

Quantaloids and non-commutative ring representations

Our aim is to generalize to the non-commutative case, the generic representation of commutative rings by sheaves on their quantales of ideals. As the quantale of two-sided ideals is not a sufficiently rich structure, we define and work on a quantaloid of left and right ideals. A workable notion of sheaf is introduced using matrices with values in a quantaloid. For a given ringR, we obtain a category of sheaves where the terminal object is endowed with a special subobject. There exists a representing sheaf forR in the sense that the elements ofR correspond to the sections from the special subobject and the global sections correspond to the center.     

Omega-limit sets in hereditarily locally connected continua

In this paper we give a topological characterization of ω-limit sets in hereditarily locally connected continua. Moreover, we characterize also orbit-enclosing ω-limit sets in these spaces.