Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

A one-dimensional embedding complex

We give the first explicit computations of rational homotopy groups of spaces of “long knots” in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E¹ term is defined in terms of familiar Lie algebras. For odd k we establish a vanishing line for this spectral sequence, show the Euler characteristic of the rows of this E¹ term is zero, and make calculations of E² in a finite range.     

On tensor representations of knot algebras

Summary The fact that a Yang-Baxter operator defines tensor representations of the Artin braid group has been used to construct knot invariants. The main purpose of this note is to extend the tensor representations of the Artin braid group to representations of the braid groupZ B _k associated to the Coxeter graphB _k. This extension is based on some fundamental identities for the standardR-matrices of quantum Lie theory, here called four braid relations. As an application, tensor representations of knot algebras of typeB (Hecke, Temperley-Lieb, Birman-Wenzl-Murakami) are derived.     

On the lie structure of the skew elements of a prime superalgebra with superinvolution

We investigate the Lie structure of the Lie superalgebra K of skew elements of a prime associative superalgebra A with superinvolution. It is proved that if A is not a central order in a Clifford superalgebra of dimension at most 16 over the center then any Lie ideal of K or [K,K] contains[J ∩K,K] for some nonzero ideal J of A or is contained in the even part of the center of A.     

On transitive Lie bialgebroids and Poisson groupoids

We prove that, for any transitive Lie bialgebroid (A, A^∗), the differential associated to the Lie algebroid structure on A^∗ has the form d_∗=A[Λ,⋅]+Ω, where Λ is a section of ^∧2A and Ω is a Lie algebroid 1-cocycle for the adjoint representation of A. Globally, for any transitive Poisson groupoid (Γ,Π), the Poisson structure has the form , where ΠF is a bivector field on Γ associated to a Lie groupoid 1-cocycle.     

Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

Invariant forms of the elementary unitary Lie superalgebra

In this paper we describe the invariant forms of toral K-graded Lie superalgebras and, in particular, of the elementary unitary Lie superalgebra over a superring K containing .     

On the quantum filtration of the Khovanov-Rozansky cohomology

We prove the quantum filtration on the Khovanov-Rozansky link cohomology Hp with a general degree (n+1) monic potential polynomial p(x) is invariant under Reidemeister moves, and construct a spectral sequence converging to Hp that is invariant under Reidemeister moves, whose E₁ term is isomorphic to the Khovanov-Rozansky sl(n)-cohomology Hn. Then we define a generalization of the Rasmussen invariant, and study some of its properties. We also discuss relations between upper bounds of the self-linking number of transversal links in standard contact S³.     

A lower bound for the number of Reidemeister moves of type III

We study the number of Reidemeister type III moves using Fox n-colorings of knot diagrams.     

Integral bases for the universal enveloping algebras of map superalgebras

Let g$\mathfrak{g}$ be a finite dimensional complex simple classical Lie superalgebra and A   be a commutative, associative algebra with unity over C$\mathbb{C}$. In this paper we define an integral form for the universal enveloping algebra of the map superalgebra g⊗A$\mathfrak{g}\otimes A$, and exhibit an explicit integral basis for this integral form.     

Chromatic polynomial, q-binomial counting and colored Jones function

We define a q-chromatic function and q-dichromate on graphs and compare it with existing graph functions. Then we study in more detail the class of general chordal graphs. This is partly motivated by the graph isomorphism problem. Finally we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram K as a chromatic operator applied to a power series whose coefficients are linear combinations of long chord diagrams. Chromatic operators are directly related to weight systems by the work of Chmutov, Duzhin, Lando and Noble, Welsh.     

Seifert fibered surgeries with distinct primitive/Seifert positions

We call a pair (K,m) of a knot K in the 3-sphere S³ and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K,m), K can be embedded in a genus 2 Heegaard surface of S³ in a primitive/Seifert position, the concept introduced by Dean as a natural extension of primitive/primitive position defined by Berge. Recently Guntel has given an infinite family of Seifert fibered surgeries each of which has distinct primitive/Seifert positions. In this paper we give yet other infinite families of Seifert fibered surgeries with distinct primitive/Seifert positions from a different point of view.     

Nonsmoothable group actions on elliptic surfaces

Let G be a cyclic group of order 3, 5 or 7, and X=E(n) be the relatively minimal elliptic surface with rational base. In this paper, we prove that under certain conditions on n, there exists a locally linear G-action on X which is nonsmoothable with respect to infinitely many smooth structures on X. This extends the main result of [X. Liu, N. Nakamura, Pseudofree Z/3-actions on K3 surfaces, Proc. Amer. Math. Soc. 135 (3) (2007) 903-910].     

Cohomological rigidity and the number of homeomorphism types for small covers over prisms

In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) [8, Chapter 8, §2 Gluing Manifolds Together], we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimensional prism P³(m) with m?3. We introduce two invariants from colored prisms and other two invariants from ordinary cohomology rings with Z₂-coefficients of small covers. These invariants can form a complete invariant system of homeomorphism types of all small covers over a prism in most cases. Then we show that the cohomological rigidity holds for all small covers over a prism P³(m) (i.e., cohomology rings with Z₂-coefficients of all small covers over a P³(m) determine their homeomorphism types). In addition, we also calculate the number of homeomorphism types of all small covers over P³(m).     

The centralizer algebras of lie color algebras

In his 1977 paper, V.G. Kac classified the finite-dimensional simple complex Lie superalgebras. After Kac’s paper, M. Scheunert initiated the study of a generalization of Lie superalgebras - the Lie color algebras. We construct some new families of simple Lie color algebras. Following the work of A. Berele and A. Regev and A.N. Sergeev, who studied the general linear and sq(n)-series superalgebra cases, and the work of G. Benkart, C. Lee Shader, and A. Ram, who studied the orthosymplectic cases, we examine the centralizer algebras of some classical Lie superalgebras and their Lie color algebra counterparts acting on tensor space and derive Schur-Weyl duality results for these algebras and their centralizers.     

Lie superalgebras graded by the root system B(<Emphasis Type="Italic">m,n</Emphasis>)

We determine the Lie superalgebras that are graded by the root system B(m,n) of the orthosymplectic Lie superalgebra osp(2m + 1,2n). Mathematics Subject Classification (2000) Primary 17B70, Secondary 17A70     

q-holonomic formulas for colored HOMFLY polynomials of 2-bridge links

We compute q-holonomic formulas for the HOMFLY polynomials of 2-bridge links colored with one-column (or one-row) Young diagrams.     

On finite simple and nonsolvable groups acting on homology 4-spheres

The only finite non-Abelian simple group acting on a homology 3-sphere—necessarily non-freely—is the dodecahedral group A₅≅PSL(2,5) (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group ). In the present paper we show that the only finite simple groups acting on a homology 4-sphere, and in particular on the 4-sphere, are the alternating or linear fractional groups A₅≅PSL(2,5) and A₆≅PSL(2,9). From this we deduce a short list of groups which contains all finite nonsolvable groups admitting an action on a homology 4-sphere.     

Quasifinite modules of a Lie algebra related to Block type

Let B be the universal central extension of a graded Lie algebra of Block type. In this paper, it is proved that any quasifinite irreducible B-module is either highest weight, lowest weight or uniformly bounded. Furthermore, the quasifinite irreducible highest weight B-modules are classified, and the intermediate series B-modules are classified and constructed.     

The complete splitting number of a lassoed link

In this paper we define a lassoing on a link, a local addition of a trivial knot to a link. Let K be an s-component link with the Conway polynomial non-zero. Let L be a link which is obtained from K by r-iterated lassoings. The complete splitting number split(L) is greater than or equal to r+s−1, and less than or equal to r+split(K). In particular, we obtain from a knot by r-iterated component-lassoings an algebraically completely splittable link L with split(L)=r. Moreover, we construct a link L whose unlinking number is greater than split(L).