Wedge Products and Cotensor Coalgebras in Monoidal Categories

The construction of the cotensor coalgebra for an “abelian monoidal” category which is also cocomplete, complete and AB5, was performed in Ardizzoni et al. (Comm Algebra 35(1):25–70, 2007). It was also proved that this coalgebra satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration for a coalgebra E in is filled by considering a direct limit of a filtration consisting of wedge products of a subcoalgebra D of E. The main aim of this paper is to characterize hereditary coalgebras , where D is a coseparable coalgebra in , by means of a cotensor coalgebra: more precisely, we prove that, under suitable assumptions, is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra if and only if it is a cotensor coalgebra , where N is a certain D-bicomodule in . Because of our choice, even when we apply our results in the category of vector spaces, new results are obtained. This paper was written while A. Ardizzoni was member of G.N.S.A.G.A. with partial financial support from Mi.U.R.     

On pairs of commuting nilpotent matrices

Let B be a nilpotent matrix and suppose that its Jordan canonical form is determined by a partition λ. Then it is known that its nilpotent commutator is an irreducible variety and that there is a unique partition μ such that the intersection of the orbit of nilpotent matrices corresponding to μ with is dense in . We prove that map given by is an idempotent map. This answers a question of Basili and Iarrobino [9] and gives a partial answer to a question of Panyushev [18]. In the proof, we use the fact that for a generic matrix the algebra generated by A and B is a Gorenstein algebra. Thus, a generic pair of commuting nilpotent matrices generates a Gorenstein algebra. We also describe in terms of λ if has at most two parts.     

Dimension of the Torelli group for Out(F<Subscript>n</Subscript>)

Let be the kernel of the natural map Out(F_n)→GL_n(ℤ). We use combinatorial Morse theory to prove that has an Eilenberg–MacLane space which is (2n-4)-dimensional and that is not finitely generated (n≥3). In particular, this shows that the cohomological dimension of is equal to 2n-4 and recovers the result of Krstić–McCool that is not finitely presented. We also give a new proof of the fact, due to Magnus, that is finitely generated.     

Mixed Hodge polynomials of character varieties

We calculate the E-polynomials of certain twisted GL(n,ℂ)-character varieties of Riemann surfaces by counting points over finite fields using the character table of the finite group of Lie-type and a theorem proved in the appendix by N. Katz. We deduce from this calculation several geometric results, for example, the value of the topological Euler characteristic of the associated PGL(n,ℂ)-character variety. The calculation also leads to several conjectures about the cohomology of : an explicit conjecture for its mixed Hodge polynomial; a conjectured curious hard Lefschetz theorem and a conjecture relating the pure part to absolutely indecomposable representations of a certain quiver. We prove these conjectures for n=2.     

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Geometry of the mapping class groups I: Boundary amenability

We construct a geometric model for the mapping class group of a non-exceptional oriented surface S of genus g with k punctures and use it to show that the action of on the compact metrizable Hausdorff space of complete geodesic laminations for S is topologically amenable. As a consequence, the Novikov higher signature conjecture holds for every subgroup of .     

Weak Quantum Enveloping Algebras of Borcherds Superalgebras

In present paper we define a new kind of weak quantized enveloping algebra of Borcherds superalgebras . It is a noncommutative and noncocommutative weak graded Hopf algebra. Using localizing with some Ore set, we obtain a different kind of quantized enveloping algebras of Borcherds superalgebras . It has a homomorphic image which is isomorphic to the usual quantum enveloping algebra of . Moreover, is isomorphic to a direct sum of and an other algebra as algebras. The author is sponsored by ZJNSF No. Y607136.     

Representation theory of $\mathcal{W}$-algebras

We study the representation theory of the -algebra associated with a simple Lie algebra at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of -algebras. Mathematics Subject Classification (1991)  17B68, 81R10     

Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups

We prove that if a countable discrete group Γ is w-rigid, i.e. it contains an infinite normal subgroup H with the relative property (T) (e.g. , or Γ=H×H’ with H an infinite Kazhdan group and H’ arbitrary), and is a closed subgroup of the group of unitaries of a finite separable von Neumann algebra (e.g. countable discrete, or separable compact), then any -valued measurable cocycle for a measure preserving action of Γ on a probability space (X,μ) which is weak mixing on H and s-malleable (e.g. the Bernoulli action ) is cohomologous to a group morphism of Γ into . We use the case discrete of this result to prove that if in addition Γ has no non-trivial finite normal subgroups then any orbit equivalence between and a free ergodic measure preserving action of a countable group Λ is implemented by a conjugacy of the actions, with respect to some group isomorphism Γ≃Λ.     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

<Emphasis Type="Italic">F</Emphasis>-isocristaux surconvergents et surcohérence différentielle

Résumé Soient un anneau de valuation discrète complet d’inégales caractéristiques, de corps résiduel parfait k, un -schéma formel propre et lisse, T un diviseur de la fibre spéciale P de , U l’ouvert de P complémentaire de T, Y un sous-k-schéma fermé lisse de U. Nous prouvons que la catégorie des F-isocristaux surconvergents sur Y est équivalente à celle des F-isocristaux surcohérents sur Y (voir [Car, 6.2.1 et 6.4.3.a)]). Plus généralement, nous établissons par recollement une telle équivalence pour tout k-schéma séparé lisse Y. Nous vérifions de plus que les F-complexes de -modules à cohomologie bornée et -surcohérente se dévissent en F-isocristaux surconvergents.     

Distances Between <Emphasis Type="Italic">σ</Emphasis>-Fields on a Probability Space

For a probability space (Ω,ℱ,P) and two sub-σ-fields we consider two natural distances: and . We investigate basic properties of these distances. In particular we show that if a distance (ρ or ) from ℬ to is small then there exists Z∈ℱ with small P(Z), such that for every B∈ℬ there exists such that B∖Z and A∖Z differ by a set of probability zero. This improves results of Neveu (Ann. Math. Stat. 43(4):1369–1371, [1972]), Jajte and Paszkiewicz (Probab. Math. Stat. 19(1):181–201, [1999]).      

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Bounded universal functions for sequences of holomorphic self-maps of the disk

We give several characterizations of those sequences of holomorphic self-maps {φ _n } _n≥1 of the unit disk for which there exists a function F in the unit ball of H ^∞ such that the orbit {F∘φ _n :n∈ℕ} is locally uniformly dense in . Such a function F is said to be a -universal function. One of our conditions is stated in terms of the hyperbolic derivatives of the functions φ _n . As a consequence we will see that if φ _n is the nth iterate of a map φ of into , then {φ _n } _n≥1 admits a -universal function if and only if φ is a parabolic or hyperbolic automorphism of . We show that whenever there exists a -universal function, then this function can be chosen to be a Blaschke product. Further, if there is a -universal function, we show that there exist uniformly closed subspaces consisting entirely of universal functions.     

Periodic automorphisms of takiff algebras, contractions, and θ-groups

Let be an algebraic Lie algebra and a (generalised) Takiff algebra. Any finite-order automorphism θ of induces an automorphism of of the same order, denoted . We study invariant-theoretic properties of representations of the fixed point subalgebra of on other eigenspaces of in . We use the observation that, for special values of m, the fixed point subalgebra, , turns out to be a contraction of a certain Lie algebra associated with and θ. To my teacher Supported in part by R.F.B.R. grant 06-01-72550.     

Hecke algebras of finite type are cellular

Let be the one-parameter Hecke algebra associated to a finite Weyl group W, defined over a ground ring in which “bad” primes for W are invertible. Using deep properties of the Kazhdan–Lusztig basis of and Lusztig’s a-function, we show that has a natural cellular structure in the sense of Graham and Lehrer. Thus, we obtain a general theory of “Specht modules” for Hecke algebras of finite type. Previously, a general cellular structure was only known to exist in types A _n and B _n .     

The centers of spin symmetric group algebras and Catalan numbers

Generalizing the work of Farahat-Higman on symmetric groups, we describe the structures of the even centers of integral spin symmetric group superalgebras, which lead to universal algebras termed as the spin FH-algebras. A connection between the odd Jucys-Murphy elements and the Catalan numbers is developed and then used to determine the algebra generators of the spin FH-algebras and of the even centers .     

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

In this paper, we establish Schur–Weyl reciprocity between the quantum general super Lie algebra and the Iwahori–Hecke algebra . We introduce the sign -permutation representation of on the tensor space of dimensional -graded -vector space . This action commutes with that of derived from the vector representation on . Those two subalgebras of satisfy Schur–Weyl reciprocity. As special cases, we obtain the super case (), and the quantum case (). Hence this result includes both the super case and the quantum case, and unifies those two important cases.Presented by A. Verschoren.     

Compactifications of Discrete Quantum Groups

Given a discrete quantum group we construct a Hopf -algebra which is a unital -subalgebra of the multiplier algebra of . The structure maps for are inherited from and thus the construction yields a compactification of which is analogous to the Bohr compactification of a locally compact group. This algebra has the expected universal property with respect to homomorphisms from multiplier Hopf algebras of compact type (and is therefore unique). This provides an easy proof of the fact that for a discrete quantum group with an infinite dimensional algebra the multiplier algebra is never a Hopf algebra.Partially supported by Komitet Badań Naukowych grants 2P03A04022 & 2P03A01324, the Foundation for Polish Science and Deutsche Forschungsgemeinschaft.