1: \documentclass{ejc}

2: \usepackage{amssymb}

3: 

4: %------------------------------------------------------------------------

5: 

6: \def\A{\mathcal{A}}

7: \def\al{\alpha}

8: \def\ap{a^{\ts\prime}} 

9: 

10: \def\B{\mathcal{B}}

11: \def\begd{\[}

12: \def\bege{\begin{equation}}

13: \def\bp{b^{\ts\prime}} 

14: 

15: \def\Cb{{\,\ts\overline{\ns\!C\ns}}}

16: \def\CC{\mathbb{C}}

17: \def\com{\ts,\hskip-.5pt}

18: 

19: \def\de{\delta}

20: 

21: \def\EL{E_{\ts\La}}

22: \def\ELcb{{\,\ts\overline{\ns\!E\ns}_{\Lac}}}

23: \def\EMb{{\,\ts\overline{\ns\!E\ns}_{\ts\Mu}}}

24: \def\endd{\]\vskip-1pc}

25: \def\ende{\end{equation}\vskip-1pc}

26: \def\etas{\eta^{\ts\ast}}

27: 

28: \def\FL{F_\La}

29: \def\FLb{{\,\ts\overline{\ns\!F\ns}_{\La}}}

30: \def\FLcb{{\,\ts\overline{\ns\!F\ns}_{\Lac}}}

31: \def\FM{F_{\,\Mu}}

32: \def\FMb{{\,\ts\overline{\ns\!F\ns}_{\ts\Mu}}}

33: \def\FMbs{{\,\ts\overline{\ns\!F\ns}_{\ts\Mus}}}

34: 

35: \def\ge{\geqslant}

36: \def\GL{G_\La}

37: 

38: \def\Hh{\ts\widehat{\ns H}}

39: 

40: \def\i{^{\ts-1}}	

41: \def\io{\iota}

42: \def\ip{i^{\ts\prime}} 

43: 

44: \def\jp{j^{\ts\prime}} 

45: 

46: \def\ka{\kappa}

47: \def\kp{k^{\ts\prime}} 

48: \def\kt{\tilde{k}}

49:  

50: \def\la{\lambda}

51: \def\La{\Lambda}

52: \def\Lac{\Lambda^{\ns\circ}}

53: \def\Lap{\Lambda^{\ns\prime}}

54: \def\las{\lambda^{\ast}}

55: \def\Las{\Lambda^{\ns\ast}}

56: \def\Lat{\tilde{\Lambda}}

57: \def\lc{{\ts,\hskip.95pt\ldots\ts,\ts\,}}

58: \def\le{\leqslant}

59: 

60: \def\Mu{{\mathrm{M}}}

61: \def\mus{\mu^{\ast}}

62: \def\Mus{{\mathrm{M}^\ast}}

63: 

64: \def\ns{\hskip-1pt}

65: 

66: \def\om{\omega}

67: \def\orig{(1\lc\ns1)}

68: \def\ot{\otimes}

69: 

70: \def\Qlab{\ts\,\overline{\ns\!Q\ns}_{\ts\la}}

71: 

72: \def\RLM{R_{\,\La\Mu}}

73: 

74: \def\S{\mathcal{S}}

75: \def\si{\sigma}

76: \def\SLM{S_{\La\Mu}}

77: \def\SLMc{S_{\Lac\Mu}}

78: \def\SLMp{\SLM^{\,\ts\prime}}

79: \def\SLMpc{\SLMc^{\,\ts\prime}}

80: \def\SLMs{S_{\Las\Mus}}

81: 

82: \def\Ti{T^{\ts-1}}

83: \def\tl{{\kern-.5pt\raise.0pt\hbox{$\times$}\kern0pt l}}

84: 

85: \def\thetas{\theta^\ast}

86: \def\ts{\hskip1pt}

87: 

88: \def\up{\varphi}

89: 

90: \def\VM{V_{\ts\Mu}\ts}

91: 

92: \def\Wp{W^{\ts\prime}}

93: 

94: \def\Xb{{\,\ts\overline{\ns\!X\ns}}}

95: \def\Xit{\widetilde{\Xi}}

96: 

97: \def\Z{\mathcal{Z}}

98: \def\Zb{{\,\ts\overline{\ns\!Z\ns}}}

99: \def\ziw{z^{-1}w}

100: \def\zp{z^{\ts\prime}}

101: \def\ZZ{\mathbb{Z}}

102: 

103: %------------------------------------------------------------------------

104: 

105: \renewcommand{\theequation}{\thesection.\arabic{equation}}

106: \theoremstyle{plain} 

107: \newtheorem{theorem}{Theorem}[section] 

108: \newtheorem{lemma}[theorem]{Lemma} 

109: \newtheorem{proposition}[theorem]{Proposition}

110: \newtheorem{corollary}[theorem]{Corollary}

111: \theoremstyle{definition} 

112: \newtheorem{definition}{Definition}[section] 

113: \newtheorem{example}{Example}[section] 

114: \theoremstyle{remark} 

115: \newtheorem{remark}{Remark}[section] 

116: \setcounter{secnumdepth}{2}

117: 

118: %========================================================================

119: 

120: \begin{document}

121: \begin{frontmatter}

122: \title{A mixed hook-length formula\\for affine Hecke algebras\\[-30pt]}

123: \author{Maxim Nazarov}

124: \address{Department of Mathematics, University of York, York YO10 5DD, 

125: England\\[10pt]

126: Email address:\/ {\tt mln1@york.ac.uk}\\[-6pt]}

127: \author{\small

128: D\'edi\'e au Professeur Alain Lascoux pour son 60-\`eme anniversaire}

129: \begin{abstract}

130: Let $\Hh_l$ be the affine Hecke algebra corresponding to the group

131: $GL_l$ over a $p\ts$-adic field with residue field of cardinality

132: $q\ts$.

133: We will regard $\Hh_l$ as an associative algebra over the field

134: $\CC(q)$. 

135: Consider the $\Hh_{l+m}\ts$-module $W$ induced

136: from the tensor product of the evaluation modules over the algebras 

137: $\Hh_l$

138: and $\Hh_m\ts$. The module $W$ depends on two partitions $\lambda$ of

139: $\ts l$

140: and $\mu$ of $m$, and on two non-zero elements of the field

141: $\CC(q)\ts$.

142: There is a canonical operator $J$ acting on $W$, it corresponds to the

143: trigonometric $R\ts$-matrix. 

144: The algebra $\Hh_{l+m}$ contains the finite dimensional Hecke algebra 

145: $H_{l+m}$ as a subalgebra, and the operator $J$ commutes with the 

146: action of this subalgebra on $W$. Under this action, $W$ decomposes into

147: irreducible subspaces according to the Littlewood-Richardson rule. We

148: compute the eigenvalues of $J$, corresponding to certain

149: multiplicity-free

150: irreducible components of $W$. In particular, we give a formula for

151: the ratio of two eigenvalues of $J$, corresponding to the

152: ``highest'' and the ``lowest'' components. As an application,

153: we derive the well known $q\ts$-analogue of the 

154: hook-length formula for the number of standard tableaux of shape

155: $\la\ts$.

156: \end{abstract}

157: % \begin{keyword}

158: % Hecke algebras \sep intertwining operators \sep standard tableaux

159: % \end{keyword}

160: \end{frontmatter}

161: 

162: %========================================================================

163: 

164: \section{\hskip-13.5pt.\hskip6pt Introduction}

165: In this article we will work with the affine Hecke algebra corresponding

166: to the general linear group $GL_l$ over a local non-Archimedean field. 

167: Let $q$ be a formal parameter. 

168: Let $H_l$ be the finite 

169: dimensional Hecke algebra over the

170: field $\CC(q)$ of rational functions in $q\ts$,

171: with the generators $T_1\lc T_{l-1}$ and the relations 

172: \bege\label{1.1}

173: (T_i-q)\ts(T_i+q^{\ts-1})=0\ts;

174: \end{equation}

175: \bege\label{1.2}

176: T_i\ts T_{i+1}\ts T_i=T_{i+1}\ts T_i\ts T_{i+1}\ts;

177: \end{equation}

178: \bege\label{1.3}

179: T_i\ts T_j=T_j\ts T_i\ts,

180: \quad

181: j\neq i\com i+1

182: \ende

183: for all possible indices $i$ and $j\ts$.

184: The {\it affine Hecke algebra\/} $\Hh_l$ is the 

185: $\CC(q)\ts$-algebra generated by the elements $T_1,\ldots,T_{n-1}$ and 

186: the pairwise commuting invertible elements $Y_1,\ldots,Y_n$ subject

187: to the relations (\ref{1.1})\ts--\ts(\ref{1.3}) and

188: \bege\label{1.4}

189: T_i\ts Y_i\ts T_i=Y_{i+1}\,;

190: \end{equation}

191: \bege\label{1.5}

192: T_i\ts Y_j=Y_j\ts T_i\ts,

193: \quad

194: j\neq i\com i+1\,.

195: \end{equation}

196: 

197: By definition, the affine algebra $\Hh_l$ contains $H_l$ as a subalgebra.

198: There is also a homomorphism

199: $\pi_1:\Hh_l\to H_l\ts$ identical on the subalgebra $H_l\subset\Hh_l\ts$,

200: it can be defined \cite[Theorem 3.4]{C} by setting $\pi_1(Y_1)=1$.

201: Indeed, then by (\ref{1.4})~we~have

202: \bege\label{1.6}

203: \pi_1(Y_i)=T_{i-1}\ldots\ts T_1\ts T_1\ldots\ts T_{i-1}

204: \ende

205: for every $i=1\lc l$. Denote by $X_i$ the

206: right hand side of the equality

207: (\ref{1.6}). Using the relations (\ref{1.2}) and (\ref{1.3}),

208: one can check that 

209: \[

210: T_i\ts X_j=X_j\ts T_i\ts,

211: \quad

212: j\neq i\com i+1

213: \endd

214: and that the elements $X_1\lc X_l$ are

215: pairwise commuting. These elements are invertible in $H_l\ts$,

216: because the generators $T_1\lc T_{l-1}$ are invertible: we have

217: \bege\label{Ti}

218: \Ti_i=T_i-q+q^{\ts-1}

219: \ende

220: due to (\ref{1.1}). The elements $X_1\lc X_l$ are called

221: the {\it Murphy elements\/} \cite{M} of the Hecke algebra

222: $H_l\,$; they play an important role in the present article.

223: 

224: More generally, for any non-zero $z\in\CC(q)\ts$, one

225: can define a homomorphism $\pi_z:\Hh_l\to H_l\ts$, also identical

226: on the subalgebra $H_l\subset\Hh_l\ts$, by setting $\pi_z(Y_1)=z\ts$.

227: It is called the {\it evaluation homomorphism\/} at $z$\ts. 

228: % In partucular, we have $\pi_1=\pi\ts$.

229: By pulling any irreducible $H_l\ts$-module $V$ back through the

230: homomorphism $\pi_z$ we obtain a module over the algebra $\Hh_l\ts$,

231: called an {\it evaluation module} at $z$ and denoted by $V(z)\ts$.

232: By definition, the $\Hh_l\ts$-module $V(z)$ is irreducible.

233: 

234: Throughout this article $l$ is a positive integer.

235: For any index $i=1\lc l-1$ let $\si_i=(i\,i+1)$ be 

236: the adjacent transposition in the symmetric group $S_l\ts$. 

237: Take any element $\si\in S_l$

238: and choose a reduced decomposition $\si=\si_{i_1}\ldots\ts\si_{i_L}\ts$.

239: As usual put $T_\si=T_{i_1}\ldots\ts T_{i_L}\ts$,

240: this element of the algebra $H_l$ does not depend on the

241: choice of reduced decomposition of $\si$ due to (\ref{1.2}) and

242: (\ref{1.3}).  The element of maximal length in

243: % the symmetric group 

244: $S_l$ will be denoted by $\si_0\ts$. We will write $T_0$ instead of 

245: $T_{\si_0}$ for  short. The elements $T_\si$ form a basis of $H_l$ 

246: as a vector space over the field $\CC(q)\ts$. We will also use the 

247: basis in $H_l$  formed by the elements~$T_\si^{\ts-1}$.

248: 

249: The $\CC(q)\ts$-algebra $H_l$ is semisimple; see \cite[Section 4]{GU}

250: for a short proof of this well known fact. 

251: The simple ideals of $H_l$ are

252: labeled by partitions $\la$ of $l\ts$, like the equivalence classes of 

253: irreducible representations of the symmetric group $S_l\ts$. 

254: In Section 3 of the present article, for any partition $\la$ of $l$

255: we will construct a certain left ideal $V_\la\ts$ in the algebra

256: $H_l\ts$. Under the action of the algebra $H_l$ via left

257: multiplication, the subspace $V_\la\subset H_l$ is irreducible;

258: see Corollary~\ref{C3.5}. The $H_l\ts$-modules $V_\la$

259: for different partitions $\la$ are pairwise non-equivalent; see

260: Corollary \ref{C3.6}. At $q=1$, the algebra $H_n(q)$ specializes

261: to the group ring $\CC\,S_l\ts$. The $H_n(q)\ts$-module

262: $V_\la$ then specializes to the irreducible representation of 

263: $S_l\ts$, coresponding \cite{Y1} to the partition $\la\ts$.

264: Our construction of $V_\la$ employs a certain limiting process called 

265: \textit{fusion procedure\/} \cite{C}; 

266: see Section 2 for details, cf.\ \cite{JN,LLT}.

267: % These details have not yet been published.

268: 

269: Using this definition of the $H_l\ts$-module $V_\la\ts$,

270: consider the evaluation module $V_\la(z)$ over the affine

271: Hecke algebra $\Hh_l\ts$. Take a partition $\mu$ of 

272: a positive integer $m$ and a non-zero element $w\in\CC(q)\ts$,

273: then also consider the evaluation module $V_\mu(w)$ over the

274: algebra $\Hh_m\ts$. The tensor product $\Hh_l\,\ot\ts\Hh_m$ is

275: naturally identified with the subalgebra in $\Hh_{\ts l+m}\ts$,

276: generated by the elements

277: \[

278: T_1\lc T_{l-1}\com Y_1\lc Y_l

279: \ \quad\textrm{and}\ \quad

280: T_{l+1}\lc T_{l+m-1}\com Y_{l+1}\lc Y_{l+m}\,.

281: \endd

282: Denote by $W$ be the $\Hh_{\ts l+m}\ts$-module induced from the

283: module $V_\la(z)\ot V_\mu(w)$ over the subalgebra

284: $\Hh_l\ts\ot\Hh_m\subset\Hh_{\ts l+m}\ts$.

285: Identify the underlying vector space of the module $W$

286: with the left ideal in $H_{\ts l+m}$ generated by

287: $V_\la\ot V_\mu\subset H_l\ts\ot H_m\ts$,

288: so that the subalgebra $H_{\ts l+m}\subset\Hh_{\ts l+m}$

289: acts on $W$ via left multiplication. Further,

290: denote by $\Wp$ be the $\Hh_{\ts l+m}\ts$-module induced from the

291: module $V_\mu(w)\ot V_\la(z)$ over the subalgebra

292: $\Hh_m\ts\ot\Hh_l\subset\Hh_{\ts l+m}\ts$.

293: The underlying vector space of $\Wp$ is identified

294: with the left ideal in $H_{\ts l+m}$ generated by

295: $V_\mu\ot V_\la\subset H_m\ts\ot H_l\ts$. Note that then due to

296: (\ref{4.1}) and (\ref{4.2})

297: we have the equality of left ideals $\Wp=W\,T_\tau\ts$, where

298: $\tau$ is the element of the symmetric group $S_{\ts l+m}$ permuting

299: \bege\label{tau}

300: (\ts1\lc m\ts,m+1\lc l+m\ts)\,\ts\mapsto\,(\ts l+1\lc l+m\ts,1\lc l\ts)\,.

301: \end{equation}

302: 

303: Suppose that 

304: $z^{\ts-1} w\notin q^{\ts2\ts\ZZ}$. Then the $\Hh_{\ts l+m}\ts$-modules

305: $W$ and $\Wp$ are irreducible and equivalent, see 

306: for instance \cite[Remark~8.7]{Z}. Hence there is a unique,

307: up to a multiplier from $\CC(q)\ts$, non-zero intertwining operator

308: of $\Hh_{\ts l+m}\ts$-modules $I:\ts W\to\Wp$. The existence

309: of this operator does not depend on the choice of realization of 

310: the $\Hh_{l+m}\ts$-modules $W$ and $\Wp\ts$. For

311: our choice of $W$ and $\Wp$, we will give an explicit formula

312: for the operator $I$, see Proposition \ref{P4.2}. 

313: This formula fixes the normalization of $I\ts$, in particular.

314: 

315: Let $J:\ts W\to W$ be the composition of the operator $I:\ts W\to\Wp$,

316: and the operator $\Wp\to W$ of multiplication by 

317: the element $T_\tau^{\ts-1}$ on the 

318: right. Since the subalgebra $H_{\ts l+m}\subset\Hh_{\ts l+m}$ acts

319: on the left ideals $W$ and $\Wp$ in $H_{\ts l+m}$ via left

320: multiplication, the operator $J$ commutes with this action of

321: $H_{\ts l+m}\ts$. Under this action, the vector space $W$ splits

322: into irreducible components according to the Littlewood\ts-Richardson rule

323: \cite[Section I.9]{MD}. On every irreducible component appearing

324: with multiplicity one, the operator $J$ acts as multiplication

325: by a certain element of $\CC(q)\ts$.

326: In this article, we compute these elements of $\CC(q)$ 

327: for certain multiplicity free components of $W$, see

328: Theorems \ref{T4.5} and \ref{T4.6}. Note that without affecting

329: the eigenvalues of the operator $J$,

330: one can replace $V_\la$ and $V_\mu$ 

331: in our definition of $W$ 

332: by any left ideals in the algebras $H_l$ and $H_m$ respectively,

333: equivalent to $V_\la$ and $V_\mu$

334: as modules over these two algebras.

335: 

336: Let us give an example of applying our Theorems

337: \ref{T4.5} and \ref{T4.6}. Write

338: \[

339: \la\ts=(\ts\la_1\com\la_2\,,\ts\ldots\,\ts)

340: \ \ \quad\textrm{and}\ \quad

341: \la\ts=(\ts\mu_1\com\mu_2\,,\ts\ldots\,\ts)\,,

342: \endd

343: where the parts of $\la$ and $\mu$

344: are as usual arranged in the non-increasing order.

345: Consider also the conjugate partitions

346: \[

347: \la^{\ns\ast}\ts=(\ts\las_1\com\las_2\,,\ts\ldots\,\ts)

348: \ \quad\textrm{and}\ \quad

349: \mus\ts=(\ts\mus_1\com\mus_2\,,\ts\ldots\,\ts)\,.

350: \endd

351: There are two distinguished

352: irreducible components of the $H_{l+m}\ts$-module $W$ which are 

353: multiplicity free. They correspond to the two partitions of $l+m$

354: \[

355: \la+\mu\,=\ts(\ts\la_1+\mu_1\com\la_2+\mu_2\,,\ts\ldots\,\ts)

356: \ \quad\textrm{and}\ \quad

357: (\ts\la^{\ns\ast}+\mus\ts)^{\ts\ast}\ts.

358: \endd

359: Let us denote by $h_{\la\mu}(z\com w)$ the ratio of the corresponding 

360: two eigenvalues of the operator $J$, this ratio does not depend on the

361: normalization of this operator.

362: 

363: \begin{corollary}\label{C1.1}

364: {\bf\hskip-6pt.\hskip1pt} 

365: We have

366: \bege\label{1.9}

367: h_{\la\mu}(z\com w)\ =\

368: \prod_{a,b}\

369: \frac

370: {\,z^{\ts-1} w\ts-\ts q^{\ts-2\ts(\ts\mu_a\ts+\,\las_b-\,a\,-\,b\,+\,1)}}

371: {z^{\ts-1} w\ts-\ts q^{\ts2\ts(\la_a\ts+\,\mus_b-\,a\,-\,b\,+\,1)}}

372: \ende

373: where the product is taken over all\/

374: $a\com b=1\ts,2\ts,\ts\ldots\ts$ such that\/ $b\le\la_a\com\mu_a\,$. 

375: \end{corollary}

376: 

377: We will derive this result from Theorems \ref{T4.5} and \ref{T4.6},

378: using Proposition \ref{P4.7}.

379: Now consider the Young diagrams of $\la$ and $\mu$.

380: For the partition $\la$, this is the set (\ref{Yd}).

381: The condition $b\le\la_a\com\mu_a$ in Corollary \ref{C1.1}

382: % the product at the right hand side of the equality (\ref{1.9}) 

383: means that the node $(a\com b)$ belongs to the intersection

384: of the diagrams corresponding to $\la$ and $\mu\ts$. Recall that 

385: the number $\la_a+\las_b-a-b+1$

386: is the \textit{hook-length\/} corresponding to the

387: node $(a\com b)$ of the Young diagram of $\la\ts$.

388: The numbers appearing in (\ref{1.9}),

389: \[

390: \la_a+\mus_b-a-b+1

391: \ \quad\textrm{and}\ \quad 

392: \mu_a+\las_b-a-b+1

393: \endd

394: may be called the \textit{mixed hook-lengths\/}

395: of the first and second kind respectively.

396: Both these numbers are positive for any

397: node $(a\com b)$ in the intersection of 

398: the Young diagrams of $\la$ and $\mu\ts$,

399: hence there are no cancellations of factors in~(\ref{1.9}).

400: 

401: According to the famous formula from \cite{FRT},

402: the product of the hook-lengths of the Young diagram of

403: $\la$ is equal to the ratio $\ts l\ts!\ts/\ns\dim V_\la\ts$.

404: We call the equality (\ref{1.9}) the mixed hook-length formula.

405: Its counterpart for the 

406: \textrm{degenerate}, or \textrm{graded}

407: affine Hecke algebras \cite{D,L} 

408: which does not involve the parameter $q\ts$, has appeared in \cite{N}.

409: The $q\ts$-analogue of the hook-length formula \cite{FRT}

410: is also known, see for instance \cite[Example I.3.1]{MD}.

411: As another application of our Theorem~\ref{T4.5}

412: we give a new proof of this $q\ts$-analogue, see the end of

413: Section 4.

414:  

415: %========================================================================

416: 

417: \section{\hskip-13.5pt.\hskip6pt Fusion procedure for the algebra $H_l$}

418: 

419: % The $\CC(q)\ts$-algebra $H_l$ is semisimple; see \cite[Section 4]{GU}

420: % for a short proof of this fact. The simple ideals of $H_l$ are

421: % labeled by partitions $\la$ of $l\ts$, like the equivalence classes of 

422: % irreducible representations of the symmetric group $S_l\ts$. 

423: In this section, for any standard tableau $\La$ of shape $\la$ we 

424: will construct

425: a certain non-zero element $\FL\in H_l\ts$. Under left multiplication by

426: the elements of $H_l\ts$, the left ideal $H_l\ts\FL\subset H_l$ is an 

427: irreducible $H_l\ts$-module. The irreducible $H_l\ts$-modules 

428: corresponding

429: to two standard tableaux are equivalent, if and only if these

430: tableaux have the same shape. The idea of this construction goes 

431: back to \cite[Section 3]{C} were no proofs were given however.

432: The element $\FL$ is related to the $q\ts$-analogue

433: of the Young symmetrizer in the group ring $\CC S_l$

434: constructed in \cite{G},

435: % cf.\ \cite{JN}.

436: see the end of next section for details of this~relation.

437: 

438: For each $i=1\lc l-1$ introduce the $H_l\ts$-valued rational function in 

439: two variables $x\com y\in\CC(q)$

440: \bege\label{2.0}

441: F_i(x\com y)=T_i+\frac{q-q^{\ts-1}}{x^{\ts-1} y-1}\,.

442: \ende

443: As a direct calculation using (\ref{1.1})\ts--\ts(\ref{1.2}) shows,

444: these functions satisfy 

445: \bege\label{2.1}

446: F_i(x\com y)\,F_{i+1}(x\com z)\,F_i(y\com z)=

447: F_{i+1}(y\com z)\,F_i(x\com z)\,F_{i+1}(x\com y)\,.

448: \ende

449: Due to (\ref{1.3}) these rational functions also satisfy the relations

450: \bege\label{2.2}

451: F_i(x\com y)\ts F_j(z\com w)=F_j(z\com w)\ts F_i(x\com y)\ts;

452: \qquad

453: j\neq i\com i+1\,.

454: \ende

455: Using (\ref{1.1}) once again, we obtain the relations

456: \bege\label{2.4}

457: F_i(x\com y)\ts F_i(y\com x)=1-\frac{(q-q^{\ts-1})^2\ts x\ts y}{(x-y)^2}\,.

458: \ende

459: 

460: Our construction of the element $F_\La\in H_l$ 

461: is based on the following simple observation. Consider the

462: rational function of $x\com y\com z$ defined as

463: the product at either side of (\ref{2.1}). The factor

464: $F_{i+1}(x\com z)$ at the left hand side of (\ref{2.1}),

465: and the factor $F_i(x\com z)$ at the right hand side 

466: have singularities at $x=z\ts$. However,

467: 

468: \begin{lemma}\label{L2.1}

469: {\bf\hskip-6pt.\hskip1pt} 

470: Restriction of the rational function\/ {\rm(\ref{2.1})} to the set of\/

471: $(x\com y\com z)$ such that\/ $x=q^{\ts\pm2}y$, 

472: is regular at\/ $x=z\neq0\ts$.

473: \end{lemma}

474: 

475: \textit{Proof.}\hskip6pt

476: Let us expand the product at the left hand side of (\ref{2.1}) in the

477: factor

478: $F_{i+1}(x\com z)\ts$. By the definition (\ref{2.0}) we will get the sum

479: \[

480: F_i(x\com y)\,T_{i+1}\,F_i(y\com z)+

481: \frac{q-q^{\ts-1}}{x^{-1}z-1}\,F_i(x\com y)\,F_i(y\com z)\,.

482: \endd

483: Here the restriction to $x=q^{\ts\pm2}y$ of the first summand is

484: evidently regular at $x=z\ts$. After the substitution 

485: $y=q^{\ts\mp2}x\ts$, the second summand takes the form

486: \[

487: \frac{q-q^{\ts-1}}{x^{-1}z-1}\,

488: \bigl(\ts T_i\mp q^{\ts\pm1}\bigr)

489: \biggl(\ts

490: T_i+\frac{q-q^{\ts-1}}{q^{\ts\pm2}x^{\ts-1} z-1}

491: \ts\biggr)

492: \,=\,

493: \frac{q-q^{\ts-1}}{x^{\ts-1} z-q^{\ts\mp2}}\,

494: (\ts q^{\ts\pm1}\mp T_i\ts)\,.

495: \endd

496: The rational function of $x\com z$ at the right hand side

497: of the last displayed equality is also evidently regular at $x=z$

498: \qed

499: 

500: Let $\La$ be any standard tableau of shape $\la\ts$.

501: Here we refer to the \textit{Young diagram}

502: \bege\label{Yd}

503: \{\,(a\com b)\in\ZZ^{\ts2}\ |\ 1\le a\ts,\ 1\le b\le\la_a\,\}

504: \ende

505: of the partition $\la\ts$. Any bijective function on the set (\ref{Yd})

506: with values $1\lc l$ is called a \textit{tableau\/}.

507: The values of this function are the \textit{entries} of the tableau.

508: The symmetric group $S_l$ acts on the set of all tableaux of given

509: shape by permutations of their entries.

510: The tableau $\La$ is standard if

511: $\La(a\com b)<\La(a+1\com b)$ and $\La(a\com b)<\La(a\com b+1)$

512: for all possible integers $a$ and $b\ts$.

513: If $\La(a\com b)=i$ then put $c_i(\La)=b-a\ts$.

514: The difference $b-a$ here is the {\it content\/} corresponding to

515: the node  $(a\com b)$ of the Young diagram (\ref{Yd}).

516: 

517: Now introduce $l$ variables $z_1\lc z_l\in\CC(q)$.

518: Equip the set of all pairs $(i\com j)$

519: where $1\le i<j\le l\ts$, with the following ordering.

520: The pair $(i\com j)$ precedes another pair

521: $(\ip\com\jp)$ % from the same set

522: if $j<\jp$, or if $j=\jp$ but $i<\ip$.

523: Take the ordered product

524: \bege\label{2.3}

525: \prod_{(i,j)}^{\longrightarrow}\ F_{j-i}\,

526: \bigl(\ts q^{\,2c_i(\La)}z_i\ts\com\ts q^{\,2c_j(\La)}z_j\ts\bigr)

527: \ende

528: over this set. Consider the product (\ref{2.3})

529: as a rational function taking values in $H_l\ts$,

530: of the variables $z_1\lc z_l\ts$.

531: Denote this function by $\FL(z_1\lc z_l)\ts$.

532: Let $\Z_\La$ be the vector subspace in $\CC(q)^\tl$ consisting of all

533: tuples $(z_1\lc z_l)$ such that $z_i=z_j$ whenever the numbers $i$ and

534: $j$ appear in the \textit{same column} of the tableau $\La\ts$,

535: that is whenever $i=\La(a\com b)$ and  $j=\La(c\com b)$ 

536: for some $a\com b$ and $c\ts$.

537: Note that the point $\orig\in\CC(q)^\tl$ belongs to the subspace

538: $\Z_\La$.

539: 

540: \begin{theorem}\label{T2.2}

541: {\bf\hskip-6pt.\hskip1pt} 

542: Restriction of the rational

543: function $\FL(z_1\lc z_l)$ to the subspace\/ $\Z_\La\subset\CC(q)^\tl$

544: is regular at the point\/ $\orig$.

545: \end{theorem}

546: 

547: \textit{Proof.}\hskip6pt

548: Consider any standard tableau $\Lap$ obtained from the tableau $\La$

549: by an adjacent transposition of its entries, say by $\si_k\in S_l\ts$.

550: Using the relations (\ref{2.1}) and (\ref{2.2}), we derive

551: the equality of rational functions in the variables $z_1\lc z_l$

552: \[

553: \FL(z_1\lc z_l)\,F_{\ts l-k}\ts

554: \bigl(\ts 

555: q^{\,2c_{k+1}(\La)}z_{k+1}\ts\com\ts q^{\,2c_k(\La)}z_k

556: \ts\bigr)

557: \,=

558: \]

559: \bege\label{2.333}

560: F_k\ts

561: \bigl(\ts 

562: q^{\,2c_k(\La)}z_k\ts\com\ts q^{\,2c_{k+l}(\La)}z_{k+1}

563: \ts\bigr)

564: \,F_{\La^{\ns\prime}}\ts(\zp_1\lc\zp_l)\,,

565: \ende

566: where the sequence of variables $(\zp_1\lc\zp_l)$\ is obtained from

567: the sequence $(z_1\lc z_l)$ by exchanging the terms $z_k$ and 

568: $z_{k+1}\ts$. Observe that

569: \[

570: (\zp_1\lc\zp_l)\in\Z_{\Lap}

571: \quad\Leftrightarrow\quad\ts

572: (z_1\lc z_l)\in\Z_\La\ts.

573: \endd

574: Also observe that here $|\ts c_k(\La)-c_{k+1}(\La)\ts|\ge2$

575: because the tableaux $\La$ and $\Lap$ are standard.

576: Therefore the functions 

577: \[

578: F_k\ts

579: \bigl(\ts 

580: q^{\,2c_k(\La)}z_k\ts\com\ts q^{\,2c_{k+l}(\La)}z_{k+1}

581: \ts\bigr)

582: \ \quad\textrm{and}\ \quad

583: F_{\ts l-k}\ts

584: \bigl(\ts 

585: q^{\,2c_{k+1}(\La)}z_{k+1}\ts\com\ts q^{\,2c_k(\La)}z_k

586: \ts\bigr)

587: \endd

588: appearing in the equality (\ref{2.333}),

589: are regular at $z_k=z_{k+1}=1$.

590: Moreover, their values at $z_k=z_{k+1}=1$ are invertible

591: in the algebra $H_l\ts$, see the relation (\ref{2.4}). 

592: Due to these two observations, the equality (\ref{2.333})

593: shows that Theorem \ref{T2.2} is equivalent to its counterpart for

594: the tableau $\Lap$ instead of $\La\ts$.

595: 

596: Let us denote by $\Lac$ the \textit{column tableau} of shape $\la\ts$.  

597: By definition, we have $\Lac\ts(a+1\com b)=\Lac\ts(a\com b)+1$ for all

598: possible nodes $(a\com b)$ of the Young diagram (\ref{Yd}).

599: There is a chain $\La\com\Lap\lc\Lac$ of standard tableaux

600: of the same shape $\la\ts$, such that each subsequent tableau in the 

601: chain is

602: obtained from the previous one by an adjacent transposition of the 

603: entries.

604: Due to the above argument, it now suffices to prove Theorem \ref{T2.2} 

605: only in the case $\La=\Lac\ts$. Note that

606: \bege\label{2.4444}

607: (T_k-q)^2\ts=\,(\ts-\ts q-\ns q^{\ts-1})\,(T_k-q)

608: \ \quad\textrm{for}\ \quad

609: k=1\lc l-1\,.

610: \ende

611: 

612: Consider the ordered product (\ref{2.3}) when $\La=\Lac\ts$. 

613: Suppose that the factor

614: \bege\label{2.300}

615: F_{j-i}\,\bigl(\ts 

616: q^{\,2c_i(\Lac)}z_i\ts\com\ts q^{\,2c_j(\Lac)}z_j

617: \ts\bigr)

618: \ende

619: in that product has a singularity at $z_i=z_j=1\ts$. Then 

620: $c_i(\Lac)=c_j(\Lac)\ts$. If here $i=\Lac(a\com b)$ then

621: $i+1=\Lac(a+1\com b)<j\ts$. 

622: The next factor after (\ref{2.300}) is

623: \bege\label{2.3000}

624: F_{j-i-1}\,

625: \bigl(\ts 

626: q^{\,2c_{i+1}(\Lac)}z_{i+1}\ts\com\ts q^{\,2c_j(\Lac)}z_j

627: \ts\bigr)

628: \ende

629: where $c_{i+1}(\Lac)=c_i(\Lac)-1\ts$.

630: Due to the relations (\ref{2.1}) and (\ref{2.2}),

631: the product of all the factors before (\ref{2.300}) is

632: divisible on the right by

633: \bege\label{2.30}

634: F_{j-i-1}\,

635: \bigl(\ts q^{\,2c_i(\Lac)}z_i\ts\com\ts

636: q^{\,2c_{i+1}(\Lac)}z_{i+1}\ts\bigr)\,.

637: \ende

638: Note that the restriction of (\ref{2.30}) to $z_i=z_{i+1}$ equals 

639: $T_{j-i-1}-q\ts$. Also note that restriction to $z_i=z_{i+1}$

640: of the ordered product of three factors

641: (\ref{2.30}), (\ref{2.300}) and (\ref{2.3000})

642: is regular at $z_i=z_j=1$ due to Lemma \ref{L2.1}.

643: 

644: Now for every pair $(i\com j)$ such that (\ref{2.300})

645: is singular at $z_i=z_j\ts=1$,

646: insert the factor (\ref{2.30}) divided by  $(\ts-\ts q-\ns q^{\ts-1})\ts$ 

647: immediately before the two adjacent factors (\ref{2.300}) and

648: (\ref{2.3000}) in the product (\ref{2.3}) with $\La=\Lac\ts$.

649: These insertions do not alter the values of

650: restriction of the entire product to $\Z_{\Lac}$ due to (\ref{2.4444}).

651: But with these insertions, restriction of the product

652: to $\Z_{\Lac}$ is evidently regular

653: \qed

654: 

655: Due to Theorem \ref{T2.2},

656: an element $\FL\in H_l$ can now be defined as the value at the point

657: $\orig$ of the restriction to $\Z_\La$ of the function $\FL(z_1\lc z_l)$.

658: Note that for $l=1$ we have $F_\La=1$. For any $l\ge1$, 

659: take the expansion of the element $\FL\in H_l$ in the basis of the 

660: elements $T_\si$ where $\si$ is ranging over $S_l\ts$.

661: 

662: \begin{proposition}\label{P2.3}

663: {\bf\hskip-6pt.\hskip1pt} 

664: The coefficient in\/ $\FL\in H_l$ of the element\/ $T_0$ is\/ $1$.

665: \end{proposition}

666: 

667: \textit{Proof.}\hskip6pt

668: Expand the product (\ref{2.3})

669: as a sum of the elements $T_\si$ with coefficients

670: from the field of rational functions of $z_1\lc z_l\ts$;

671: these functions take values in $\CC(q)\ts$. 

672: The decomposition in $S_l$

673: with ordering of the pairs $(i\com j)$ as in (\ref{2.3})

674: \[

675: \si_0\,=\,\prod_{(i,j)}^{\longrightarrow}\ \si_{j-i}

676: \endd

677: is reduced, hence the coefficient at $T_0=T_{\si_0}$ in the

678: expansion of (\ref{2.3}) is $1$. By the definition of $\FL\ts$,

679: then the coefficient of $T_0$ in $\FL$  must be also $1$

680: \qed

681: 

682: In particular, Proposition \ref{P2.3} shows that $\FL\neq0$ for any

683: standard tableau $\La$.

684: Denote by $\al_{\ts l}$ the involutive antiautomorphism of the algebra

685: $H_l$ over the field $\CC(q)$, defined by setting 

686: $\al_{\ts l}\ts(T_i)=T_i$ for 

687: every index $i=1\lc l-1$. Note that each of the Murphy elements

688: $X_1\lc X_l$ of the algebra $H_l$ is $\al_{\ts l}\ts$-invariant.

689: 

690: \begin{proposition}\label{P2.4}

691: {\bf\hskip-6pt.\hskip1pt} 

692: The element\/ $\FL\ts\Ti_0$ is $\al_{\ts l}\ts$-invariant.

693: \end{proposition}

694: 

695: \textit{Proof.}\hskip6pt

696: Any element of the algebra $H_l$ of the form

697: $F_i(x\com y)$ is $\al_{\ts l}\ts$-invariant. 

698: Hence applying the antiautomorphism $\al_{\ts l}$ to an element of 

699: $H_l$ the form (\ref{2.3}) just reverses the ordering of

700: the factors corresponding to the pairs $(i\com j)$.

701: Using the relations (\ref{2.1}) and (\ref{2.2}),

702: we can rewrite the reversed product as

703: \[

704: \prod_{(i,j)}^{\longrightarrow}\ F_{\ts l-j+i}\ts

705: \bigl(\ts q^{\,2c_i(\La)}z_i\ts\com\ts q^{\,2c_j(\La)}z_j\ts\bigr)

706: \endd

707: where the pairs $(i\com j)$ are again ordered as in (\ref{2.3}).

708: But due to (\ref{1.2}) and (\ref{1.3}),

709: we also have the identity in the algebra $H_l$

710: \[

711: F_{\ts l-i}(x,y)\,T_0=T_0\ts F_i(x\com y)\,.

712: \endd

713: This identity along with the equality 

714: $\al_{\ts l}\ts(T_0)=T_0$ implies that

715: any value of the function $\FL(z_1\lc z_l)\,\Ti_0$ is 

716: $\al_{\ts l}\ts$-invariant. So is the element $\FL\ts\Ti_0\in H_l$

717: \qed

718: 

719: \begin{proposition}\label{P2.5}

720: {\bf\hskip-6pt.\hskip1pt} 

721: If\/ $k=\La(a\com b)$ and\/ $k+1=\La(a+1\com b)\ts$

722: then the element\/ $\FL\in H_l$ is divisible on the left by\/ $T_k-q\ts$.

723: \end{proposition}

724: 

725: \textit{Proof.}\hskip6pt

726: Using the relations (\ref{2.1}) and (\ref{2.2}), one demonstrates that 

727: the product (\ref{2.3}) is always divisible on the left by the function

728: \[

729: F_k\ts

730: \bigl(\ts 

731: q^{\,2c_k(\La)}z_k\ts\com\ts q^{\,2c_{k+l}(\La)}z_{k+1}

732: \ts\bigr)\,.  

733: \endd

734: If here $k=\La(a\com b)$ and\/ $k+1=\La(a+1\com b)$ then

735: restriction of this function to $z_i=z_{i+1}$ equals $T_k-q\ts$.

736: Hence the required property of the element $\FL\in H_l$

737: immediately follows from the definition of this element

738: \qed

739: 

740: Fix any standard tableau $\La$ of shape $\la\ts$.

741: % In our proof of Theorem \ref{T2.2} we did not make any

742: % particular choice of the chain $\La\com\Lap\lc\Lac$ of standard 

743: % tableaux of the same shape, 

744: % such that each subsequent tableau is obtained from 

745: % the previous one by an adjacent transposition of the entries.

746: % We shall produce such a chain now.  

747: Let $\rho\in S_l$ be the permutation such 

748: that $\La=\rho\ts\cdot\Lac\ts$, that is

749: $\La\ts(a\com b)=\rho\,(\Lac(a\com b))$ for all possible $a$ and $b\ts$.

750: For any $j=1\lc l$ take the subsequence of the sequence

751: $\rho\ts(1)\lc\rho\ts(l)$ consisting of all $i<j$ such that

752: $\rho^{\ts-1}(i)>\rho^{\ts-1}(j)\ts$. Denote by $\A_j$ the result of reversing

753: this subsequence. Let $|\A_j|$ be the length of sequence $\A_j\ts$. 

754: We have a reduced decomposition in the symmetric group $S_l\ts$,

755: \bege\label{rd}

756: \rho\ \,=\,

757: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

758: \biggl(\ 

759: \prod_{k=1,\ldots,\ts|\A_j|}^{\longrightarrow}

760: \ \si_{j-k}\ts

761: \biggr)\,.

762: \ende

763: Let $\si_{i_L}\ldots\ts\si_{i_1}$ be the product of adjacent 

764: transpositions at the right hand side of (\ref{rd}). 

765: For each tail $\si_{i_K}\ldots\ts\si_{i_1}$ of this product, the image 

766: $\si_{i_K}\ldots\ts\si_{i_1}\ns\cdot\Lac$ is a standard tableau. 

767: This can easily be proved by induction on the length $K=L\lc 1$ of the 

768: tail, see also the proof of Proposition \ref{P2.6} below. Note that for

769: any 

770: $i\in\A_j$ and $k\in\{1\lc l-1\}$ the elements of the algebra $H_l\ts$,

771: \[

772: F_k\ts

773: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

774: \ \quad\textrm{and}\ \quad

775: F_k\ts

776: \bigl(\ts q^{\,2c_j(\La)}\com\ts q^{\,2c_i(\La)}\ts\bigr)

777: \endd

778: are well defined and invertible. Indeed, if

779: $i=\La(a\com b)$ and $j=\La(c\com d)$ for some $a\com b$ and $c\com d$ 

780: then $a<c$ and $b>d\ts$. So $c_i(\La)-c_j(\La)=b-a-d+c\ge2$ here.

781: 

782: \begin{proposition}\label{P2.6}

783: {\bf\hskip-6pt.\hskip1pt} 

784: We have the equality in the algebra\/ $H_l$

785: \[

786: \FL\ \ts\cdot

787: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

788: \biggl(\ 

789: \prod_{k=1,\ldots,\ts|\A_j|}^{\longrightarrow}

790: \ F_{\ts l-j+k}\ts

791: \bigl(\ts q^{\,2c_j(\La)}\com\ts q^{\,2c_i(\La)}\ts\bigr)

792: \biggr)\ \,=

793: \]\[

794: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

795: \biggl(\ 

796: \prod_{k=1,\ldots,\ts|\A_j|}^{\longrightarrow}

797: \ F_{j-k}\ts

798: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

799: \biggr)

800: \ \cdot\ 

801: F_{\La^{\!\circ}}

802: \ \quad\textrm{where}\ \quad 

803: i=\A_j(k)\ts.

804: \endd

805: \end{proposition}

806: 

807: \textit{Proof.}\hskip6pt

808: We will proceed by induction on the length

809: $N=|\A_1|+\ldots+|\A_{\ts l}|$

810: of the element $\rho\in S_l\ts$. Let $n$ be the minimal of the

811: indices $j$ such that the sequence $\A_j$ is not empty.

812: Then we have $\A_{\ts n}(1)=n-1\ts$. Indeed, if $\A_{\ts n}(1)<n-1$ then

813: $\rho^{\ts-1}(\A_{\ts n}(1))>\rho^{\ts-1}(n-1)\ts$. Then

814: $\A_{\ts n}(1)\in\A_{\ts n-1}\ts$,

815: which would contradict to the minimality of $n\ts$.  The tableau 

816: $\si_{n-1}\cdot\La$ is standard, denote it by $\Lap\ts$. 

817: In our proof of Theorem \ref{T2.2} we used the equality

818: (\ref{2.333}). Setting $k=n-1$ in that equality and then using 

819: Theorem~\ref{T2.2} itself, we obtain the equality in $H_l$

820: \bege\label{2.55555}

821: \FL\ts F_{\ts l-n+1}\ts

822: \bigl(\ts q^{\,2c_n(\La)}\com\ts q^{\,2c_{n-1}(\La)}\ts\bigr)

823: \ts\,=\ts

824: F_{n-1}\ts

825: \bigl(\ts q^{\,2c_{n-1}(\La)}\com\ts q^{\,2c_n(\La)}\ts\bigr)

826: \,F_{\La^{\ns\prime}}\,.

827: \end{equation}

828: 

829: For each index $j=1\lc l$ denote by $\A_j^{\,\prime}$ the counterpart

830: of the 

831: sequence $\A_j$ for the standard tableau $\Lap$ instead of $\La\ts$. 

832: Each of the sequences

833: $\A_{\ts1}^{\,\prime}\lc\A_{\ts n-2}^{\,\prime}$ and $\A_n^{\,\prime}$  

834: is empty. The sequence $\A_{\ts n-1}^{\,\prime}$ is obtained from the 

835: sequence $\A_n$ by removing its first term $\A_{\ts n}(1)=n-1\ts$. 

836: By replacing the terms $n-1$ and $n\ts$, whenever any of them occurs,

837: respectively by  $n$ and $n-1$ in all the sequences 

838: $\A_{\ts n+1}\lc\A_{\ts l}\ts$ we obtain the sequences  

839: $\A_{\ts n+1}^{\,\prime}\lc\A_{\ts l}^{\,\prime}\,$.

840: 

841: Assume that the Proposition \ref{P2.6} is true for $\Lap$ instead of

842: $\La\ts$. Write the product at the left hand side of the equality to be 

843: proved in Proposition~\ref{P2.6} as

844: \[

845: \FL\ts 

846: F_{\ts l-n+1}\ts

847: \bigl(\ts q^{\,2c_n(\La)}\com\ts q^{\,2c_{n-1}(\La)}\ts\bigr)

848: \hskip9pt\cdot\hskip-7pt

849: \prod_{k=2,\ldots,\ts|\A_n|}^{\longrightarrow}

850: \ F_{l-n+k}\ts

851: \bigl(\ts q^{\,2c_n(\La)}\com\ts q^{\,2c_i(\La)}\ts\bigr)\hskip6pt\times

852: \]\[

853: \prod_{j\ts=\ts n+1,\ldots,\ts l}^{\longrightarrow}\,

854: \biggl(\ 

855: \prod_{k=1,\ldots,\ts|\A_j|}^{\longrightarrow}

856: \ F_{\ts l-j+k}\ts

857: \bigl(\ts q^{\,2c_j(\La)}\com\ts q^{\,2c_i(\La)}\ts\bigr)

858: \biggr)

859: \endd

860: where in the first line $i=\A_{\ts n}(k)\ts$, 

861: while in the second line $i=\A_j(k)\ts$.

862: Using the equality (\ref{2.55555}) and the description

863: of the sequences $\A_{1}^{\,\prime}\lc\A_{\ts l}^{\,\prime}\,$

864: as given above, the latter product can be rewritten as

865: \[

866: F_{n-1}\ts

867: \bigl(\ts q^{\,2c_{n-1}(\La)}\com\ts q^{\,2c_n(\La)}\ts\bigr)

868: \,F_{\La^{\ns\prime}}

869: \ \ \,\times

870: \]\[

871: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

872: \biggl(\ 

873: \prod_{k=1,\ldots,\ts|\A_j^{\ts\prime}|}^{\longrightarrow}

874: \ F_{\ts l-j+k}\ts

875: \bigl(\ts q^{\,2c_j(\Lap)}\com\ts q^{\,2c_i(\Lap)}\ts\bigr)

876: \biggr)

877: \ \quad\textrm{where}\ \quad 

878: i=\A_{\ts j}^{\,\prime}(k)\ts. 

879: \endd

880: By the inductive assumption, this product equals

881: \[

882: F_{n-1}\ts

883: \bigl(\ts q^{\,2c_{n-1}(\La)}\com\ts q^{\,2c_n(\La)}\ts\bigr)

884: \hskip9pt\cdot

885: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

886: \biggl(\ 

887: \prod_{k=1,\ldots,\ts|\A_j^{\ts\prime}|}^{\longrightarrow}

888: \ F_{j-k}\ts

889: \bigl(\ts q^{\,2c_i(\Lap)}\com\ts q^{\,2c_j(\Lap)}\ts\bigr)

890: \biggr)

891: \endd

892: times $F_{\La^{\!\circ}}\ts$, where we keep to the notation

893: $i=\A_{\ts j}^{\,\prime}(k)\ts$. 

894: Using the description of the sequences 

895: $\A_{1}^{\,\prime}\lc\A_{\ts l}^{\,\prime}\,$

896: once again, the last product can be rewritten as at the right hand side 

897: of the equality to be proved in Proposition \ref{P2.6}

898: \qed

899: 

900: \begin{proposition}\label{P2.7}

901: {\bf\hskip-6pt.\hskip1pt} 

902: If\/ $k=\La(a\com b)$ and\/ $k+1=\La(a\com b+1)$

903: then the element\/ $\FL\in H_l$ is divisible on the left by\/ 

904: $T_k+q^{\ts-1}\ts$.

905: \end{proposition}

906: 

907: \textit{Proof.}\hskip6pt

908: Given a pair of indices $(a\com b)$ such that $\la_a>b\ts$,

909: it suffices to prove Proposition \ref{P2.7} for only one 

910: standard tableau $\La$ of shape $\la\ts$. Indeed, let

911: $\Lat$ be another standard tableau of the same shape, such that

912: $\Lat(a\com b)=\kt$ and\/ $\Lat(a\com b+1)=\kt+1$ for some 

913: $\kt\in\{1\lc l-1\}\ts$. 

914: Let $\si$ be the permutation such that $\Lat=\si\cdot\La\ts$.

915: % Note that $\si$ is not necessarily an adjacent transposition. 

916: There is a decomposition

917: $\si=\si_{i_N}\ldots\ts\si_{i_1}$ such that for each $M=1\lc N-1$

918: the tableau $\La_{\ts M}=\si_{i_M}\ldots\ts\si_{i_1}\cdot\ts\La$ is

919: standard. Note that this decomposition is not necessarily reduced.

920: Using Theorem 2.2, we get

921: \[

922: \prod_{M\ts=\ts1\lc\ns N}^{\longleftarrow}

923: F_{\ts i_M}

924: \bigl(\ts 

925: q^{\,2\ts c_{\,i_M}(\La_M)}

926: \com\ts 

927: q^{\,2\ts c_{\,i_M\ts+\ts1}(\La_M)}

928: \ts\bigr)

929: \ \cdot\ \FL\ \,=

930: \]

931: \bege\label{Ft}

932: F_{\ts\Lat}\ \cdot

933: \prod_{M\ts=\ts1\lc\ns N}^{\longleftarrow}

934: F_{\ts l\ts-\ts i_M}

935: \bigl(\ts 

936: q^{\,2\ts c_{\,i_M\ts+\ts1}(\La_M)}

937: \com\ts 

938: q^{\,2\ts c_{\,i_M}(\La_M)}

939: \ts\bigr)

940: \ende

941: where $\La_{\ts N}=\Lat\ts$. Note that

942: here for every $M=1\lc N\ts$ the factor

943: \[

944: F_{\ts l\ts-\ts i_M}

945: \bigl(\ts 

946: q^{\,2\ts c_{\,i_M\ts+\ts1}(\La_M)}

947: \com\ts 

948: q^{\,2\ts c_{\,i_M}(\La_M)}

949: \ts\bigr)

950: \endd

951: is invertible. Further, we have the equality 

952: $\si\,\si_k=\si_{\ts\kt}\,\si$

953: by the definition of the permutation $\si\ts$. Using the relations

954: (\ref{2.1}) and (\ref{2.2}), we obtain the equality

955: \[

956: \prod_{M\ts=\ts1\lc\ns N}^{\longleftarrow}

957: F_{\ts i_M}

958: \bigl(\ts 

959: q^{\,2\ts c_{\,i_M}(\La_M)}

960: \com\ts 

961: q^{\,2\ts c_{\,i_M\ts+\ts1}(\La_M)}

962: \ts\bigr)

963: \ \cdot\ 

964: F_{\ts k}\ts

965: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_{k+1}(\La)}\ts\bigr)

966: \ \,=

967: \]\[

968: F_{\ts\kt}\ts

969: \bigl(\ts 

970: q^{\,2c_{\kt}(\Lat)}\com\ts q^{\,2c_{\kt+1}(\Lat)}

971: \ts\bigr)

972: \ \cdot\ 

973: \prod_{M\ts=\ts1\lc\ns N}^{\longleftarrow}

974: F_{\ts l\ts-\ts i_M}

975: \bigl(\ts 

976: q^{\,2\ts c_{\,i_M\ts+\ts1}(\La_M)}

977: \com\ts 

978: q^{\,2\ts c_{\,i_M}(\La_M)}

979: \ts\bigr)\ .

980: \endd

981: The last equality along with the equality (\ref{Ft}) shows, that 

982: Proposition \ref{P2.7} implies its counterpart for the tableau

983: $\Lat$ and the index $\kt\ts$, instead of $\La$ and $k$ repectively.

984: Here we also use the equalities

985: \[

986: F_{\ts k}\ts

987: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_{k+1}(\La)}\ts\bigr)

988: \,=\,T_k+q^{\ts-1}\,,

989: \]\[

990: F_{\ts\kt}\ts

991: \bigl(\ts 

992: q^{\,2c_{\kt}(\Lat)}\com\ts q^{\,2c_{\kt+1}(\Lat)}

993: \ts\bigr)

994: \,=\,T_{\ts\kt}+q^{\ts-1}\,.

995: \]

996: 

997: Let us consider the column tableau $\Lac$ of shape $\la\ts$. 

998: Put $m=\Lac(a\com b)\ts$. Also put $n=\Lac(\las_b\com b)\ts$, then

999: $\Lac(a\com b+1)=n+a\ts$.

1000: We will prove that the element $F_{\Lac}\ns\in H_l$

1001: is divisible on the left by the product

1002: \bege\label{Fl}

1003: \prod_{i\ts=\ts m\lc\ns n}^{\longleftarrow}\,

1004: \biggl(\ 

1005: \prod_{j\ts=\ts n+1\lc\ns n+a}^{\longrightarrow}

1006: F_{\ts i+j-n-1}\ts

1007: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)

1008: \biggr)\,.

1009: \ende

1010: Then Proposition 2.7 will follow. Indeed, put $k=m+a-1$,

1011: this is the value of the index $i+j-n-1$ in (\ref{Fl})

1012: when $i=m$ and $n=n+a\ts$. Let $\La$ be the tableau

1013: such that $\Lac$ is obtained from 

1014: the tableau $\si_k\cdot\La$ by the permutation

1015: \[

1016: \prod_{i\ts=\ts m\lc\ns n}^{\longleftarrow}\,

1017: \biggl(\ 

1018: \prod_{j\ts=\ts n+1\lc\ns n+a}^{\longrightarrow}

1019: \si_{\ts i+j-n-1}

1020: \,\biggr)\,.

1021: \endd

1022: The tableau $\La$ is standard. Moreover, then

1023: $\La(a\com b)=k$ and $\La(a\com b+1)=k+1\ts$.

1024: Note that the rightmost factor in the product (\ref{Fl}),

1025: corresponding to $i=m$ and $n=n+a\ts$, is

1026: \[

1027: F_{\ts m+a-1}\ts

1028: \bigl(\ts q^{\,2c_m(\Lac)}\com\ts q^{\,2c_{n+a}(\Lac)}\ts\bigr)

1029: \,=\ts

1030: T_k+q^{\ts-1}\ts.

1031: \endd

1032: Denote by $F$ the product of all factors in (\ref{Fl})

1033: but the rightmost one. Further, denote by $G$ the product obtained

1034: by replacing each factor in $F$

1035: \[

1036: F_{\ts i+j-n-1}\ts

1037: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)

1038: \endd

1039: respectively by

1040: \[

1041: F_{\ts l-i-j+n+1}\ts

1042: \bigl(\ts q^{\,2c_j(\Lac)}\com\ts q^{\,2c_i(\Lac)}\ts\bigr)\,.

1043: \endd

1044: The element $F\in H_l$ is invertible, and we have

1045: $F\ts\FL=F_{\Lac}\ts G\ts$. Therefore the divisibility of 

1046: the element $F_{\Lac}$ on the left by the product (\ref{Fl})

1047: will imply the divisibility of the element $\FL$ on the left by 

1048: $T_k+q^{\ts-1}\ts$.

1049: 

1050: Take the tableau obtained from $\Lac$ by removing the

1051: entries $n+a+1\lc l\ts$. This is the column tableau

1052: corresponding to a certain partition of $n+a\ts$, let us denote this

1053: tableau by $\Upsilon^\circ$. The proof of Theorem \ref{T2.2} shows

1054: that the element $F_{\Lac}\in H_l$ is divisible on the left by

1055: the element $F_{\ts\Upsilon^\circ}\in H_{n+a}\ts$. Here we use the 

1056: standard embedding $H_{n+a}\to H_l$ where $T_i\mapsto T_i$ for

1057: each $i=1\lc n-a-1$.

1058: Hence it suffices to prove the divisibility of the element

1059: $F_{\ts\Upsilon^\circ}\in H_{n+a}$ on the left by the product

1060: (\ref{Fl}). Therefore it suffices to consider only the case when

1061: $n+a=l\ts$. % Assuming this is the case,

1062: We will actually prove that $F_{\Lac}$

1063: is divisible on the right by % the product 

1064: \bege\label{Fr}

1065: \prod_{i\ts=\ts m\lc\ns n}^{\longrightarrow}\,

1066: \biggl(\ 

1067: \prod_{j\ts=\ts n+1\lc\ns l}^{\longleftarrow}

1068: F_{\ts l-i-j+n+1}\ts

1069: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)

1070: \biggr)\,.

1071: \ende

1072: The divisibility of $F_{\Lac}$ on the left by the product (\ref{Fl}) 

1073: where $n+a=l\ts$, will then follow by Proposition \ref{P2.4}.

1074: 

1075: The element $F_{\Lac}\in H_l$ is the value

1076: at the point $\orig$ of the restriction to the 

1077: subspace\/ $\Z_{\Lac}\subset\CC(q)^\tl$

1078: of the rational function $F_{\Lac}(z_1\lc z_l)$. This function

1079: has been defined as the ordered product (\ref{2.3})

1080: where $\La=\Lac\ts$. Let us change the ordering of the pairs

1081: $(i\com j)$ in (\ref{2.3}) to the \textit{lexicographical\/}, 

1082: so that now the pair $(i\com j)$ precedes another pair

1083: $(\ip\com\jp)$ if $i<\ip$, or if $i=\ip$ but $j<\jp$.

1084: This reordering does not alter any value of the function

1085: $F_{\Lac}(z_1\lc z_l)$

1086: due to the relations (\ref{2.2}). Using the new ordering, 

1087: we can once again prove that the restriction of

1088: $F_{\Lac}(z_1\lc z_l)$ to the 

1089: subspace $\Z_{\Lac}$ is regular at the point $\orig$. 

1090: Indeed, take any factor (\ref{2.300}) in the product (\ref{2.3})

1091: such that $c_i(\Lac)=c_j(\Lac)\ts$. If here $j=\Lac(a\com b)$ then

1092: $j-1=\Lac(a-1\com b)>i\ts$. 

1093: The factor in (\ref{2.3}) immediately before (\ref{2.300}) is now

1094: \bege\label{2.3300}

1095: F_{j-i-1}\,

1096: \bigl(\ts 

1097: q^{\,2c_i(\Lac)}z_i\ts\com\ts q^{\,2c_{j-1}(\Lac)}z_{j-1}

1098: \ts\bigr)

1099: \ende

1100: where $c_{j-1}(\Lac)=c_j(\Lac)+1\ts$.

1101: Due to the relations (\ref{2.1}) and (\ref{2.2}),

1102: the product of all the factors after (\ref{2.300}) is

1103: divisible on the left by

1104: \bege\label{2.33}

1105: F_{j-i-1}\,

1106: \bigl(\ts q^{\,2c_{j-1}(\Lac)}z_{j-1}\ts\com\ts

1107: q^{\,2c_j(\Lac)}z_j\ts\bigr)\,.

1108: \ende

1109: % The restriction of (\ref{2.33}) to $z_{j-1}=z_j$ equals

1110: % $T_{j-i-1}-q\ts$. 

1111: The restriction to $z_{j-1}=z_j$

1112: of the ordered product of the three factors

1113: (\ref{2.3300}), (\ref{2.300}) and (\ref{2.33})

1114: is regular at $z_i=z_j=1$, cf.\ Lemma \ref{L2.1}.

1115: 

1116: With the new ordering, consider the product of all

1117: those factors in (\ref{2.3}) where $i\ge m\ts$. 

1118: Any such factor is regular at $z_i=z_j=1\ts$,

1119: because we are considering only the case $n+a=l\ts$.

1120: At the point $(z_1\lc z_l)=\orig$,

1121: the product of these factors takes the value

1122: \bege\label{Ff}

1123: \prod_{i\ts=\ts m\lc\ns l-1}^{\longrightarrow}\,

1124: \biggl(\ 

1125: \prod_{j\ts=\ts i+1\lc\ns l}^{\longrightarrow}

1126: F_{j-i}\ts

1127: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)\,.

1128: \biggr)

1129: \ende

1130: The argument in the previous paragraph not only shows that 

1131: the restriction of $F_{\Lac}(z_1\lc z_l)$ to the 

1132: subspace $\Z_{\Lac}$ is regular at $\orig$,

1133: it also shows that the element $F_{\Lac}$

1134: is divisible on the right by the product (\ref{Ff}).

1135: Using % the relations 

1136: (\ref{2.1}) and (\ref{2.2}),

1137: the product (\ref{Ff}) is equal to (\ref{Fr})

1138: multiplied on the left by 

1139: \[

1140: \,\ts

1141: \prod_{i\ts=\ts m\lc\ns n-1}^{\longrightarrow}\,

1142: \biggl(\ 

1143: \prod_{j\ts=\ts i+1\lc\ns n}^{\longrightarrow}

1144: F_{j-i}\ts

1145: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)

1146: \biggr)\ \times

1147: \]\[

1148: \prod_{i\ts=\ts n+1\lc\ns l-1}^{\longrightarrow}\,

1149: \biggl(\ 

1150: \prod_{j\ts=\ts i+1\lc\ns l}^{\longrightarrow}

1151: F_{j-i+n-m+1}\ts

1152: \bigl(\ts q^{\,2c_i(\Lac)}\com\ts q^{\,2c_j(\Lac)}\ts\bigr)

1153: \qed

1154: \]

1155: 

1156: Let us now regard $\FL$ as an element

1157: of the algebra $H_{l+1}\ts$, by using the standard embedding

1158: $H_l\to H_{l+1}$ where $T_i\mapsto T_i$ for any $i=1\lc l-1$.

1159: % The next proposition will be used in Section 4;

1160: % its proof is based on Lemma \ref{L2.1}. 

1161: 

1162: \begin{proposition}\label{P2.8}

1163: {\bf\hskip-6pt.\hskip1pt}

1164: We have equality of rational functions in $z\ts$, valued in 

1165: $H_{\ts l+1}$

1166: \[

1167: \prod_{k=1,\ldots,\ts l}^{\longrightarrow}

1168: F_{\ts k}\ts\bigl(\ts z\com q^{\,2c_k(\La)}\ts\bigr)

1169: \,\cdot\,\FL\,=\,

1170: \frac{\,T_1\ldots\ts T_l

1171: \ts-z\ts\,T_1^{\ts-1}\ns\ldots\ts T_l^{\ts-1}\ns}{1-z}

1172: \,\cdot\,\FL\,.

1173: \endd

1174: \end{proposition}

1175: 

1176: \textit{Proof.}\hskip6pt

1177: Denote by $F(z)$ the rational function with 

1178: the values in $H_{l+1}\ts$, defined as the product

1179: of the left hand side of the equality to be proved.

1180: Note that

1181: \[

1182: F(0)=T_1\ldots\ts T_l\,\FL

1183: \ \quad\textrm{and}\ \quad

1184: F(\infty)=T_1^{\ts-1}\ns\ldots\ts T_l^{\ts-1}\ts\FL

1185: \endd

1186: due to (\ref{Ti}). It

1187: remains to show that $F(z)$ may have pole only at $z=1$

1188: and that this pole is simple. Since $c_1(\La)=0$

1189: the factor $F_1\bigl(\ts z\com q^{\,2c_1(\La)}\ts\bigr)$

1190: in the product defining $F(z)\ts$, has a simple pole at $z=1$.

1191: Take any $z_0\in\CC(q)\ts$. Suppose there is

1192: an index $j\in\{\ts2\lc l\ts\}$ such that $z_0=q^{\,2c_j(\La)}$.

1193: The factor $F_j\ts\bigl(\ts z\com q^{\,2c_j(\La)}\ts\bigr)$

1194: has a pole at $z=z_0\ts$. We shall

1195: prove that when we estimate the order of the pole of $F(z)$

1196: at $z=z_0$ from above, any of the factors with $j>1$

1197: does not count.

1198: 

1199: Let $i\in\{\ts1\lc j-1\}$ be the maximal index such that

1200: $|\ts c_i(\La)-c_j(\La)\ts|=1$. Note that

1201: $i=\La(a\com b)\ts$ then

1202: either $j=\La(a+1\com b)$ or $j=\La(a\com b+1)\ts$.

1203: Consider the sequence of tableaux of shape $\la\ts$,

1204: \[

1205: \Lap=\si_{j-1}\cdot\La

1206: \,\com\,

1207: \La^{\prime\prime}=\si_{j-2}\cdot\Lap

1208: \,\lc\,

1209: \La^{(j-i-1)}=\si_{i+1}\cdot\La^{(j-i-2)}\,.

1210: \endd

1211: Each of these tableaux is standard. Using 

1212: this sequence, we obtain the relation

1213: \[

1214: \FL\ \cdot

1215: \prod_{k=i+1,\ldots,\ts j-1}^{\longleftarrow}

1216: F_{\ts l-k}\ts

1217: \bigl(\ts q^{\,2c_j(\La)}\com\ts q^{\,2c_k(\La)}\ts\bigr)\ \,=

1218: \]

1219: \bege\label{div}

1220: \prod_{k=i+1,\ldots,\ts j-1}^{\longleftarrow}

1221: F_{\ts k}\ts

1222: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

1223: \ \cdot\,

1224: \,F_{\La^{(j-i-1)}}

1225: \ende

1226: in the algebra $H_l\ts$, cf.\ the proof of Proposition \ref{P2.6}.

1227: Each of the factors

1228: \[

1229: F_{\ts l-k}\ts

1230: \bigl(\ts q^{\,2c_j(\La)}\com\ts q^{\,2c_k(\La)}\ts\bigr)

1231: \endd

1232: in (\ref{div}) is invertible. The entries $i$ and $i+1$

1233: of the tableau $\La^{(j-i-1)}$ correspond to the same nodes

1234: of the Young diagram (\ref{Yd}) as the entries $i$ and $j$

1235: of the tableau $\La$ respectively. Using either Proposition \ref{P2.5}

1236: or Proposition \ref{P2.7}, the element 

1237: $F_{\La^{(j-i-1)}}$ is divisible on the left by 

1238: \[

1239: F_i\ts

1240: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

1241: \,=\,

1242: T_i\mp q^{\ts\pm}\,.

1243: \endd

1244: The relation (\ref{div}) now shows that the element $\FL$

1245: is divisible on the left by % the product

1246: \[

1247: \prod_{k=i,\ldots,\ts j-1}^{\longleftarrow}

1248: F_{\ts k}\ts

1249: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)\,.

1250: \]

1251: 

1252: Using the relations (\ref{2.1}) and (\ref{2.2}), 

1253: we obtain an equality in the algebra $H_{l+1}$

1254: \[

1255: \hspace{10pt}

1256: \prod_{k=1,\ldots,\ts l}^{\longrightarrow}

1257: F_{\ts k}\ts\bigl(\ts z\com q^{\,2c_k(\La)}\ts\bigr)

1258: \ \cdot\,

1259: \prod_{k=i,\ldots,\ts j-1}^{\longleftarrow}

1260: F_{\ts k}\ts

1261: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)\ =

1262: \]\[

1263: \hspace{5pt}

1264: \prod_{k=1,\ldots,\ts i-1}^{\longrightarrow}

1265: F_{\ts k}\ts\bigl(\ts z\com q^{\,2c_k(\La)}\ts\bigr)

1266: \ \cdot\,

1267: \prod_{k=i+1,\ldots,\ts j-1}^{\longleftarrow}

1268: F_{\ts k+1}\ts

1269: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)\ \ts\times

1270: \]

1271: \bege\label{FFF}

1272: \hspace{20pt}

1273: F_{\ts i}\ts\bigl(\ts z\com q^{\,2c_i(\La)}\ts\bigr)\,

1274: F_{\ts i+1}\bigl(\ts z\com q^{\,2c_j(\La)}\ts\bigr)\,

1275: F_{\ts i}\ts

1276: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)\ \ts\times

1277: \end{equation}

1278: \[

1279: \prod_{k=i+1,\ldots,\ts j-1}^{\longrightarrow}

1280: F_{\ts k+1}\ts\bigl(\ts z\com q^{\,2c_k(\La)}\ts\bigr)

1281: \ \cdot\,

1282: \prod_{k=j+1,\ldots,\ts l}^{\longrightarrow}

1283: F_{\ts k}\ts\bigl(\ts z\com q^{\,2c_k(\La)}\ts\bigr)

1284: \endd

1285: The product in the line (\ref{FFF}) above

1286: is regular at $z=q^{\ts 2c_j(\La)}\ts$, cf.\ Lemma \ref{L2.1}. 

1287: 

1288: Now take any other index $\jp\neq j$ such that 

1289: $c_j(\La)=c_{\ts\jp}(\La)\ts$. We assume that $\jp>1$. 

1290: Let $\ip\in\{\ts1\lc\jp-1\}$ 

1291: be the corresponding maximal index such that

1292: $|\ts c_{\ts\ip}(\La)-c_{\ts\jp}(\La)\ts|=1$.

1293: If $\jp>j\ts$, then also $\ip>j$ because the tableau $\La$ is standard. 

1294: Thus the two sets of indices

1295: $\{\ip\lc\jp\}$ and $\{i\lc j\}$ are always disjoint.

1296: Therefore we can apply the above argument to both factors 

1297: $F_j\ts\bigl(\ts z\com q^{\,2c_j(\La)}\ts\bigr)$

1298: and

1299: $F_{\jp}\ts\bigl(\ts z\com q^{\,2c_{\jp}(\La)}\ts\bigr)$

1300: in the product defining $F(z)$ simultaneously, and so on. In this way

1301: we show that when estimating from above the order of the pole

1302: of the function $F(z)$ at $z=z_0\ts$, 

1303: all the factors 

1304: $F_j\ts\bigl(\ts z\com q^{\,2c_j(\La)}\ts\bigr)$

1305: where $z_0=q^{\,2c_j(\La)}$ but $j>1\ts$, do not count

1306: \qed

1307: 

1308: Now denote by $\io$ the embedding $H_l\to H_{\ts l+1}$

1309: defined by setting $\io\ts(\ts T_i\ts)=T_{i+1}\ts$.

1310: % The next proposition will be also used in Section 4.

1311: 

1312: \begin{proposition}\label{P2.9}

1313: {\bf\hskip-6pt.\hskip1pt} 

1314: We have the equality 

1315: %of rational functions in $z$ with values in the algebra $H_{\ts l+1}$

1316: \[

1317: \prod_{k=1,\ldots,\ts l}^{\longrightarrow}

1318: F_{\ts k}\ts\bigl(\ts z\ts\com\ts q^{\,2c_k(\La)}\ts\bigr)

1319: \hskip6pt\cdot\hskip6pt\FL\,=\,\io\ts(\FL)\hskip7pt\cdot\ts

1320: \prod_{k=1,\ldots,\ts l}^{\longleftarrow}

1321: F_{\ts l-k+1}\ts (\ts z\ts\com\ts q^{\,2c_k(\La)})\,.

1322: \]

1323: \end{proposition}

1324: 

1325: \textit{Proof.}\hskip6pt

1326: Take the variables $\,z_1\lc z_l\in\CC(q)\ts$.

1327: Using the relations (\ref{2.1}),(\ref{2.2}) and the definition

1328: (\ref{2.3}) of $\FL(z_1\lc z_l\ts)$ we obtain the

1329: the equality of rational functions in the variables $z\com z_1\lc z_l\,$

1330: \[

1331: \prod_{k=1,\ldots,\ts l}^{\longrightarrow}

1332: F_{\ts k}\ts\bigl(\ts z\ts\com\ts q^{\,2c_k(\La)}z_k\ts\bigr)

1333: \hskip6pt\cdot\hskip6pt\FL(z_1\lc z_l\ts)

1334: \,=

1335: \]\[

1336: \io\ts(\FL(z_1\lc z_l\ts))\hskip7pt\cdot\ts

1337: \prod_{k=1,\ldots,\ts l}^{\longleftarrow}

1338: F_{\ts l-k+1}\ts\bigl(\ts z\ts\com\ts q^{\,2c_k(\La)}z_k\ts\bigr)\,.

1339: \endd

1340: Restricting, in the above displayed equality,

1341: the function $\FL(z_1\lc z_l\ts)$ to $\Z_\La\ts$, and then evaluating

1342: the restriction at the point $\orig\in\Z_\La\ts$,

1343: we derive Proposition \ref{P2.9} from Theorem \ref{T2.2}

1344: \qed

1345: 

1346: %========================================================================

1347: 

1348: \section{\hskip-13.5pt.\hskip6pt Young symmetrizers for the algebra 

1349: $H_l$}

1350: 

1351: For every standard tableau $\La$ of shape $\la$ 

1352: we have defined an element $\FL$ of the algebra $H_l\ts$. 

1353: Let us now assign to $\La$ another element of $H_l\ts$,

1354: which will be denoted by $G_\La\ts$. 

1355: Let $\rho\in S_l$ be the permutation such 

1356: that $\La=\rho\ts\cdot\Lac\ts$, as it was in Section 2.

1357: For any $j=1\lc l$ denote by $\B_j$ the subsequence of the sequence

1358: $\rho\ts(1)\lc\rho\ts(l)$ consisting of all $i<j$ such that

1359: $\rho^{\ts-1}(i)<\rho^{\ts-1}(j)\ts$. Note that we have a reduced decomposition

1360: in the symmetric group $S_l\ts$,

1361: \[

1362: \rho\ts\si_0\ \,=\,

1363: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

1364: \biggl(\ 

1365: \prod_{k=1,\ldots,\ts|\B_j|}^{\longrightarrow}

1366: \ \si_{j-k}\ts

1367: \biggr)

1368: \endd

1369: where $|\B_j|$ is the length of sequence

1370: $\B_j\,$; cf.\ the reduced decomposition (\ref{rd}).

1371: Consider the rational

1372: function taking values in $H_l\ts$, of the variables $z_1\lc z_l$

1373: \[

1374: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

1375: \biggl(\ 

1376: \prod_{k=1,\ldots,\ts|\B_j|}^{\longrightarrow}

1377: \ F_{j-k}\ts

1378: \bigl(\ts q^{\,2c_i(\La)}z_i\ts\com\ts q^{\,2c_j(\La)}z_j\ts\bigr)

1379: \biggr)

1380: \ \quad\textrm{where}\ \quad 

1381: i=\B_j(k)\ts.

1382: \endd

1383: Denote this rational function by $\GL(z_1\lc z_l)\ts$.

1384: Using induction on the length of the element $\rho\in S_l$ 

1385: as in the proof of Proposition \ref{P2.6}, one can prove that

1386: \[

1387: \FL(z_1\lc z_l)\ \,=\ \, 

1388: \GL(z_1\lc z_l)\ \ \times

1389: \]\[

1390: \prod_{j=1,\ldots,\ts l}^{\longleftarrow}\,

1391: \biggl(\ 

1392: \prod_{k=1,\ldots,\ts|\A_j|}^{\longleftarrow}

1393: \ F_{\ts l-j+k}\ts

1394: \bigl(\ts q^{\,2c_i(\La)}z_i\ts\com\ts q^{\,2c_j(\La)}z_j\ts\bigr)

1395: \biggr)

1396: \ \quad\textrm{where}\ \quad 

1397: i=\A_j(k)\ts.

1398: \endd

1399: Hence restriction of $\GL(z_1\lc z_l)$ 

1400: to the subspace $\Z_\La\subset\CC(q)^\tl$

1401: is regular at the point $\orig$ due to Theorem \ref{T2.2}.

1402: The value of that restriction at $\orig$ is our element $\GL\in H_l$ 

1403: by definition. Moreover, then $F_\La$ equals

1404: \[

1405: %\FL\ =\ \ts 

1406: \GL\ \,\cdot

1407: \prod_{j=1,\ldots,\ts l}^{\longleftarrow}\,

1408: \biggl(\ 

1409: \prod_{k=1,\ldots,\ts|\A_j|}^{\longleftarrow}

1410: \ F_{\ts l-j+k}\ts

1411: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

1412: \biggr)

1413: \ \quad\textrm{where}\ \quad 

1414: i=\A_j(k)\ts.

1415: \endd

1416: where $i=\A_j(k)\ts$. Using the relation (\ref{2.4}),

1417: this factorization of $\FL$ implies that the left hand side

1418: of the equality in Proposition \ref{P2.6} also equals~$\GL$~times

1419: \[

1420: \prod_{j=1,\ldots,\ts l}\,

1421: \biggl(\ 

1422: \prod_{k=1,\ldots,\ts|\A_j|}\,

1423: \biggl(\,1-

1424: %\frac{(q-q^{\ts-1})^{\ts2}}

1425: %{(\ts q^{\ts c_i(\La)-c_j(\La)}-q^{\ts c_j(\La)-c_i(\La)}\ts)^{\ts2}}

1426: \frac{(q-q^{\ts-1})^{\ts2}\,q^{\,2c_i(\La)\ts+\ts2c_j(\La)}}

1427: {(\,q^{\ts2c_i(\La)}-q^{\ts2c_j(\La)}\ts)^{\ts2}}

1428: \,\biggr)

1429: \biggr)

1430: \,\quad\textrm{where}\ \quad 

1431: i=\A_j(k)\ts.

1432: \endd

1433: Rewriting the factors of the last displayed product, 

1434: Proposition \ref{P2.6} yields

1435: 

1436: \begin{corollary}\label{C3.1}

1437: {\bf\hskip-6pt.\hskip1pt} 

1438: We have the equality in the algebra $H_l$

1439: \[

1440: \prod_{j=1,\ldots,\ts l}\,

1441: \biggl(\ 

1442: \prod_{k=1,\ldots,\ts|\A_j|}\,

1443: \biggl(\,1-

1444: \frac{(q-q^{\ts-1})^{\ts2}}

1445: {(\ts q^{\ts c_i(\La)-c_j(\La)}-q^{\ts c_j(\La)-c_i(\La)}\ts)^{\ts2}}

1446: \,\biggr)

1447: \biggr)

1448: \ \cdot\ 

1449: \GL\ =

1450: \]\[

1451: \prod_{j=1,\ldots,\ts l}^{\longrightarrow}\,

1452: \biggl(\ 

1453: \prod_{k=1,\ldots,\ts|\A_j|}^{\longrightarrow}

1454: \ F_{j-k}\ts

1455: \bigl(\ts q^{\,2c_i(\La)}\com\ts q^{\,2c_j(\La)}\ts\bigr)

1456: \biggr)

1457: \ \cdot\ 

1458: F_{\La^{\!\circ}}

1459: \ \quad\textrm{where}\ \quad 

1460: i=\A_j(k)\ts.

1461: \endd

1462: \end{corollary}

1463: 

1464: Yet arguing like in the proof of Proposition \ref{P2.3},

1465: the definition of $\GL$ implies

1466: 

1467: \begin{proposition}\label{P3.2}

1468: {\bf\hskip-6pt.\hskip1pt} 

1469: The element\/ $\GL$ equals\/ $T_{\ts\rho\ts\si_0}$ plus a sum of 

1470: the elements\/ 

1471: $T_\si$ with certain non-zero coefficients from\/ $\CC(q)$, 

1472: where the length of 

1473: each\/ $\si\in S_l$ is less than that of\/ $\rho\ts\si_0\ts$. 

1474: \end{proposition}

1475: 

1476: Note that $G_{\Lac}=F_{\Lac}$ by definition.

1477: Denote by $V_\la$ the left ideal in the algebra $H_l$

1478: generated by the element $F_{\Lac}\ts$. Due to Corollary \ref{C3.1}

1479: we have $\GL\in V_\la$ for any standard tableau $\La$ of shape $\la\ts$.

1480: Proposition \ref{P3.2} shows that the elements $\GL\in H_l$ for all

1481: pairwise distinct standard tableaux $\La$ of shape $\la$

1482: are linearly independent. The next theorem implies, in particular, that

1483: these elements also span the vector space $V_\la\ts$.

1484: 

1485: For any $k=1\lc l-1$ denote $d_k(\La)=c_k(\La)-c_{k+1}(\La)\ts$.

1486: If the tableau $\si_k\ts\La$ is not standard, then the numbers $k$ and

1487: $k+1$ stand \textit{next to each other\/} in the same row or in the same

1488: column of $\La\ts$, that is $k+1=\La(a\com b+1)$ or $k+1=\La(a+1\com b)$ 

1489: for $k=\La(a\com b)\ts$. Then we have $d_k(\La)=-1$ or $d_k(\La)=1$

1490: respectively. But if the tableau $\si_k\ts\La$ is standard, then we have

1491: $|\ts d_k(\La)\ts|\ge2\,$. 

1492: 

1493: \begin{theorem}\label{T3.3}

1494: {\bf\hskip-6pt.\hskip1pt} 

1495: For any standard tableau $\La$ and any $k=1\lc l-1$ we have:

1496: 

1497: \vspace{10pt}

1498: 

1499: a)

1500: 

1501: \vspace{-42pt}

1502: 

1503: \[

1504: T_k\ts\GL\ts=\,

1505: \left\{

1506: \begin{array}{rl}

1507: q\,\GL&\textrm{\quad if\quad\ }d_k(\La)=-1\ts,

1508: \\[1mm]

1509: -\ts q^{\ts-1}\GL&\textrm{\quad if\quad\ }d_k(\La)=1\ts;

1510: \end{array}

1511: \right.

1512: \]

1513: 

1514: \vspace{-5pt}

1515: 

1516: b)

1517: 

1518: \vspace{-33pt}

1519: 

1520: \[

1521: T_k\ts\GL\ts=\,

1522: \frac{q-q^{\ts-1}}{1-q^{\,2d_k(\La)}}\,\,\GL\ +\ 

1523: G_{\si_k\La}\ \times

1524: \]\[

1525: \phantom{T_k\ts\GL\ts=\,\ts}

1526: \left\{

1527: \begin{array}{ll}

1528: 1\ts-\,

1529: {

1530: \displaystyle 

1531: \frac{(q-q^{\ts-1})^{\ts2}}{(\,q^{\ts d_k(\La)}-q^{\ts-d_k(\La)}\ts)^{\ts2}}

1532: }

1533: &\textrm{\quad if\quad\ }d_k(\La)\le-2\ts,

1534: \\

1535: 1&\textrm{\quad if\quad\ }d_k(\La)\ge2\,.

1536: \end{array}

1537: \right.

1538: \]

1539: \end{theorem}

1540: 

1541: \textit{Proof.}\hskip6pt

1542: The element $\GL\in H_l$ is obtained by multiplying $\FL$

1543: on the right by a certain 

1544: % invertible 

1545: element of $H_l\,$. Hence Part (a)

1546: of Theorem \ref{T3.3} immediately follows from Propositions

1547: \ref{P2.5} and \ref{P2.7}. 

1548: Now suppose that the tableau $\si_k\ts\La$ is standard.

1549: Moreover, suppose that $d_k(\La)\ge2\,$; in this case

1550: we have $k\in\A_{\ts k+1}\ts$. Using Corollary \ref{C3.1} along with

1551: the relations (\ref{2.1})~and~(\ref{2.2}), one can get the equality

1552: \bege\label{3.1}

1553: \biggl(\ts1-

1554: \frac{(q-q^{\ts-1})^{\ts2}}

1555: {(\,q^{\ts d_k(\La)}-q^{\ts-d_k(\La)}\ts)^{\ts2}}

1556: \,\biggr)\,

1557: \GL\ \ts=\ F_k

1558: \bigl(\ts q^{\,2c_k(\La)}\com\ts q^{\,2c_{k+1}(\La)}\ts\bigr)

1559: \,G_{\si_k\La}\,.

1560: \ende

1561: Using the relation (\ref{2.4}), we obtain from (\ref{3.1}) the equality

1562: \[

1563: F_k

1564: \bigl(\ts q^{\,2c_{k+1}(\La)}\com\ts q^{\,2c_k(\La)}\ts\bigr)

1565: \,\GL\ =\ G_{\si_k\La}\,.

1566: \endd

1567: The last equality implies Part (b) of Theorem 3.3 in the case

1568: when $d_k(\La)\ge2$, see the definition (\ref{2.0}).

1569: Exchanging the tableaux $\La$ and $\si_k\ts\La$ in (\ref{3.1}), so that

1570: the resulting equality applies in the case when $d_k(\La)\le-2$, 

1571: we prove Part (b) of Theorem \ref{T3.3} in this remaining case

1572: \qed

1573: 

1574: Thus the elements $\GL\in H_l$ for all

1575: pairwise distinct standard tableaux $\La$ of shape $\la$

1576: form a basis in the vector space $V_\la\ts$. This basis

1577: is distinguished due to

1578: 

1579: \begin{proposition}\label{P3.4}

1580: {\bf\hskip-6pt.\hskip1pt} 

1581: We have\/ $X_i\,\GL=\ts q^{\,2c_i(\La)}\ts\GL$	

1582: for each\/ $i=1\lc l\ts$.

1583: \end{proposition}

1584: 

1585: \textit{Proof.}\hskip6pt

1586: We will proceed by induction on $i=1\lc l\ts$. By definition,

1587: $X_1=1\ts$. On the other hand, $c_1(\La)=0$ for any standard tableau

1588: $\La$. Thus Proposition~\ref{P3.4} is true for $i=1\ts$.

1589: Now suppose that Proposition \ref{P3.4} is true for $i=k$ where 

1590: $k<l\ts$. To show that it is also true for $i=k+1\ts$, we will use 

1591: Theorem \ref{T3.3}. Note that $X_{k+1}=\ts T_k\,X_k\,T_k\,$.

1592: If $d_k(\La)=\pm1\ts$, then $T_k\,X_k\,T_k\,\GL$ equals

1593: \[

1594: \mp\,q^{\ts\mp\ts1}\,T_k\,X_k\,\GL

1595: \,=\,\mp\,q^{\,2c_k(\La)\ts\mp\ts1}\,T_k\,\GL

1596: \,=\,q^{\,2c_k(\La)\ts\mp\ts2}\,\GL

1597: \,=\,q^{\,2c_{k+1}(\La)}\,\GL

1598: \endd

1599: respectively. 

1600: If $d_k(\La)\ge2\ts$, then the product $T_k\,X_k\,T_k\,\GL$ equals

1601: \[

1602: T_k\,X_k\,

1603: \biggl(\,

1604: \frac{q-q^{\ts-1}}{1-q^{\,2d_k(\La)}}\,\,\GL\ts+\,G_{\si_k\La}

1605: \ts\biggr)

1606: \,=

1607: \]\[

1608: q^{\,2c_{k+1}(\La)}\,

1609: T_k\,

1610: \biggl(\,

1611: \frac{q-q^{\ts-1}}{q^{\,-2d_k(\La)}-1}\,\,\GL\ts+\,

1612: G_{\si_k\La}

1613: \ts\biggr)\,=

1614: \]\[

1615: q^{\,2c_{k+1}(\La)}\,

1616: \biggl(\,\ts

1617: \frac{q-q^{\ts-1}}{q^{\,-2d_k(\La)}-1}\,\,

1618: \biggl(\,

1619: \frac{q-q^{\ts-1}}{1-q^{\,2d_k(\La)}}\,\,\GL\ts+\,G_{\si_k\La}

1620: \ts\biggr)\,\,+

1621: \]\[

1622: \frac{q-q^{\ts-1}}{1-q^{\,-2d_k(\La)}}\,\,G_{\si_k\La}\ts+\, 

1623: \biggl(\,

1624: 1\ts-\,

1625: \frac{(q-q^{\ts-1})^{\ts2}}{(\,q^{\ts d_k(\La)}-q^{\ts-d_k(\La)}\ts)^{\ts2}}

1626: \,\biggr)

1627: \ts\,\GL\,

1628: \biggr)

1629: \,=\,\ts

1630: q^{\,2c_{k+1}(\La)}\,\GL\,.

1631: \endd

1632: In the case when $d_k(\La)\le-2\ts$,

1633: the proof of the equality $X_{k+1}\,\GL=q^{\,2c_{k+1}(\La)}\,\GL$

1634: is similar and is omitted here

1635: \qed

1636:  

1637: Let us now consider the left ideal $V_\la\subset H_l$ as 

1638: $H_l\ts$-module. Here the algebra $H_l$ acts via left multiplication.

1639: 

1640: \begin{corollary}\label{C3.5}

1641: {\bf\hskip-6pt.\hskip1pt} 

1642: The $H_l\ts$-module $V_\lambda$ is irreducible.

1643: \end{corollary}

1644: 

1645: \textit{Proof.}\hskip6pt

1646: The vectors $\GL\in V_\lambda$ where $\La$ is ranging over the set of all

1647: standard tableaux of the given shape $\la\,$, form an eigenbasis for the

1648: action on $V_\la$ of the Murphy elements $X_1\lc X_l\,\in H_l\,$. 

1649: Moreover, the ordered collections of

1650: the corresponding eigenvalues $q^{\,2c_1(\La)}\lc q^{\,2c_l(\La)}$	 

1651: are pairwise distinct for all different tableaux $\La\ts$.

1652: On the other hand, by Corollary 3.1 any basis vector $\GL\in V_\la$ 

1653: can be obtained by acting on the element $G_{\Lac}\in V_\la$ by 

1654: a certain invertible element of $H_l\,$

1655: \qed

1656: 

1657: \begin{corollary}\label{C3.6}

1658: {\bf\hskip-6pt.\hskip1pt} 

1659: The $H_l\ts$-modules $V_\lambda$ for different partitions $\la$ of\/ $l$

1660: are pairwise non-equivalent.

1661: \end{corollary}

1662: 

1663: \textit{Proof.}\hskip6pt

1664: Take any symmetric polynomial $f$ in $l$ variables

1665: over the field $\CC(q)\ts$. For

1666: all standard tableaux $\La$ of the same shape $\la\,$, the values

1667: of this polynomial

1668: \bege\label{fval}

1669: f\bigl(q^{\,2c_1(\La)}\lc q^{\,2c_l(\La)}\ts\bigr)\,\in\,\CC(q)

1670: \ende

1671: are the same.

1672: Hence by Proposition \ref{P3.4}, the element $f(X_1\lc X_l)\in H_l$ acts 

1673: on $V_\la$ via multiplication by the scalar (\ref{fval}).

1674: On the other hand, the partition $\la$ can be uniquely

1675: restored from the values (\ref{fval}) where the polynomial $f$ varies.

1676: Thus the $H_l\ts$-modules $V_\la$ with different

1677: partitions $\la$ cannot be equivalent

1678: \qed

1679: 

1680: \textit{Remark.}\hskip6pt

1681: The centre of the algebra $\Hh_l$

1682: consists of all the Laurent polynomials in the generators $Y_1\lc Y_l$

1683: which are invariant under permutations of these generators\ts; 

1684: see for instance \cite[Proposition 3.11]{L}. In particular, the element

1685: $f(X_1\lc X_l)\in H_l$ is central, as the image

1686: of a central element of $\Hh_l$ under the homomorphism  $\pi\ts$.

1687: Moreover, the centre of the algebra $H_l$ coincides with the collection

1688: of all elements $f(X_1\lc X_l)$ where the symmetric polynomial $f$ 

1689: varies\ts; cf.\ \cite{J}. However, we do not use any of these

1690: facts in this section

1691: \qed

1692: 

1693: For any $k=1\lc l-1$ consider the restriction of the $H_l\ts$-module

1694: $V_\la$ to the subalgebra $H_k\subset H_l\ts$. We use the

1695: standard embedding $H_k\to H_l\ts$, where $T_i\mapsto T_i$ for 

1696: each index $i=1\lc k-1$.

1697: 

1698: \begin{corollary}\label{C3.7}

1699: {\bf\hskip-6pt.\hskip1pt} 

1700: The vector\/ $G_\La\in V_\la$ belongs to the $H_k$-invariant subspace

1701: in $V_\la\ts$, equivalent to the $H_k$-module $V_{\ka}$ where

1702: the partition\/ $\ka$ is the shape of the tableau obtained by

1703: removing from\/ $\La$ the entries\/ $k+1\lc l\ts$.

1704: \end{corollary}

1705: 

1706: \textit{Proof.}\hskip6pt

1707: It suffices to consider the case $k=l-1$ only.

1708: For each index $a\ts$ such that $\la_a>\la_{a+1}\ts$,

1709: denote by $V_a$ the vector subspace in $V_\la$ spanned by the

1710: all those vectors $G_\La$ where $\La(a\com\la_a)=l\ts$.

1711: By Theorem \ref{T3.3}, the subspace

1712: $V_a$ is preserved by the action 

1713: of the subalgebra $H_{\ts l-1}\subset H_l$ on $V_\la\ts$.

1714: Moreover, Theorem \ref{T3.3} shows that the $H_{l-1}\ts$-module $V_a$

1715: is equivalent to $V_{\ka}$ where the partition $\ka$ of $l-1$

1716: is obtained by decreasing the $a\ts$th part of $\la$ by $1$

1717: \qed

1718: 

1719: The properties of the vector $\GL$ given 

1720: by Corollary~\ref{C3.7} for $k=1\lc l-1$,

1721: determine this vector 

1722: in $V_\la$ uniquely up to a non-zero factor from $\CC(q)$. 

1723: These properties can be restated for any irreducible

1724: $H_l\ts$-module $V$ equivalent to $V_\la\ts$.

1725: Explicit formulas for the action of the generators $T_1\lc T_{l-1}$

1726: of $H_l$ on the vectors in $V$ determined by these properties,

1727: are known; cf.\ \cite[Theorem 6.4]{M}.

1728: % However, our proof of Theorem \ref{T3.3} here

1729: % based on the results of Section 2, 

1730: % is new 

1731: 

1732: Setting $q=1$, the algebra $H_l$ specializes to the symmetric group ring

1733: $\CC\,S_l\ts$. The element $T_\si\in H_l$ then specializes to the

1734: permutation $\si\in S_l$ itself. 

1735: The proof of Theorem \ref{T2.2} demonstrates that the coefficients

1736: in the expansion of the element $\FL\in H_l$ relative to the basis

1737: of the elements $T_\si\ts$, are regular at $q=1$ as rational functions

1738: of the parameter $q\ts$. Thus the specialization of the element

1739: $\FL\in H_l$ at $q=1$ is well defined. The same is true for the

1740: element $\GL\in H_l\ts$, see Corollary \ref{C3.1}.

1741: The specializations at $q=1$ of the basis vectors $\GL\in V_\la$

1742: form the \textit{Young seminormal basis} in the corresponding

1743: irreducible representation of the group $S_l\ts$.

1744: The action of the generators $\si_1\lc\si_{l-1}$ of $S_l$ on the 

1745: vectors of the latter basis was first given by \cite[Theorem IV]{Y2}.

1746: For the interpretation of the elements $\FL$ and $\GL$ using

1747: representation theory of the affine Hecke algebra $\Hh_l\ts$, 

1748: see \cite[Section 3]{C} and references therein.

1749: 

1750: Let $\up_\la$ be the character of the irreducible

1751: $H_l\ts$-module $V_\la\ts$. Determine a linear function

1752: $\de: H_l\to\CC(q)$ by setting

1753: \[

1754: \de\ts(\ts T_\si^{\ts-1})=\left\{

1755: \begin{array}{ll}

1756: \,1&\textrm{\quad if\quad\ }\si=1,

1757: \\

1758: \,0&\textrm{\quad otherwise.}

1759: \end{array}

1760: \right.

1761: \endd

1762: It is known that the function $\de$ is central, see for instance

1763: \cite[Lemma 5.1]{JAG}. At $q=1$, this function specializes to the

1764: character of the regular representation of the algebra $\CC\,S_l\ts$,

1765: normalized so that the value of the character at $1\in S_l$~is~1.

1766: This observation implies that each of the coefficients in the expansion

1767: of the function $\de$ relative to the basis of the characters $\up_\la$

1768: in the vector space of central functions on $H_l\ts$, is non-zero. 

1769: Thus for some scalars $h_\la(q)\in\CC(q)$,

1770: \bege\label{des}

1771: \de\ts\,=\,\sum_\la\ts\,h_\la^{\ts-1}(q)\,\up_\la\,.

1772: \ende

1773: 

1774: For any standard tableau $\La$ of shape $\la\ts$, denote by $\EL$

1775: the element $\FL\ts T_0^{\ts-1}\ns\in H_l\ts$. Recall that the element 

1776: $\FL\in H_l$ can be obtained by multiplying $\GL$ on the right

1777: by some element of $H_l\ts$. It follows from Proposition

1778: \ref{P2.4} and Theorem~\ref{T3.3}, that the element $\EL$ belongs

1779: to the simple two-sided ideal of the algebra $H_l\ts$ corresponding 

1780: to the equivalence class of irreducible $H_l\ts$-module $V_\la\ts$.

1781: Further, Propositions \ref{P2.4} and \ref{P3.4} imply the equalities

1782: \bege\label{ela}

1783: X_i\ts E_\La\,=\,E_\La\ts X_i\,=\,q^{\,2c_i(\La)} E_\La	

1784: \ \quad\textrm{for}\ \quad

1785: i=1\lc l\,.

1786: \ende

1787: 

1788: \begin{proposition}\label{P3.8}

1789: {\bf\hskip-6pt.\hskip1pt} 

1790: Here\/ $\EL^{\,2}=h_\la(q)\EL$

1791: for any standard tableau\/ $\La$ of shape~$\la\ts$.

1792: \end{proposition}

1793: 

1794: \textit{Proof.}\hskip6pt

1795: The proofs of Corollaries \ref{C3.5} and \ref{C3.6}

1796: show that the equalities (\ref{ela}) determine the element $\EL\in H_l$

1797: uniquely, up to a multiplier from $\CC(q)\ts$. Hence

1798: $\EL^{\,2}=h_\La(q)\EL$ for some $h_\La(q)\in\CC(q)\ts$.

1799: Note that

1800: by Proposition \ref{P2.3}, the coefficient of $1$ in the expansion

1801: of the element $\EL\in H_l$ relative to the basis of the elements

1802: $T_\si^{\ts-1}$, is $1$. 

1803: 

1804: To prove that $h_\La(q)=h_\la(q)$, we will employ an

1805: argument from \cite[Section 3]{G}.

1806: At $q=1$, the element $\EL$ specializes to the

1807: diagonal matrix element of the irreducible representation

1808: of $S_l$ parametrized by the partition $\la\ts$, corresponding to

1809: the vector of the Young seminormal basis parametrized by the tableau 

1810: $\La\ts$. As a linear combination the elements of the group $S_l\ts$, 

1811: this matrix element is normalized so that its coefficient at $1\in S_l$ 

1812: is 1. Therefore $h_\La(q)\neq0$.

1813: 

1814: The element $h_\La^{\ts-1}(q)\ts\EL\in H_l$ is an idempotent, so for any

1815: partition $\om$ of $l$ the value

1816: $\up_{\om}\ts(\ts h_\La^{\ts-1}(q)\ts\EL\ts)$ is an integer.

1817: In particular, this value does not depend on the parameter $q$, and

1818: can be determined by specializing $q=1$. Thus we get

1819: \[

1820: \up_{\om}\ts(\, h_\La^{\ts-1}(q)\ts\EL\ts)=\left\{

1821: \begin{array}{ll}

1822: \,1&\textrm{\quad if\quad\ }\om=\la\ts,

1823: \\

1824: \,0&\textrm{\quad otherwise.}

1825: \end{array}

1826: \right.

1827: \endd

1828: Now by applying the functions at each side of the equality (\ref{des})

1829: to the element $h_\La^{\ts-1}(q)\ts\EL\in H_l\ts$, we obtain the equality 

1830: $h_\La^{\ts-1}(q)=h_\la^{\ts-1}(q)$

1831: \qed

1832: 

1833: Several formulas are known for the scalars $h_\la(q)$.

1834: Two different formulas for each $h_\la(q)$ were given in \cite{S}; see 

1835: also \cite[Section 3]{G}. Another formula % \cite[Example I.3.1]{MD} 

1836: reads as

1837: \bege\label{hff}

1838: h_\la(q)\ \ts=\,\prod_{(a,b)}\,\ts

1839: \frac

1840: {\ts1-q^{\ts2\ts(\la_a+\ts\las_b\ts-\ts a\ts-\ts b\ts+\ts1)}}

1841: {\ts1-q^{\ts2}\hspace{72pt}}

1842: \,\ \cdot\ \, 

1843: q^{\,\ts\la_1(1-\la_1)\,+\,\la_2(1-\la_2)\,+\,\ldots}

1844: \ende

1845: where the product is taken over all nodes $(a\com b)$ of the

1846: Young diagram (\ref{Yd}).

1847: At $q=1$, the rational function of $q$ at the right hand side of

1848: (\ref{hff}) specializes to the product of the \textit{hook-lengths\/}

1849: $\la_a+\la^\ast_b-a-b\ts+\ns1$ corresponding to the nodes $(a\com b)$

1850: of the Young diagram (\ref{Yd}). We will give a new proof

1851: of (\ref{hff}) by using Theorem \ref{T2.2}

1852: and Proposition \ref{P3.8}, see the end of Section 4 for the proof.

1853: 

1854: From now on until the end of this section, we will assume that

1855: $\La$ is the \textit{row tableau\/} of shape $\la\ts$. 

1856: By definition, here we have $\La\ts(a\com b+1)=\La\ts(a\com b)+1$ for

1857: all possible nodes $(a\com b)$ of the Young diagram (\ref{Yd}).

1858: According to the notation of Section 2,

1859: let $\rho\in S_l$ be the permutation such that 

1860: the row tableau $\La=\rho\cdot\Lac$.

1861: Let $S_\la$ be the subgroup in $S_l$ preserving the collections

1862: of numbers appearing in every row of the tableau $\La\ts$, it is called 

1863: the \textit{Young subgroup}. Following \cite{G}, consider the element 

1864: $A_\la\ts=\ts P_{\ts\la}\,T_{\rho^{\ts-1}}^{\ts-1}\,Q_\la\,T_{\rho^{\ts-1}}$

1865: of the algebra $H_l\ts$, where 

1866: \bege\label{PQ}

1867: P_{\ts\la}\ =

1868: \sum_{\si\,\in\ts S_\la}\,q^{\ts-\ell\ts(\si)}\,T_\si^{\ts-1}

1869: \ \quad\textrm{and}\ \,\quad

1870: Q_\la\ =\!

1871: \sum_{\si\,\in\ts S_{\las}}\,(-q)^{\ts\ell\ts(\si)}\,T_\si^{\ts-1}\,.

1872: \ende

1873: Here $\ell\ts(\si)$ is the length of a permutation $\si\ts$.

1874: At $q=1$, the element $A_\la\in H_l$ specializes \cite{Y1} to the 

1875: \textit{Young symmetrizer} in $\CC\,S_l$ corresponding to $\La\ts$.

1876: 

1877: \begin{proposition}\label{P3.9}

1878: {\bf\hskip-6pt.\hskip1pt}

1879: If\/ $\La$ is the row tableau of shape\/ $\la\ts$, then\/

1880: $\GL\ts T_{\rho\ts\si_0}^{\ts-1}=A_\la\ts$.

1881: \end{proposition}

1882: 

1883: \textit{Proof.}\hskip6pt

1884: Let $U$ be the vector subspace in $H_l$ formed by all elements $B$ such

1885: that 

1886: \bege\label{Zl}

1887: T_k\ts B\ts=q\ts B\hskip22pt

1888: \textrm{\quad if\quad}

1889: \si_k\in S_\la\ts,

1890: \end{equation}

1891: \bege\label{Zr}

1892: B\,T_k=-\ts q^{\ts-1} B

1893: \textrm{\quad if\quad}

1894: \si_k\in S_{\las}\ts.

1895: \ende

1896: Then $\dim U=1$, see for instance \cite[Section 1]{G}.

1897: Using the definition of $A_\la\ts$, we can verify that

1898: $A_\la\,T_{\rho^{\ts-1}}^{\ts-1}\in\ts U$.

1899: On the other hand, consider the element

1900: \bege\label{Z}

1901: B\ts=\ts\GL\,T_{\rho\ts\si_0}^{\ts-1}\,T_{\rho^{\ts-1}}^{\ts-1}\ts=\ts\GL\,T_0^{\ts-1}\ts.

1902: \ende

1903: It satisfies the condition (\ref{Zl})

1904: thanks to Part (a) of Theorem \ref{T3.3}, because here

1905: $\La$ is the row tableau of shape $\la\ts$.

1906: By Proposition \ref{P2.7}, we also have

1907: \[

1908: T_k\ts F_{\Lac}=-\ts q^{\ts-1} F_{\Lac}

1909: \textrm{\quad if\quad}

1910: \si_k\in S_{\las}\ts.

1911: \endd

1912: Due to Corollary \ref{C3.1},

1913: the element (\ref{Z}) can be obtained by multiplying $F_{\Lac}\ts T_0^{\ts-1}$

1914: on the left by a certain element of $H_l\ts$. 

1915: But the element $F_{\Lac}\ts T_0^{\ts-1}$ is $\al_{\ts l}\ts$-invariant.

1916: %see Proposition \ref{P2.4}. 

1917: Hence the element (\ref{Z}) also satisfies the condition (\ref{Zr}).

1918: Thus $\GL\,T_0^{\ts-1}\in U\ts$.

1919: 

1920: To complete the proof of Proposition \ref{P3.9}, it suffices to

1921: compare the coefficients at $T_{\rho\ts\si_0}$

1922: in the expansions of the elements

1923: $\GL$ and $A_\la\ts T_{\rho\ts\si_0}$ of $H_l$ 

1924: relative to the basis of the elements $T_\si\ts$.

1925: For $\GL$ this coefficient is $1$ by Proposition 3.2.

1926: Let $S_\la^{\ts\prime}$ be the subgroup 

1927: $\si_0\,S_{\las}\ts\si_0\subset S_l\ts$. Observe that if 

1928: $\si\in S_\la$ and 

1929: $\ts\si^{\ts\prime}\ns\in S_\la^{\ts\prime}\ts$, then

1930: \[

1931: \ell\ts(\si\rho\ts\si_0\ts\si^{\ts\prime}\ts)=

1932: \ell\ts(\rho\ts\si_0)\ns-\ell\ts(\si)\ns-

1933: \ell\ts(\ts\si^{\ts\prime}\ts)\ts.

1934: \endd

1935: In particular, then we have

1936: $\si\rho\ts\si_0\ts\si^{\ts\prime}=\rho\ts\si_0$ only for

1937: $\si=\si^{\ts\prime}=1$. Therefore

1938: \[

1939: A_\la\ts T_{\rho\ts\si_0}\,=\, 

1940: \biggl(\,\ts

1941: \sum_{\si\,\in\ts S_\la}\,q^{\ts-\ell\ts(\si)}\,T_\si^{\ts-1}

1942: \,\biggr)

1943: \,\,T_{\rho^{\ts-1}}^{\ts-1}\,

1944: \biggl(\,\ts

1945: \sum_{\si\,\in\ts S_{\las}}\,(-q)^{\ts\ell\ts(\si)}\,T_\si^{\ts-1}\,\biggr)

1946: \,\,T_0\,=

1947: \]\[

1948: \hspace{55pt}

1949: \biggl(\,\ts

1950: \sum_{\si\,\in\ts S_\la}\,q^{\ts-\ell\ts(\si)}\,T_\si^{\ts-1}

1951: \,\biggr)

1952: \,\,T_{\rho\ts\si_0}\,

1953: \biggl(\,\ts

1954: \sum_{\si^{\ts\prime}\in\ts S_\la^{\ts\prime}}\,

1955: (-q)^{\ts\ell\ts(\si^{\ts\prime})}\,T_{\si^{\ts\prime}}^{\ts-1}

1956: \,\biggr)\,=

1957: \]\[

1958: \hspace{65pt}

1959: \sum_{\si\,\in\ts S_\la}\,

1960: \sum_{\si^{\ts\prime}\in\ts S_\la^{\ts\prime}}\ \,

1961: q^{\ts-\ell\ts(\si)}\,(-q)^{\ts\ell\ts(\si^{\ts\prime})}\,

1962: T_{\si^{\ts-1}\rho\ts\si_0\ts\si^{\ts\prime}{}^{-1}}\,.

1963: \endd

1964: The coefficient of $T_{\rho\ts\si_0}$

1965: in the sum displayed in the last line above, is $1$

1966: \qed

1967: 

1968: \textit{Remark.}\hskip6pt

1969: One can give another expression for the element $A_\la\in H_l$

1970: defined via (\ref{PQ}), by using the identities

1971: \[

1972: \sum_{\si\,\in\ts S_l}\,q^{\ts-\ell\ts(\si)}\,T_\si^{\ts-1}

1973: \,=\,q^{\,l\ts(1-\ts l)}\ts

1974: \sum_{\si\,\in\ts S_l}\,q^{\ts\ell\ts(\si)}\,T_\si\,,

1975: \]\[

1976: \sum_{\si\,\in\ts S_l}\,(-q)^{\ts\ell\ts(\si)}\,T_\si^{\ts-1}

1977: \,=\,(-q)^{\ts l\ts(l-1)}\ts

1978: \sum_{\si\,\in\ts S_l}\,(-q)^{-\ell\ts(\si)}\,T_\si

1979: \qed

1980: \endd

1981: %In either of these identities, the sums at the left and the right hand

1982: %sides are \textit{a priori\/} equal to each other up to a factor from

1983: %$\CC(q)\ts$; cf.\ the beginning of the proof of Proposition \ref{P3.9}.

1984: %To show that this factor is actually $1$, 

1985: %it suffices to compare the coefficeints of $T_0$

1986: %at each side, relative to the basis of the elements $T_\si$ in $H_l\ts$.

1987: %Here one uses the relation (\ref{Ti})

1988: %\qed

1989: 

1990: %========================================================================

1991: 

1992: \section{\hskip-13.5pt.\hskip6pt Eigenvalues of the operator $J$}

1993: 

1994: Take any partition $\la$ of $l\ts$.

1995: For any standard tableau $\La$ of shape $\la$

1996: denote by $V_\La$ the left ideal in the algebra $H_l\ts$,

1997: generated by the element $\FL$ defined in Section 2.

1998: If $\La=\Lac$ then $V_\La=V_\la$ in the notation of Section 3.

1999: Recall that the element $\FL\in H_l$ can be obtained by

2000: multiplying $F_{\Lac}$ on the left and on the right by

2001: certain invertible elements of $H_l\ts$, see Proposition \ref{P2.6}.

2002: Hence $V_\La$ is equivalent to $V_\la$ as $H_l\ts$-module.

2003: The algebra $H_l$ acts on any left ideal $V_\La\subset H_l$ via left 

2004: multiplication. Also recall that the element $\FL$ can be obtained

2005: by multiplying $\GL$ by certain element of $H_l$ on the right. Thus 

2006: by Proposition \ref{P3.4}

2007: \bege\label{4.0}

2008: X_i\,\FL\ts=\ts q^{\,2c_i(\La)}\ts\FL	

2009: \ \quad\textrm{for each}\ \quad

2010: i=1\lc l\ts.

2011: \end{equation}

2012: 

2013: For any non-zero $z\in\CC(q)\ts$,

2014: consider the evaluation $\Hh_l\ts$-module $V_\La(z)\ts$.

2015: This is the pullback of the $H_l\ts$-module

2016: $V_\La$ back through the homomorphism $\pi_z\ts$; see Section 1.

2017: As a vector space $V_\La(z)$ is the left ideal

2018: $V_\La\subset H_l\ts$, and the subalgebra $H_l\subset\Hh_l$

2019: acts on this vector space via left multiplication. By (\ref{4.0}),

2020: in the $\Hh_l\ts$-module $V_\La(z)$ we have

2021: \bege\label{4.00}

2022: Y_i\cdot\FL\ts=\ts z\,q^{\,2c_i(\La)}\ts\FL	

2023: \ \quad\textrm{for each}\ \quad

2024: i=1\lc l\ts.

2025: \ende

2026: Note that any element of $\Hh_l$ can be written as a sum of

2027: Laurent monomials in $Y_1\lc Y_l$ multiplied by some elements

2028: of $H_l$ on the left. Therefore the action of the generators 

2029: $Y_1\lc Y_l$ on the $\Hh_l\ts$-module $V_\La(z)$ is % uniquely 

2030: determined by (\ref{4.00}).

2031: 

2032: Take a partition $\mu$ of $m$, and

2033: any standard tableau $\Mu$ of shape $\mu\ts$. Also take 

2034: any non-zero element $w\in\CC(q)\ts$.

2035: Let us realize the $\Hh_{l+m}$-module $W$ induced from the 

2036: $\Hh_l\ot\Hh_m\ts$-module $V_\La(z)\ot\VM(w)\ts$,

2037: as the left ideal in $H_{\ts l+m}$ generated by the product 

2038: $\FL\ts\FMb$. Here $\FMb$ denotes  the image of the element $\FM\in H_m$

2039: under the embedding $H_m\to H_{\ts l+m}\ts:\,T_j\mapsto T_{\ts l+j}\,$.

2040: The action of the generators $Y_1\lc Y_{l+m}\in\Hh_{\ts l+m}$ 

2041: on this left ideal is then determined by setting

2042: \bege\label{3}

2043: \hspace{11pt}

2044: Y_i\cdot\FL\FMb\ts=\ts z\,q^{\,2c_i(\La)}\ts\FL\FMb

2045: \ \ \,\quad\textrm{for each}\ \ts\quad i=1\lc l\,;

2046: \end{equation}

2047: \[

2048: Y_{\ts l+j}\cdot\FL\FMb\ts=\ts w\,q^{\,2c_j(\Mu)}\ts\FL\FMb

2049: \ \quad\textrm{for each}\ \quad j=1\lc m\,.

2050: \]

2051: % Unlike in Section 1, here $\La$ and $\Mu$ are not

2052: % necessarily the column tableaux. 

2053: 

2054: Further, consider the $\Hh_{l+m}$-module $\Wp$ induced from the 

2055: $\Hh_m\ot\Hh_l\ts$-module  $\VM(w)\ot V_\La(z)\ts$. Let us realize $\Wp$

2056: as the left ideal in $H_{\ts l+m}$ generated by the product 

2057: $\FM\ts\FLb\ts$, where $\FLb$ denotes the image of $\FL\in H_l$

2058: under the embedding $H_l\to H_{\ts l+m}\ts:\,T_i\mapsto T_{\ts i+m}\ts$.

2059: % Denote this embedding by $\io_m\ts$,

2060: % so that $\io_1=\io$ in the notation of Proposition \ref{P2.9}.

2061: The generators $Y_1\lc Y_{l+m}$ act on $\Wp$~so~that

2062: \bege\label{6}

2063: Y_{\ts i+m}\cdot\FM\ts\FLb\ts=\ts z\,q^{\,2c_i(\La)}\ts\FM\ts\FLb

2064: \ \ \ts\quad\textrm{for each}\ \,\quad i=1\lc l\,;

2065: \end{equation}

2066: \[

2067: %\bege\label{5}

2068: \hspace{14pt}

2069: Y_j\cdot\FM\ts\FLb\ts=\ts w\,q^{\,2c_j(\Mu)}\ts\FM\ts\FLb

2070: \ \quad\textrm{for each}\ \quad j=1\lc m\,.

2071: %\end{equation}

2072: \]

2073: 

2074: Consider the element $\tau$ of the symmetric group $S_{\ts l+m}\ts$,

2075: which was defined as the permutation (\ref{tau}).

2076: We will use one reduced decomposition of this element,

2077: \[

2078: \tau\ \ =

2079: \prod_{i=1,...,\ts l}^{\longleftarrow}

2080: \biggl(\

2081: \prod_{j=1,...,\ts m}^{\longrightarrow}

2082: \si_{\ts i+j-1}

2083: \biggr)\,.

2084: \endd

2085: The corresponding element $T_\tau$

2086: of the algebra $H_{\ts l+m}$ satisfies the relations

2087: \bege\label{4.1}

2088: T_i\,T_\tau\ts=\ts T_\tau\,T_{\ts i+m}

2089: \quad\ \textrm{for each}\ \ts\quad i=1\lc l-1\,;

2090: \end{equation}

2091: \bege\label{4.2}

2092: T_{\ts l+j}\,T_\tau\ts=\ts T_\tau\,T_{j}

2093: \quad\ \,\ts\textrm{for each}\ \quad j=1\lc m-1\,.

2094: \ende

2095: In particular, these relations imply the equality in $H_{\ts l+m}$

2096: \bege\label{Tt}

2097: \FL\ts\FMb\,T_\tau\,=\,T_\tau\ts\FM\ts\FLb\,.

2098: \ende

2099: 

2100: Now introduce two elements of the algebra $\Hh_{\ts l+m}\ts$,

2101: \bege\label{SLM}

2102: \SLM\ts(z\com w)\ \ =

2103: \prod_{i=1,...,\ts l}^{\longrightarrow}

2104: \biggl(\

2105: \prod_{j=1,...,\ts m}^{\longleftarrow}

2106: F_{\ts l+m-i-j+1}\,

2107: \bigl(\ts q^{\,2c_i(\La)}z\com q^{\,2c_j(\Mu)}\ts w\ts\bigr)

2108: \biggr)\,,

2109: \end{equation}

2110: \[

2111: \SLMp\ts(z\com w)\ \ =

2112: \prod_{i=1,...,\ts l}^{\longleftarrow}

2113: \biggl(\

2114: \prod_{j=1,...,\ts m}^{\longrightarrow}

2115: F_{i+j-1}\,

2116: \bigl(\ts q^{\,2c_i(\La)}z\com q^{\,2c_j(\Mu)}\ts w\ts\bigr)

2117: \biggr)\,.

2118: \endd

2119: We have assumed that $z^{\ts-1} w\notin q^{\ts2\ts\ZZ}$

2120: so that these two elements are well defined, see (\ref{2.0}).

2121: Using the relations (\ref{2.1}),(\ref{2.2})

2122: together with the definitions of the elements $\FL\in H_l$ and

2123: $\FM\in H_m\ts$, we obtain the relation in the algebra $H_{\ts l+m}$

2124: \bege\label{4}

2125: \FL\ts\FMb\,\SLM\ts(z\com w)

2126: \,=\,

2127: \SLMp\ts(z\com w)\,\FM\ts\FLb.

2128: \ende

2129: We will use one more expression for the element of

2130: $H_{\ts l+m}\ts$, appearing at either side of the equality (\ref{4}).

2131: For each $i=1\lc l\ts$ denote by $\Xb_i$ the image of 

2132: the Murphy element $X_i\in H_l$ under the embedding 

2133: $H_l\to H_{\ts l+m}:T_i\mapsto T_{\ts m+i}\ts$.

2134: 

2135: \begin{proposition}\label{P4.1}

2136: {\bf\hskip-6pt.\hskip1pt}

2137: The element of the algebra $H_{\ts l+m}$ in\/ {\rm(\ref{4})} equals

2138: $T_\tau$ times

2139: \[

2140: \prod_{i=1,...,\ts l}^{\longleftarrow}\!

2141: \frac

2142: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}\,\Xb_i\ts\,X_{\ts i+m}^{\ts-1}}

2143: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2144: \ \cdot\ \FM\ts\FLb\,.

2145: \endd

2146: \end{proposition}

2147: 

2148: \textit{Proof.}\hskip6pt

2149: Using Propositions \ref{P2.8} and \ref{P2.9} repeatedly,

2150: for the standard tableau $\Mu$ instead of $\La$

2151: and for the element $q^{\,2c_i(\La)}\ts z\ts w^{\ts-1}\in\CC(q)$ instead of 

2152: $z$ where $i=1\lc\ns l\ts$ one shows that

2153: the element of the algebra $H_{\ts l+m}$

2154: on the right hand side of {\rm(\ref{4})} equals the product

2155: \bege\label{above}

2156: \prod_{i=1,...,\ts l}^{\longleftarrow}\!

2157: \frac{\,z^{\ts-1} w\ts\,T_i\ts\ldots\ts T_{\ts i+m-1}

2158: -\ts q^{\,2c_i(\La)}\,T_i^{\ts-1}\!\ldots\ts T_{\ts i+m-1}^{\ts-1}}

2159: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2160: \ \cdot\ \FM\ts\FLb\,.

2161: \ende

2162: The ordered product of the factors in (\ref{above})

2163: corresponding to $i=l\lc 1$ can be rewritten as

2164: $T_\tau\ts$, multiplied on the right

2165: by the product over $i=l\lc 1$ of

2166: \[

2167: \prod_{k=1,...,\ts i-1 }^{\longrightarrow}

2168: \bigl(\,

2169: T_k\ts\ldots\ts T_{\ts k+m-1}

2170: \ts\bigr)^{-1}\ \times

2171: \]\[

2172: \frac{\,z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}\,

2173: T_{\ts i+m-1}^{\ts-1}\ts\ldots\ts T_i^{\ts-1}\,

2174: T_i^{\ts-1}\!\ldots\ts T_{\ts i+m-1}^{\ts-1}}{z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2175: \ \,\times

2176: \]\[

2177: \prod_{k=1,...,\ts i-1 }^{\longleftarrow}

2178: \bigl(\,

2179: T_k\ts\ldots\ts T_{\ts k+m-1}

2180: \ts\bigr)\ =

2181: \]\[

2182: T_{\ts i+m-1}\ts\ldots\ts T_{\ts m+1}\,\cdot

2183: \prod_{k=1,...,\ts i-1 }^{\longrightarrow}

2184: \bigl(\,

2185: T_k\ts\ldots\ts T_{\ts k+m}

2186: \ts\bigr)^{-1}\ \times

2187: \]\[

2188: \frac{\,z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}\,

2189: T_{\ts i+m-1}^{\ts-1}\ts\ldots\ts T_i^{\ts-1}\,

2190: T_i^{\ts-1}\!\ldots\ts T_{\ts i+m-1}^{\ts-1}}{z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2191: \ \,\times

2192: \]\[

2193: \prod_{k=1,...,\ts i-1 }^{\longleftarrow}

2194: \bigl(\,

2195: T_k\ts\ldots\ts T_{\ts k+m-1}

2196: \ts\bigr)\,\cdot\,T_{\ts m+1}^{\ts-1}\!\ldots\ts T_{\ts i+m-1}^{\ts-1}\,.

2197: \endd

2198: We can now complete the proof of Proposition \ref{P4.1} by

2199: using the definitions of 

2200: $X_i\in H_l$ and $X_{\ts m+i}\in H_{\ts l+m}\ts$, along with

2201: the relations for all $j=1\lc m$

2202: \[

2203: \prod_{k=1,...,\ts i-1 }^{\longrightarrow}

2204: \bigl(\,

2205: T_k\ts\ldots\ts T_{\ts k+m}

2206: \ts\bigr)^{-1}

2207: \,\cdot\ts\,T_{i+j-1}^{\ts-1}\ts\cdot

2208: \prod_{k=1,...,\ts i-1 }^{\longleftarrow}

2209: \bigl(\,

2210: T_k\ts\ldots\ts T_{\ts k+m}

2211: \ts\bigr)

2212: \ =\ T_j^{\ts-1}

2213: \qed

2214: \]

2215: 

2216: It follows from the relation (\ref{4}) that

2217: the right multiplication in $H_{\ts l+m}$ by the element 

2218: $\SLM\ts(z\com w)$ determines a linear operator $I:W\to\Wp$. 

2219: 

2220: \begin{proposition}\label{P4.2}

2221: {\bf\hskip-6pt.\hskip1pt}

2222: The operator\/ $I:\ts W\to\Wp$ is a\/ $\Hh_{l+m}\ts$-intertwiner.

2223: \end{proposition}

2224: 

2225: \textit{Proof.}\hskip6pt

2226: The subalgebra $H_{\ts l+m}\subset\Hh_{\ts l+m}$ acts on $W\com\Wp$

2227: via left multiplication; so the operator $I$ commutes with this 

2228: action by definition.

2229: The left ideal $W$ in $H_{\ts l+m}$ is generated by the element

2230: $\FL\ts\FMb\ts$; therefore it suffices to check that

2231: \[

2232: Y_i\cdot I\ts\bigl(\FL\ts\FMb\bigr)\,=\ts

2233: I\ts\bigl(\ts Y_i\cdot\FL\ts\FMb\ts\bigr)	

2234: \ \quad\textrm{for each}\ \quad 

2235: i=1\lc l+m\ts.

2236: \endd

2237: Firstly, consider the case when $i\le l\ts$. In this case by using

2238: (\ref{3}),(\ref{6}) and (\ref{4})

2239: \[

2240: Y_i\cdot I\ts\bigl(\FL\ts\FMb\ts\bigr)\,=\ts

2241: Y_i\cdot\bigl(\ts\SLMp\ts(z\com w)\ts\FM\ts\FLb\ts\bigr)\,=\ts

2242: \SLMp\ts(z\com w)\ \times

2243: \]\[

2244: (\ts Y_{\ts m+i}\cdot\FM\ts\FLb\ts)\,=\ts

2245: z\,q^{\,2c_i(\La)}\ts\SLMp\ts(z\com w)\ts\FM\ts\FLb\,=\ts

2246: I\ts\bigl(\ts Y_i\cdot\FL\ts\FMb\ts\bigr)\,.

2247: \endd

2248: Here we also used the defining relations (\ref{1.4}) and (\ref{1.5})

2249: of the algebra $\Hh_{\ts l+m}\ts$; for more details of this argument 

2250: see \cite[Section 2]{R}\ts. The case $i>l$ can be considered similarly

2251: \qed

2252: 

2253: Consider the operator of the right multiplication in $H_{\ts l+m}$ by

2254: the element

2255: \[

2256: \RLM\ts(z\com w)\ts=\ts\SLM\ts(z\com w)\,T_\tau^{\ts-1}\,.

2257: \endd

2258: Because of the relations (\ref{Tt}) and (\ref{4}), this operator 

2259: preserves the subspace $W\subset H_{\ts l+m}\ts$. Restriction of this 

2260: operator to the subspace $W$ will be denoted by $J\ts$.

2261: The subalgebra $H_{\ts l+m}\subset\Hh_{\ts l+m}$ acts on

2262: the $\Hh_{\ts l+m}\ts$-module $W$

2263: via left multiplication, so the operator $J:W\to W$ commutes with this 

2264: action. Now regard $W$ as a $H_{\ts l+m}\ts$-module only. 

2265: Let $\nu$ be any partition of $l+m$ such that

2266: the $H_{\ts l+m}\ts$-module $W$ has exactly one irreducible component

2267: equivalent to $V_\nu\ts$. The operator $J$ preserves this

2268: component, and acts thereon 

2269: as multiplication by a certain element of $\CC(q)\ts$.

2270: Denote this element by $r_\nu(z\com w)$; it depends on the parameters

2271: $z$ and $w$ as a rational function of $z^{\ts-1} w\ts$,

2272: and does not depend on the choice of the tableaux $\La$ and M

2273: of the given shapes $\la$ and $\mu\ts$. In this section, we

2274: compute the eigenvalues $r_\nu(z\com w)$ of $J$ for certain 

2275: partitions $\nu\ts$.

2276: 

2277: Choose any sequence $i_1\lc i_{\ts\las_1}\in\{1\com2\com\ts\ldots\ts\}$

2278: of pairwise distinct indices; this sequence needs not to be increasing. 

2279: Recall that $\las_1$ is the number of non-zero parts in the partition 

2280: $\la\ts$. Consider the partition $\mu$ as an infinite sequence

2281: with finitely many non-zero terms. Define an infinite sequence 

2282: $\xi=(\ts\xi_1\com\ts\xi_2\ts\com\ts\ldots\,)$ by

2283: \[

2284: \xi_{i_a}=\mu_{i_a}+\la_a\,,\ \quad a=1\lc\las_1\,;

2285: \]\[

2286: \hspace{4.5pt}\xi_i=\mu_i\,,\hspace{33pt}\ 

2287: \quad i\neq i_1\lc i_{\ts\las_1}\ts.

2288: \endd

2289: Suppose we get the inequalities

2290: $\xi_1\ge\xi_2\ge\ldots\,$ so that $\xi$ is a 

2291: partition of $l+m\ts$. Then the $H_{\ts l+m}\ts$-module $W$ 

2292: has exactly one irreducible component equivalent to $V_\xi\ts$.

2293: This follows from the Littlewood-Richardson rule \cite[Section I.9]{MD}.

2294: We will compute the eigenvalue $r_\xi\ts(z\com w)$ by applying the 

2295: operator $J$ to a certain vector in that irreducible component.

2296: For the purposes of this computation, assume that $\La$ 

2297: is the column tableau $\Lac\ts$; the tableau $\Mu$ will remain arbitrary.

2298: 

2299: The image of the action of the element $\FM\ts\FLcb$

2300: in the irreducible $H_{\ts l+m}$-module $V_\xi$ is a

2301: one-dimensional subspace. Let us describe this subspace explicitly.

2302: Let $\Xi$ be the tableau of shape $\xi\ts$, defined as follows.

2303: Firstly, put $\Xi\ts(c\com d\ts)=\textrm{M}(c\com d\ts)$ for all nodes

2304: $(c\com d\,)$ of the Young diagram of $\mu\ts$. 

2305: % That is, the tableau $\Xi$ \textit{agrees\/} with $\Mu$ 

2306: % in the entries $1\lc m\ts$. 

2307: Further, for any positive integer $j\ts$ consider all those parts of 

2308: $\la$ which are equal to $j\ts$. These are the parts $\lambda_a$ where

2309: the index $a$ belongs to the sequence

2310: \bege\label{aseq}

2311: \las_{j+1}+1\ts\com\ts\las_{j+1}+2\ts\lc\las_{j}\,.

2312: \ende

2313: The length $\las_{j}-\las_{j+1}$ of this sequence is the multiplicity of

2314: the part $j$ in the partition $\la\ts$, denote this multiplicity by 

2315: $n$ for short. Rearrange the sequence (\ref{aseq}) to the sequence 

2316: $a_1\lc a_n$ such that the inequalities

2317: $i_{a_1}<\ldots<i_{a_n}$ hold. 

2318: Then for every term $a\ts=a_k$ of the rearranged sequence put

2319: \[

2320: \Xi\,(i_a\com\mu_{\ts i_a}+b\ts)\,=\ts m+\Lac(\ts\las_{j+1}+k\com b\ts)

2321: \ \quad\textrm{where}\ \quad 

2322: b\ts=1\lc\la_a\ts.

2323: \endd

2324: 

2325: \begin{proposition}\label{P4.3}

2326: {\bf\hskip-6pt.\hskip1pt}

2327: The tableau\/ $\Xi$ is standard.

2328: \end{proposition}

2329: 

2330: \textit{Proof.}\hskip6pt

2331: For any possible integers $c$ and $d\ts$,

2332: the condition $\Xi\ts(c\com d\ts)<\Xi\ts(c\com d+1)$

2333: is satisfied by definition,

2334: because the tableaux $\Lac$ and $\Mu$ are standard.

2335: For any node $(c\com d\ts)$ of the Young diagram of $\mu\ts$,

2336: the condition $\Xi\ts(c\com d\ts)<\Xi\ts(c+1\com d\ts)$ is

2337: also satisfied by definition. Now suppose there are

2338: two different numbers $k$ and $\kp$ greater than $m\ts$, that

2339: appear in the same column of the tableaux $\Xi\,$. 

2340: Let $i$ and $\ip$ be the corresponding rows of $\Xi\ts$, assume

2341: that $i<\ip\ts$. Here $i=i_a$ and $\ip=i_{\ap}$ for certain indices

2342: $a\com\ap\in\{1\lc\las_1\}\ts$.

2343: If $\la_a\ge\la_{\ts\ap}$ then $k<\kp$ because the tableau $\Lac$ is 

2344: standard. Here we also use the definition of $\Xi\ts$.

2345: Now suppose that $\la_a<\la_{\ts\ap}$. Then $\mu_i>\mu_{\ip}$, 

2346: because the assumption $i<\ip$ implies

2347: \[

2348: \mu_i+\la_a\ge\mu_{\ip}+\la_{\ap}\ts.

2349: \endd

2350: Let $b$ and $\bp$ be the columns of the tableau $\Lac$

2351: corresponding to its entries $k-m$ and $\kp-m\ts$.

2352: Since $k$ and $\kp$ appear in the same column of the tableau $\Xi$

2353: while $\mu_i>\mu_{\ip}$, we have $b<\bp$. Then $k<\kp$

2354: by the definition of $\Lac$

2355: \qed

2356: 

2357: Using Proposition \ref{P4.3}, 

2358: consider the vector $G_{\ts\Xi}\in V_\xi$ as defined in Section 3.

2359: Take the element $Q_\la\in H_l$ as defined in (\ref{PQ}). Denote by

2360: $\Qlab$ the image of this element under the embedding

2361: $H_l\to H_{\ts l+m}:T_i\mapsto T_{\ts i+m}\ts$.

2362: 

2363: \begin{proposition}\label{P4.4}

2364: {\bf\hskip-6pt.\hskip1pt}

2365: The image of the action of the element\/ $\FM\ts\FLcb\in H_{\ts l+m}$

2366: on the $H_{\ts l+m}\ts$-module\/ $V_\xi$ is spanned by

2367: the vector $\Qlab\ts G_{\ts\Xi}\ts$.

2368: \end{proposition}

2369: 

2370: \textit{Proof.}\hskip6pt

2371: Put $V=\FM\,V_\xi\ts$. 

2372: The subspace $V\subset V_\xi$

2373: is spanned by all those vectors $G_{\ts\Xit}$ where,

2374: for every node $(c\com d)$ of the Young diagram of $\mu\ts$,

2375: the standard  tableaux $\Xit$ of shape $\xi$ satisfies the condition

2376: $\Xit\ts(c\com d\ts)={\rm M}\ts(c\com d\ts)\ts$.

2377: The action of the element $\FLcb\in H_{\ts l+m}$ on $V_\xi$ preserves 

2378: the subspace $V\subset V_\xi\ts$, and the image $\FLcb\ts V$ 

2379: is one\ts-dimensional. Moreover, 

2380: we have $\FLcb\ts V=\Qlab\ts V$; see \cite[Section 1]{G}.

2381: 

2382: It now remains to check that $\Qlab\ts G_{\ts\Xi}\neq0$.

2383: Due to our choice of the tableau $\Xi\ts$,\newline

2384: it suffices to consider the case when each non-zero part of $\la$

2385: equals $1$. In this case, the element $Q_\la\in H_l$ is central.

2386: On the other hand, any vector of $V$ has the form 

2387: $\Cb\,G_{\ts\Xi}$ where $\Cb$ is the image of some element $C\in H_l$ 

2388: under the embedding $H_l\to H_{\ts l+m}:T_i\mapsto T_{\ts i+m}\ts$. So

2389: % the inequality

2390: $\Qlab\ts V\neq\{0\}$ implies $\Qlab\ts G_{\ts\Xi}\neq0$

2391: \qed

2392: 

2393: \begin{theorem}\label{T4.5}

2394: {\bf\hskip-6pt.\hskip1pt}

2395: We have the equality

2396: \[

2397: r_\xi\ts(z\com w)\ =\

2398: \prod_{(a,b)}\ 

2399: \frac

2400: {\,z^{\ts-1} w\ts-\ts q^{\ts-2\ts(\ts\mu_{i_a}+\,\las_b-\,i_a-\,b\,+\,1)}}

2401: {z^{\ts-1} w\ts-\ts q^{\,2b-2a}}

2402: \endd

2403: where the product is taken over all nodes $(a\com b)$ of the Young

2404: diagram\/ {\rm(\ref{Yd})}.

2405: \end{theorem}

2406: 

2407: \textit{Proof.}\hskip6pt

2408: First consider the case when each non-zero part of $\la$ equals $1$.

2409: In this case, $\Lac$ is the only one standard

2410: tableau of shape $\la$ and we have $c_i(\Lac)=1-i\ts$ for any 

2411: $i=1\lc l\ts$. The product displayed in Proposition \ref{P4.1}

2412: then equals

2413: \bege\label{times}

2414: \prod_{i=1,...,\ts l}^{\longleftarrow}\!

2415: \frac

2416: {z^{\ts-1} w\ts-\ts q^{\,2-2i}\,\Xb_i\ts\,X_{\ts i+m}^{\ts-1}}

2417: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2418: \ \cdot\ \FM\ts\FLcb\,.

2419: \ende

2420: We will prove by induction on $l=1\com2\com\ts\ldots$ that

2421: the product (\ref{times}) equals

2422: \bege\label{etimes}

2423: \prod_{i=1,...,\ts l}\!

2424: \frac

2425: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts i+m}^{\ts-1}}

2426: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2427: \ \cdot\ \FM\ts\FLcb\,.

2428: \ende

2429: The elements  $X_{\ts m+1}\lc X_{\ts l+m}\in H_{\ts l+m}$ pairwise 

2430: commute, hence the ordering of the factors corresponding to $i=1\lc l$

2431: in the product (\ref{etimes}) is irrelevant. Theorem \ref{T4.5}

2432: will then follow in our special case.

2433: Indeed, let $Z_\xi$ be the minimal central idempotent in the

2434: algebra $H_{\ts l+m}$ corresponding to the partition $\xi\ts$. 

2435: Using Proposition \ref{P4.1} together with the equality between

2436: (\ref{times}) and (\ref{etimes}), we get

2437: \[

2438: J\ts(\ts Z_\xi\ts F_{\ts\Lac}\FMb)\,=\,

2439: Z_\xi\,\SLMpc\ts(z\com w)\ts\FM\ts\FLcb\,T_\tau^{\ts-1}\,=

2440: \]\[

2441: T_\tau\ts Z_\xi\ \cdot\ns

2442: \prod_{i=1,...,\ts l}\!

2443: \frac

2444: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts i+m}^{\ts-1}}

2445: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2446: \ \cdot\ \FM\ts\FLcb\,T_\tau^{\ts-1}\,=

2447: \]\[

2448: T_\tau\ts Z_\xi\ \cdot\ns

2449: \prod_{i=1,...,\ts l}\!

2450: \frac

2451: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts i+m}^{\ts-1}}

2452: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2453: \ \ \times

2454: \]\[ 

2455: \prod_{j=1,...,\ts m}\,

2456: \frac

2457: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\ts X_j^{\ts-1}}

2458: {z^{\ts-1} w\ts-\ts q^{\,2-2l-2c_j(\Mu)}}

2459: \ \cdot\ \FM\ts\FLcb\,T_\tau^{\ts-1}\,=

2460: \]\[

2461: T_\tau\ts Z_\xi\ \cdot\ns

2462: \prod_{i=1,...,\ts l}\!

2463: \frac

2464: {z^{\ts-1} w\ts-\ts q^{\,2-2l-2c_{i+m}(\Xi)}}

2465: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2466: \ \ \times

2467: \]\[ 

2468: \prod_{j=1,...,\ts m}\,

2469: \frac

2470: {z^{\ts-1} w\ts-\ts q^{\,2-2l-2c_j(\Xi)}}

2471: {z^{\ts-1} w\ts-\ts q^{\,2-2l-2c_j(\Mu)}}

2472: \ \cdot\ \FM\ts\FLcb\,T_\tau^{\ts-1}\,=

2473: \]

2474: \bege\label{num}

2475: \prod_{a=1,...,\ts l}\!

2476: \frac

2477: {z^{\ts-1} w\ts-\ts q^{\,2\ts i_a-\ts2l\ts-\ts2\ts\mu_{i_a}}}

2478: {z^{\ts-1} w\ts-\ts q^{\,2-2a}}

2479: \ \cdot\ 

2480: Z_\xi\ts F_{\ts\Lac}\FMb\,=\,

2481: r_\xi\ts(z\com w)\,Z_\xi\ts F_{\ts\Lac}\FMb\,,

2482: \ende

2483: as Theorem \ref{T4.5} claims.

2484: Here we used the counterparts of the relations

2485: (\ref{4.0}) for the standard tableau $\Mu$ and $\Xi$

2486: instead of $\La$, cf.\ our proof of Corollary \ref{C3.6}.

2487: 

2488: Now let us prove the equality between (\ref{times}) and (\ref{etimes}).

2489: We have $X_1=1$ by definition, hence that equality

2490: is obvious when $l=1\ts$. Suppose that $l>1$. The numerator

2491: of the fraction 

2492: in (\ref{times}) corresponding to the index $i=1\ts$, equals

2493: \bege\label{along}

2494: z^{\ts-1} w\ts-\ts X_{\ts m+1}^{\ts-1}\,=\,

2495: z^{\ts-1} w\ts-\ts T_m^{\ts-1}\ns\ldots\ts T_1^{\ts-1}\,T_1^{\ts-1}\ns\ldots\ts T_m^{\ts-1}\,. 

2496: \ende

2497: In our special case, we have the relations in 

2498: the algebra $H_{\ts l+m}$

2499: \[

2500: T_{\ts m+i}\,\FLcb\ts=\ts-\ts q^{\ts-1}\,\FLcb\

2501: \quad\textrm{for}\ \quad 

2502: i=1\lc l-1\ts.

2503: \endd

2504: Using these relations along with the equality (\ref{along}), we obtain

2505: \[

2506: (\ts z^{\ts-1} w\ts-\ts X_{\ts m+1}^{\ts-1}\ts)\,\FLcb\,=

2507: \]

2508: \bege\label{get}

2509: (-\ts q)^{\ts l-1}\,

2510: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\,

2511: (\ts z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts l+m}^{\ts-1}\ts)

2512: \,\FLcb\,.

2513: \ende

2514: Further, for any $i=2\lc l$ the elements $T_1\lc T_{i-2}$

2515: commute with the Murphy element $X_i\in H_l\ts$. So

2516: the elements $T_{\ts m+1}\lc T_{\ts i+m-2}$ commute with 

2517: $\Xb_i\in H_{\ts l+m}\ts$; they also commute with $X_{\ts i+m}\ts$.  

2518: Therefore for $i=2\lc l$ we have 

2519: \[

2520: \Xb_i\,X_{\ts i+m}^{\ts-1}\,T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\,=

2521: \]\[

2522: T_{\ts m+1}\ldots\ts T_{\ts i+m-2}\,\Xb_i\,X_{\ts i+m}^{\ts-1}\,

2523: T_{\ts i+m-1}\ldots\ts T_{\ts l+m-1}\,=\,

2524: T_{\ts m+1}\ldots\ts T_{\ts i+m-2}\ \times

2525: \]\[

2526: T_{\ts i+m-1}\ldots\ts T_{\ts m+1}\,

2527: T_m^{\ts-1}\ns\ldots\ts T_1^{\ts-1}\,

2528: T_1^{\ts-1}\ns\ldots\ts T_{\ts i+m-1}^{\ts-1}\,

2529: T_{\ts i+m-1}\,T_{\ts i+m}\ldots\ts T_{\ts l+m-1}\,=\

2530: \]\[

2531: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\,

2532: T_{\ts i+m-2}\,\ldots\ts T_{\ts m+1}\,

2533: T_m^{\ts-1}\ns\ldots\ts T_1^{\ts-1}\,

2534: T_1^{\ts-1}\ns\ldots\ts T_{\ts i+m-2}^{\ts-1}\,=

2535: \]\[

2536: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\,\Xb_{\ts i-1}\,X_{\ts i+m-1}^{\ts-1}\,.

2537: \endd

2538: Therefore by using the equality (\ref{get}),

2539: the product (\ref{times}) equals

2540: \[

2541: (-\ts q)^{\ts l-1}\,

2542: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\ \cdot\ns

2543: \prod_{i=2,...,\ts l}^{\longleftarrow}

2544: \frac

2545: {z^{\ts-1} w\ts-\ts q^{\,2-2i}\,\Xb_{\ts i-1}\ts\,X_{\ts i+m-1}^{\ts-1}}

2546: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}\ \ \times

2547: \]\[

2548: \frac

2549: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts m+l}^{\ts-1}}

2550: {z^{\ts-1} w\ts-\ts 1}

2551: \ \cdot\ \FM\ts\FLcb\,=\,

2552: (-\ts q)^{\ts l-1}\,

2553: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\ \ \times

2554: \]\[

2555: \prod_{i=2,...,\ts l}^{\longleftarrow}\!

2556: \frac

2557: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts i+m-1}^{\ts-1}}

2558: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}\ \cdot\ 

2559: \frac

2560: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts m+l}^{\ts-1}}

2561: {z^{\ts-1} w\ts-\ts 1}

2562: \ \cdot\ \FM\ts\FLcb\,=

2563: \]

2564: \bege\label{last}

2565: (-\ts q)^{\ts l-1}\,

2566: T_{\ts m+1}\ldots\ts T_{\ts l+m-1}\ \cdot\ns

2567: \prod_{i=1,...,\ts l}^{\longleftarrow}\!

2568: \frac

2569: {z^{\ts-1} w\ts-\ts q^{\,2-2l}\,X_{\ts i+m}^{\ts-1}}

2570: {z^{\ts-1} w\ts-\ts q^{\,2-2i}}

2571: \ \cdot\ \FM\ts\FLcb\,.

2572: \ende

2573: Here we used the equality between the counterparts of 

2574: the products (\ref{times})~and (\ref{etimes}) for $l-1$

2575: instead of $l$ and for $q^{\,2}z^{\ts-1} w$ instead of $z^{\ts-1}\ts w$,

2576: which we have by the inductive assumption. We also used

2577: commutativity of the Murphy element $X_{\ts l+m}$ with

2578: $T_{\ts m+1}\lc T_{\ts l+m-2}\ts$.

2579: To establish the equality between the products 

2580: (\ref{times})~and (\ref{etimes}) themselves,

2581: it now remains to observe that the product over 

2582: $i=1\lc l$ in the line (\ref{last}) is symmetric

2583: in $X_{\ts m+1}\lc X_{\ts l+m}$ and therefore commutes with

2584: $T_{\ts m+1}\lc T_{\ts l+m-1}\ts$; cf.\ remark

2585: after our proof of Corollary \ref{C3.6}.

2586: 

2587: Thus we have proved Theorem \ref{T4.5}

2588: when each non-zero part of $\la$ is $1\ts$. Now let $\la$

2589: be an arbitrary partition of $l\ts$. Consider the element 

2590: $\Qlab\ts G_{\ts\Xi}\in H_{\ts l+m}\ts$.

2591: Due to Proposition \ref{P4.4}, this element is divisible on the

2592: left by $\FM\ts\FLcb\ts$. The element

2593: \bege\label{D}

2594: \al_{\ts l+m}\ts(\Qlab\ts G_{\ts\Xi}\ts)\,\FM\ts\FLcb\,T_\tau^{\ts-1}

2595: \,=\,

2596: \al_{\ts l+m}\ts(G_{\ts\Xi}\ts)\,\Qlab\,T_\tau^{\ts-1} F_{\Lac}\ts \FMb

2597: \ende

2598: is non-zero, and

2599: belongs to the left ideal $W\subset H_{\ts l+m}\ts$.

2600: % generated by the product $F_{\Lac}\ts\FMb\ts$. 

2601: Further, the element (\ref{D}) belongs to the irreducible component 

2602: of the  $H_{\ts l+m}\ts$-module $W$ equivalent to $V_\xi\ts$.

2603: Thus (\ref{D}) is an eigenvector of the operator $J:W\to W$

2604: with the eigenvalue $r_\xi\ts(z\com w)\ts$.

2605: On other hand, due to Proposition \ref{P4.1} the

2606: image of (\ref{D}) under the operator $J$ equals

2607: \[

2608: \al_{\ts l+m}\ts(G_{\ts\Xi}\ts)\,\Qlab\ \,\cdot\!

2609: \prod_{i=1,...,\ts l}^{\longleftarrow}\!

2610: \frac

2611: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}\,\Xb_i\ts\,X_{\ts i+m}^{\ts-1}}

2612: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2613: \ \,\cdot\,\ \FM\ts\FLcb\ \,=

2614: \]

2615: \bege\label{4c}

2616: \al_{\ts l+m}\ts(G_{\ts\Xi}\ts)\,\Qlab\ \,\cdot\!

2617: \prod_{i=1,...,\ts l}\!

2618: \frac

2619: {z^{\ts-1} w\ts-\ts q^{\,4c_i(\La)}\,X_{\ts i+m}^{\ts-1}}

2620: {z^{\ts-1} w\ts-\ts q^{\,2c_i(\La)}}

2621: \ \,\cdot\,\ \FM\ts\FLcb\,.

2622: \ende

2623: To obtain the latter equality we used the relations (\ref{ela}), the 

2624: divisibility of the element $\al_{\ts l+m}\ts(G_{\ts\Xi}\ts)\ts\Qlab$

2625: on the right by $\ELcb\ts$, and the commutativity of the element

2626: $\Xb_i$ with the Murphy elements $X_{\ts i+m+1}\lc X_{l+m}$ for

2627: any $i=1\lc l\ts$. Here $\ELcb$ denotes the image of the

2628: element $E_{\Lac}\in H_l$ 

2629: under the embedding $H_l\to H_{\ts l+m}:T_i\mapsto T_{\ts i+m}\ts$. 

2630: The factors in the product

2631: (\ref{4c}) corresponding to the indices 

2632: $i=1\lc l\ts$ pairwise commute, hence their ordering is 

2633: irrelevant.

2634: 

2635: Due to Theorem \ref{T3.3}, the vector $\Qlab\ts G_{\ts\Xi}\in V_\xi$ 

2636: is a linear combination of the vectors $Q_{\ts\Xit}$ where $\Xit$

2637: is any standard tableaux of shape $\xi\ts$,

2638: obtained from $\Xi$ by a permutation 

2639: $\tau^{\ts-1}\ts\si\ts\tau\in S_{\ts l+m}\ts$ such that

2640: $

2641: \si\in S_{\las}\ns\subset S_l\subset S_{l+m}\,.

2642: $

2643: Now the expression (\ref{4c}) for the $J$-image of

2644: (\ref{D}) shows, that the eigenvalue $r_\xi\ts(z\com w)$ is

2645: multiplicative relative to the columns of the tableau $\Lac\ts$.

2646: Namely, by using Theorem \ref{T4.5} consecutively for

2647: the partitions of $\las_1\com\las_2\com\ts\ldots$ with each

2648: non-zero part being equal to $1$, we get

2649: \bege\label{final}

2650: r_\xi\ts(z\com w)

2651: \ =\

2652: \prod_{b=1}^{\la_1}\ 

2653: \prod_{a=1}^{\las_b}\ 

2654: \frac

2655: {\,z^{\ts-1} w\ts-\ts q^{\ts-2\ts(\ts\mu_{i_a}+\,\las_b-\,i_a-\,b\,+\,1)}}

2656: {z^{\ts-1} w\ts-\ts q^{\,2b-2a}}

2657: \ende

2658: as required. According to (\ref{4c}),

2659: the numerator in (\ref{final}) is obtained from the numerator in

2660: (\ref{num}) by changing $l\ts\com\ts\mu_{i_a}$ to 

2661: $\las_b\ts\com\ts\mu_{i_a}+b-1$ respectively, 

2662: and by increasing the exponential

2663: by $4\ts(b-\ns1)=4\ts c_k(\Lac)$ where $k=\Lac(1\com b)$

2664: \qed

2665: 

2666: Our next theorem is essentially a reformulation of Theorem \ref{T4.5}.

2667: Choose any sequence $j_1\lc j_{\la_1}\in\{1\ts,2\ts,\ts\ldots\}$

2668: of pairwise distinct indices; this sequence needs not to be increasing.

2669: Consider the partition $\mus$ conjugate to $\mu\ts$. Define~a sequence

2670: $\etas=(\ts\etas_{\,1}\com\ts\etas_{\,2}\ts\com\ts\ldots\,)$ by

2671: \[

2672: \etas_{\ts j_b}=\mus_{\ts j_b}+\las_b\,,\ \quad b=1\lc\la_1\,;

2673: \]\[

2674: \hspace{2.5pt}\etas_{\ts j}=\mu_j\,,\hspace{30pt}\ 

2675: \quad j\neq j_1\lc i_{\ts\la_1}\ts.

2676: \endd

2677: Suppose we have the inequalities

2678: $\etas_1\ge\etas_2\ge\ldots\,$, so that $\etas$ is a 

2679: partition of $l+m\ts$. Then define $\eta$ as the partition

2680: conjugate to $\etas\ts$. The $H_{\ts l+m}\ts$-module $W$ 

2681: has exactly one irreducible component equivalent to $V_\eta\ts$;

2682: this follows from the Littlewood-Richardson rule \cite[Section I.9]{MD}.

2683: Consider the corresponding eigenvalue $r_\eta\ts(z\com w)$ 

2684: of the operator $J:W\to W$.

2685: 

2686: \begin{theorem}\label{T4.6}

2687: {\bf\hskip-6pt.\hskip1pt}

2688: We have the equality

2689: \[

2690: r_\eta\ts(z\com w)\ =\

2691: \prod_{(a,b)}\ 

2692: \frac

2693: {\,z^{\ts-1} w\ts-\ts q^{\ts2\ts(\ts\la_a+\,\mus_{j_b}-\,a\,-\,j_b\,+\,1)}}

2694: {z^{\ts-1} w\ts-\ts q^{\,2b\ts-2a}}

2695: \endd

2696: where the product is taken over all nodes $(a\com b)$ of the Young

2697: diagram\/ {\rm(\ref{Yd})}.

2698: \end{theorem}

2699: 

2700: \textit{Proof.}\hskip6pt

2701: For any positive integer $l\ts$,

2702: the $\CC(q)\ts$-algebra $H_l$ may be also regarded 

2703: as an algebra over the field $\CC\subset\CC(q)\ts$.

2704: The assignments $q\mapsto q^{\ts-1}$ and $T_i\mapsto-\ts T_i$ for

2705: $i=1\lc l-1$ determine an involutive automorphism of $H_l$ as 

2706: $\CC\ts$-algebra.

2707: Denote by $\beta_{\ts l}$ this automorphism. For the minimal

2708: central idempotent $Z_\la$ of the semisimple $\CC(q)\ts$-algebra

2709: $H_l$ we have $\beta_{\ts l}\ts(Z_\la)=Z_{\las}\ts$; 

2710: this can be proved by by specializing $H_l$ at $q=1$ to the symmetric

2711: group ring $\CC\,S_l\ts$. Further, for any standard

2712: tableau $\La$ of shape $\la\ts$, define the standard tableau $\Las$

2713: of shape $\las$ by setting $\Las(b\com a)=\La\ts(a\com b)$ for

2714: all nodes $(a\com b)$ of the Young diagram (\ref{Yd}). Then 

2715: \[

2716: \beta_{\ts l}\ts(\FL)\ts=\ts(-1)^{\ts l\ts(l-1)/2}\ts F_{\Las}\,.

2717: \endd

2718: Indeed, the counterparts of the equalities 

2719: (\ref{ela}) for $F_{\Las}$

2720: instead of $\FL$ determine the element $F_{\Las}\in H_l$

2721: uniquely up

2722: to a factor from $\CC(q)\ts$, while $c_i(\Las)=-\ts c_i(\La)$

2723: and $\beta_{\ts l}(X_i)=X_i$ for $i=1\lc l\,$. We also

2724: use Proposition \ref{P2.3} and the equality

2725: \[

2726: \beta_{\ts l}\ts(T_0)\ts=\ts(-1)^{\ts l\ts(l-1)/2}\ts T_0\,.

2727: \]

2728: 

2729: Now consider the automorphism $\beta_{\ts l+m}$ of the $\CC\ts$-algebra

2730: $H_{\ts l+m}\ts$.

2731: Both sides of the equality to be proved in Theorem \ref{T4.6} depend on

2732: $z\com w$ as rational functions of $z^{\ts-1} w\ts$. Hence it suffices to 

2733: prove that equality only when $\beta_{\ts l+m}(z^{\ts-1} w)=z^{\ts-1} w\ts$.

2734: Our argument will be somewhat simpler then. By using (\ref{SLM}), we

2735: then get

2736: \[

2737: \beta_{\ts l+m}\ts(\ts\SLM(z\com w))\ts=\ts(-1)^{\ts l\ts m}\ts

2738: \SLMs(z\com w)\ts.

2739: \endd

2740: Note that we also have

2741: $\beta_{\ts l+m}\ts(T_\tau^{\ts-1})\ts=\ts(-1)^{\ts l\ts m}\,T_\tau^{\ts-1}\ts$.

2742: For any standard tableaux $\La$ and $\Mu$ of shapes $\la$ and $\mu$

2743: respectively, by definition we have the equality

2744: \[

2745: Z_\eta\,\FL\ts\FMb\,\SLM(z\com w)\,T_\tau^{\ts-1}

2746: \ts=\ts 

2747: r_\eta\ts(z\com w)\,Z_\eta\,\FL\ts\FMb\,.

2748: \endd

2749: By applying the automorphism $\beta_{\ts l+m}$ to both sides

2750: of this equality, we get

2751: \[

2752: Z_{\ts\eta^{\hspace{.5pt\ast}}}\ts

2753: F_{\Las}\ts\FMbs\,\SLMs(z\com w)\,T_\tau^{\ts-1}

2754: \ts=\ts 

2755: \beta_{\ts l+m}(\ts r_\eta\ts(z\com w))\,

2756: Z_{\ts\eta^{\hspace{.5pt\ast}}}\ts

2757: F_{\Las}\ts\FMbs\,.

2758: \endd

2759: Hence by using Theorem \ref{T4.5} for the partitions $\las,\mus$ and 

2760: $\etas$ instead of $\la,\mu$ and $\xi$ respectively, we get

2761: \[

2762: \beta_{\ts l+m}(\ts r_\eta\ts(z\com w))\ =\   

2763: \prod_{(a,b)}\ 

2764: \frac

2765: {\,z^{\ts-1} w\ts-\ts q^{\ts-2\ts(\ts\mus_{j_a}+\,\la_b-\,j_a-\,b\,+\,1)}}

2766: {z^{\ts-1} w\ts-\ts q^{\,2b-2a}}

2767: \endd

2768: where the product is taken over all nodes $(a\com b)$

2769: of the Young diagram of $\las\ts$. Equivalently, 

2770: this product may be also taken

2771: over all nodes $(b\com a)$ of the Young diagram of $\la\ts$.

2772: Exchanging the indices $a$ and $b$ in the last displayed

2773: equality, we then obtain Theorem \ref{T4.6} due to the involutivity

2774: of the mapping $\beta_{\ts l+m}$

2775: \qed

2776: 

2777: Let us now derive Corollary \ref{C1.1} as stated in the beginning of 

2778: this article. 

2779: We will use Theorems \ref{T4.5} and \ref{T4.6}

2780: in the simplest situation when

2781: $i_a=a$ for every $a=1\lc\la'_1$ and $j_b=j$ for every $b=1\lc \la_1\ts$.

2782: Then we have

2783: \[

2784: \xi=\la+\mu

2785: \quad\ \textrm{and}\ \quad

2786: \eta=(\las+\mus)^{\ts\ast}\,.

2787: \endd

2788: By Theorems \ref{T4.5} and \ref{T4.6}, then the ratio

2789: $r_\xi\ts(z\com w)\ts/\ts r_\eta\ts(z\com w)=h_{\la\mu}(z\com w)$

2790: equals the product of the fractions

2791: \bege\label{8}

2792: \frac

2793: {\,z^{\ts-1} w\ts-\ts q^{\ts-2\ts(\ts\mu_a+\,\las_b-\,a\,-\,b\,+\,1)}}

2794: {\,z^{\ts-1} w\ts-\ts q^{\ts2\ts(\ts\la_a+\,\mus_b-\,a\,-\,b\,+\,1)}}

2795: \ende

2796: taken over all nodes $(a\com b)$ of the Young diagram

2797: (\ref{Yd}) of $\la\ts$. Consider those nodes of (\ref{Yd}) 

2798: which do not belong to the Young diagram of $\mu\ts$.

2799: Those nodes form the \textit{skew Young diagram}

2800: \bege\label{om}

2801: \{\,(a\com b)\in\ZZ^{\ts2}\ |\ 1\le a\ts,\ \mu_a<b\le\,\la_a\,\}\,.

2802: \ende

2803: To obtain Corollary \ref{C1.1}, it now suffices to prove the following

2804: 

2805: \begin{proposition}\label{P4.7}

2806: {\bf\hskip-6pt.\hskip1pt}

2807: The product of the fractions\/ {\rm(\ref{8})}

2808: over all the nodes $(a\com b)$ of

2809: the skew Young diagram\/ {\rm(\ref{om})}, equals $1\ts$.

2810: \end{proposition}

2811: 

2812: \textit{Proof.}\hskip6pt

2813: For any integer $c\ts$, let us write $\langle c\ts\rangle$

2814: instead of $\,z^{\ts-1} w\ts-\ts q^{\ts 2c}\,$ for short.

2815: We will proceed by induction on the number of nodes

2816: in the skew Young diagram (\ref{om}). When the set (\ref{om})

2817: is empty, there is nothing to prove.

2818: Let $(i\com j)$ be any node of (\ref{om})

2819: such that by removing it from (\ref{Yd})

2820: we again obtain a Young diagram.

2821: Then $\la_i=j$ and $\las_j=i\ts$.

2822: By applying the inductive assumption to

2823: this Young diagram instead of (\ref{Yd}), 

2824: we have to show that the product

2825: \[

2826: \frac

2827: {\langle\,j-\mu_i-1\,\rangle}

2828: {\langle\,\mus_j-i+1\,\rangle}

2829: \ 

2830: \prod_{a\ts=\ts\mus_j+1}^{i-1}\,

2831: \frac

2832: {\langle\ts a+j-\mu_a-i-1\,\rangle}

2833: {\langle\ts a+j-\mu_a-i\,\rangle}

2834: \ 

2835: \prod_{b\ts=\ts\mu_i+1}^{j-1}\,\ts

2836: \frac

2837: {\langle\,j+\mus_b-i-b\,\ts\rangle}

2838: {\langle\,j+\mus_b-i-b+1\,\rangle}

2839: \endd

2840: equals $1\ts$. Denote this product by $p\ts$.

2841: Note that here $\mu_i<\la_i$ and $\mus_j<\las_j\ts$.

2842: 

2843: Suppose there is a node $(c\com d\ts)$ in (\ref{om}) with

2844: $\mu_i<d<\la_i$ and $\mus_j<c<\las_j\ts$, such that by adding this node

2845: to the Young diagram of $\mu$ we again obtain a Young diagram. 

2846: Then we have $\mu_c=d-1$ and $\mus_d=c-1\ts$.

2847: The counterpart of the product $p$

2848: for the last Young diagram instead of that of $\mu\ts$, 

2849: equals $1$ by the inductive assumption. The 

2850: equality $p=1$ then follows, by using the identity

2851: \[

2852: \frac

2853: {\langle\,j+c-i-d-1\,\rangle}

2854: {\langle\,j+c-i-d\,\rangle}

2855: \ \,\,

2856: \frac

2857: {\langle\,j+c-i-d+1\,\rangle}

2858: {\langle\,j+c-i-d\,\rangle}

2859: \ \,\,\times

2860: \]\[

2861: \frac

2862: {\langle\,j+c-i-d\,\rangle}

2863: {\langle\,j+c-i-d+1\,\rangle}

2864: \ \,\, 

2865: \frac

2866: {\langle\,j+c-i-d\,\rangle}

2867: {\langle\,j+c-i-d-1\,\rangle}

2868: \ \ts=\ \ts1\,.

2869: \]

2870: 

2871: It remains to consider the case when there is no node $(c\com d\ts)$ in

2872: (\ref{om}) with the properties listed above. Then we have

2873: $\mus_b=i-1$ for all $b=\mu_i+1\lc j-1$

2874: and $\mu_a=j-1$ for all $a=\mus_j+1\lc i-1\ts$.

2875: The product $p$ then equals

2876: \[

2877: \frac

2878: {\langle\,j-\mu_i-1\,\rangle}

2879: {\langle\,\mus_j-i+1\,\rangle}

2880: \ \,\,

2881: \frac

2882: {\langle\ts0\ts\rangle}

2883: {\langle\,j-\mu_i-1\,\rangle}

2884: \ \,\,

2885: \frac

2886: {\langle\,\mus_j-i+1\,\rangle}

2887: {\langle\ts0\ts\rangle}

2888: \ \ts=\ts\ 1

2889: \qed

2890: \]

2891: 

2892: Finally, let us show how the formula (\ref{hff}) 

2893: can be derived from Theorem~\ref{T4.5}. The element

2894: $h_\la(q)\in\CC(q)$ on the left hand side of (\ref{hff}) 

2895: will be determined by the relation $\EL^{\,2}=h_\la(q)\EL$ in $H_l\ts$,

2896: where $\La$ is any standard tableau of shape~$\la\ts$.

2897: Below we actually prove another formula for $h_\la(q)$ which is

2898: equivalent~to~(\ref{hff}).

2899: 

2900: \begin{corollary}\label{C4.8}

2901: {\bf\hskip-6pt.\hskip1pt}

2902: We have the equality

2903: \bege\label{hf}

2904: h_\la(q)\ \ts=\,\prod_{(a,b)}\,\ts

2905: \frac

2906: {\ts1-q^{\ts-2\ts(\la_a+\ts\las_b\ts-\ts a\ts-\ts b\ts+\ts1)}}

2907: {\ts1-q^{\ts-2}\hspace{72pt}}

2908: \,\ \cdot\ \, 

2909: q^{\,\ts\las_1(\las_1-1)\,+\,\las_2(\las_2-1)\,+\,\ldots}

2910: \ende

2911: where the product is taken over all nodes $(a\com b)$ of the 

2912: Young diagram {\rm(\ref{Yd})}.

2913: \end{corollary}

2914: 

2915: \textit{Proof.}\hskip6pt

2916: We will use induction on $\la_1\ts$, the longest part

2917: of the partition $\la\ts$. First, suppose that

2918: $\la_1=1\ts$. Then each non-zero part of $\la$ equals $1$,

2919: and there is only one standard tableau $\La$ of shape $\la\ts$.

2920: In this case, let us write $h_l(q)$ and $E_{\ts l}$ instead of 

2921: $h_\la(q)$ and $\EL$ respectively. Using (\ref{2.0}) and

2922: Theorem \ref{T2.2},

2923: \[

2924: E_{\ts l}\ts\,=\ts\,\prod_{(i,j)}^{\longrightarrow}\ 

2925: \biggl(\,

2926: T_{j-i}+\frac{q-q^{\ts-1}}{q^{\,2\ts i-2j}-1}

2927: \,\biggr)

2928: \ts\,\cdot\ts\,T_0^{\ts-1}

2929: \endd

2930: where the pairs $(i\com j)$ with $1\le i<j\le l$ are ordered 

2931: lexicographically. By Proposition \ref{P2.5}, we have 

2932: $T_k\,E_{\ts l}=-\ts q^{\ts-1}\,E_{\ts l}$ for each index $k=1\lc l-1\ts$.

2933: So

2934: \[

2935: h_l(q)\,\ts=\ts\prod_{(i,j)}\,

2936: \biggl(\,\ts

2937: \frac{q-q^{\ts-1}}{q^{\,2\ts i-2j}-1}

2938: -q^{\ts-1}

2939: \biggr)

2940: \,\cdot\,(-\ts q)^{\ts{l\ts(l-1)}/2}

2941: \,\ts=\,\,

2942: q^{\ts l(l-1)}\ts

2943: \prod_{k=1}^l\ts

2944: \frac{\ts 1-q^{\ts-2k}}

2945: {1-q^{\ts-2}\,\ts}\ .

2946: \endd

2947: Thus we have the induction base.

2948: To make the induction step, suppose that

2949: (\ref{hf}) is true for some partition $\la$ of $l\ts$.

2950: Take any positive integer $m$ such that

2951: $m\le\las_b\ts$ for every $b=1\lc\la_1\ts$.

2952: Let us show that then the counterpart of the equality

2953: (\ref{hf}) is true for the partition of $l+m$

2954: \[

2955: \theta\ts=\ts(\,\la_1+1\lc\la_m+1\com\ts\la_{m+1}\com\ts\la_{m+2}

2956: \ts\com\ts\ldots\,)\,.

2957: \]

2958: 

2959: Choose any standard tableau $\La$ of shape $\la\ts$.

2960: Put $\mu=(1\lc\ns1\com0\com0\com\ts\ldots\,)$ so that

2961: $\theta=\la+\mu$. In this case, there is

2962: only one standard tableau $\Mu$ of shape $\mu\ts$. 

2963: Let $\Theta$ be the unique standard tableau of shape $\theta$

2964: agreeing with $\La$ in the entries $1\lc l\ts$; the numbers 

2965: $l+1\lc l+m$ then appear in the column $\la_1+1$ of the tableau

2966: $\Theta\ts$. Consider the eigenvalue $r_\theta\ts(z\com w)$ 

2967: of the operator $J$. We have

2968: \bege\label{l=r}

2969: E_{\ts\Theta}\ts\FL\FMb\,\SLM(z\com w)

2970: \,=\,

2971: r_\theta\ts(z\com w)\,E_\Theta\ts\FL\FMb\,T_\tau\,.

2972: \ende

2973: Using Theorem \ref{T2.2} 

2974: and its counterpart for the tableau $\Theta$ instead of $\La\ts$, 

2975: the element $F_\Theta\in H_{\ts l+m}$ is divisible

2976: on the left by the element $\FL\ts$. Therefore

2977: the element $E_{\ts\Theta}\in H_{\ts l+m}$ is divisible

2978: on the right by the element $\EL\ts$.

2979: Similarly, $E_{\ts\Theta}$ is divisible

2980: on the right by the image $\EMb$ of the element

2981: $E_{\ts\Mu}\in H_m$ under the embedding

2982: $H_l\to H_{\ts l+m}:T_i\mapsto T_{\ts i+m}\ts$. So

2983: the right hand side of (\ref{l=r}) equals

2984: \[

2985: h_\la(q)\,h_m(q)\,r_\theta\ts(z\com w)\,F_\Theta\,.

2986: \endd

2987: But, by again

2988: using Theorem \ref{T2.2} and its counterpart for the tableau

2989: $\Theta$ instead of $\La\ts$, the left hand side of (\ref{l=r}) 

2990: takes at $z=1$ and $w=q^{\,2\la_1}$ the value

2991: \[

2992: E_{\ts\Theta}\ts F_\Theta\,=\,h_\theta\ts(q)\ts F_\Theta\,.

2993: \endd

2994: Hence the equality (\ref{l=r}) of rational functions in $z$ and $w$

2995: implies that 

2996: \bege\label{imp}

2997: h_\theta\ts(q)\,=\,h_\la(q)\,h_m(q)\,r_\theta\ts(1\com q^{\,2\la_1})\,

2998: \end{equation}

2999: 

3000: The factor $r_\theta\ts(1\com q^{\,2\la_1})$ in (\ref{imp})

3001: can be computed by using Theorem \ref{T4.5} when $i_a=a$ for each

3002: $a=1\lc \las_1\ts$. 

3003: The rational function $r_\theta\ts(z\com w)$ of $z$ and $w$ 

3004: can then be written as the product over $b=1\lc\la_1$ of the functions

3005: \bege\label{run}

3006: \prod_{a=1}^m\,\ 

3007: \frac

3008: {\ts z^{\ts-1} w-q^{\ts2\ts(a+b-\las_b-2)}}

3009: {z^{\ts-1} w-q^{\ts2\ts(b-a)}}

3010: \prod_{a=m+1}^{\las_b}

3011: \frac

3012: {\ts z^{\ts-1} w-q^{\ts2\ts(a+b-\las_b-1)}}

3013: {z^{\ts-1} w-q^{\ts2\ts(b-a)}}\ .

3014: \ende

3015: After changing the running index $a$ to 

3016: $\las_b-a+1$ in both denominators in (\ref{run}),

3017: the product over $a=m+1\lc\las_b$ in (\ref{run}) cancels. Therefore

3018: \[

3019: r_\theta\ts(z\com w)\ \,\ts=\ \ts

3020: \prod_{a=1}^m\ 

3021: \prod_{b=1}^{\la_1}\,\ 

3022: \frac

3023: {\ts z^{\ts-1} w-q^{\ts2\ts(a+b-\las_b-2)}}

3024: {z^{\ts-1} w-q^{\ts2\ts(a+b-\las_b-1)}}\ .

3025: \endd

3026: Using (\ref{imp}) together with the last expression for the function

3027: $r_\theta\ts(z\com w)$ we get

3028: \[

3029: h_\theta\ts(q)\ \ts=\ts\ h_\la(q)\,h_m(q)\ 

3030: \prod_{a=1}^m\ 

3031: \prod_{b=1}^{\la_1}\ 

3032: \frac

3033: {\ts1-q^{\ts-2\ts(\la_1+\las_b-a-b+2)}}

3034: {\ts1-q^{\ts-2\ts(\la_1+\las_b-a-b+1)}}

3035: \]\[

3036: =\ts\ 

3037: \prod_{(c,d)}\,\ts

3038: \frac

3039: {\ts1-q^{\ts-2\ts(\theta_c\ts+\,\thetas_d\ts-\ts c\ts-\ts d\ts+\ts1)}}

3040: {\ts1-q^{\ts-2}\hspace{72pt}}

3041: \,\ \cdot\ \, 

3042: q^{\,\ts\thetas_1(\thetas_1-1)\,+\,\thetas_2(\thetas_2-1)\,+\,\ldots}

3043: \endd

3044: where $(c\com d\ts)$ is ranging over all nodes of 

3045: the Young diagram of the partition~$\theta\ts$.

3046: Here we used the expression for $h_m(q)$ provided by the induction

3047: base, and the formula (\ref{hf}) for $h_\la(q)$

3048: which is true by the inductive assumption.

3049: Thus we have made the induction step

3050: \qed

3051: 

3052: \textit{Remark.}\hskip6pt

3053: Corollary 1.1 shows that the $H_{\ts l+m}\ts$-module $W$

3054: is reducible, if 

3055: \[

3056: \ziw\ts=\ts q^{\ts-2\ts(\ts\mu_a\ts+\,\las_b-\,a\,-\,b\,+\,1)}

3057: \ \quad\textrm{or}\ \quad

3058: \ziw\ts=\ts q^{\ts2\ts(\la_a\ts+\,\mus_b-\,a\,-\,b\,+\,1)}

3059: \endd

3060: for some node $(a\com b)$ in the intersection of the Young

3061: diagrams of $\la$ and $\mu\ts$. The irreducibility criterion for the 

3062: $\Hh_{\ts l+m}\ts$-module $W$ was given in \cite{LNT}. Namely, 

3063: the $\Hh_{\ts l+m}\ts$-module 

3064: $W$ is reducible if

3065: and only if $\ziw\ts\in q^{\,2\ts\S}$ for some finite subset

3066: $\S\subset\ZZ$ explicitly described in \cite{LZ}.

3067: It would be interesting to point out for each

3068: $\ziw\in q^{\,2\ts\S}$ a partition $\nu$ of $l+m\ts$,

3069: such that $W$ as $H_{\ts l+m}\ts$-module 

3070: has exactly one irreducible component equivalent to $V_\nu\,$, 

3071: and that the rational function value 

3072: $r_{\la+\mu}(z\com w)\ts/\ts r_\nu(z\com w)$ is either $0$ or $\infty$

3073: \qed

3074: 

3075: \begin{ack}

3076: I finished this article while visiting Kyoto University.

3077: I am grateful to Tetsuji Miwa for hospitality, and to

3078: the Leverhulme Trust for supporting this visit.

3079: This article is a continuation of our joint work \cite{LNT} with

3080: Bernard Leclerc and Jean-\ns\ns Yves Thibon. I am grateful to them 

3081: for fruitful collaboration, and for discussion of the present work. 

3082: I am particularly indebted to Alain Lascoux. It is his chivalrous

3083: mind that has rendered the collaboration on \cite{LNT} possible.

3084: \end{ack}

3085: 

3086: %========================================================================

3087: 

3088: \begin{thebibliography}{000}

3089: 

3090: \bibitem{C}

3091: {I.\,Cherednik},

3092: \textit{A new interpretation of Gelfand-Zetlin bases},

3093: {Duke Math.\,J.}

3094: {\bf 54}

3095: (1987),

3096: 563--577.

3097: 

3098: \bibitem{D}

3099: V.\,Drinfeld,

3100: \textit{Degenerate affine Hecke algebras and Yangians},

3101: Funct.\,Anal.\,Appl.

3102: {\bf 20}

3103: (1986),

3104: 56--58.

3105: 

3106: \bibitem{FRT} % \cite[Example I.5.2]{M}

3107: {J.\,Frame, G.\,Robinson and R.\,Thrall},

3108: \textit{The hook graphs of $S_n$},

3109: {Canad.\,J.\,Math.}

3110: {\bf 6}

3111: (1954),

3112: 316--324.

3113: 

3114: \bibitem{JAG}

3115: {A.\,Green},

3116: \textit{On the Steinberg characters of finite Chevalley groups},

3117: {Math.\,Z.}

3118: {\bf 117}

3119: (1970),

3120: 272--288.

3121: 

3122: \bibitem{G}

3123: {A.\,Gyoja},

3124: \textit{A q-analogue of Young symmetrizer},

3125: {Osaka J.\,Math.}

3126: {\bf 23}

3127: (1986),

3128: 841--852.

3129: 

3130: \bibitem{GU}

3131: {A.\,Gyoja and K.\,Uno},

3132: \textit{On the semisimplicity of Hecke algebras},

3133: {J.\,Math.\,Soc. Japan}

3134: {\bf 41}

3135: (1989),

3136: 75--79.

3137: 

3138: \bibitem{JN}

3139: A.\,Jones and M.\,Nazarov, 

3140: \textit{Affine Sergeev algebra and $q$-analogues of the Young 

3141: symmetrizers for projective representations of the symmetric group}, 

3142: {Proc. London Math.\,Soc.}

3143: {\bf 78}

3144: (1999), 

3145: 481--512.

3146: 

3147: \bibitem{J}

3148: {A.\,Jucys},

3149: \textit{Symmetric polynomials and the centre of the symmetric group

3150: ring\/},

3151: {Rep.\,Math.\,Phys.}

3152: {\bf 5}

3153: (1974),

3154: 107--112.

3155: 

3156: \bibitem{LLT}

3157: {A.\,Lascoux, B.\,Leclerc and J.-\ns Y.\,Thibon},

3158: \textit{Flag varieties and the Yang-Baxter equation},

3159: {Lett.\,Math.\,Phys.}

3160: {\bf40}

3161: (1997), 

3162: 75--90.

3163: 

3164: \bibitem{LNT}

3165: {B.\,Leclerc, M.\,Nazarov and J.-\ns Y.\,Thibon},

3166: \textit{Induced representations of affine Hecke algebras

3167: and canonical bases of quantum groups}, 

3168: {Progress in Math.}

3169: {\bf 210}

3170: (2003),

3171: 115--153.

3172: 

3173: \bibitem{LZ}

3174: {B.\,Leclerc and A.\,Zelevinsky}, 

3175: \textit{Quasicommuting families

3176: of quantum Pl\"ucker coordinates},

3177: {Amer.\,Math.\,Soc.\,Translations}

3178: {\bf 181} 

3179: (1998), 

3180: 85--108.

3181: 

3182: \bibitem{L}  

3183: G.\,Lusztig,

3184: \textit{Affine Hecke algebras and their graded version},

3185: {J.\,Amer.\,Math.\,Soc.}

3186: {\bf2} 

3187: (1989),   

3188: 599--635.

3189: 

3190: \bibitem{MD}   

3191: {I.\,Macdonald},

3192: \textit{Symmetric Functions and Hall Polynomials},

3193: Clarendon Press, Oxford, 1979.

3194: 

3195: \bibitem{M}

3196: {G.\,Murphy},

3197: \textit{On the representation theory of the symmetric groups

3198: and associated Hecke algebras},

3199: {J.\,Algebra}

3200: {\bf 152}

3201: (1992),

3202: 492--513.

3203: 

3204: \bibitem{N}

3205: {M.\,Nazarov},

3206: \textit{Mixed hook-length formula for degenerate affine Hecke algebras},

3207: {Lecture Notes in Math.}

3208: {\bf 1815}

3209: (2003), 

3210: 223--236.

3211: 

3212: \bibitem{R}

3213: {J.\,Rogawski},

3214: \textit{On modules over the Hecke algebra of a $p$-adic group},

3215: {Invent. Math.}

3216: {\bf 79}

3217: (1985), 

3218: 443--465.

3219: 

3220: \bibitem{S}

3221: {R.\,Steinberg},

3222: \textit{A geometric approach to the representations of the full linear

3223: group over a Galois field},

3224: {Transactions Amer.\,Math.\,Soc.}

3225: {\bf 71}

3226: (1951),

3227: 274--282.

3228: 

3229: \bibitem{Y1}

3230: {A.\,Young},

3231: \textit{On quantitative substitutional analysis I\/} and \textit{II},

3232: {Proc.\,London Math. Soc.}

3233: {\bf 33}

3234: (1901),

3235: 97--146

3236: and

3237: {\bf 34}

3238: (1902),

3239: 361--397.

3240: 

3241: \bibitem{Y2}

3242: {A.\,Young},

3243: \textit{On quantitative substitutional analysis VI},

3244: {Proc.\,London Math.\,Soc.}

3245: {\bf 34}

3246: (1932),

3247: 196--230.

3248: 

3249: \bibitem{Z}

3250: {A.\,Zelevinsky},

3251: \textit{Induced representations of reductive $p\ts$-adic groups II},

3252: {Ann.\,Sci. Ec.\,Norm.\,Super.}

3253: {\bf 13}

3254: (1980),

3255: 165--210.

3256: 

3257: \end{thebibliography}

3258: 

3259: %========================================================================

3260: 

3261: \end{document}

3262: 

3263: %========================================================================

3264: 

3265: The elements $\FL$ and $\GL$ of $H_l$ admit the following interpretation

3266: in terms of the representation theory of the affine Hecke algebra 

3267: $\Hh_l\ts$. This interpretation goes back to \cite[Section 3]{C}.

3268: For each index $i=1\lc l-1$ put

3269: \[

3270: \Phi_i\,=\,T_{i}+\frac{q-q^{\ts-1}}{\ts Y_{i}Y_{i+1}^{\ts-1}-1\ts}\,.

3271: \endd

3272: The elements $\Phi_1\lc\Phi_{l-1}$ belong to the localisation

3273: of the algebra $\Hh_l$ by its central element

3274: \[

3275: \prod_{1\le i<j\le l}\,(\ts Y_i-Y_j\ts)^2.

3276: \endd

3277: 

3278: As a direct calculation using (\ref{1.1})\ts--\ts(\ref{1.5}) shows,

3279: these elements satisfy % the relations

3280: \bege\label{Ph1}

3281: \Phi_i\ts\Phi_{i+1}\ts\Phi_i\ts=\ts\Phi_{i+1}\ts\Phi_i\ts\Phi_{i+1}\,;

3282: \ende

3283: \bege\label{Ph2}

3284: \Phi_i\ts\Phi_j\ts=\ts\Phi_j\ts\Phi_i\,, 

3285: \ \quad

3286: j\neq i\com i+1\,;

3287: \ende

3288: \bege\label{Ph3}

3289: \Phi_i^{\ts2}\ts=\ts

3290: 1-\frac{\ts(q-q^{\ts-1})^2\ts Y_i\ts Y_{i+1}\ts}{(Y_i-Y_{i+1})^2}\,.

3291: \ende

3292: Given a permutation $\si\in S_l$ and

3293: any reduced decomposition $\si=\si_{i_1}\ldots\ts\si_{i_L}\ts$,

3294: put $\Phi_\si=\Phi_{i_1}\ldots\ts\Phi_{i_L}\ts$.

3295: Here the product $\Phi_\si$ does not depend on the choice of reduced 

3296: decomposition of $\si$ due to the relations (\ref{Ph1}) and (\ref{Ph2}). 

3297: Then we have

3298: \bege\label{PhY}

3299: \Phi_\si Y_k=Y_{\si(k)}\,\Phi_\si

3300: \ \quad\textrm{for}\ \quad

3301: k=1\lc l\,.

3302: \ende

3303: The relation (\ref{PhY}) follows from its particular cases when

3304: $\si=\si_1\lc\si_{l-1}\ts$. In each of these cases 

3305: the relation (\ref{PhY}) is easily

3306: verified using (\ref{1.4}) and (\ref{1.5}).

3307: 

3308: Now take any character $\chi$ of the commutative subalgebra in $\Hh_l$

3309: consisting of all Laurent polynomials in $Y_1\lc Y_l\ts$. In fact, this

3310: subalgebra is maximal commutative \cite{?}, but we shall not use the

3311: maximality here. 

3312: The character $\chi$ is determined by its values

3313: $\chi(Y_1)\lc\chi(Y_l)$ which are non-zero elements of $\CC(q)\ts$.

3314: It is called \textit{generic} if ...

3315: 

3316: %========================================================================

3317: