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 .     

Approach Theory in a Category: A Study of Compactness and Hausdorff Separation

In a topological construct endowed with a proper -factorization system and a concrete functor , we study -compactness and -Hausdorff separation, where is a class of “closed morphisms” in the sense of Clementino et al. (A functional approach to general topology. In: Categorical Foundations. Encyclopedia of Mathematics and Its Applications, vol. 97, pp. 103–163. Cambridge University Press, Cambridge, 2004), determined by Λ. In particular, we point out under which conditions on Λ, the notion of -compactness of an object of coincides with 0-compactness of the image in Prap. Our results will be illustrated by some examples: except for some well-known ones, like b-compactness of a topological space, we also capture some compactness notions that were not considered before in the literature. In particular, we obtain a generalization of b-compactness to the setting of approach spaces. This notion is shown to play an important role in the study of uniformizability. The author is research assistant at the Fund of Scientific Research Vlaanderen (FWO).     

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.     

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.     

Nested set complexes of Dowling lattices and complexes of Dowling trees

Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice (Proc. Internat. Sympos., 1971, pp. 101–115) and of its subposet of the G-symmetric partitions which was recently introduced by Hultman (, 2006), together with the complex of G-symmetric phylogenetic trees . Hultman shows that the complexes and are homotopy equivalent and Cohen–Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov (Selecta Math. (N.S.) 10, 37–60, 2004) shows that in fact is subdivided by the order complex of . We introduce the complex of Dowling trees and prove that it is subdivided by the order complex of . Application of a theorem of Feichtner and Sturmfels (Port. Math. (N.S.) 62, 437–468, 2005) shows that, as a simplicial complex, is in fact isomorphic to the Bergman complex of the associated Dowling geometry. Topologically, we prove that is obtained from by successive coning over certain subcomplexes. It is well known that is shellable, and of the same dimension as . We explicitly and independently calculate how many homology spheres are added in passing from to . Comparison with work of Gottlieb and Wachs (Adv. Appl. Math. 24(4), 301–336, 2000) shows that is intimely related to the representation theory of the top homology of . Research partially supported by the Swiss National Science Foundation, project PP002-106403/1.     

A combinatorial formula for Macdonald polynomials

We prove a combinatorial formula for the Macdonald polynomial which had been conjectured by Haglund. Corollaries to our main theorem include the expansion of in terms of LLT polynomials, a new proof of the charge formula of Lascoux and Schützenberger for Hall-Littlewood polynomials, a new proof of Knop and Sahi's combinatorial formula for Jack polynomials as well as a lifting of their formula to integral form Macdonald polynomials, and a new combinatorial rule for the Kostka-Macdonald coefficients in the case that is a partition with parts .

     

Recursively enumerable sets of polynomials over a finite field are Diophantine

We construct a Diophantine interpretation of over . Using this together with a previous result that every recursively enumerable (r.e.) relation over is Diophantine over , we will prove that every r.e. relation over is Diophantine over . We will also look at recursive infinite base fields , algebraic over . It turns out that the Diophantine relations over are exactly the relations which are r.e. for every recursive presentation.     

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

Weil-Petersson volumes and intersection theory on the moduli space of curves

In this paper, we establish a relationship between the Weil- Petersson volume of the moduli space of hyperbolic Riemann surfaces with geodesic boundary components of lengths , and the intersection numbers of tautological classes on the moduli space of stable curves. As a result, by using the recursive formula for obtained in the author's Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces, preprint, 2003, we derive a new proof of the Virasoro constraints for a point. This result is equivalent to the Witten-Kontsevich formula.

     

Triebel-Lizorkin Spaces of Para-Accretive Type and a Tb Theorem

In this article, we use a discrete Calderón-type reproducing formula and Plancherel-Pôlya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type $\dot{F}^{\alpha,q}_{b,p}In this article, we use a discrete Calderón-type reproducing formula and Plancherel-P?lya-type inequality associated to a para-accretive function to characterize the Triebel-Lizorkin spaces of para-accretive type , which reduces to the classical Triebel-Lizorkin spaces when the para-accretive function is constant. Moreover, we give a necessary and sufficient condition for the boundedness of paraproduct operators. From this, we show that a generalized singular integral operator T with M _b TM _b ∈WBP is bounded from to if and only if and T ^* b=0 for , where ε is the regularity exponent of the kernel of T. Chin-Cheng Lin supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-008-021-MY3. Kunchuan Wang supported by National Science Council, Republic of China under Grant #NSC 97-2115-M-259-009 and NCU Center for Mathematics and Theoretic Physics.     

A local search using solution fragments for the 2-machine bicriteria scheduling problem

In this work, we introduce a local search strategy for combinatorial optimization problems which explores neighborhoods obtained using fragments of current solutions. We apply the approach to the well-known -hard 2-machine bicriteria flowshop scheduling problem. Computational experiments using benchmark data show the approach to be effective when compared to other algorithms available for the problem.     

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.     

Computing Minimum-Volume Enclosing Axis-Aligned Ellipsoids

Given a set of points and ε>0, we propose and analyze an algorithm for the problem of computing a (1+ε)-approximation to the minimum-volume axis-aligned ellipsoid enclosing . We establish that our algorithm is polynomial for fixed ε. In addition, the algorithm returns a small core set , whose size is independent of the number of points m, with the property that the minimum-volume axis-aligned ellipsoid enclosing is a good approximation of the minimum-volume axis-aligned ellipsoid enclosing . Our computational results indicate that the algorithm exhibits significantly better performance than the theoretical worst-case complexity estimate. This work was supported in part by the National Science Foundation through CAREER Grants CCF-0643593 and DMI-0237415.     

Special Quasigraded Lie Algebras and Integrable Hamiltonian Systems

We construct a family of special quasigraded Lie algebras of functions of one complex variables with values in finite-dimensional Lie algebra , labeled by the special 2-cocycles F on . The main property of the constructed Lie algebras is that they admit Kostant-Adler-Symes scheme. Using them we obtain new integrable finite-dimensional Hamiltonian systems and new hierarchies of soliton equations.     

Nullification and cellularization of classifying spaces of finite groups

In this note we discuss the effect of the -nullification and the -cellularization over classifying spaces of finite groups, and we relate them with the corresponding functors with respect to Moore spaces that have been intensively studied in the last years. We describe by means of a covering fibration, and we classify all finite groups for which is -cellular. We also carefully study the analogous functors in the category of groups, and their relationship with the fundamental groups of and

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

Isomorphism problems and groups of automorphisms for generalized Weyl algebras

We present solutions to isomorphism problems for various generalized Weyl algebras, including deformations of type-A Kleinian singularities and the algebras similar to introduced by S. P. Smith. For the former, we generalize results of Dixmier on the first Weyl algebra and the minimal primitive factors of by finding sets of generators for the group of automorphisms.

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.