Analogues of Euler and Poisson summation formulae

Euler-Maclaurin and Poisson analogues of the summations ε _{a <n ≤b} χ(n)f(n), have been obtained in a unified manner, where (χ(n)) is a periodic complex sequence;d(n) is the divisor function andf(x) is a sufficiently smooth function on [a, b]. We also state a generalised Abel’s summation formula, generalised Euler’s summation formula and Euler’s summation formula in several variables.     

Representation type of Hecke algebras of type

In this paper we provide a complete classification of the representation type for the blocks for the Hecke algebra of type , stated in terms of combinatorical data. The computation of the complexity of Young modules is a key component in the proof of this classification result.     

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 .     

Cellular structures on Hecke algebras of type B

The aim of this paper is to gather and (try to) unify several approaches for the modular representation theory of Hecke algebras of type B. We attempt to explain the connections between Geck's cellular structures (coming from Kazhdan–Lusztig theory with unequal parameters) and Ariki's Theorem on the canonical basis of the Fock spaces.     

The representation type of Hecke algebras of type B

This paper determines the representation type of the Iwahori-Hecke algebras of type B when q≠±1. In particular, we show that a single parameter non-semisimple Iwahori-Hecke algebra of type B has finite representation type if and only if q is a simple root of the Poincaré polynomial, confirming a conjecture of Uno's (J. Algebra 149 (1992) 287).     

Random functions of Poisson type

Let $\text{(X,}\textcolor{red}{}\text{, μ)}$ be a σ-finite nonatomic measure space. We think of the customary analysis based upon $\text{(X,}\textcolor{red}{}\text{, μ)}$ as continuum analysis. By contrast discrete analysis is based upon an arbitrary countable subset of X, rather than upon X itself, and all countable subsets are treated alike with a Poisson process used to distinguish among them probabilisticly. The sort of functions appropriate for discrete analysis are the Campbell functions, or, as they are called in the present paper, the random functions of Poisson type. The paper presents an account of the ideas underlying discrete analysis and treats briefly the specifies of representation, stochastic integrals, and duality theory for random functions of Poisson type. It is chiefly concerned, however, with those random functions which occur in connection with the discrete analysis of Brownian motion, (for example, with Gaussian noise). In particular it shows that there is a completely positive map which carries such discrete processes onto an algebraic version of Wiener's Brownian motion process, and that under this map, random functions of Poisson type go over to the appropriate random functions of Wiener type. It also shows that the map carries random variables into noncommuting operators characteristic of quantum theory.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ?_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ? ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ?_q,1(B _n )- module D^λ remains irreducible on restriction to ?_q(D _n ).     

Canonical bases and affine Hecke algebras of type D

We prove a conjecture of Miemietz and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case in Varagnolo and Vasserot (in press) [15].     

Cellular algebras arising from Hecke algebras of type H_n

We study a finite-dimensional quotient of the Hecke algebra of type for general n, using a calculus of diagrams. This provides a basis of monomials in a certain set of generators. Using this, we prove a conjecture of C.K. Fan about the semisimplicity of the quotient algebra. We also discuss the cellular structure of the algebra, with certain restrictions on the ground ring. Received February 24, 1997; in final form May 9, 1997     

Canonical bases and affine Hecke algebras of type B

We prove a series of conjectures of Enomoto and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type B. The main ingredient of the proof is a new graded Ext-algebra associated with quiver with involutions that we compute explicitly.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).     

Strong multiplicity one theorems for affine Hecke algebras of type A

Given an irreducible module for the affine Hecke algebraH _n of type A, we consider its restriction toH _n–1. We prove that the socle of restriction is multiplicity free and moreover that the summands lie in distinct blocks. This is true regardless of the characteristic of the field or of the order of the parameterq in the definition ofH _n . The result generalizes and implies the classical branching rules that describe the restriction of an irreducible representation of the symmetric groupS _n toS _n–1.Both authors would like to thank Gus Lehrer and the University of Sydney for their hospitality while this paper was edited into its final form.     

A Poisson manifold of strong compact type

We construct a corank one Poisson manifold which is of strong compact type, i.e., the associated Lie algebroid structure on its cotangent bundle is integrable, and the source 1-connected (symplectic) integration is compact. The construction relies on the geometry of the moduli space of marked K3 surfaces.     

Four positive formulae for type A quiver polynomials

We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton [BF99 ]. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1 and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula is a variant of the conjecture of Buch and Fulton in terms of factor sequences of Young tableaux [BF99 ]; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in “doubled” versions, two for double quiver polynomials, and the other two for their stable limits, the double quiver functions, where setting half the variables equal to the other half specializes to the ordinary case. Our method begins by identifying quiver polynomials as multidegrees [BB82 , Jos84 , BB85 , Ros89 ] via equivariant Chow groups [EG98 ]. Then we make use of Zelevinsky’s map from quiver loci to open subvarieties of Schubert varieties in partial flag manifolds [Zel85 ]. Interpreted in equivariant cohomology, this lets us write double quiver polynomials as ratios of double Schubert polynomials [LS82 ] associated to Zelevinsky permutations; this is our first formula. In the process, we provide a simple argument that Zelevinsky maps are scheme-theoretic isomorphisms (originally proved in [LM98 ]). Writing double Schubert polynomials in terms of pipe dreams [FK96 ] then provides another geometric formula for double quiver polynomials, via [KM05 ]. The combinatorics of pipe dreams for Zelevinsky permutations implies an expression for limits of double quiver polynomials in terms of products of Stanley symmetric functions [Sta84 ]. A degeneration of quiver loci (orbit closures of GL on quiver representations) to unions of products of matrix Schubert varieties [Ful92 , KM05 ] identifies the summands in our Stanley function formula combinatorially, as lacing diagrams that we construct based on the strands of Abeasis and Del Fra in the representation theory of quivers [AD80 ]. Finally, we apply the combinatorial theory of key polynomials to pass from our lacing diagram formula to a double Schur function formula in terms of peelable tableaux [RS95a , RS98 ], and from there to our formula of Buch–Fulton type.