1: %%% October 4, 2001

2: 

3: \input amstex 

4: \documentstyle{amsppt} 

5: \magnification=1200 

6: \voffset -1cm

7: 

8: \input epsf.sty

9: 

10: \NoBlackBoxes

11:  

12: \loadbold

13:  

14: \TagsOnRight 

15: \NoRunningHeads 

16:  

17: \def\la{\lambda} 

18: \def\La{\Lambda} 

19: \def\om{\omega} 

20: \def\ep{\varepsilon} 

21: \def\de{\delta} 

22:  

23: \def\C{\Bbb C} 

24: \def\R{\Bbb R} 

25: \def\Y{\Bbb Y} 

26: \def\Z{\Bbb Z} 

27: \def\A{\Bbb A} 

28:  

29: \def\Tab{\operatorname{Tab}} 

30:  

31: \def\tht{\thetag} 

32: \def\wt{\widetilde} 

33: \def\wtT{\widetilde T} 

34: \def\wtL{\widetilde \La} 

35: \def\wtp{\wt p} 

36: \def\wth{\wt h} 

37: \def\wte{\wt e} 

38: \def\wtH{\wt H} 

39: \def\wtE{\wt E} 

40: \def\wts{\wt s} 

41: \def\wha{\widehat a} 

42: \def\whb{\widehat b} 

43: \def\half{\tfrac12} 

44: \def\dh{\downharpoonright} 

45: \def\sq{{\ssize\square}} 

46: \def\ssq{{\sssize\square}} 

47: \def\const{\operatorname{const}} 

48: \def\T{\Cal T}  

49: \def\sgn{\operatorname{sgn}} 

50: 

51: \def\bp{\boldkey p}

52:  

53: \def\fp#1#2{#1^{\downarrow\,#2}} 

54:  

55:  

56: \topmatter 

57: \title Frobenius--Schur functions \endtitle 

58: \author Grigori Olshanski, Amitai Regev, and Anatoly Vershik \\ 

59: (with an appendix by Vladimir Ivanov) 

60: \endauthor 

61:  

62: \abstract We introduce and study a new basis in the algebra of 

63: symmetric functions. The elements of this basis are called the 

64: Frobenius--Schur 

65: functions ($FS$-functions, for short).

66: 

67: Our main motivation for studying the $FS$-functions is the fact that 

68: they enter 

69: a formula expressing the combinatorial dimension of a skew Young diagram in 

70: terms of the Frobenius coordinates. This formula plays a key role in the 

71: asymptotic character theory of the symmetric groups.    

72: The $FS$-functions are 

73: inhomogeneous, and their top homogeneous components coincide with the 

74: conventional Schur functions ($S$-functions, for short). The 

75: $FS$-functions are best described in the super realization of the 

76: algebra of symmetric functions. As supersymmetric functions, the 

77: $FS$-functions can be characterized as a solution to an interpolation 

78: problem. 

79: 

80: Our main result is a simple determinantal formula for the transition

81: coefficients between the $FS$- and $S$-functions. We also establish

82: the $FS$ analogs for a number of basic facts concerning the

83: $S$-functions: Jacobi--Trudi formula together with its dual form;

84: combinatorial formula (expression in terms of tableaux); Giambelli

85: formula and the Sergeev--Pragacz formula.  

86:  

87: All these results hold for a large family of bases 

88: interpolating between the $FS$-functions and the ordinary $S$-functions.  

89: \endabstract 

90:  

91: \toc 

92: \widestnumber\head{\S7.} 

93: \head \S0. Introduction \endhead 

94: \head \S1. Preliminaries on supersymmetric and shifted symmetric 

95: functions \endhead 

96: \head \S2. Frobenius--Schur functions \endhead 

97: \head \S3. Multiparameter Schur functions \endhead 

98: \head \S4. Combinatorial formula \endhead 

99: \head \S5. Vanishing property \endhead 

100: \head \S6. Sergeev--Pragacz formula \endhead 

101: \head \S7. Transition coefficients \endhead 

102: \head{} Appendix by V.~Ivanov: Proof of the combinatorial formula for

103: multiparameter Schur functions \endhead 

104: \head{} References \endhead 

105: \endtoc 

106:  

107: \endtopmatter 

108:  

109: \document 

110:  

111: \head \S0. Introduction \endhead 

112:  

113: Let $\La$ denote the algebra of symmetric functions. Recall that 

114: $\La$ is a graded algebra, isomorphic to the algebra of polynomials 

115: in the power sums $\bp_1,\bp_2,\dots\,$. A natural homogeneous basis in 

116: $\La$ is formed by the {\it Schur functions\/} (or $S$-functions, for 

117: short). An $S$-function is denoted as $s_\mu$, where the index $\mu$ 

118: is a Young diagram.  

119:  

120: Let $x=(x_1,x_2,\dots)$ and $y=(y_1,y_2,\dots)$ be two infinite 

121: collections of indeterminates. We will mainly deal with the {\it 

122: super realization\/} of $\La$, which is defined by the following 

123: specialization of the generators $\bp_1,\bp_2,\dots$:  

124: $$ 

125: \bp_k\, \to \, \bp_k(x;y)=\sum_{i=1}^\infty x_i^k + 

126: (-1)^{k-1}\sum_{i=1}^\infty y_i^k\,.   

127: $$ 

128: In this realization, each element $F\in\La$ turns into a 

129: supersymmetric function in $x,y$, which will be denoted as $F(x;y)$. 

130: In particular, the supersymmetric Schur function will be denoted as 

131: $s_\mu(x;y)$.  

132: 

133: Any supersymmetric function $F(x;y)$ is separately symmetric in

134: $x_i$'s and $y_j$'s, and moreover, when a substitution $x_i=-y_j=t$

135: is made in $F$, the result does not depend on $t$. The latter

136: property should be viewed as `invariance' under the nonexisting

137: `supertransposition' $x_i\leftrightarrow y_j$.

138:  

139: Let $\mu$ and $\nu$ be Young diagrams. We are interested in the 

140: combinatorial function  

141: $$ 

142: \nu\mapsto\frac{\dim(\mu,\nu)}{\dim\nu}\,,  

143: $$ 

144: where $\mu$ is fixed while $\nu$ ranges over the set of Young 

145: diagrams; $\dim\nu$ is the number of standard tableaux of shape 

146: $\nu$; $\dim(\mu,\nu)$ is the number of standard tableaux of skew 

147: shape $\nu/\mu$ provided that $\mu\subseteq\nu$, and 0 

148: otherwise.   

149:  

150: Write $\nu$ in the {\it Frobenius notation\/}:  

151: $$ 

152: \nu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d),   

153: $$ 

154: where $d=d(\nu)$ (the {\it depth\/} of $\nu$) is the number of 

155: diagonal squares in $\nu$, $p_i=\nu_i-i$, $q_i=\nu'_i-i$, and $\nu'$ 

156: stands for the transposed diagram.  Let $m=|\mu|$, $n=|\nu|$, where 

157: $|\cdot|$ denotes the number of squares of a Young diagram.  Note that the 

158: function $s_\mu$ is homogeneous of degree $|\mu|$. 

159:  

160: Our starting point is the following result:  if $m\le n$ then 

161: $$ 

162: \frac{\dim(\mu,\nu)}{\dim\nu} 

163: =\frac{s_\mu(x(\nu);y(\nu))+\dots} 

164: {n(n-1)\dots(n-m+1)}\,,  \tag0.1 

165: $$ 

166: where $(x(\nu);y(\nu))$ are the so--called {\it modified Frobenius 

167: coordinates\/} of $\nu$: 

168: $$ 

169: (x(\nu);y(\nu))=(p_1+\half,\dots,p_d+\half,0,0,\dots\,;\, 

170: q_1+\half,\dots,q_d+\half,0,0,\dots),  \tag0.2 

171: $$ 

172: and the dots in the numerator denote the remainder term, which is a  

173: (super)symmetric 

174: function of degree strictly less than $|\mu|$, evaluated at $(x(\nu);y(\nu))$.

175: 

176: An equivalent form of \tht{0.1} is as follows (\cite{VK}, \cite{W, III.6}):

177: $$

178: \frac{\chi^\nu_{\rho\cup 1^{n-m}}}{\dim\nu}=

179: \frac{\bp_\rho(x(\nu);y(\nu))+\dots}{n(n-1)\dots(n-m+1)}\,, \tag$0.1'$

180: $$

181: where $\rho=(\rho_1,\rho_2,\dots)$ is a partition of $m$, $\chi^\nu$ is the 

182: irreducible character of the symmetric group $S(n)$ which corresponds

183: to $\nu$, $\chi^\nu_{\rho\cup 1^{n-m}}$ is the character value on the

184: conjugacy class in 

185: $S(n)$ indexed by the partition $\rho\cup 1^{n-m}$ of $n$, and 

186: $\bp_\rho=\bp_{\rho_1}\bp_{\rho_2}\dots\,.$ The equivalence of

187: \tht{0.1} and \tht{0.1$'$} follows from the relations

188: $$

189: \bp_\rho=\sum_\mu\chi^\mu_\rho\,s_\mu\,, \qquad

190: \chi^\nu_{\rho\cup1^{n-m}}=\sum_\mu\chi^\mu_\rho\dim(\mu,\nu).

191: $$

192:  

193: Formula \tht{$0.1'$} was one of 

194: the basic ingredients in the asymptotic approach to Thoma's 

195: description of characters of the infinite symmetric group \cite{T}, see 

196: \cite{VK}, \cite{KV2}, \cite{W}. Note that 

197: $\dim\nu$ is a well--known combinatorial function for which  

198: several nice formulas are known, so that the complexity of \tht{0.1} 

199: is mainly caused by the {\it relative dimension function\/} 

200: $\dim(\mu,\nu)$.   

201: 

202: The aim of the present paper is to study in detail the function which

203: appears in the numerator of the right--hand side of \tht{0.1}. By the

204: very definition, this is an inhomogeneous supersymmetric function,

205: and by our convention, we can view it as an element of $\La$. We call it the 

206: {\it Frobenius--Schur function\/} with index $\mu$ (or the 

207: $FS$-function, for short) and we denote it as $Fs_\mu$.  

208: In this notation, \tht{0.1} takes the form 

209: $$ 

210: \frac{\dim(\mu,\nu)}{\dim\nu} 

211: =\frac{Fs_\mu(x(\nu);y(\nu))}{n(n-1)\dots(n-m+1)}\,. \tag0.3 

212: $$ 

213: 

214: Our main results about the $FS$-functions, and their key properties are as 

215: follows: 

216:  

217: $\bullet$ The $FS$-functions can be characterized in terms of a {\it 

218: multivariate interpolation problem.} 

219: 

220: Specifically, given a diagram $\mu$, $Fs_\mu$ 

221: is the only (up to a scalar multiple) supersymmetric function in 

222: $(x;y)$ that vanishes at $(x;y)=(x(\nu);y(\nu))$ when 

223: $|\nu|\le|\mu|$, $\nu\ne\mu$, and does not vanish when $\nu=\mu$. 

224: \footnote{Actually, vanishing holds for all $\nu$ which do not 

225: contain $\mu$.} 

226: 

227: This characterization follows at once from a correspondence between the $FS$-

228: functions and the so--called shifted Schur functions (see below), and the 

229: interpolation properties of the latter functions established in \cite{Ok1}, 

230: \cite{OO1}. 

231:  

232: $\bullet$ As $Fs_\mu$ differs from $s_\mu$ in lower terms only, the 

233: $FS$-functions form a basis in $\La$. We find explicitly the 

234: {\it transition coefficients\/} between these two bases $\{s_\mu\}$ and 

235: $\{Fs_\mu\}$; they are given by simple determinantal expressions. Specifically, 

236: we have

237: $$ 

238: Fs_\mu=\sum_\nu \det[c_{p_i,p'_j}]\,\det[c_{q_i,q'_j}]\, s_\nu, \tag0.4

239: $$ 

240: where $p_1,p_2,\dots$, $q_1,q_2,\dots$ denote the Frobenius coordinates of 

241: $\mu$, and $p'_1,p'_2,\dots$, $q'_1,q'_2,\dots$ denote the Frobenius coordinates 

242: of $\nu$. The summation in \tht{0.4} is taken over diagrams $\nu$ with the 

243: length of the diagonal equal to that of $\mu$ (say, $d$). So, the determinants 

244: are of order $d$. Finally, the coefficients $c_{pp}$ are as follows:

245: $$ 

246: c_{pp'}=\cases 

247: (-1)^{p-p'}e_{p-p'}(\tfrac12,\tfrac32,\dots,\tfrac{2p-1}2), 

248: & p'\le p,\\ 0, & p'>p, \endcases \tag0.5 

249: $$ 

250: for any $p,p'=0,1,2,\dots\,$, where $e_1, e_2,\dots$ stand for the elementary 

251: symmetric functions. This implies, in particular, that only diagrams $\nu$ 

252: contained in $\mu$ may contribute. See Theorem 2.6 and the more general Theorem 

253: 7.3.

254:  

255: $\bullet$ Consider the {\it duality map\/} $\omega:\La\to\La$ that 

256: sends $\bp_k$ to $(-1)^{k-1}\bp_k$ (in the super realization, 

257: $(\omega(F))(x;y)=F(y;x)$ for $F\in\La$). Then (Proposition 2.2)

258: $$ 

259: \omega(Fs_\mu)=Fs_{\mu'}\,, 

260: $$ 

261: which is similar to the well--known property $\omega(s_\mu)=s_{\mu'}$ of the 

262: Schur functions. 

263:  

264: $\bullet$ For natural $FS$ analogs of the complete homogeneous symmetric 

265: functions, the elementary symmetric functions, and the hook functions,

266: $$

267: Fh_k=Fs_{(k)}, \quad Fe_k=Fs_{(1^k)}, \quad  

268: Fs_{(k\,|\,l)}=Fs_{(k+1,1^l)}, 

269: $$

270: we get counterparts of the well--known generating series. See formulas 

271: \tht{2.3}, \tht{2.4}, and Theorem 2.3. 

272: 

273: $\bullet$ There exists a wider family of `multiparameter Schur functions' 

274: which depend on a doubly infinite string $(a_i)_{i\in\Z}$ of complex 

275: parameters 

276: and interpolate between the conventional Schur functions 

277: (case $a_i\equiv0$) and 

278: the $FS$-functions (case $a_i=i-\half$). See \S3. 

279: 

280: $\bullet$ Recall that the supersymmetric Schur functions in finitely

281: many variables can be obtained via the {\it Sergeev--Pragacz

282: formula,\/} which is an analog of the basic formula for the Schur

283: polynomials, 

284: $$ 

285: s_\mu(x_1,\dots,x_n)=\frac{\det[x_i^{\mu_j+n-j}]}{\det[x_i^{n-j}]}\,. 

286: \tag0.6  

287: $$ 

288: In Theorem 6.1 we get a version of the Sergeev--Pragacz formula for

289: the multiparameter Schur functions (in particular, for the

290: $FS$-functions).  

291:  

292: $\bullet$ Recall the classical combinatorial formula: 

293: $$ 

294: s_\mu(x_1,x_2,\dots)=\sum_T\,  

295: \prod_{(ij)\in\mu}x_{T(i,j)}\,,    

296: $$ 

297: summed over the semi--standard tableaux $T$ of the shape $\mu$, and

298: note that it also has a super analog. We get a version of this

299: formula for the $FS$-functions (as well as for multiparameter Schur

300: functions), see Theorem 4.6 and the Appendix.  

301:  

302: $\bullet$ The classical Jacobi--Trudi formula and its dual version,  

303: $$ 

304: s_\mu=\det[h_{\mu_i-i+j}], \qquad 

305: s_\mu=\det[e_{\mu'_i-i+j}],  

306: $$ 

307: also have counterparts for the $FS$-functions and multiparameter Schur

308: functions, 

309: see the formulas just before Theorem 2.3, formula \tht{3.4}, and Corollary 4.9.

310:  

311: $\bullet$ Exactly as in the classical Giambelli formula, we have 

312: $$ 

313: Fs_\mu=\det[Fs_{(p_i\,|\,q_j)}],   

314: $$ 

315: where $p_1,\dots,p_d, q_1,\dots,q_d$ 

316: are the Frobenius coordinates for $\mu$, $d=d(\mu)$. Moreover, the

317: same formula 

318: holds for the multiparameter Schur functions.

319:  

320: We now briefly describe the history of formula \tht{0.1} and the 

321: relationships between our work and \cite{VK}, \cite{W}, \cite{KO},

322: \cite{OO1}, \cite{Mo}, \cite{L1}, \cite{L2}.  

323: 

324: The formula \tht{0.1} (or rather \tht{$0.1'$}) first appeared in

325: \cite{VK, \S5} in connection with the asymptotic approach to Thoma's

326: classification of the characters of the infinite symmetric group.

327: However, the original proof of \tht{$0.1'$} was not included in

328: \cite{VK} and remained unpublished. Then a proof was given in 

329: \cite{W, III.6, Theorem 6} but this work also remained unpublished.   

330:  

331: A first published proof of \tht{$0.1'$}) was

332: given in \cite{KO, Theorem 5}. This paper used the concept of {\it 

333: shifted symmetric functions\/} (see \S1 for the definition). In 

334: \cite{KO}, it was shown that there exists a natural isomorphism 

335: between the algebra $\La^*$ of shifted  

336: symmetric functions and the algebra of supersymmetric functions 

337: (hence, the algebra $\La$). Both algebras are viewed as  

338: algebras of functions on the set of Young diagrams. Under this isomorphism, a 

339: shifted symmetric function in the row coordinates 

340: $(\nu_1,\nu_2,\dots)$ of a Young diagram $\nu$ turns into a supersymmetric 

341: function in the 

342: modified Frobenius coordinates \tht{0.2}.  

343:  

344: The algebra $\La^*$ of shifted symmetric functions was studied in detail in 

345: \cite{OO1}. In particular, it was proved that 

346: $$ 

347: \frac{\dim(\mu,\nu)}{\dim\nu} 

348: =\frac{s^*_\mu(\nu_1,\nu_2,\dots)}{n(n-1)\dots(n-m+1)}\,, \tag0.7 

349: $$ 

350: where $s^*_\mu\in\La^*$ are the so--called {\it shifted Schur 

351: functions.\/} By \tht{0.3}, this means that under the isomorphism 

352: $\La^*\to\La$ mentioned above, $Fs_\mu$ is the image of $s^*_\mu$. For 

353: $s^*_\mu$, a number of explicit expressions is available, see   

354: \cite{OO1}. This provides us with explicit formulas for 

355: $\dim(\mu,\nu)$ expressed in terms of the row coordinates. The 

356: initial purpose of our work was to get similar results in terms of  

357: the Frobenius coordinates.   

358:  

359: Another source of inspiration for our work was Molev's paper

360: \cite{Mo}. Molev deals with 

361: supersymmetric polynomials with finitely many indeterminates 

362: $(x_1,\dots,x_m;$ $y_1,\dots,y_n)$ and studies multiparameter Schur 

363: polynomials with an arbitrary sequence of parameters $a=(a_i)_{i\in\Z}$. 

364: He obtains, among other results, generating series for the one--row 

365: and one--column polynomials, a combinatorial formula, and a 

366: Sergeev--Pragacz--type formula. However, Molev's approach is not 

367: quite consistent with our purposes, because his polynomials are not 

368: stable as $m,n\to\infty$ and, consequently, do not define 

369: supersymmetric functions in infinitely many indeterminates. Also, his 

370: formulas are not symmetric with respect to the duality map $\omega$ that 

371: interchanges the $x$'s and the $y$'s.  

372:  

373: We show how to make Molev's construction stable and 

374: $\omega$-symmetric. The recipe is simple: it suffices to impose 

375: the restriction $m=n$ and to introduce in the initial definition of 

376: the polynomials a certain `shift' that depends on $n$. In this way we 

377: come to a generalization of the $FS$-functions  

378: depending on $a=(a_i)$. In our approach, we start with Molev's 

379: generating series, which needs only a slight adaptation. However, our 

380: versions of the combinatorial formula and the Sergeev--Pragacz--type   

381: formula differ from Molev's versions in a more substantial way. 

382: 

383: As was pointed out by Lascoux \cite{L1}, \cite{L2}, \cite{OO1,

384: \S15.6}, the shifted Schur functions can be introduced by means of

385: the Schubert polynomials.  Possibly, the $FS$ functions can also be

386: handled using the techniques of the Schubert polynomials.  

387: 

388: As is well known, there exists a deep analogy between the

389: conventional Schur functions (also called Schur's $S$-functions) and

390: Schur's $Q$-functions. The latter are related to projective

391: representations of symmetric groups just in the same way as the former

392: are related to ordinary representations. Schur's $Q$-functions span

393: a subalgebra in $\La$, whose elements can be characterized by a

394: supersymmetry property of another kind, see, e.g., \cite{Ma1, \S

395: III.8}, \cite{P}. The results of the present paper have counteparts

396: for Schur's $Q$-functions: these are due to Ivanov \cite{I1},

397: \cite{I2}. 

398: 

399: For an application of the $FS$ functions, see \cite{BO, \S6}. 

400: 

401: Finally, we would like to notice a remarkable stability of the 

402: Giambelli formula: in various generalizations of the Schur functions, 

403: examined in \cite{Ma1}, \cite{OO1}, \cite{Mo}, and the present paper, 

404: it remains intact while the Jacobi--Trudi identity requires suitable

405: modification. According to a general theorem due 

406: to Macdonald \cite{Ma2}, this effect holds under rather wide 

407: assumptions. The Giambelli formula is substantially 

408: exploited in our approach.   

409:  

410: The paper is organized as follows. In \S1 we collect definitions 

411: and results from \cite{KO}, \cite{OO1} which are employed in our work. 

412: In \S2 we introduce the $FS$-functions, then write down the generating 

413: series and calculate the transition coefficients between the $S$- and 

414: $FS$-functions. In \S3 we introduce a wider family of `multiparameter 

415: Schur functions' depending on sequence of parameters $a=(a_i)$ and we

416: explain their connection with the generalized factorial supersymmetric Schur 

417: polynomials studied by Molev \cite{Mo}. In \S4 we state the 

418: combinatorial formula, which expresses the multiparameter Schur 

419: functions in terms of tableaux. Its proof is given in the 

420: Appendix, written by Vladimir Ivanov. \S5 is devoted to an analog of  

421: the Sergeev--Pragacz formula. In \S6 we calculate the transition 

422: coefficients between multiparameter Schur functions corresponding to 

423: different sequences of parameters. 

424: 

425: A short exposition of the present paper is given in \cite{ORV}.

426: 

427: {\it Acknowledgment.\/} We would like to thank Alain Lascoux for

428: discussions and helpful critical remarks. The work was supported by RFBR

429: grant 98-01--00303 (G.~O.); ISF grant 6629 (A.~R.); CDRF

430: grant RM1--2244 and RFBR grant 99--01--00098 (A.~V.). G.~O. and A.~V.

431: are grateful to the Weizmann Institute of Science for hospitality. We

432: would also like to thank the referee for a number of useful

433: remarks.

434:  

435: \head 1. Preliminaries on supersymmetric and shifted symmetric 

436: functions  \endhead 

437:  

438: In this section, our main references are Macdonald's book \cite{Ma1} 

439: (symmetric functions in general), \cite{BR} and \cite{Ma1} (supersymmetric 

440: functions), and \cite{OO1} (shifted symmetric functions). We take $\C$ as the 

441: base field.

442:  

443: The algebra $\La$ of symmetric functions can be initially defined 

444: as the algebra of polynomials $\C[\bp_1,\bp_2,\dots]$. Then it can 

445: be realized, in different ways, as an algebra of functions, depending on a 

446: specialization of the generators $\bp_k$. In the 

447: conventional realization, the generators $\bp_k$ are 

448: specialized to the Newton power sums, 

449: $$ 

450: \bp_k\mapsto \bp_k(x)=\sum_{i=1}^\infty x_i^k\,, 

451: $$ 

452: where $x=(x_1,x_2,\dots)$ is an infinite collection of 

453: indeterminates. Then elements $f\in\La$ turn into symmetric 

454: functions in $x$. The term `functions' makes sense if one assumes, 

455: e.g., that only finitely many of $x_i$'s are different from 0.   

456:  

457: Let $\La_n$ be the algebra of symmetric polynomials in 

458: $x_1,\dots,x_n$. \footnote{To emphasize the difference between the 

459: case of infinitely many indeterminates and  

460: that of finitely many indeterminates, we will employ the terms 

461: `functions' and `polynomials', respectively.} In the conventional 

462: realization, $\La$ is identified  

463: with $\varprojlim \La_n$, the projective limit taken in the category of 

464: graded algebras, where the projection $\La_n\to\La_{n-1}$ is defined as 

465: the specialization $x_n=0$.  

466:  

467: We will mainly deal with another realization of $\La$, which may be 

468: called the {\it super realization.\/} In this realization, the 

469: generators $\bp_k$ are viewed as {\it super power sums},  

470: $$ 

471: \bp_k\mapsto \bp_k(x;y)=\sum_{i=1}^\infty x_i^k 

472: +(-1)^{k-1}\sum_{i=1}^\infty y_i^k=\bp_k(x)-\bp_k(-y)\,,  

473: $$  

474: where $y=(y_1,y_2,\dots)$ is another collection of indeterminates. 

475: Note that our definition of the super realization of $\La$ agrees

476: with that of \cite{BR} but slightly differs from that of \cite{Ma1,

477: Ex. I.3.23}. 

478:  

479: Denote by $\La_{m,n}$ the algebra of polynomials in $x_1,\dots,x_m$, 

480: $y_1,\dots,y_n$, which are separately symmetric in $x$'s and $y$'s 

481: and which satisfy the following {\it cancellation property}: for any $i$ and 

482: $j$, the result of the specialization $x_i=-y_j=t$ does not 

483: depend on $t$. Such polynomials  

484: are called {\it supersymmetric,\/} and the (double) projective limit 

485: algebra $\varprojlim\La_{m,n}$ is called the {\it algebra of 

486: supersymmetric functions\/} in $x$ and $y$. Here the limit is again 

487: taken in the category of graded algebras, and the projections 

488: $\La_{m,n}\to\La_{m-1,n}$ and $\La_{m,n}\to\La_{m,n-1}$ are defined 

489: by the specializations $x_m=0$ and $y_n=0$, respectively.   

490:  

491: By a well--known theorem (see \cite{St}, \cite{P, Theorem 2.11}), the

492: super realization of $\La$ establishes an isomorphism between the

493: algebra $\La$ and the algebra $\varprojlim\La_{m,n}$ of

494: supersymmetric functions, so that we may identify these two algebras.

495: For this reason, we will not introduce a separate notation for the

496: algebra of supersymmetric functions.  

497:  

498: Given $f\in\La$, we write $f(x;y)$ for the corresponding 

499: supersymmetric function in $x$ and $y$, and we write  

500: $f(x_1,\dots,x_m;y_1,\dots,y_n)$ for the supersymmetric polynomial 

501: that is the image of $f(x;y)$ in $\La_{m,n}$.   

502: In \S\S4--6 it will be convenient to assume $m=n$ and to think about 

503: $\La$ as of the projective limit algebra $\varprojlim\La_{n,n}$.   

504:  

505: By the cancellation property, the algebra $\La_{n,n}$ of

506: supersymmetric polynomials is invariant

507: under any shift of variables of the form 

508: $$

509: (x_1,\dots, x_n;y_1,\dots,y_n)\,\mapsto\, 

510: (x_1+r,\dots,x_n+r;y_1-r,\dots,y_n-r), \qquad r\in\C.

511: $$

512: Let $T_r$ denote the corresponding automorphism of $\La_{n,n}$:

513: $$

514: (T_rf)(x_1,\dots,x_n;y_1,\dots,y_n)= 

515: f(x_1+r,\dots,x_n+r;y_1-r,\dots,y_n-r).

516: $$

517: Applying again the cancellation property we see that the automorphisms

518: $T_r:\La_{n,n}\to\La_{n,n}$ and $T_r:\La_{n+1,n+1}\to\La_{n+1,n+1}$ are

519: compatible with the canonical projection $\La_{n+1,n+1}\to\La_{n,n}$.

520: Thus, for any $r\in\C$, we get an automorphism $T_r$ of the algebra

521: $\La=\varprojlim\La_{n,n}$ which informally can be written as follows:

522: $$ 

523: (T_rf)(x_1,x_2,\dots;y_1,y_2,\dots)= 

524: f(x_1+r,x_2+r,\dots;y_1-r,y_2-r,\dots) \qquad 

525: \forall f\in \La. \tag1.1 

526: $$ 

527: Equivalently, $T_r$ can be defined by

528: $$

529: T_r: \, \bp_k\,\mapsto\,\sum_{j=1}^k\binom{k}{j}r^{k-j}\bp_j\,.

530: $$

531:  

532: Recall that the elements $h_k$ and $e_k$ (the complete homogeneous symmetric 

533: functions and the elementary symmetric functions) can be introduced 

534: through the generating series: 

535: $$  

536: 1+\sum_{k=1}^\infty h_k t^k  

537: =\exp\left(\sum_{k=1}^\infty \bp_k\,\frac{t^k}{k}\right) 

538: =\left(1+\sum_{k=1}^\infty e_k t^k  \right)^{-1}\,, 

539: $$ 

540: where $t$ is a formal indeterminate.  

541: In the super realization,  

542: $$ 

543: 1+\sum_{k=1}^\infty h_k t^k  \,\mapsto \, 

544: \prod_{i=1}^\infty \frac{1+y_it}{1-x_it}\,,\qquad 

545: 1+\sum_{k=1}^\infty e_k t^k  \,\mapsto \, 

546: \prod_{i=1}^\infty \frac{1+x_it}{1-y_it}\,. 

547: $$ 

548:  

549: It will be convenient for us to take $t=\frac1u$ and to redefine the 

550: generating series for $\{h_k\}$ and $\{e_k\}$ as  

551: formal series in $\frac 1u$, i.e., as elements of $\La[[\frac1u]]$:  

552: $$ 

553: H(u)=1+\sum_{k=1}^\infty \frac{h_k}{u^k}\,, \qquad 

554: E(u)=1+\sum_{k=1}^\infty \frac{e_k}{u^k}\,.  \tag1.2 

555: $$ 

556: Then their super specialization takes the form 

557: $$ 

558: H(u)(x;y)=\prod_{i=1}^\infty \frac{1+y_i/u}{1-x_i/u}\,,  \qquad 

559: E(u)(x;y)=\prod_{i=1}^\infty \frac{1+x_i/u}{1-y_i/u}\,. \tag$1.2'$  

560: $$ 

561: Obviously, 

562: $$ 

563: H(u)E(-u)=1. \tag1.3 

564: $$ 

565:  

566: \proclaim{Proposition 1.1} In terms of the generating series 

567: \tht{1.2}, the automorphisms $T_r$ defined in \tht{1.1} 

568: act on the elements $h_k$ and $e_k$ as follows{\rm:} 

569: $$ 

570: T_r(H(u))=H(u-r), \qquad T_r(E(u))=E(u+r).   

571: $$ 

572: \endproclaim 

573:  

574: It should be noted that for any formal series in $\frac 1u$ (in 

575: contrast to a series in $u$), the change of a variable  

576: $u\mapsto u+\operatorname{const}$ makes sense.  

577:  

578: \demo{Proof} This follows from the equalities 

579: $$ 

580: \frac{1+(y_i-r)/u}{1-(x_i+r)/u}=\frac{1+y_i/(u-r)}{1-x_i/(u-r)}, \qquad 

581: \frac{1+(x_i+r)/u}{1-(y_i-r)/u}=\frac{1+x_i/(u+r)}{1-y_i/(u+r)}\,. 

582: $$ 

583: \qed 

584: \enddemo 

585:  

586: Recall that the {\it duality map\/} is defined as an algebra isomorphism

587: $\omega: \La\to\La$ such that $\omega(\bp_k)=(-1)^{k-1}\bp_k$. In the super 

588: realization, $\omega$ reduces to interchanging $x$ and $y$. We have 

589: $\omega(h_k)=e_k$ and $\omega(e_k)=h_k$.  

590:  

591: The {\it Schur function\/} $s_\mu$ indexed by a Young diagram $\mu$ can be  

592: introduced through the {\it Jacobi--Trudi formula}: 

593: $$ 

594: s_\mu=\det[h_{\mu_i-i+j}]\,, 

595: $$ 

596: where, by convention, $h_0=1$, $h_{-1}=h_{-2}=\dots=0$, and the order 

597: of the determinant is any number greater or equal to $\ell(\mu)$, the 

598: number of nonzero row lengths of $\mu$. The Schur functions form a 

599: homogeneous basis in $\La$ (it is convenient to agree that 

600: $s_\varnothing=1$).  

601:  

602: Given $m$ and $n$, the supersymmetric Schur polynomial 

603: $s_\mu(x_1,\dots,x_m;y_1,\dots,y_n)$ in $m+n$ indeterminates does not 

604: vanish identically if and only if the diagram $\mu$ does not contain 

605: the square $(m+1,n+1)$. Such polynomials form a basis in $\La_{m,n}$.  

606:  

607: We have  

608: $$ 

609: \omega(s_\mu)=s_{\mu'}\,, 

610: $$ 

611: so that ({\it dual version\/} of Jacobi--Trudi, or {\it 

612: N\"agelsbach--Kostka formula\/})  

613: $$ 

614: s_\mu=\det[e_{\mu'_i-i+j}]\,.  

615: $$ 

616:  

617: For $p,q=0,1,\dots$, let $(p\,|\,q)$ denote the `hook' Young diagram 

618: $(p+1,1^q)$, and let $s_{(p\,|\,q)}$ denote the corresponding `hook 

619: Schur function'. \footnote{Note that in \cite{BR}, the term `hook 

620: Schur functions' has another meaning.} The hook Schur functions form 

621: a convenient system of generators of $\La$. However, they are 

622: not algebraically independent. The relations between them are as 

623: follows:  

624: $$ 

625: s_{(p+1\,|\,q)}+s_{(p\,|\,q+1)}=s_{(p\,|\,0)}s_{(0\,|\,q)}\,, 

626: \qquad p,q=0,1,2,\dots   \tag1.4 

627: $$ 

628: (see, e.g., \cite{Ma1, Ex. I.3.9}). This is equivalent to 

629: $$ 

630: 1+(u+v)\sum_{p,q=0}^\infty \frac{s_{(p\,|\,q)}}{u^{p+1} v^{q+1}} 

631: =\left(1+\sum_{p=1}^\infty \frac{h_p}{u^p}\right) 

632: \left(1+\sum_{q=1}^\infty \frac{e_q}{v^q}\right)=H(u)E(v). \tag1.5 

633: $$ 

634:  

635: In the {\it Frobenius notation,\/} a diagram is written as  

636: $\mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d\,)$ or, in more detail, 

637: $$ 

638: \mu=(p_1(\mu),\dots,p_d(\mu)\,|\,q_1(\mu),\dots,q_d(\mu)), 

639: $$ 

640: where $d=d(\mu)$, the {\it depth\/} of $\mu$, is the number of 

641: diagonal squares, and $p_i=\mu_i-i$, $q_i=\mu'_i-i$.  

642:  

643: A very useful expression of the Schur functions is given by the {\it 

644: Giambelli formula}:  

645: $$ 

646: s_\mu=\det[s_{(p_i\,|\,q_j)}]_{i,j=1}^d\,. 

647: $$ 

648:  

649: We proceed to the algebra $\La^*$ of {\it shifted symmetric 

650: functions.\/} This is a filtered algebra such that the associated 

651: graded algebra is canonically isomorphic to $\La$. Its definition is 

652: parallel to that of the algebra $\La$ in its conventional 

653: realization. First, let $\La^*_n$ be the subalgebra in 

654: $\C[x_1,\dots,x_n]$ formed by the polynomials which are symmetric in 

655: `shifted' variables $x'_j=x_j-j$, $j=1,\dots,n$. Define the 

656: projection map $\La^*_n\to\La^*_{n-1}$ as the specialization $x_n=0$ 

657: and note that this projection preserves the filtration defined by 

658: ordinary degree of polynomials. Now  set 

659: $\La^*=\varprojlim\La^*_n$, where the limit is understood in the 

660: category of filtered algebras.  

661:  

662: The definition of the {\it shifted Schur functions\/} 

663: $s^*_\mu\in\La^*$ is parallel to the definition of the conventional 

664: Schur functions via formula \tht{0.6}; the difference is that the 

665: ordinary powers $x^m$ are replaced by the {\it falling factorial powers} $$ 

666: \fp xm=\cases x(x-1)\dots(x-m+1), & m\ge1, \\ 

667: 1, & m=0, \endcases 

668: $$  

669: and a shift of variables is introduced: 

670: $$ 

671: s^*_\mu(x_1,\dots,x_n)= 

672: \frac{\det[\fp{(x_i+n-i)}{\mu_j+n-j}]}{\det[\fp{(x_i+n-i)}{n-j}]}\,. 

673: \tag1.6  

674: $$ 

675: Clearly, this is a shifted symmetric polynomial of degree  

676: $|\mu|=\sum_i \mu_i$. Moreover, the formula is stable as $n\to\infty$ 

677: and, thus, indeed determines an element of $\La^*$. We agree that 

678: $s^*_\varnothing=1$.  

679:  

680: We have  

681: $$ 

682: s^*_\mu(x_1,\dots,x_n)=s_\mu(x_1,\dots,x_n)\,+\, 

683: \text{lower terms}. 

684: $$ 

685: It follows that, under the canonical isomorphism 

686: $\operatorname{gr}\La^*=\La$, the highest term of $s^*_\mu$ coincides 

687: with $s_\mu$. This implies, in particular, that the shifted Schur 

688: functions form a basis in $\La^*$. 

689:  

690: Recall the definition of the {\it relative dimension function\/} 

691: $\dim(\mu,\nu)$, where $\mu$ and $\nu$ are arbitrary Young diagrams: 

692:  

693: If $\mu\subseteq\nu$ then $\dim(\mu,\nu)$ is the number of standard 

694: tableaux of skew shape $\nu/\mu$, i.e., the number of chains of 

695: diagrams of the form 

696: $$ 

697: \mu=\la^0\subset\la^1\subset\dots\subset\la^k=\nu,  

698: \qquad k=|\nu|-|\mu|. 

699: $$ 

700: In particular, $\dim(\mu,\mu)=1$. Next, if $\mu$ is not contained in $\nu$ 

701: then $\dim(\mu,\nu)=0$. Finally, we also set 

702: $\dim\mu=\dim(\varnothing,\mu)$, which is equal to the number of standard 

703: tableaux of shape $\mu$. 

704:  

705: The relative dimension can be expressed in terms of the shifted Schur 

706: functions: 

707:  

708: \proclaim{Proposition 1.2} For arbitrary Young diagrams 

709: $\mu,\nu$,  

710: $$ 

711: \frac{\dim(\mu,\nu)}{\dim\nu} 

712: =\frac{s^*_\mu(\nu_1,\nu_2,\dots)}{\fp nm},  

713: \qquad m=|\mu|, n=|\nu|.  

714: $$ 

715: \endproclaim 

716: 

717: Several proofs of this result are given in \cite{OO1, Theorem 8.1}.

718: The argument presented below is a modification of one of them. 

719: 

720: \demo{Outline of proof} The starting point is the well--known formula

721: $$

722: s_\mu\cdot \bp_1=\sum_{\nu:\, \nu\supset\mu, \, |\nu|=|\mu|+1}

723: s_\nu\,.

724: $$

725: It follows that

726: $$

727: \bp_1^n=\sum_{\nu:\, |\nu|=n}\dim\nu\cdot s_\nu

728: $$

729: and, more generally,

730: $$

731: s_\mu\cdot\bp_1^{n-m}=\sum_{\nu:\, |\nu|=n}\dim(\mu,\nu)\, s_\nu\,, 

732: \qquad |\mu|=m, \quad n\ge m.

733: $$

734: Arguing as in \cite{Ma1, Ex. I.1.7} we get from these formulas 

735: the following ones:

736: $$

737: \gather

738: \dim\nu=n!\,\det\left[\frac1{(\nu_i-i+j)!}\right]_{i,j=1}^l

739: =\frac{n!\,\prod_{1\le i<j\le l}(\nu_i-\nu_j-i+j)}

740: {\prod_{i=1}^l(\nu_i+l-i)!}\,,\\

741: \dim(\mu,\nu)=(n-m)!\,

742: \det\left[\frac1{(\nu_i-\mu_j-i+j)!}\right]_{i,j=1}^l\,,

743: \endgather

744: $$

745: where $l$ is any sufficiently large natural number ($l\ge n$ is

746: enough) and $\frac1{k!}=\frac1{\Gamma(k+1)}$ equals 0 when 

747: $k=-1,-2,\dots$\,. 

748: 

749: This implies

750: $$

751: \frac{\dim(\mu,\nu)}{\dim\nu}=

752: \frac1{\fp nm}\,\cdot\,

753: \det\left[\frac1{(\nu_i-\mu_j-i+j)!}\right]_{i,j=1}^l\,\cdot\,

754: \frac{\prod_{i=1}^l(\nu_i+l-i)!}

755: {\prod_{1\le i<j\le l}(\nu_i-\nu_j-i+j)}\,.

756: $$

757: After simple transformations we get

758: $$

759: \frac{\dim(\mu,\nu)}{\dim\nu}=

760: \frac1{\fp nm}\,

761: \frac{\det\left[\fp{(\nu_i+l-i)}{\mu_j+l-j}\right]_{i,j=1}^l}

762: {\prod_{1\le i<j\le l}(\nu_i-\nu_j-i+j)}\,,

763: $$

764: as required. \qed

765: \enddemo  

766: 

767: 

768:  

769: \proclaim{Proposition 1.3} For arbitrary Young diagrams $\mu, \nu$, 

770: $$ 

771: \gather 

772: s^*_\mu(\nu_1,\nu_2,\dots)=0 \qquad \text{unless $\mu\subseteq\nu$,} 

773: \tag1.7\\  

774: s^*_\mu(\mu_1,\mu_2,\dots)=\frac{|\mu|!}{\dim\mu}\ne0. \tag1.8 

775: \endgather 

776: $$ 

777: \endproclaim 

778:  

779: \demo{Proof} See \cite{Ok1} and \cite{OO1, Theorem 3.1}. \qed 

780: \enddemo 

781:  

782: In the same way as for the conventional Schur functions, we set  

783: $$ 

784: h^*_k=s^*_{(k)},\qquad e^*_k=s^*_{(1^k)},\qquad 

785: s^*_{(p\,|\,q)}=s^*_{(p+1,1^q)}.  

786: $$ 

787:  

788: The generating series for $\{h^*_k\}$ and $\{e^*_k\}$ are defined by analogy 

789: with 

790: \tht{1.2} but the ordinary powers of $u$ are replaced by the falling 

791: factorial powers:  

792: $$ 

793: H^*(u)=1+\sum_{k=1}^\infty \frac{h^*_k}{\fp uk}\,, \qquad 

794: E^*(u)=1+\sum_{k=1}^\infty \frac{e^*_k}{\fp uk}\,. 

795: $$ 

796:  

797: \proclaim{Proposition 1.4} The specialization of these series at 

798: $x=(x_1,x_2,\dots)$ takes the form 

799: $$ 

800: H^*(u)(x)=\prod_{i=1}^\infty \frac{1+i/u}{1+(i-x_i)/u}\,,  \qquad 

801: E^*(u)(x)=\prod_{i=1}^\infty \frac{1+(x_i-i+1)/u}{1+(-i+1)/u}\,, 

802: $$ 

803: and the following relation holds {\rm(}cf. \tht{1.3}{\rm)}:  

804: $$ 

805: H^*(u)E^*(-u-1)=1. \tag1.9 

806: $$ 

807: \endproclaim 

808:  

809: \demo{Proof} See \cite{OO1, \S12}. \qed 

810: \enddemo 

811:  

812: Since $\La^*$ is isomorphic to the algebra of polynomials in 

813: $h^*_1,h^*_2,\dots$, we may define a 1-parameter family $\{T_r\}$, 

814: $r\in\C$, of automorphisms of the algebra $\La^*$ by  

815: $$ 

816: T^*_r(H^*(u))=1+\sum_{k=1}^\infty \frac{T^*_r(h^*_k)}{\fp uk} 

817: =H^*(u-r).  

818: $$ 

819: Together with \tht{1.9} this implies 

820: $$ 

821: T^*_r(E^*(u))=1+\sum_{k=1}^\infty \frac{T^*_r(e^*_k)}{\fp uk} 

822: =E^*(u+r).  

823: $$ 

824: It readily follows that 

825: $$ 

826: \gather 

827: T^*_r(h^*_k)=h^*_k\,+\,\{\text{a linear combination of 

828: $h^*_{k-1},\dots, h^*_1, 1$}\},   \\ 

829: T^*_r(e^*_k)=e^*_k\,+\,\{\text{a linear combination of 

830: $e^*_{k-1},\dots, e^*_1, 1$}\}.   

831: \endgather 

832: $$ 

833:  

834: \proclaim{Proposition 1.5} The following analogs of the Jacobi--Trudi 

835: formula and its dual version hold{\rm:}  

836: $$ 

837: s^*_\mu=\det[T^*_{j-1}(h^*_{\mu_i-i+j})] 

838: =\det[T^*_{-j+1}(e^*_{\mu'_i-i+j})].  

839: $$ 

840: \endproclaim 

841:  

842: \demo{Proof} See \cite{OO1, Theorem 13.1}. \qed 

843: \enddemo 

844:  

845: The following general result is due to Macdonald: 

846:  

847: \proclaim{Proposition 1.6} Let $A$ 

848: be a commutative algebra and  

849: $\{h_{k,r}\}$ be a double sequence of elements of $A$. Here 

850: $k=1,2,\dots$, $r=0,1,\dots\,.$ We also agree that $h_{0,r}\equiv1$ and 

851: $h_{k,r}\equiv0$ for all $k<0$. For an arbitrary Young diagram $\mu$, 

852: set 

853: $$ 

854: S_\mu=\det[h_{\mu_i-i+j,j-1}],  

855: $$ 

856: where the order of the determinant is any number $\ge\ell(\mu)$. 

857: Finally, set  

858: $$ 

859: S_{(p\,|\,q)}=S_{(p+1,1^q)}. 

860: $$ 

861:  

862: Then the Giambelli formula holds{\rm:} 

863: $$ 

864: S_\mu=\det[S_{(p_i\,|\,q_j)}]_{i,j=1}^d\,, 

865: \qquad \text{where $p_i=p_i(\mu)$, $q_i=q_i(\mu)$, $d=d(\mu)$.}  

866: $$ 

867: \endproclaim 

868:  

869: \demo{Proof} See \cite{Ma1, Ex. I.3.21} or \cite{Ma2}. \qed 

870: \enddemo 

871:  

872: As a corollary we get the following result, which was pointed out in 

873: \cite{OO1, Remark 13.2}:  

874:  

875: \proclaim{Proposition 1.7} For shifted Schur functions, the Giambelli 

876: formula remains intact{\rm:} 

877: $$ 

878: s^*_\mu=\det[s^*_{(p_i(\mu)\,|\,q_j(\mu))}]. 

879: $$ 

880: \endproclaim 

881:  

882: \demo{Proof} We employ Proposition 1.5 and apply Proposition 1.6 to 

883: the two--parameter family $h_{k,r}=T^*_r h_k^*$. \qed 

884: \enddemo 

885:  

886: Following \cite{KO}, we define an algebra isomorphism 

887: $\varphi:\La^*\to\La$ by  

888: $$ 

889: \varphi(H^*(u))=H(u+\half).   

890: $$ 

891: Clearly, $\varphi$ intertwines the automorphisms $T_r:\La\to\La$ and 

892: $T^*_r:\La^*\to\La^*$. The next result yields a  

893: characterization of $\varphi$. The key idea is to realize both $\La^*$ 

894: and $\La$ as algebras of functions on Young diagrams; here the 

895: realization of $\La^*$ is defined in terms of the row coordinates 

896: while the realization of $\La$ requires Frobenius coordinates. 

897:  

898: \proclaim{Proposition 1.8} Let $f\in\La^*$ be arbitrary. For any Young  

899: diagram $\la$,  

900: $$ 

901: f(\la_1,\la_2,\dots)=\varphi(f) 

902: (p_1+\half,\dots, p_d+\half\,;\, 

903: \,q_1+\half,\dots,q_d+\half), 

904: $$ 

905: where $\la_i$ are the row lengths of $\la$ and  

906: $(p_1,\dots, p_d\,|\,q_1,\dots,q_d)$ is its Frobenius notation. 

907: \endproclaim 

908:  

909: \demo{Proof} Our argument is a slight simplification of the proof 

910: given in \cite{KO}. Let $\sq$ range over the squares of $\la$ 

911: and let $c(\sq)$ denote the content of $\sq$, i.e., $c(\sq)=j-i$ if 

912: $\sq=(i,j)$. Using Proposition 1.4, we have  

913: $$ 

914: \align 

915: H^*(u)(\la_1,\dots,\la_l)&=\prod_{i=1}^{l}\frac{u+i}{u+i-\la_i}\\ 

916: &=\prod_{i=1}^{l}\frac{u+i}{u+i-1}\, 

917: \frac{u+i-1}{u+i-2}\,\dots\, 

918: \frac{u+i-\la_i+1}{u+i-\la_i}\\ 

919: &=\prod_{\sq\in\la}\frac{u-c(\sq)+1}{u-c(\sq)}\,.   

920: \endalign 

921: $$ 

922: In the latter product, we may first fix a diagonal hook and then let $\sq$ 

923: range along this hook. In the $i$th diagonal hook, the content ranges 

924: from $-q_i$ to $p_i$. From this we conclude that  

925: $$ 

926: \gather 

927: H^*(u)(\la_1,\dots,\la_l)=  

928: \prod_{i=1}^d\frac{u+q_i+1}{u-p_i} 

929: =\prod_{i=1}^d\frac{u+\half+(q_i+\half)}{u+\half-(p_i+\half)}\\ 

930: =H(u+\half)(p_1+\half,\dots,p_d+\half\,; 

931: q_1+\half,\dots,q_d+\half) 

932: \endgather 

933: $$ 

934: (here we have used \tht{$1.2'$}). \qed 

935: \enddemo	 

936:  

937:  

938:  

939: \head \S2. The Frobenius--Schur functions \endhead 

940:  

941: We keep to the notation of \S1.  

942:  

943: Define the {\it Frobenius--Schur 

944: function\/} indexed by a Young diagram $\mu$ as the following element 

945: of $\La$:  

946: $$ 

947: Fs_\mu=\varphi(s^*_\mu). \tag2.1 

948: $$ 

949: Here $\varphi$ is the isomorphism $\La^*\to\La$ introduced just before 

950: Proposition 1.8. 

951:  

952:  

953: Then the following characterization theorem holds: 

954:  

955: \proclaim{Theorem 2.1} $Fs_\mu(x;y)$ is the only 

956: supersymmetric function such that for any Young diagram 

957: $\nu=(p_1,\dots, p_d\,|\,q_1,\dots,q_d)$,   

958: $$ 

959: \frac{\dim(\mu,\nu)}{\dim\nu} 

960: =\frac{Fs_\mu(p_1+\half,\dots,p_d+\half,\,; 

961: \,q_1+\half,\dots,q_d+\half)}{n(n-1)\dots(n-m+1)}\,, \tag2.2 

962: $$ 

963: where $m=|\mu|$, $n=|\nu|$. 

964: \endproclaim 

965:  

966: \demo{Proof} Formula \tht{2.2} holds by virtue of Proposition 1.2 and 

967: Proposition 1.8. The uniqueness claim follows from the fact that a 

968: supersymmetric function is uniquely defined by its values on the set 

969: of the modified Frobenius coordinates of Young diagrams. \qed 

970: \enddemo  

971: 

972: As it was already mentioned in \S0, formula \tht{2.2} is important for the

973: asymptotic proof of Thoma's theorem \cite{T}. 

974: Generalizations of Proposition 1.2, Theorem 2.1, and Thoma's theorem

975: are given in \cite{OO2}, \cite{KOO}, \cite{I1}. 

976:  

977: \proclaim{Proposition 2.2} We have  

978: $$ 

979: \om(Fs_\mu)=Fs_{\mu'}.  

980: $$ 

981: \endproclaim 

982:  

983: \demo{Proof} This follows from the fact that the left--hand side 

984: of \tht{2.2} is invariant under transposition of the diagrams, which

985: interchanges Frobenius coordinates. \qed 

986: \enddemo 

987:  

988: Set 

989: $$ 

990: Fh_k=Fs_{(k)}=\varphi(h^*_k),\qquad 

991: Fe_k=Fs_{(1^k)}=\varphi(e^*_k). 

992: $$ 

993:  

994: The formulas of \S1 together with the definition \tht{2.1} lead to the 

995: following formulas for the $FS$ functions. 

996:  

997: {\it Generating series\/}: 

998: $$ 

999: \gather 

1000: 1+\sum_{k=1}^\infty \frac{Fh_k}{(u-\half)\dots(u-\frac{2k-1}2)} 

1001: =H(u)=1+\sum_{k=1}^\infty \frac{h_k}{u^k}\tag2.3\\ 

1002: 1+\sum_{k=1}^\infty \frac{Fe_k}{(u-\half)\dots(u-\frac{2k-1}2)} 

1003: =E(u)=1+\sum_{k=1}^\infty \frac{e_k}{u^k}\tag2.4 

1004: \endgather 

1005: $$ 

1006: or, in terms of the super realization of $\La$, 

1007: $$ 

1008: \gather 

1009: 1+\sum_{k=1}^\infty \frac{Fh_k(x;y)}{(u-\half)\dots(u-\frac{2k-1}2)} 

1010: =\prod_{i=1}^\infty \frac{1+y_i/u}{1-x_i/u}\\ 

1011: 1+\sum_{k=1}^\infty \frac{Fe_k(x;y)}{(u-\half)\dots(u-\frac{2k-1}2)} 

1012: =\prod_{i=1}^\infty \frac{1+x_i/u}{1-y_i/u}\,.

1013: \endgather 

1014: $$ 

1015:  

1016: {\it Jacobi--Trudi and N\"agelsbach--Kostka\/}: 

1017: $$ 

1018: \gather 

1019: Fs_\mu=\det[T_{j-1}(Fh_{\mu_i-i+j})]\\ 

1020: =\det[T_{1-j}(Fe_{\mu'_i-i+j})]. 

1021: \endgather 

1022: $$ 

1023: or, in terms of the super realization, 

1024: $$ 

1025: \gather 

1026: Fs_\mu(x;y)=\det[Fh_{\mu_i-i+j}(x+j-1;y-j+1)]\\ 

1027: =\det[Fe_{\mu'_i-i+j}(x-j+1;y+j-1)],

1028: \endgather 

1029: $$ 

1030: where we abbreviate

1031: $$

1032: x+\const=(x_1+\const,x_2+\const,\dots).

1033: $$

1034:  

1035: {\it Giambelli\/}: 

1036: $$ 

1037: Fs_\mu=\det[Fs_{(p_i\,|\,q_j)}]. 

1038: $$ 

1039:  

1040: The next result is a generating series for the elements $Fs_{(p\,|\,q)}$. 

1041: It will be used in Theorem 2.4 and is of independent interest. 

1042:  

1043: \proclaim{Theorem 2.3} We have 

1044: $$ 

1045: \gather 

1046: 1+(u+v)\sum_{p,q=0}^\infty 

1047: \frac{Fs_{(p\,|\,q)}} 

1048: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2)(v-\tfrac12)\dots(v-\tfrac{2q+1}2)}\\ 

1049: =H(u) E(v), 

1050: \tag2.5 

1051: \endgather 

1052: $$ 

1053: cf. \tht{1.5}. Equivalently, 

1054: $$ 

1055: Fs_{(p+1\,|\,q)}+Fs_{(p\,|\,q+1)}+(p+q+1)Fs_{(p\,|\,q)} 

1056: =Fs_{(p\,|\,0)}Fs_{(0\,|\,q)}\,, \qquad p,q=0,1,2,\dots , \tag2.6 

1057: $$ 

1058: cf. \tht{1.4}. 

1059: \endproclaim 

1060:  

1061: \demo{Proof} Since $Fs_{(p\,|\,q)}=\varphi(s^*_{(p\,|\,q)})$ and 

1062: $$ 

1063: H(u)=\varphi(H^*(u-\half)),\qquad  

1064: E(v)=\varphi(E^*(v-\half)), 

1065: $$ 

1066: the relation \tht{2.5} is equivalent to  

1067: $$ 

1068: \multline 

1069: 1+(u+v)\sum_{p,q=0}^\infty 

1070: \frac{s^*_{(p\,|\,q)}} 

1071: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2)(v-\tfrac12)\dots(v-\tfrac{2q+1}2)}\\

1072: =H^*(u-\half)E^*(v-\half)\\ 

1073: =\left(1+\sum_{p=0}^\infty 

1074: \frac{s^*_{(p\,|\,0)}} 

1075: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2)}\right) 

1076: \left(1+\sum_{q=0}^\infty 

1077: \frac{s^*_{(0\,|\,q)}} 

1078: {(v-\tfrac12)\dots(v-\tfrac{2q+1}2)}\right). 

1079: \endmultline

1080: $$ 

1081: Writing 

1082: $$ 

1083: u+v=(u-\tfrac{2p+1}2)+(v-\tfrac{2q+1}2)+(p+q+1), 

1084: $$ 

1085: we reduce the above formula to the system of relations 

1086: $$ 

1087: s^*_{(p+1\,|\,q)}+s^*_{(p\,|\,q+1)}+(p+q+1)s^*_{(p\,|\,q)} 

1088: =s^*_{(p\,|\,0)}s^*_{(0\,|\,q)}, \qquad 

1089: p,q=0,1,2,\dots\,. \tag2.7 

1090: $$ 

1091: Note that this system is equivalent to \tht{2.6}. 

1092:  

1093: Thus, it suffices to check \tht{2.7}. This is a particular case of a 

1094: Littlewood--Richardson--type rule for the $s^*$-functions, found by Molev 

1095: and Sagan \cite{MS}. Here is an elementary derivation of \tht{2.7}. 

1096:  

1097: Let us expand the product $s^*_{(p\,|\,0)}s^*_{(0\,|\,q)}$ into 

1098: a linear combination of the shifted Schur functions; such an expansion 

1099: exists, because the shifted Schur functions form a basis in $\La^*$. 

1100: By virtue of \tht{1.4} we know the highest terms of this expansion, so 

1101: we get 

1102: $$ 

1103: s^*_{(p\,|\,0)}s^*_{(0\,|\,q)}= 

1104: s^*_{(p+1\,|\,q)}+s^*_{(p\,|\,q+1)}+ 

1105: \sum_{\nu:\, |\nu|\le p+q+1}c(\nu)s^*_{\nu}\,, 

1106: $$ 

1107: where $c(\nu)$ are certain numerical coefficients. Let $X$ be the set of 

1108: those $\nu$'s that enter this sum with  

1109: nonzero coefficients $c(\nu)$. We claim that $X$ contains only the 

1110: diagram $(p\,|\,q)$; here we will use Proposition 1.3 and the fact that 

1111: $|\nu|\le p+q+1$.  

1112:  

1113: Indeed, let $\la$ be a minimal (with respect to 

1114: inclusion) diagram in $X$ and evaluate both sides at the point  

1115: $\la=(\la_1,\la_2,\dots)$. On the right, the result is nonzero, because 

1116: $s^*_\la(\la)\ne0$ while all other terms on the right have zero 

1117: contributions, because neither a diagram $\nu\ne\la$ from $X$ nor 

1118: $(p+1\,|\,q)$ and $(p\,|\,q+1)$ are contained in $\la$.  So, the result 

1119: of the evaluation on the left is nonzero, too. This implies that $\la$ 

1120: contains both $(p\,|\,0)$ and $(0\,|\,q)$, which is only possible for 

1121: $\la=(p\,|\,q)$.  

1122:  

1123: Thus, our expansion takes the form  

1124: $$ 

1125: s^*_{(p\,|\,0)}s^*_{(0\,|\,q)}= 

1126: s^*_{(p+1\,|\,q)}+s^*_{(p\,|\,q+1)}+ 

1127: \operatorname{const}\,\cdot\, s^*_{(p\,|\,q)}\,, 

1128: $$ 

1129: and it remains to find the constant. Evaluating both sides at 

1130: $\la=(p\,|\,q)$ we get  

1131: $$ 

1132: \const=\frac{s^*_{(p\,|\,0)}(\la)s^*_{(0\,|\,q)}(\la)} 

1133: {s^*_{(p\,|\,q)}(\la)}\,. 

1134: $$  

1135: Applying Proposition 1.2 we get 

1136: $$ 

1137: s^*_{(p\,|\,0)}(\la)= 

1138: \frac{\dim((p\,|\,0),(p\,|\,q))}{\dim(p\,|\,q)}\, 

1139: \fp{(p+q+1)}{p+1}=(p+q+1)p! 

1140: $$ 

1141: Similarly, 

1142: $$ 

1143: s^*_{(0\,|\,q)}(\la)=(p+q+1)q! 

1144: $$ 

1145: Finally, by \tht{1.8},

1146: $$ 

1147: s^*_{(p\,|\,q)}(\la)=\frac{(p+q+1)!}{\dim(p\,|\,q)}= 

1148: (p+q+1)p!q! 

1149: $$ 

1150: This implies $\const=p+q+1$, as was required. \qed  

1151: \enddemo 

1152:  

1153: Our aim is to expand the $FS$ functions in the $S$ functions. 

1154:  

1155: \proclaim{Proposition 2.4} We have  

1156: $$ 

1157: Fs_{(p\,|\,q)}=\sum_{p'=0}^p\sum_{q'=0}^q  

1158: c_{pp'}c_{qq'}s_{(p'\,|\,q')}\,, \tag2.8 

1159: $$ 

1160: where 

1161: $$ 

1162: c_{pp'}=\cases 

1163: (-1)^{p-p'}e_{p-p'}(\tfrac12,\tfrac32,\dots,\tfrac{2p-1}2), & p'\le p,\\ 0, & 

1164: p'>p, \endcases  \tag2.9 

1165: $$ 

1166: for any $p,p'=0,1,2,\dots\,.$

1167: \endproclaim 

1168: 

1169: (Note that $c_{pp}=1$.)

1170: 

1171: \demo{Proof} By virtue of \tht{2.5} and \tht{1.5}, 

1172: $$ 

1173: \gather 

1174: (u+v)\sum_{p,q=0}^\infty 

1175: \frac{Fs_{(p\,|\,q)}} 

1176: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2)(v-\tfrac12)\dots(v-\tfrac{2q+1}2)}\\ 

1177: =H(u)E(v)-1=(u+v)\sum_{p,q=0}^\infty 

1178: \frac{s_{(p\,|\,q)}} 

1179: {u^{p+1}v^{q+1}}   

1180: \endgather 

1181: $$ 

1182: Note that $u+v$ can be written as 

1183: $(\frac1u+\frac1v)(\frac1u\cdot\frac1v)^{-1}$ and that the algebra of 

1184: formal power series in the indeterminates $\frac1u$, $\frac1v$ has no zero 

1185: divisors. Consequently, we may divide both sides by 

1186: $u+v$, which gives 

1187: $$ 

1188: \sum_{p,q=0}^\infty 

1189: \frac{Fs_{(p\,|\,q)}} 

1190: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2)(v-\tfrac12)\dots(v-\tfrac{2q+1}2)} 

1191: =\sum_{p,q=0}^\infty 

1192: \frac{s_{(p\,|\,q)}} 

1193: {u^{p+1}v^{q+1}}\,.  \tag2.10 

1194: $$  

1195:  

1196: We need the following Lemma.

1197:  

1198: \proclaim{Lemma 2.5}  

1199: If $a_1,a_2,\dots$ and $b_1,b_2,\dots$ are two number sequences, then 

1200: for any $p'=0,1,\dots$, 

1201: $$ 

1202: \frac1{(u-b_1)\dots(u-b_{p'+1})}=\sum_{p=p'}^\infty  

1203: \frac{h_{p-p'}(b_1,\dots,b_{p'+1}\,;\,-a_1,\dots, -a_p)} 

1204: {(u-a_1)\dots(u-a_{p+1})}\,,  

1205: $$ 

1206: where $h_0=1,h_1, h_2,\dots$ denote the conventional complete homogeneous

1207: functions in the super realization of the algebra $\La$. 

1208: \endproclaim 

1209:  

1210: \demo{Proof of the Lemma} Indeed, we have 

1211: $$ 

1212: \frac1{(u-b_1)\dots(u-b_{p'+1})}=\sum_{p=p'}^\infty  

1213: \frac{d(p,p')} 

1214: {(u-a_1)\dots(u-a_{p+1})}    

1215: $$ 

1216: with certain coefficients $d(p,p')$. It is readily seen that $d(p,p')$ 

1217: is equal to the coefficient of $u^{-1}$ in the expansion of  

1218: $$ 

1219: \frac{(u-a_1)\dots(u-a_p)}{(u-b_1)\dots(u-b_{p'+1})}\,\in\C((\tfrac1u)), $$ 

1220: or, equivalently, to the coefficient of $u^{p'-p}$ in the expansion of  

1221: $$ 

1222: \frac{(u-a_1)\dots(u-a_p)}{(u-b_1)\dots(u-b_{p'+1})u^{p-p'-1}}\, 

1223: \in\C[[\tfrac1u]]. 

1224: $$  

1225: By \tht{$1.2'$}, the latter coefficient is exactly  

1226: $h_{p-p'}(b_1,\dots,b_{p'+1}\,;\,-a_1,\dots, -a_p)$. \qed 

1227: \enddemo 

1228:  

1229: Returning to the proof of the proposition, let us apply Lemma 2.5 to 

1230: $$ 

1231: a_1=\tfrac12,\, a_2=\tfrac32,\, a_3=\tfrac52,\dots, \quad 

1232: b_1=b_2=\dots=0. 

1233: $$ 

1234: Then, using the relation 

1235: $$ 

1236: h_{p-p'}(0,\dots,0\,;\,-\tfrac12,-\tfrac32,\dots,-\tfrac{2p-1}2)=

1237: (-1)^{p-p'}e_{p-p'}(\tfrac12,\tfrac32,\dots,\tfrac{2p-1}2)=c_{pp'},

1238: $$ 

1239: we get 

1240: $$ 

1241: \frac1{u^{p'+1}}=\sum_{p=p'}^\infty 

1242: \frac{c_{pp'}}{(u-\tfrac12)\dots(u-\tfrac{2p+1}2)}\,. 

1243: $$ 

1244: Likewise, we have 

1245: $$ 

1246: \frac1{u^{q'+1}}=\sum_{q=q'}^\infty 

1247: \frac{c_{qq'}}{(u-\tfrac12)\dots(u-\tfrac{2q+1}2)}\,, 

1248: $$ 

1249: whence 

1250: $$ 

1251: \frac1{u^{p'+1}v^{q'+1}}=\sum_{p=p'}^\infty\sum_{q=q'}^\infty 

1252: \frac{c_{pp'}c_{qq'}} 

1253: {(u-\tfrac12)\dots(u-\tfrac{2p+1}2) 

1254: (u-\tfrac12)\dots(u-\tfrac{2q+1}2)}\,.   

1255: $$ 

1256: Substituting this into the right--hand side of \tht{2.10} we get 

1257: $$ 

1258: Fs_{(p\,|\,q)})=\sum_{p'=0}^p\sum_{q'=0}^q     

1259: c_{pp'}\, c_{qq'}\, s_{(p'\,|\,q')}\,,      

1260: $$ 

1261: which concludes the proof of Proposition 2.4. \qed 

1262: \enddemo 

1263:  

1264: \proclaim{Theorem 2.6} {\rm(i)} We have the equality

1265: $$ 

1266: Fs_\mu=\sum_\nu c_{\mu\nu} s_\nu, 

1267: $$ 

1268: summed over diagrams $\nu$ which are contained in $\mu$ and have the same number 

1269: of diagonal squares as $\mu$.  

1270:  

1271: {\rm(ii)} Write $\mu$ and $\nu$ in Frobenius notation 

1272: $$ 

1273: \gathered 

1274: \mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d),\qquad  

1275: p_1>\dots>p_d\ge0,\quad  

1276: q_1>\dots>q_d\ge0,\\ 

1277: \nu=(p'_1,\dots,p'_d\,|\,q'_1,\dots,q'_d),\qquad 

1278: p'_1>\dots>p'_d\ge0,\quad  

1279: q'_1>\dots>q'_d\ge0. 

1280: \endgathered   

1281: $$ 

1282: Then we have  

1283: $$ 

1284: c_{\mu\nu}=\det[c_{p_i,p'_j}]\,\det[c_{q_i,q'_j}], \tag2.11 

1285: $$ 

1286: where the determinants are of order $d$ and the coefficients

1287: $c_{pp'}$ are defined by \tht{2.9}.  

1288: \endproclaim 

1289:  

1290: \demo{Proof} Both $Fs_\mu$ and $s_\nu$ can be expressed via the 

1291: Giambelli formula,

1292: $$ 

1293: Fs_\mu=\det[Fs_{(p_i\,|\,q_j)}],\qquad 

1294: s_\nu=\det[s_{(p'_i\,|\,q'_j)}]. 

1295: $$ 

1296: Consequently, it suffices to prove the claim of the theorem in the 

1297: simplest case when $\mu$ is a hook diagram, $\mu=(p\,|\,q)$, which 

1298: was done in Proposition 2.4. \qed 

1299: \enddemo 

1300: 

1301: 

1302: 

1303: 

1304: \head \S3. Multiparameter  Schur functions 

1305: \endhead  

1306:  

1307: Let $a=(a_i)_{i\in\Z}$ be an arbitrary sequence 

1308: of complex numbers. All the symmetric functions introduced in this 

1309: section will depend on $a$.  

1310:  

1311: First, we define the multiparameter Schur functions $h_{k;a}$ which are

1312: indexed by one row 

1313: diagrams $(k)$, i.e., certain analogs of the complete homogeneous 

1314: functions. To do this we will employ generating functions which are 

1315: formal series in $u^{-1}$, cf. \tht{2.3}: 

1316: $$ 

1317: 1+\sum_{k=1}^\infty \frac{h_{k;a}}{(u-a_1)\dots(u-a_k)} 

1318: =H(u)=1+\sum_{k=1}^\infty\frac{h_k}{u^k}. \tag3.1

1319: $$  

1320: Clearly, we have  

1321: $$ 

1322: h_{k;a}=h_k\,+\,\text{lower terms}. \tag3.2

1323: $$ 

1324: This implies, in particular, that $\{h_{k;a}\}_{k=1,2,\dots}$ is a 

1325: system of algebraically independent generators of $\La$.  

1326:  

1327: We agree that  

1328: $$ 

1329: h_{0;a}=1, \qquad h_{-1;a}=h_{-2;a}=\dots=0. 

1330: $$ 

1331:  

1332: We also need the following notation: for $r\in\Z$, let $\tau^r a$ be the 

1333: result of shifting $a$ by $r$ digits to the left, 

1334: $$ 

1335: (\tau^r a)_i=a_{i+r}\,.\tag3.3

1336: $$ 

1337:  

1338: Now we are in a position to define the {\it multiparameter Schur 

1339: function\/} indexed by an arbitrary Young diagram $\mu$: 

1340: $$ 

1341: s_{\mu;a}=\det[h_{\mu_i-i+j; \tau^{1-j}a}] \tag3.4

1342: $$ 

1343: where the order of the determinant is any number greater or equal to 

1344: $\ell(\mu)$, the number of rows in $\mu$. Clearly, 

1345: $h_{k;a}=s_{(k);a}$.   

1346: 

1347: Note that our definition \tht{3.4} is a particular case of a very

1348: general concept of {\it multi--Schur functions\/} due to Lascoux

1349: \cite{L1} (see also \cite{L2} and \cite{Ma3}). 

1350:  

1351: \proclaim{Proposition 3.1} Multiparameter Schur functions as defined 

1352: above satisfy the Giambelli formula{\rm:} 

1353: $$ 

1354: s_{\mu;a}=\det[s_{(p_i\,|\,q_j);a}],  

1355: $$ 

1356: where the determinant has order $d=d(\mu)$ and 

1357: $p_1,\dots,p_d; q_1,\dots,q_d$ 

1358: denote the Frobenius coordinates of $\mu$. 

1359: \endproclaim 

1360:  

1361: \demo{Proof} This is immediate from Macdonald's result stated above as 

1362: Proposition 1.6. \qed 

1363: \enddemo 

1364:  

1365: Note that if $a\equiv0$ then $s_{\mu;a}=s_\mu$. For arbitrary $a$, it 

1366: follows from \tht{3.2} and \tht{3.4} that  

1367: $$ 

1368: s_{\mu;a}=s_\mu\,+\,\text{lower terms},  

1369: $$ 

1370: which implies that the elements $s_{\mu;a}$ form a basis in 

1371: $\La$.  

1372:  

1373: \proclaim{Proposition 3.2} If $a_i=i-\half$ then $s_{\mu;a}=Fs_\mu$. 

1374: \endproclaim 

1375:  

1376: \demo{Proof} Both functions can be given by a Jacobi--Trudi--type 

1377: formula, see \S2 and \tht{3.4}. Consequently, it suffices to prove 

1378: that for $a_i=i-\half$ 

1379: $$ 

1380: h_{k;a}=Fh_k, \qquad 

1381: h_{k;\tau^{-r}a}=T_r(Fh_k). 

1382: $$ 

1383: The first equality is immediate from the comparison of \tht{3.1} and 

1384: \tht{2.3}. Let us prove the more general second equality. By \tht{3.1} and 

1385: \tht{3.3},  

1386: $$ 

1387: 1+\sum_{k=1}^\infty

1388: \frac{h_{k;\tau^{-r}a}}{(u-a_{1-r})\dots(u-a_{k-r})} =H(u). 

1389: $$ 

1390: By our assumption on $a$, we have $a_{i-r}=a_i-r$. Substitute this 

1391: in the latter expression and then replace $u+r$ by $u$. Then we get  

1392: $$ 

1393: 1+\sum_{k=1}^\infty \frac{h_{k;\tau^{-r}a}}{(u-a_1)\dots(u-a_k)} 

1394: =H(u-r). 

1395: $$ 

1396: The left--hand side is equal to

1397: $$ 

1398: 1+\sum_{k=1}^\infty \frac{h_{k;\tau^{-r}a}}{(u-\tfrac12)

1399: \dots(u-\tfrac{2k-1}2)}  

1400: $$ 

1401: while the right--hand side, by virtue of Proposition 1.1 and

1402: \tht{2.3}, is equal to 

1403: $$ 

1404: 1+\sum_{k=1}^\infty \frac{T_r(Fh_k)}{(u-\tfrac12)\dots(u-\tfrac{2k-1}2)}\,.

1405: $$ 

1406: This proves the second equality. \qed 

1407: \enddemo

1408: 

1409: Thus, the multiparameter Schur functions interpolate between the 

1410: conventional $S$-functions and the $FS$-functions.

1411: 

1412: \example{Remark 3.3} Following the general philosophy of symmetric 

1413: functions, one can define multiparameter Schur functions indexed by {\it 

1414: skew\/} diagrams $\la/\mu$ by making use of the canonical 

1415: comultiplication $\Delta:\La\to\La\otimes\La$. We recall that 

1416: $\Delta$ is specified by setting  

1417: $\Delta(\bp_k)=\bp_k\otimes1+1\otimes \bp_k$, or, which is the same, it 

1418: corresponds to splitting the collection  

1419: of the variables into two disjoint parts: $x=x'\sqcup x''$  

1420: (and, in the super case, $y=y'\sqcup y''$). Then $s_{\la/\mu;a}$ is 

1421: defined by 

1422: $$ 

1423: \Delta(s_{\la;a})=\sum_{\mu}s_{\mu;a}\otimes s_{\la/\mu;a}.  

1424: $$ 

1425:  

1426: The result of the Appendix shows that $s_{\la/\mu;a}$ vanishes unless 

1427: $\mu\subseteq\la$, and an analogue of \tht{3.4} holds: 

1428: $$ 

1429: s_{\la/\mu;a}=\det[h_{\la_i-\mu_j-i+j;\tau^{\mu_j-j+1}a}].

1430: $$ 

1431: \endexample 

1432: {}\qed 

1433:  

1434: As was emphasized in \S0, our definition of the multiparameter Schur 

1435: functions was suggested by Molev's work \cite{Mo}. In the rest of this 

1436: section we discuss the connection with \cite{Mo}.  

1437:  

1438: Let $\La_{m,n}$ denote the algebra of supersymmetric polynomials in $m+n$ 

1439: variables \cite{BR}, \footnote{Here we say `supersymmetric 

1440: polynomials' in place of `supersymmetric functions' in order to 

1441: emphasize that one deals with finitely many variables.}  

1442: and let $\Y_{m,n}$ denote the set of Young diagrams not containing 

1443: the square $(m+1,n+1)$. It is well known that the conventional

1444: supersymmetric Schur 

1445: polynomials $s_\mu(x_1,\dots,x_m;y_1,\dots,y_n)$, where $\mu$ ranges 

1446: over $\Y_{m,n}$, form a homogeneous basis in $\La_{m,n}$. The algebra 

1447: of supersymmetric functions can be identified with the projective 

1448: limit of the graded algebras $\La_{m,n}$ as both $m,n$ go to infinity.  

1449:  

1450: In \cite{Mo}, Molev introduced a family of multiparameter supersymmetric 

1451: Schur polynomials, which depend on $a$ and are denoted as 

1452: $$ 

1453: s_\mu(x_1,\dots,x_m/y_1,\dots,y_n|a).  \tag{3.5}

1454: $$ 

1455: These polynomials are inhomogeneous, and their top degree homogeneous 

1456: components coincide with the conventional supersymmetric Schur 

1457: polynomials. This implies that the polynomials \tht{3.5} form a basis in 

1458: $\La_{m,n}$. When 

1459: $a\equiv0$, they reduce to the conventional supersymmetric Schur 

1460: polynomials.   

1461:  

1462: Molev's initial definition is given in terms of a combinatorial 

1463: formula. Next, he writes down generating series for the $h$- and 

1464: $e$-functions and establishes a Jacobi--Trudi--type formula and 

1465: its dual analog. He then gets a version of the Sergeev--Pragacz 

1466: formula. His paper also contains a number of other results which will 

1467: not be discussed here.  

1468:  

1469: Recall that a fundamental property of the conventional supersymmetric 

1470: Schur polynomials is their stability: specializing $x_m=0$ gives the 

1471: supersymmetric Schur polynomial in $(m-1)+n$ variables with the same 

1472: index, and similarly for $y_n=0$. Due to the stability property, one 

1473: can define 

1474: the supersymmetric Schur functions in $\infty+\infty$ variables.  

1475: It is pointed out in \cite{Mo} that the polynomials \tht{3.5} lose the 

1476: stability property. Our observation is that stability is 

1477: recovered if we restrict ourselves to the case $m=n$ and slightly 

1478: modify Molev's definition. The exact correspondence between Molev's 

1479: polynomials and our multiparameter Schur functions is as follows:  

1480:  

1481: \proclaim{Proposition 3.4} For any $\mu$ and any $n$, 

1482: $$ 

1483: s_{\mu;a} (x_1,\dots,x_n;y_1,\dots,y_n)= 

1484: s_\mu(x_1,\dots,x_n/y_1,\dots,y_n|\tau^{-n}a)  

1485: $$ 

1486: \endproclaim 

1487:  

1488: \demo{Proof} Assume first that $\mu=(k)$, where $k=1,2,\dots$, and write 

1489: $h_k(\dots)$ instead of $s_{(k)}(\dots)$. By \cite{Mo, \tht{2.6}} we 

1490: have  

1491: $$ 

1492: 1+\sum_{k=1}^\infty  

1493: \frac{h_k(x_1,\dots,x_n/y_1,\dots,y_n|a)} 

1494: {(u-a_{n+1})\dots(u-a_{n+k})} 

1495: =\frac{(u+y_1)\dots(u+y_n)}{(u-x_1)\dots(u-x_n)}\,.

1496: $$ 

1497: Replacing $a$ by $\tau^{-n}a$ we get, by \tht{$1.2'$} and \tht{3.1},

1498: $$ 

1499: \gather

1500: 1+\sum_{k=1}^\infty  

1501: \frac{h_k(x_1,\dots,x_n/y_1,\dots,y_n|\tau^{-n}a)} 

1502: {(u-a_{1})\dots(u-a_{k})} 

1503: =\frac{(u+y_1)\dots(u+y_n)}{(u-x_1)\dots(u-x_n)}\\

1504: =H(u)(x_1,\dots,x_n;y_1,\dots,y_n)=1+\sum_{k=1}^\infty  

1505: \frac{h_{k;a}(x_1,\dots,x_n;y_1,\dots,y_n)} 

1506: {(u-a_{1})\dots(u-a_{k})}\,.

1507: \endgather

1508: $$ 

1509: This implies that

1510: $$

1511: h_{k;a}(x_1,\dots,x_n;y_1,\dots,y_n)=h_k(x_1,\dots,x_n/y_1,\dots,y_n|

1512: \tau^{-n}a), \tag3.6

1513: $$

1514: which is our claim for $\mu=(k)$. 

1515:  

1516: For a general $\mu$ we employ Molev's Jacobi--Trudi formula 

1517: \cite{Mo,\tht{3.1}}, which gives 

1518: $$ 

1519: s_\mu(x_1,\dots,x_n/y_1,\dots,y_n|a)= 

1520: \det[h_{\mu_i-i+j}(x_1,\dots,x_n/y_1,\dots,y_n|\tau^{-j+1}a)], 

1521: $$ 

1522: whence 

1523: $$ 

1524: \gather 

1525: s_\mu(x_1,\dots,x_n/y_1,\dots,y_n|\tau^{-n}a)= 

1526: \det[h_{\mu_i-i+j}(x_1,\dots,x_n/y_1,\dots,y_n|\tau^{-n-j+1}a)]\\ 

1527: =\det[h_{\mu_i-i+j;\tau^{1-j}a}(x_1,\dots,x_n;y_1,\dots,y_n)], \quad \text{by 

1528: \tht{3.6}}\\

1529: = s_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n), \quad \text{by \tht{3.4}.} 

1530: \endgather 

1531: $$ 

1532: This completes the proof. \qed 

1533: \enddemo 

1534:  

1535: It should be emphasized that this correspondence fails when $m\ne n$. 

1536:  

1537:  

1538:  

1539:  

1540:  

1541: \head \S4. Combinatorial formula\endhead 

1542:  

1543: We attach to $a$ the `dual' sequence $\wha,$ given by  

1544: $$ 

1545: \wha_i=-a_{-i+1}\,. \tag4.1

1546: $$ 

1547: Note that in the $FS$ case, we have $\wha=a$. 

1548:  

1549: Let $\Z'=\{\dots, -\tfrac32, -\tfrac12, \tfrac12,\tfrac32,\dots\}$ 

1550: stand for the set of proper half--integers. Certain formulas will look more 

1551: symmetric if we agree to label the terms of the sequence $a$ by the 

1552: half--integers. For this reason we introduce the alternative notation  

1553: $$ 

1554: a'=(a'_\ep)_{\ep\in\Z'}, \qquad a'_\ep=a_{\ep+1/2}\,. \tag4.2

1555: $$ 

1556: In this notation, \tht{4.1} takes symmetric form: 

1557: $$ 

1558: (\wha)'_\ep=-a'_{-\ep}. \tag4.3

1559: $$

1560: Note that in the $FS$ case, $a'_\ep=\ep$.

1561: 

1562: Recall that a {\it horizontal strip\/} is a skew Young diagram 

1563: containing at most one square in each column. Dually, a {\it vertical 

1564: strip\/} contains at most one square in each row. More generally, we 

1565: will deal with skew diagrams $\nu$ of the following kind: there 

1566: exists a skew subdiagram $\nu_1\subseteq\nu$ such that $\nu_1$ is a 

1567: horizontal strip while $\nu/\nu_1$ is a vertical strip (equivalently, 

1568: there exists $\nu_2\subseteq\nu$ which is a vertical strip while 

1569: $\nu/\nu_2$ is a horizontal strip). These are exactly skew diagrams 

1570: $\nu$ containing no $2\times2$ block of squares (equivalently, the 

1571: contents of the squares $\sq\in\nu$ are pairwise distinct). Such a 

1572: diagram is called a {\it skew hook\/} \footnote{Other terms: border 

1573: strip, ribbon, see \cite{Ma1}.} if, in addition, it is connected. 

1574: Thus, a skew diagram with no $2\times2$ block of squares is a disjoint 

1575: union of skew hooks.   

1576:  

1577: To each skew diagram $\nu$ containing no $2\times2$ block of squares 

1578: we attach a polynomial $f_{\nu;a}(u,v)$ in two variables $u,v$, of 

1579: degree $|\nu|$, as follows.   

1580:  

1581: First, assume $\nu$ is a skew hook. Consider the {\it interior\/}

1582: sides of the squares of the shape $\nu$: an interior side is adjacent

1583: to two squares of 

1584: $\nu$; the total number of the interior sides is equal to $|\nu|-1$. 

1585: To each interior side $s$ we attach the coordinates $(\ep,\de)$ of 

1586: its midpoint, \footnote{According to the `English' manner of 

1587: drawing Young diagrams, we assume that the first coordinate axis is 

1588: directed downwards and the second coordinate axis is directed to the 

1589: right.} and we write $s=(\ep,\de)$. Note that one of the  

1590: coordinates is always half--integral while another coordinate is 

1591: integral. Specifically, if $s$ is a vertical side then $\ep\in\Z'$, 

1592: $\de\in\Z$, and the ends of $s$ are the points $(\ep-1/2,\de)$ and 

1593: $(\ep+1/2,\de)$; if $s$ is a horizontal side then $\ep\in\Z$, 

1594: $\de\in\Z'$, and the ends of $s$ are the points $(\ep,\de-1/2)$, 

1595: $(\ep,\de+1/2)$.  

1596:  

1597: For both vertical and horizontal sides, $\de-\ep\in\Z'$. Using the 

1598: notation \tht{4.2}, we set  

1599: $$ 

1600: f_{\nu;a}(u,v)=(u+v) 

1601: \prod\Sb \text{vertical interior}\\ \text{sides $s=(\ep,\de)$ of $\nu$} 

1602: \endSb (u-a'_{\de-\ep}) 

1603: \prod\Sb \text{horizontal interior}\\ \text{sides $s=(\ep,\de)$ of $\nu$} 

1604: \endSb (v+a'_{\de-\ep}). 

1605: \tag4.4

1606: $$ 

1607:  

1608: For instance, if $\nu=(4,2,2)/(1,1)$ (see the figure below) then

1609: there are 6 squares and 5 interior sides with midpoints

1610: $$ 

1611: (\tfrac52,1),\quad(2,\tfrac32),\quad(1,\tfrac32),\quad 

1612: (\tfrac12,2),\quad(\tfrac12,3),

1613: $$ 

1614: and we have  

1615: $$ 

1616: \gather 

1617: f_{\nu;a}(u,v)=(u+v)(u-a'_{-3/2})(u-a'_{3/2})(u-a'_{5/2}) 

1618: (v+a'_{-1/2})(v+a'_{1/2})\\ 

1619: =(u+v)(u-a_{-1})(u-a_2)(u-a_3)(v+a_0)(v+a_1) 

1620: \endgather 

1621: $$ 

1622: 

1623: (On the figure, the interior sides and

1624: their midpoints are represented by dotted lines and bold dots,

1625: respectively.) 

1626: 

1627: \smallskip

1628: \midinsert

1629: \vskip 5pt

1630: \centerline{\epsffile{figure.eps}}

1631: \vskip 5pt

1632: \endinsert

1633: \smallskip

1634:  

1635: When $\nu$ is an arbitrary skew diagram with no $2\times2$ block of 

1636: squares, we define $f_{\nu;a}(u,v)$ as the product of the polynomials 

1637: attached to its connected components.  

1638:  

1639: \proclaim{Proposition 4.1} Let $\nu$ be a skew Young diagram 

1640: containing no $2\times2$ block of squares. Then  

1641: $$ 

1642: f_{\nu;a}(v,u)=f_{\nu';\wha}(u,v). 

1643: $$ 

1644: \endproclaim 

1645:  

1646: \demo{Proof} This is immediate from \tht{4.3} and \tht{4.4}. \qed 

1647: \enddemo 

1648:  

1649: Let $\mu$ be a Young diagram. Recall that a 

1650: {\it semistandard\/} (or {\it column--strict\/}) tableau of shape 

1651: $\mu$ is a function $\T(\sq)$ from the squares of $\mu$ to 

1652: $\{1,2,\dots\}$ such that the numbers $\T(\sq)$ weakly increase from 

1653: left to right along the rows and strictly increase down the columns. 

1654: For such a tableau $\T$, the pull--back $\T^{-1}(i)\subset\mu$ is a 

1655: horizontal strip for any $i=1,2,\dots$, see \cite{Ma1, I.5}. 

1656: Dually, for a {\it row--strict\/} tableau, each subset of the form 

1657: $\T^{-1}(i)$ is a vertical strip. Now, we give the following definition: 

1658:  

1659: A {\it diagonal--strict\/} tableau of shape $\mu$ is a function 

1660: $\T(\sq)$ from the squares of $\mu$ to  

1661: $\{1,2,\dots\}$ such that the numbers $\T(\sq)$ weakly increase 

1662: both along the rows (from left to right) and down the columns, and 

1663: strictly increase along the diagonals $j-i=\const$. We will also 

1664: consider diagonal--strict tableaux with entries in $\{1,\dots,n\}$. 

1665:  

1666: Clearly, each subset of form $\T^{-1}(i)$ 

1667: is a skew diagram with no $2\times2$ block of squares, i.e., a 

1668: disjoint union of skew hooks. Thus, a diagonal--strict tableau $\T$ 

1669: with entries in $\{1,\dots,n\}$ may be viewed as a chain of Young 

1670: diagrams,  

1671: $$ 

1672: \varnothing=\mu^{(0)}\subseteq\mu^{(1)}\subseteq\dots 

1673: \subseteq\mu^{(n)}=\mu, 

1674: $$ 

1675: such that $\mu^{(i)}/\mu^{(i-1)}$ has no $2\times2$ block of squares 

1676: for each $i=1,\dots,n$.  

1677:  

1678: Note that the definition of a diagonal--strict tableau also makes 

1679: sense for a skew Young diagram $\mu$.  

1680:  

1681: Given an ordinary or skew Young diagram $\mu$ and 

1682: indeterminates $x=(x_i)$, $y=(y_i)$, consider the combinatorial sum  

1683: $$ 

1684: \Sigma_{\mu;a}(x;y)=\sum_\T 

1685: \prod_{i\ge1}f_{\T^{-1}(i);a}(x_i,y_i)  \tag4.5

1686: $$ 

1687: summed over all diagonal--strict tableaux of shape $\mu$.  

1688:  

1689: By Proposition 4.1, we have 

1690: $$ 

1691: \Sigma_{\mu;a}(y;x)=\Sigma_{\mu';\wha}(x;y).  \tag4.6

1692: $$ 

1693:  

1694: \proclaim{Proposition 4.2} Assume $x_i=y_i=0$ for $i>n$. Then only 

1695: tableaux $\T$ with entries in $\{1,\dots,n\}$ make nonzero 

1696: contributions to the sum \tht{4.5}. 

1697: \endproclaim 

1698:  

1699: \demo{Proof} Indeed, assume $\T$ takes a certain value $i>n$. Then  

1700: for this $i$, the shape $\T^{-1}(i)\subset\mu$ is nonempty. By the 

1701: definition of the polynomials $f_{\nu;a}$ (see \tht{4.4}), 

1702: $f_{\T^{-1}(i);a}(x_i,y_i)$ contains the factor $x_i+y_i$, which is 

1703: zero by the assumption. Consequently, the contribution of $\T$ is 

1704: zero. \qed  

1705: \enddemo 

1706:  

1707: Thus, under the above assumption, the sum \tht{4.5} is actually finite. 

1708: Note that the same holds under the weaker assumption that  

1709: $x_i=-y_i$ for all $i>n$. 

1710:  

1711: \proclaim{Proposition 4.3} The sum \tht{4.5} can also be defined 

1712: by recurrence as follows{\rm:} for any $k<n$, if $\la$ is a skew diagram, 

1713: then  

1714: $$ 

1715: \multline 

1716: \Sigma_{\la;a} 

1717: (x_1,\dots,x_k, x_{k+1},\dots,x_n; y_1,\dots,y_k,y_{k+1},\dots,y_n)\\ 

1718: =\sum_{\mu\subseteq\la} 

1719: \Sigma_{\mu;a}(x_1,\dots,x_k; y_1,\dots,y_k) 

1720: \Sigma_{\la/\mu;a}(x_{k+1},\dots,x_n;y_{k+1},\dots,y_n),  

1721: \endmultline 

1722: $$ 

1723: summed over skew diagrams $\mu$ contained in $\la$, 

1724: and  

1725: $$ 

1726: \Sigma_{\mu;a} (x_1;y_1)=\cases f_{\mu;a}(x_1;y_1), & \text{if $\mu$ 

1727: contains no $2\times2$ block of squares,}\\ 

1728: 0, & \text{otherwise.} \endcases 

1729: $$ 

1730: \endproclaim 

1731:  

1732: \demo{Proof} This is evident. \qed 

1733: \enddemo 

1734:  

1735: We proceed with an alternative description of the sum \tht{4.5}. 

1736: Consider the ordered alphabet 

1737: $$ 

1738: \A=\{1'<1<2'<2<\dots\}  

1739: $$ 

1740: and call an {\it $\A$-tableau\/} of shape $\mu$ any map $T(\cdot)$ 

1741: from the set of squares of $\mu$ to the alphabet $\A$ such that: 

1742:  

1743: (*) The symbols $T(\sq)$ weakly increase from left to right 

1744: along each row and down each column. 

1745:  

1746: (**) For each $i=1,2, \dots$, there is at most one symbol $i'$ 

1747: in each row and at most one symbol $i$ in each column. 

1748: 

1749: This definition (as well as that of diagonal--strict tableaux) is

1750: suggested by the branching rules for the supersymmetric Schur

1751: polynomials, see \cite{BR, \S2}, especially Theorem 2.15 in

1752: \cite{BR}. Note also that the $\A$-tableaux can be obtained via an

1753: appropriate `super' version of the Robinson--Schensted--Knuth

1754: correspondence, see \cite{BR, \S2} and \cite{RS}. Strictly

1755: speaking, the version of the RSK correspondence given in \cite{BR,\S2}

1756: is related to another ordering of the alphabet $\A$. However, the

1757: construction can be readily rephrased to handle our ordering.

1758: Actually, there are many different `super' versions of RSK, related

1759: to different shuffles of the primed and nonprimed indices. This fact

1760: was briefly pointed out at the bottom of page 125 of \cite{BR}. For a

1761: detailed analysis, see \cite{RS}. Note that the RSK correspondence

1762: implies various formulas for the enumeration of the $\A$-tableaux. 

1763: Finally, note that from another point of view, a `super' version of

1764: the RSK correspondence was also discussed in \cite{KV1}.

1765:  

1766: On the other hand, $\A$-tableaux were employed for {\it shifted}

1767: Young diagrams, in the combinatorial formula for the Schur  

1768: $Q$-functions and their factorial analogs, see \cite{Ma1, III.8, 

1769: ($8.16'$)}, \cite{I}.   

1770:  

1771: \proclaim{Proposition 4.4} The combinatorial sum \tht{4.5} can be 

1772: written as follows 

1773: $$ 

1774: \Sigma_{\mu;a}(x;y)=\sum_T 

1775: \left(\prod\Sb\ssq\in\mu\\ T(\ssq)=1,2,\dots\endSb 

1776: (x_{T(\ssq)}-a_{c(\ssq)})\,\, 

1777: \prod\Sb\ssq\in\mu\\ T(\ssq)=1',2',\dots\endSb 

1778: (y_{|T(\ssq)|}+a_{c(\ssq)}) 

1779: \right)\,, \tag4.7

1780: $$ 

1781: summed over all $\A$-tableaux of shape $\mu$, where we use the notation 

1782: $|i'|=i$ for $i=1,2,\dots$ and $c(\sq)$  

1783: denotes the content of $\sq$, i.e., if  $\sq=(i,j)$ then $c(\sq)=j-i$. 

1784: \endproclaim 

1785:  

1786: \demo{Proof} Let $\nu$ be a skew hook and $i\in\{1,2,\dots\}$ be 

1787: fixed. Clearly, there exists exactly one diagonal--strict tableau 

1788: $\T$ of shape $\nu$, with entries in $\{i\}$, and we claim that 

1789: there exist exactly two $\A$-tableaux $T$ of the same shape, with 

1790: entries in $\{i,i'\}$. Indeed, let $\sq_1,\dots,\sq_k$ be the 

1791: squares of $\nu$ written down in the order of increasing contents. Then 

1792: $T(\sq_1)$ may be chosen arbitrarily, while for any $r=2,\dots,k$, 

1793: the value of $T(\sq_r)$ is defined uniquely, according to whether 

1794: the squares $\sq_{r-1}$, $\sq_r$ lie in the same row or in the same 

1795: column: in the former case, $T(\sq_r)=i$, and in the latter case, 

1796: $T(\sq_r)=i'$.  

1797:  

1798: Next, if $\nu$ is a skew diagram with no $2\times2$ block of squares 

1799: then the same is true, with the only exception that the number of the 

1800: $T$'s is equal to $2^l$, where $l$ stands for the number of connected 

1801: components of $\nu$.  

1802:  

1803: Now, let $\mu$ be an arbitrary (skew) diagram. To any $\A$-tableau 

1804: $T$ of shape $\mu$ we assign a diagonal--strict tableau $\T$ by 

1805: replacing each primed index $i'$ by the corresponding nonprimed index 

1806: $i$. Conversely, any diagonal--strict tableau $\T$ of shape $\mu$ can 

1807: be obtained in this way from a certain (nonunique) $\A$-tableau $T$. 

1808: To get all such $T$'s, we have to choose, for any nonempty diagram  

1809: $\nu=\T^{-1}(i)$, an arbitrary $\A$-tableau of shape $\nu$, with entries in 

1810: $\{i,i'\}$, as described above.  

1811:  

1812: This means that the right--hand side in \tht{4.7} can be written as a double 

1813: sum, 

1814: where the exterior sum is taken over the diagonal--strict tableaux 

1815: $\T$ of shape $\mu$, and each interior sum is taken over all 

1816: $\A$-tableaux $T$ `over' a fixed $\T$. It follows that the claim of 

1817: the proposition can be reduced to the following one: let $\nu$ by a skew

1818: Young diagram with no $2\times2$ block of squares; then  

1819: $$ 

1820: f_{\nu;a}(u;v)=\sum_{T:\nu\to\{1',1\}} 

1821: \left(\prod\Sb\ssq\in\nu\\ T(\ssq)=1\endSb 

1822: (u-a_{c(\ssq)})\,\, 

1823: \prod\Sb\ssq\in\nu\\ T(\ssq)=1'\endSb 

1824: (v+a_{c(\ssq)}) 

1825: \right)\,, 

1826: $$ 

1827: summed over all $\A$-tableaux of shape $\nu$, with entries in 

1828: $\{1,1'\}$.   

1829:  

1830: Finally, without loss of generality, we may assume that $\nu$ is a 

1831: skew hook. Then, as was shown above, there are exactly two $T$'s, so 

1832: that the sum in the right--hand side of the last formula consists of two 

1833: summands. On the 

1834: other hand, the left--hand side is given by \tht{4.4}. Writing in that 

1835: expression the factor  

1836: $u+v$ as the sum of $u-a_c$ and $v+a_c$, where $c=c(\ssq_1)$ is the 

1837: smallest content, we split the left--hand side into two summands, too. Then the 

1838: desired equality is readily verified. \qed  

1839: \enddemo 

1840:  

1841: The following claim is a slight refinement of Proposition 4.4: 

1842:  

1843: \proclaim{Proposition 4.5} Assume $x_i=y_i=0$ {\rm(}or, more generally, 

1844: $x_i=-y_i${\rm)} for all $i>n$. Then, in the right--hand side of \tht{4.7}, one 

1845: can 

1846: take only tableaux $T$ with entries in $\A_n=\{1'<1<\dots<n'<n\}$. 

1847: \endproclaim 

1848:  

1849: \demo{Proof} Indeed, this follows from Proposition 4.3 and the proof 

1850: of Proposition 4.4. \qed 

1851: \enddemo 

1852:  

1853: Note that the $\A$-tableaux $T$, in contrast to the diagonal--strict 

1854: tableaux $\T$, are not consistent with transposition. In particular, 

1855: the symmetry \tht{4.6} is not evident from \tht{4.7}. However, in certain 

1856: circumstances, it is more convenient to use formula \tht{4.7} than 

1857: formulas \tht{4.4} and \tht{4.5}. 

1858:  

1859: \proclaim{Theorem 4.6 {\rm(Combinatorial formula)}} We have 

1860: $$ 

1861: s_{\mu;a}(x;y)=\Sigma_{\mu;a}(x;y) 

1862: $$ 

1863: where the right--hand side is given by \tht{4.5} or \tht{4.7}. 

1864: \endproclaim 

1865:  

1866: \demo{Proof} See the Appendix. \qed 

1867: \enddemo 

1868: 

1869: Note that for the first time, an `inhomogeneous' combinatorial

1870: formula probably appeared in \cite{BL1}, \cite{BL2}, see also

1871: \cite{CL}. Other examples can be found in \cite{GG},

1872: \cite{Ma2}, \cite{Mo}, \cite{Ok1}, \cite{OO1}, \cite{Ok2}. See also

1873: further references in \cite{Ok2} to works by Knop, Okounkov, and Sahi

1874: about combinatorial formulas for interpolation Jack and Macdonald

1875: polynomials.  

1876: 

1877: \proclaim{Corollary 4.7 {\rm(Duality)}} We have 

1878: $$ 

1879: \om(s_{\mu;a})=s_{\mu';\wha}.   

1880: $$ 

1881: \endproclaim 

1882:  

1883: \demo{Proof} Indeed, this follows from Theorem 4.6 and \tht{4.6}. \qed 

1884: \enddemo 

1885:  

1886: Set  

1887: $$ 

1888: e_{k;a}=s_{(1^k);a}\,. 

1889: $$ 

1890: By Corollary 4.7, 

1891: $$ 

1892: \om(h_{k;a})=e_{k;\wha}. \tag4.8

1893: $$ 

1894:  

1895: \proclaim{Corollary 4.8 {\rm(Generating series for $e$-functions)}} We 

1896: have  

1897: $$ 

1898: 1+\sum_{k=1}^\infty \frac{e_{k;a}}{(u-\wha_1)\dots(u-\wha_k)} 

1899: =E(u)=1+\sum_{k=1}^\infty\frac{e_k}{u^k}. \tag4.9

1900: $$ 

1901: \endproclaim 

1902:  

1903: \demo{Proof} Applying $\om$ to both sides of \tht{3.1} 

1904: we get

1905: $$

1906: 1+\sum_{k=1}^\infty \frac{e_{k;\wha}}{(u-a_1)\dots(u-a_k)} 

1907: =\om(H(u))=E(u). 

1908: $$ 

1909: Next, replacing $a$ by $\wha$, we get \tht{4.9}. \qed 

1910: \enddemo 

1911:  

1912: \proclaim{Corollary 4.9 {\rm(N\"agelsbach--Kostka formula)}} We have 

1913: $$ 

1914: s_{\mu;a}=\det[e_{\mu'_i-i+j;\tau^{j-1}a}] 

1915: $$ 

1916: with the understanding that  

1917: $$ 

1918: e_{0;a}=1, \qquad e_{-1;a}=e_{-2;a}=\dots=0. 

1919: $$ 

1920: \endproclaim 

1921:  

1922: \demo{Proof} This follows from \tht{3.4}, Corollary 4.7, \tht{4.8}, and the fact 

1923: that 

1924: $(\tau^r a)\widehat{\phantom{a}}=\tau^{-r}\wha$. \qed 

1925: \enddemo

1926: 

1927: \example{Remark 4.10} Let us specialize $a_i=i-\tfrac12$. That is, take 

1928: $a'_{\de-\ep}=\de-\ep$ in \tht{4.4}, and $a_{c(\sq)}=c(\sq)-\tfrac12$ in 

1929: \tht{4.7}. Then Theorem 4.6 turns into a combinatorial formula for the $FS$-

1930: functions. 

1931: \endexample

1932: 

1933: \head \S5. Vanishing property\endhead 

1934:  

1935: We fix a Young diagram $\mu$ and write it in the Frobenius notation,  

1936: $$ 

1937: \mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d). 

1938: $$ 

1939: Let $\la$ be an arbitrary diagram, 

1940: $$ 

1941: \la=(P_1,\dots,P_D\,|\,Q_1,\dots,Q_D). 

1942: $$ 

1943: Then $\mu\subseteq\la$ means that $d\le D$, $p_i\le P_i$, $q_i\le 

1944: Q_i$ for $i=1,\dots, d$.  

1945:  

1946: We define a collection of variables $(x(\la);y(\la))$ as follows 

1947: $$ 

1948: \gather 

1949: x(\la)_i=a_{P_i+1},\quad  

1950: y(\la)_i=\wha_{Q_i+1},\quad 1\le i\le D,\\  

1951: x(\la)_i=y(\la)_i=0, \quad i>D. 

1952: \endgather 

1953: $$ 

1954:  

1955: For instance, if $a_i=i-\half$ then $(x(\la),y(\la))$ is exactly the 

1956: collection of the modified Frobenius coordinates of $\la$.  

1957:  

1958: \proclaim{Theorem 5.1 {\rm(Vanishing Theorem)}} If 

1959: $\mu\not\subseteq\la$ then $s_{\mu;a}(x(\la);y(\la))=0$. 

1960: \endproclaim 

1961:  

1962: \demo{Proof} We employ, in a slightly modified 

1963: form, an argument due to Okounkov, cf. \cite{Ok1, proof of Prop. 3.8} 

1964: and \cite{OO1, second proof of Theorem 11.1}.  

1965:  

1966: Assume that $s_{\mu;a}(x(\la);y(\la))\ne0$ and let us prove that 

1967: $\la\supseteq\mu$.  

1968:  

1969: {\it Step 1.\/} Let us prove that $D\ge d$. Employ for 

1970: $s_{\mu;a}(x(\la);y(\la))$ the expression given by Theorem 4.6 and

1971: formulas \tht{4.4} and \tht{4.5}. By Proposition 4.2, we can take in

1972: \tht{4.5} only tableaux $\T$ with entries in $\{1,\dots,D\}$. On the

1973: other hand, the main diagonal in $\mu$ has length $d$ and, by the

1974: definition of a diagonal--strict tableau, it is filled by strictly

1975: increasing numbers. Consequently, $D\ge d$.  

1976:  

1977: {\it Step 2.\/} By Corollary 4.7, the quantity $s_{\mu;a}(x(\la);y(\la))$ does 

1978: not change under $\mu\mapsto\mu'$, $\la\mapsto\la'$, $a\mapsto\wha$. 

1979: Consequently, to conclude that 

1980: $\la\supseteq\mu$, it suffices to prove that  

1981: $$ 

1982: P_1\ge p_1, \dots, P_d\ge p_d\,.  \tag5.1

1983: $$ 

1984: Write the coordinates $x_i(\la)$, $y_i(\la)$, $i=1,\dots,D$, in 

1985: the reverse order, 

1986: $$ 

1987: \gather 

1988: \bar x=(\bar x_1,\dots,\bar x_D)= 

1989: (a_{P_D+1},\dots,a_{P_1+1}), \\ 

1990: \bar y=(\bar y_1,\dots,\bar y_D)= 

1991: (\wha_{Q_D+1},\dots,\wha_{Q_1+1}). 

1992: \endgather 

1993: $$ 

1994: Since $s_{\mu;a}(x;y)$ is symmetric in $x$ and in $y$, we get 

1995: $$ 

1996: s_{\mu;a}(\bar x;\bar y)=s_{\mu;a}(x(\la);y(\la))\ne0. 

1997: $$ 

1998: By Theorem 4.6, $s_{\mu;a}(\bar x;\bar y)$ is given by formula  \tht{4.7}.  Let 

1999: us fix a tableau $T$ which has nonzero contribution to the sum \tht{4.7}. For 

2000: this $T$, we get, in particular, 

2001: $$ 

2002: \prod\Sb\ssq\in\mu\\ T(\ssq)=1,2,\dots\endSb 

2003: (\bar x_{T(\ssq)}-a_{c(\ssq)})\ne0.  \tag5.2

2004: $$ 

2005: We aim to prove that \tht{5.2} implies \tht{5.1}. Note that, by 

2006: Proposition 4.5, $|T(\ssq)|$ takes values in $\{1,\dots,D\}$. 

2007:  

2008: Introduce the notation 

2009: $$ 

2010: (k(1),\dots,k(D))=(P_D+1,\dots,P_1+1),  

2011: $$  

2012: so that 

2013: $$ 

2014: 1\le k(1)<\dots<k(D).  \tag5.3

2015: $$ 

2016: In this notation, 

2017: $$ 

2018: \bar x_r=a_{k(r)}, \qquad r=1,\dots,D.  

2019: $$ 

2020:  

2021: Our argument will employ the following evident fact: 

2022: 

2023: (*) If, for a certain square $\sq\in\mu$, $T(\sq)$ is nonprimed 

2024: then $k(T(\sq))\ne c(\sq)$.

2025: 

2026: (Indeed, otherwise we would get  

2027: $$ 

2028: \bar x_{T(\ssq)}-a_{c(\ssq)}=a_{k(T(\ssq))}-a_{c(\ssq)}=0, 

2029: $$ 

2030: in contradiction with \tht{5.2}.) 

2031:  

2032: {\it Step 3.\/} Let $\T$ be the diagonal--strict tableau 

2033: corresponding to $T$. By its definition, $\T(\sq)=|T(\sq)|$ for any 

2034: square $\sq\in\mu$. Consider the squares $\sq=(1,j)$ of the first 

2035: row in $\mu$. For these squares, 

2036: $$ 

2037: \T(1,1)\le\T(1,2)\le\dots\le\T(1,\mu_1). 

2038: $$ 

2039: We claim that  

2040: $$ 

2041: k(\T(1,j))\ge j,  \qquad j=1,\dots,\mu_1.  \tag5.4

2042: $$ 

2043:  

2044: Indeed, \tht{5.4} is trivial for $j=1$. Assuming that \tht{5.4} is true for  

2045: $j\le j_0$, let us check it for $j=j_0+1$.  

2046:  

2047: The numbers $k(\T(1,j))$ weakly increase. Therefore, if 

2048: $k(\T(1,j_0+1))\le j_0$ then, by the assumption, 

2049: $$ 

2050: k(\T(1,j_0))=k(\T(1,j_0+1))=j_0. 

2051: $$ 

2052: It follows that $T(1,j_0+1)$ is nonprimed (indeed, if $T(1,j_0+1)$ 

2053: were primed then $T(1,j_0)$ would be the same primed index, which contradicts 

2054: to the 

2055: definition of $\A$-tableaux). Then for the square $\sq=(1,j_0+1)$ we 

2056: get: $T(\sq)$ is nonprimed and $k(T(\sq))=j_0=c(\sq)$, which is in 

2057: contradiction with (*). Thus, we have proved \tht{5.4} by induction.  

2058:  

2059: {\it Step 4.\/} Recall that the numbers $\T(\sq)=|T(\sq)|$ take 

2060: values in $\{1,\dots,D\}$. On the other hand, these numbers strictly 

2061: increase as $\sq$ ranges over any diagonal in $\mu$ from top to

2062: bottom. Together with 

2063: the inequalities \tht{5.3} this implies that the numbers $k(\T(\sq))$ 

2064: also strictly increase along diagonals. Consequently, for any square 

2065: $\ssq=(i,j)\in\mu$ with $i\le j$, 

2066: $$ 

2067: k(\T(i,j))>k(\T(i-1,j-1))>\dots>k(\T(1,j-i+1))\ge j-i+1, \tag5.5

2068: $$ 

2069: where, on the last step, we have used \tht{5.4}.  

2070:  

2071: Let us fix $i=1,\dots,d$ and set $j=\mu_i$, which 

2072: corresponds to the last square in the $i$th row of $\mu$ (since $i\le 

2073: d$, the assumption $j\ge i$ is satisfied). Then $j-i+1=p_i+1$. On the other 

2074: hand, by the definition, each number $k(\,\cdot\,)$ is equal 

2075: to a certain $P_r+1$, and recall that $P_1>\dots>P_D$, so that 

2076: $P_1+1>\dots>P_D+1$. Thus, \tht{5.5} means that, for certain

2077: $r_1<\dots<r_i$, 

2078: $$

2079: P_{r_1}+1>\dots>P_{r_i}+1\ge p_i+1.

2080: $$

2081: Since $r_i\ge i$, it follows that $P_i\ge p_i$, which concludes the 

2082: proof. \qed 

2083: \enddemo 

2084:  

2085: \proclaim{Theorem 5.2} Let $\mu$ be a Young diagram and let the symbols 

2086: $x(\cdot)$, $y(\cdot)$ be as defined in the beginning of the section. We have 

2087: $$ 

2088: s_{\mu;a}(x(\mu);y(\mu))= 

2089: \prod_{(i,j)\in\mu}(a_{\mu_i-i+1}-a_{j-\mu'_j}). \tag5.6

2090: $$ 

2091: \endproclaim 

2092:  

2093: Note that  

2094: $$ 

2095: a_{\mu_i-i+1}-a_{j-\mu'_j}=a'_{\mu_i-i+1/2}-a'_{-\mu'_j+j-1/2}= 

2096: a_{\mu_i-i+1}+\wha_{\mu'_j-j+1}\,, 

2097: $$ 

2098: where $a'=(a'_\ep)$ was defined in \tht{4.2}. Hence, \tht{5.6} can 

2099: be rewritten as follows: 

2100: $$ 

2101: \multline s_{\mu;a}(x(\mu);y(\mu))\\

2102: =\prod_{(i,j)\in\mu}(a'_{\mu_i-i+1/2}-a'_{-\mu'_j+j-1/2})= 

2103: \prod_{(i,j)\in\mu}(a_{\mu_i-i+1}+\wha_{\mu'_j-j+1}). 

2104: \endmultline \tag5.7

2105: $$ 

2106: These two expressions are symmetric with respect to 

2107: $\mu\leftrightarrow\mu'$. One more expression is given below in 

2108: Proposition 5.4.

2109:  

2110: \demo{Proof} As before, write $\mu$ in the Frobenius notation,  

2111: $\mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d)$. Let $\mu^*\subset\mu$ denote 

2112: the shape which is obtained from $\mu$ by removing the border skew 

2113: hook --- the set of the squares $(i,j)\in\mu$ such that 

2114: $(i+1,j+1)\notin\mu$. In the Frobenius notation, $\mu^*$ is obtained by 

2115: removing the Frobenius coordinates $p_1$ and $q_1$, 

2116: $$ 

2117: \mu^*=(p_2,\dots,p_d\,|\,q_2,\dots,q_d). 

2118: $$ 

2119: Note that $\mu^*$ is the smallest subdiagram in $\mu$ such that 

2120: $\mu/\mu^*$ has no $2\times2$ block of squares.  

2121:  

2122: Let $\bar x(\mu)$ and $\bar y(\mu)$ be obtained from $x(\mu)$ and 

2123: $y(\mu)$ by writing the coordinates in the reversed order, 

2124: $$ 

2125: \gather 

2126: \bar x(\mu)=(\bar x_1,\dots,\bar x_d)= 

2127: (a_{p_d+1},\dots,a_{p_1+1}), \\ 

2128: \bar y(\mu)=(\bar y_1,\dots,\bar y_d)= 

2129: (\wha_{q_d+1},\dots,\wha_{q_1+1}). 

2130: \endgather 

2131: $$ 

2132: Then  

2133: $$ 

2134: (\bar x_1,\dots,\bar x_{d-1};\bar y_1,\dots,\bar y_{d-1})= 

2135: (\bar x(\mu^*);\bar y(\mu^*)). 

2136: $$ 

2137:  

2138: We use the fact that  

2139: $$ 

2140: s_{\mu;a}(x(\mu);y(\mu))= 

2141: s_{\mu;a}(\bar x(\mu);\bar y(\mu))= 

2142: s_{\mu;a}(\bar x_1,\dots,\bar x_d;\bar y_1,\dots,\bar y_d) 

2143: $$  

2144: and employ the combinatorial formula \tht{4.5} and Theorem 4.6 to

2145: compute the latter expression,  

2146: $$ 

2147: s_{\mu;a}(\bar x_1,\dots,\bar x_d;\bar y_1,\dots,\bar y_d)= 

2148: \sum_\T\,\prod_{i=1}^d f_{\T^{-1}(i);a}(\bar x_i,\bar y_i),\tag5.8

2149: $$ 

2150: summed over all diagonal--strict tableaux of shape $\mu$. By

2151: Proposition 4.3 and Theorem 4.6, this 

2152: can also be written as follows 

2153: $$ 

2154: s_{\mu;a}(\bar x(\mu);\bar y(\mu))= 

2155: \sum_{\nu\subset\mu} 

2156: s_{\nu;a}(\bar x(\mu^*);\bar y(\mu^*)) 

2157: f_{\mu/\nu;a}(\bar x_d,\bar y_d), 

2158: $$ 

2159: summed over all subdiagrams $\nu$ such that $\mu/\nu$ contains no 

2160: $2\times2$ block of squares.  

2161:  

2162: By Theorem 5.1, $s_{\nu;a}(\bar x(\mu^*);\bar y(\mu^*))=0$ unless 

2163: $\nu$ is contained in $\mu^*$. By the minimality property of $\mu^*$ 

2164: mentioned above, this means that $\nu=\mu^*$. Repeating this argument we 

2165: conclude that in the sum \tht{5.8}, there is only one tableau $\T=\T_0$ with 

2166: (possibly) nonzero contribution: the chain of diagrams corresponding to 

2167: $\T_0$ looks as follows: 

2168: $$ 

2169: \dots\subset(\mu^*)^*\subset\mu^*\subset\mu. 

2170: $$ 

2171:  

2172: Finally, let us check that the contribution of $\T_0$ is indeed given 

2173: by formula \tht{5.6}. Let $\mu[1]\subset\mu$ stand for the first diagonal 

2174: hook in $\mu$, 

2175: $$ 

2176: \mu[1]=\{(1,j)\in\mu\}\cup\{(i,1)\in\mu\}. 

2177: $$ 

2178: We will prove that   

2179: $$ 

2180: f_{\mu/\mu^*;a}(\bar x_d,\bar y_d)= 

2181: \prod_{(i,j)\in\mu[1]}(a'_{\mu_i-i+1/2}-a'_{-\mu'_j+j-1/2}). \tag5.9

2182: $$ 

2183: Moreover, the same argument will prove that  

2184: $$ 

2185: f_{\mu^*/(\mu^*)^*;a}(\bar x_{d-1},\bar y_{d-1})= 

2186: \prod_{(i,j)\in\mu[2]}(a'_{\mu_i-i+1/2}-a'_{-\mu'_j+j-1/2}), 

2187: $$ 

2188: where $\mu[2]$ stands for the second diagonal hook, and so on. This 

2189: will imply \tht{5.6}. 

2190:  

2191: By definition \tht{4.4}, 

2192: $$ 

2193: f_{\mu/\mu^*;a}(\bar x_d,\bar y_d)= 

2194: (u+v) 

2195: \prod\Sb k,\\ \text{$s_k$ is vertical}\endSb(u-a'_{\de_k-\ep_k}) 

2196: \prod\Sb k,\\ \text{$s_k$ is horizontal}\endSb(v+a'_{\de_k-\ep_k}),\tag5.10

2197: $$ 

2198: where $(\ep_k,\de_k)$ are the midpoints of the interior sides 

2199: $s_k$ of the shape $\mu/\mu^*$ and 

2200: $$ 

2201: u=\bar x_d=a_{p_1+1}=a'_{p_1+1/2}, \quad 

2202: v=\bar y_d=\wha_{q_1+1}=-a'_{-(q_1+1/2)}\,. 

2203: $$ 

2204:  

2205: We establish a bijective correspondence $s\leftrightarrow(i,j)$ 

2206: between the sides $s=s_k$ and the squares $(i,j)\in\mu[1]$, except 

2207: the diagonal square $(1,1)$, as follows: 

2208: $$ 

2209: s=(\ep,\de)\leftrightarrow(i,j)= 

2210: \cases (1,\de+1), & \text{if $s$ is vertical,}\\ 

2211: (\ep+1,1), & \text{if $s$ is horizontal}. \endcases 

2212: $$ 

2213: Note that if $(i,j)=(1,\de+1)$ then $\ep+1/2=\mu'_j$, and if 

2214: $(i,j)=(\ep+1,1)$ then $\de+1/2=\mu_i$.  It follows that, under the above 

2215: correspondence, the contribution of $s$ to \tht{5.10} coincides  

2216: with the contribution of $(i,j)$ to  \tht{5.9}. 

2217: As for the factor $(u+v)$ in \tht{5.10}, it 

2218: coincides with the contribution of the square $(1,1)$. This proves 

2219: \tht{5.9} and concludes the proof of the theorem. \qed  

2220: \enddemo 

2221:  

2222: \proclaim{Corollary 5.3} If the numbers $a_i$ are pairwise 

2223: distinct then $s_{\mu;a}(x(\mu);y(\mu))\ne0$. 

2224: \endproclaim 

2225:  

2226: \demo{Proof} Recall a well--known claim: the sets 

2227: $\{\mu_i-i+1\}_{i=1}^\infty$ and $\{j-\mu'_j\}_{j=1}^\infty$ do not 

2228: intersect (and, moreover, their union is the whole $\Z$), see, e.g.,

2229: \cite{Ma1, I, (1.7)}. It follows that, under the assumption on $a$,

2230: all the factors in the product \tht{5.6} do not vanish. \qed 

2231: \enddemo 

2232:  

2233: In the special case $a_i=i-\frac12$, Theorem 5.2 means that for any 

2234: Young diagram $\mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d)$, 

2235: $$ 

2236: Fs_\mu(p_1+\tfrac12,\dots,p_d+\tfrac12;q_1+\tfrac12,\dots,q_d+\tfrac12)= 

2237: \prod_{(i,j)\in\mu}(\mu_i-i+\mu'_j-j+1),\tag5.11

2238: $$ 

2239: which is equal to 

2240: $$ 

2241: \prod_{(i,j)\in\mu}h(i,j)=\frac{|\mu|!}{\dim\mu}, 

2242: $$ 

2243: the product of the hook lengths. There exist other useful expressions

2244: for this product, in particular, 

2245: $$ 

2246: \prod_{(i,j)\in\mu}h(i,j)=\frac{\prod\limits_{i=1}^d p_i!q_i! 

2247: \prod\limits_{i,j=1}^d(p_i+q_j+1)} 

2248: {\prod\limits_{1\le i<k\le d}(p_i-p_k)(q_i-q_k)} 

2249: $$ 

2250: (see, e.g., \cite{BR, 7.14.1}, where 

2251: one must take $k=l=d$, or \cite{Ol}). The next proposition 

2252: provides a generalization of the last identity.  

2253:  

2254: \proclaim{Proposition 5.4} For any Young diagram 

2255: $\mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d)$, the product  

2256: $$

2257: \multline

2258: \prod_{(i,j)\in\mu}(a_{\mu_i-i+1}-a_{j-\mu'_j})\\

2259: =\prod_{(i,j)\in\mu}(a'_{\mu_i-i+1/2}-a'_{-\mu'_j+j-1/2})= 

2260: \prod_{(i,j)\in\mu}(a_{\mu_i-i+1}+\wha_{\mu'_j-j+1}),

2261: \endmultline \tag5.12

2262: $$ 

2263: which gives the value of $s_{\mu;a}(x(\mu);y(\mu))$, is equal to  

2264: $$ 

2265: \frac{\prod\limits_{i=1}^d(a_{p_i+1}-a_1)\dots(a_{p_i+1}-a_{p_i}) 

2266: (\wha_{q_i+1}-\wha_1)\dots(\wha_{q_i+1}-\wha_{q_i}) 

2267: \prod\limits_{i,j=1}^d(a_{p_i+1}+\wha_{q_j+1})} 

2268: {\prod\limits_{1\le i<k\le d}(a_{p_i+1}-a_{p_k+1}) 

2269: (\wha_{q_i+1}-\wha_{q_k+1})}\,.\tag$5.12'$

2270: $$ 

2271: \endproclaim 

2272:  

2273: Note that in the special case $a_i=i-\frac12$, this coincides with the 

2274: right--hand side of \tht{5.11}.  

2275:  

2276: \demo{Proof} The part of the product \tht{5.12} corresponding to the 

2277: squares $(i,j)\in\mu$ with $i,j\le d$ exactly coincides with the 

2278: second product in the numerator of \tht{$5.12'$}. It follows that 

2279: the equality of 

2280: \tht{5.12} and \tht{$5.12'$} can be reduced to the following identity

2281: $$ 

2282: \gather 

2283: \prod\Sb(i,j)\in\mu \\ i\le d, j>d \endSb 

2284: (a_{\mu_i-i+1}-a_{j-\mu'_j}) 

2285: \cdot \prod\Sb(i,j)\in\mu \\ j\le d, i>d \endSb 

2286: (\wha_{\mu'_j-j+1}-\wha_{i-\mu_i})\\ 

2287: = 

2288: \frac{\prod\limits_{i=1}^d 

2289: (a_{p_i+1}-a_1)\dots(a_{p_i+1}-a_{p_i})} 

2290: {\prod\limits_{1\le i<k\le d} 

2291: (a_{p_i+1}-a_{p_k+1})}\cdot 

2292: \frac{\prod\limits_{i=1}^d 

2293: (\wha_{q_i+1}-\wha_1)\dots(\wha_{q_i+1}-\wha_{q_i})} 

2294: {\prod\limits_{1\le i<k\le d} 

2295: (\wha_{q_i+1}-\wha_{q_k+1})}\,. 

2296: \endgather 

2297: $$ 

2298:  

2299: By symmetry, it suffices to prove the identity 

2300: $$ 

2301: \prod\Sb(i,j)\in\mu \\ i\le d, j>d \endSb 

2302: (a_{\mu_i-i+1}-a_{j-\mu'_j})= 

2303: \frac{\prod\limits_{i=1}^d 

2304: (a_{p_i+1}-a_1)\dots(a_{p_i+1}-a_{p_i})} 

2305: {\prod\limits_{1\le i<k\le d} 

2306: (a_{p_i+1}-a_{p_k+1})}\,,\tag5.13

2307: $$ 

2308: which reduces to the following claim: for any diagram 

2309: $\mu$ and any $i=1,\dots,d$, 

2310: $$ 

2311: \{1,\dots,\mu_i-i\}=\{\mu_j-j+1\}_{j=i+1}^d\, \sqcup 

2312: \{j-\mu'_j\}_{j=d+1}^{\mu_i}\,,\tag5.14

2313: $$ 

2314: a disjoint union of two sets.  

2315:  

2316: By virtue of the combinatorial fact mentioned in the proof of 

2317: Corollary 5.2, the two sets in the right--hand side of \tht{5.14} are indeed 

2318: disjoint.

2319:  

2320: Next, each of the two sets in the right--hand side of \tht{5.14} 

2321: is contained in the set from the left--hand side. Indeed, 

2322: the minimal element of the first set is $\mu_d-d+1\ge1$ and the 

2323: maximal element is $\mu_{i+1}-i\le\mu_i-i$. Similarly, in the second 

2324: set, the minimal element is $d+1-\mu'_{d+1}\ge d+1-d=1$ and the 

2325: maximal element is $\mu_i-\mu'_{\mu_i}\le \mu_i-i$. Finally, the 

2326: total number of elements in both sets is 

2327: $(d-i)+(\mu_i-d)=\mu_i-i$, which is equal to the number of elements in 

2328: the left--hand side. This proves \tht{5.14} and concludes the proof of the 

2329: proposition. \qed 

2330: \enddemo 

2331:  

2332: The next two results are similar to the characterization theorems for shifted 

2333: Schur functions, cf. \cite{Ok1}, \cite{OO1, \S3}. 

2334:  

2335: \proclaim{Theorem 5.5 {\rm(Characterization theorem I)}} Let $\mu$ be 

2336: an arbitrary Young diagram and  

2337: $$  

2338: D(\mu)=\{\la\in\Y \bigm| |\la|\le|\mu|, \la\ne\mu\}. 

2339: $$ 

2340: Assume that the numbers $a_i$ are pairwise distinct. Then, as an 

2341: element of $\La$, $s_{\mu;a}$ is uniquely determined by the  

2342: following two properties{\rm:} first, its top degree homogeneous component 

2343: is the Schur function $s_\mu${\rm;} second, it vanishes at 

2344: $(x(\la),y(\la))$ for all $\la\in D(\mu)$. 

2345: \endproclaim 

2346:  

2347: \demo{Proof} Assume $F$ is a symmetric function with the same two 

2348: properties. Then there exists an expansion of the form 

2349: $$ 

2350: F=s_{\mu;a} + \sum_{\nu\in D(\mu)}c(\nu) s_{\nu;a} 

2351: $$ 

2352: with certain numerical coefficients $c(\nu)$. We must prove that these 

2353: coefficients are actually equal to zero. Let $X$ stand for the set of 

2354: $\nu$'s with $c(\nu)\ne0$. Assume that $X$ is nonempty and choose a minimal 

2355: diagram $\la\in X$ with respect to the partial ordering by inclusion. 

2356: We get $F(x(\la);y(\la))=s_{\mu;a}(x(\la);y(\la))=0$, because $\la\in 

2357: D(\mu)$. On the other hand, since $\la$ is minimal, we also have 

2358: $s_{\nu;a}(x(\la);y(\la))=0$ for any $\nu\in X\setminus\{\la\}$, 

2359: because $\nu$ is not contained in $\la$. But 

2360: $s_{\la;a}(x(\la);y(\la))\ne0$, because of Corollary 5.3. This leads 

2361: to a contradiction. \qed 

2362: \enddemo 

2363:  

2364: \proclaim{Theorem 5.6 {\rm(Characterization theorem II)}} Let $\mu$ be 

2365: an arbitrary Young diagram and $D(\mu)$ be as above. 

2366: Assume again that the numbers $a_i$ are pairwise distinct. Then, as an 

2367: element of $\La$, $s_{\mu;a}$ is uniquely determined by the  

2368: following three properties{\rm:} first, its degree is less than or equal to 

2369: $|\mu|${\rm;} second, its value at $(x(\mu);y(\mu))$ is given by formula

2370: \tht{5.6}{\rm;} third, it vanishes at $(x(\la),y(\la))$ for all $\la\in D(\mu)$. 

2371: \endproclaim 

2372:  

2373: \demo{Proof} Let $F\in\La$ possess the same three properties. Then  

2374: $$ 

2375: F=\sum_{\nu\in D(\mu)\cup\{\mu\}}c(\nu) s_{\nu;a} 

2376: $$ 

2377: with certain numerical coefficients $c(\nu)$. The same argument as 

2378: above proves that $c(\nu)=0$ for all $\nu\in D(\mu)$, so that $F$ is 

2379: proportional to $s_{\mu;a}$. Then the second property implies that 

2380: $F$ is exactly equal to $s_{\mu;a}$. \qed 

2381: \enddemo 

2382:  

2383: In the particular case of the Frobenius--Schur functions, the results

2384: of this section are equivalent to similar claims for the shifted

2385: Schur functions contained in \cite{Ok1}, \cite{OO1, \S3}.

2386: Interpolation of arbitrary polynomials in terms of Schubert

2387: polynomials is discussed in \cite{L2}. A very general scheme of

2388: Newton interpolation for symmetric polynomials is developed in

2389: \cite{Ok2}. In the latter paper one can also find the references to earlier

2390: works by Knop, Sahi, and Okounkov. 

2391:  

2392: \head \S6. Sergeev--Pragacz formula \endhead 

2393:  

2394: Recall first the conventional Sergeev--Pragacz formula. Let $m,n$ be 

2395: arbitrary nonnegative integers and let $\mu$ be an arbitrary diagram not

2396: containing the square $(m+1,n+1)$. Then 

2397: $$ 

2398: s_\mu(x_1,\dots,x_m;y_1,\dots,y_n)= 

2399: \frac{\sum_{w\in\frak S_m\times\frak S_n}\ep(w)\,  

2400: w[f_\mu(x_1,\dots,x_m;y_1,\dots,y_n)]} 

2401: {V(x_1,\dots,x_m)V(y_1,\dots,y_n)}\,,  \tag6.1

2402: $$ 

2403: where 

2404: $$ 

2405: f_\mu(x_1,\dots,x_m;y_1,\dots,y_n)= 

2406: \prod_{i=1}^m x_i^{(\mu_i-i)_++m-i}\cdot 

2407: \prod_{j=1}^n y_j^{(\mu'_j-j)_++n-j}\cdot 

2408: \prod\Sb i\le m,\, j\le n\\ (i,j)\in\mu\endSb (x_i+y_j). \tag6.2

2409: $$ 

2410: Here $\frak S_m\times\frak S_n$ is the product of two symmetric groups 

2411: acting on polynomials in $x_1,\dots,x_m$ and $y_1,\dots,y_n$ by permuting 

2412: separately the $x$'s and $y$'s; for  

2413: $w=(w_1,w_2)\in\frak S_m\times\frak S_n$, the symbol $\ep(w)$ 

2414: means $\sgn(w_1)\sgn(w_2)$; 

2415: $$ 

2416: V(x_1,\dots,x_m)=\prod_{1\le i<k\le m}(x_i-x_k), \qquad 

2417: V(y_1,\dots,y_n)=\prod_{1\le j<l\le n}(y_j-y_l), 

2418: $$ 

2419: and  

2420: $$ 

2421: (k)_+=\max(k,0). 

2422: $$ 

2423:  

2424: Note that for $n=0$ the formula \tht{6.1} reduces to the classical 

2425: formula \tht{0.6} for the Schur polynomial $s_\mu(x_1,\dots,x_m)$. Proofs of 

2426: \tht{6.1}--\tht{6.2} can be found in \cite{PT}, \cite{Ma1, I.3, Ex. 23}. 

2427:  

2428: Our aim in this section is to establish an analog of the formulas 

2429: \tht{6.1}--\tht{6.2} for the multiparameter supersymmetric Schur polynomials 

2430: depending on a sequence of parameters $a=(a_i)$. According to our

2431: basic principle, we will deal with equal number of the $x$'s and $y$'s. 

2432:  

2433: \proclaim{Theorem 6.1} Let $n=1,2,\dots$ and let $\mu$ be an arbitrary 

2434: Young diagram such that $d=d(\mu)\le n$. Then, in the above notation, 

2435: $$ 

2436: s_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)= 

2437: \frac{\sum_{w\in\frak S_n\times\frak S_n}\ep(w)\,  

2438: w[f_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)]} 

2439: {V(x_1,\dots,x_n)V(y_1,\dots,y_n)}\,,  \tag6.3

2440: $$ 

2441: where 

2442: $$ 

2443: \gather 

2444: f_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)= 

2445: \prod_{i=1}^d (x_i\,|\,a)^{\mu_i-i}x_i^{(n-\mu_i)_+} 

2446: (y_i\,|\,\wha)^{\mu'_i-i}y_i^{(n-\mu'_i)_+}\\ 

2447: \times\prod_{i=d+1}^n x_i^{n-i} y_i^{n-i}\cdot 

2448: \prod\Sb i,j\le n\\ (i,j)\in\mu\endSb (x_i+y_j) \tag6.4

2449: \endgather 

2450: $$ 

2451: and 

2452: $$ 

2453: (x\,|\,a)^m=\cases (x-a_1)\dots(x-a_m), & m\ge1, \\ 

2454: 0, & m=0. \endcases 

2455: $$ 

2456: \endproclaim 

2457:  

2458: Note that for the sequence $a\equiv0$ formulas \tht{6.3}--\tht{6.4} reduce to 

2459: formulas \tht{6.1}--\tht{6.2} with $m=n$. Indeed, it suffices to check that 

2460: $f_{\mu;a}$ reduces to $f_\mu$. To do this, let us compare \tht{6.2} 

2461: and \tht{6.4}. The last product in both formulas is the same. Then 

2462: we remark that  

2463: $$ 

2464: (\mu_i-n)_+ +n-i=\cases \mu_i-i+(n-\mu_i)_+, & i=1,\dots, d,\\ 

2465: n-i, &i=d+1,\dots, n, \endcases 

2466: $$ 

2467: and likewise for $\mu'$, which implies the equality 

2468: $f_\mu=f_{\mu;a}\bigm|_{a\equiv0}$.  

2469:  

2470: \demo{Proof} The proof of Theorem 6.1 is divided into three lemmas. 

2471:  

2472: \proclaim{Lemma 6.2} The expression \tht{6.3} is a supersymmetric 

2473: polynomial.  

2474: \endproclaim 

2475:  

2476: \demo{Proof} One may argue exactly as in the proof of

2477: Proposition 2.3 in \cite{PT} (see also \cite{Ma1, I.3, Ex. 24}). For the

2478: reader's convenience we present the argument. 

2479:  

2480: Obviously, \tht{6.3} is a polynomial, which is separately 

2481: symmetric in the $x$'s and $y$'s. Let us verify the cancellation 

2482: property: assume that $x_i=t=-y_j$ for certain indices 

2483: $i,j$, and let us prove that \tht{6.3} does not depend on $t$. Consider the 

2484: expression \tht{6.3} as a function in $t$. This is a rational function, which is 

2485: actually a polynomial. The degree of the denominator 

2486: is exactly $2n-2$, so that it suffices to prove that the numerator 

2487: has degree less than or equal to $2n-2$. Next, it suffices to prove the 

2488: latter claim for the polynomial \tht{6.4}. 

2489:  

2490: Without loss of generality, one may assume $i\le j$. Consider three 

2491: cases.  

2492:  

2493: First case: $i\le j\le d$. Then $(i,j)\in\mu$, so that \tht{6.4} 

2494: contains the factor $(x_i+y_j)$. This factor vanishes when 

2495: $x_i=-y_j$, consequently, \tht{6.4} vanishes identically.  

2496:  

2497: Second case: $i\le d<j\le n$. The degree of the expression \tht{6.4} 

2498: with respect to $t$ is less than or equal to the sum of three terms: 

2499: $$ 

2500: (\mu_i-i+(n-\mu_i)_+)+(n-j)+(\mu_i+\mu'_j). 

2501: $$ 

2502: Again, if $(i,j)\in\mu$ then \tht{6.4} is identically equal to 0, so 

2503: that one may assume $(i,j)\notin\mu$. This means that $\mu_i\le j-1$ and 

2504: $\mu'_j\le i-1$; in particular, $\mu_i<n$. It follows that the above sum

2505: reduces to  

2506: $$ 

2507: (n-i)+(n-j)+(\mu_i+\mu'_j), 

2508: $$ 

2509: which is $\le 2n-2$, because $\mu_i+\mu'_j\le i+j-2$, as was 

2510: mentioned above.  

2511:  

2512: Third case: $d+1\le i\le j\le n$. Then the degree in question is 

2513: $$ 

2514: (n-i)+(n-j)+(\mu_i+\mu'_j)\le 2n-i-j+(j-1)+(i-1)=2n-2. 

2515: $$ 

2516: This concludes the proof of the lemma. \qed 

2517: \enddemo 

2518:  

2519: Let us temporarily denote the right--hand side of \tht{6.3} by 

2520: $s'_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)$. 

2521:  

2522: \proclaim{Lemma 6.3} We have  

2523: $$

2524: \multline 

2525: s'_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)\bigm|_{x_n=y_n=0}\\

2526: =\cases 0, & d=n,\\ 

2527: s'_{\mu;a}(x_1,\dots,x_{n-1};y_1,\dots,y_{n-1}), & d\le n-1. \endcases 

2528: \endmultline

2529: $$ 

2530: \endproclaim 

2531:  

2532: \demo{Proof} a) If $d=n$ then the polynomial 

2533: $f_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)$ is divisible by 

2534: $$ 

2535: \prod_{i,j=1}^n(x_i+y_j), 

2536: $$ 

2537: and the same holds for its transformations by elements $w$. Since the 

2538: above product vanishes when $x_n=y_n=0$, the whole expression 

2539: $s'_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)$ vanishes, too.  

2540:  

2541: b) Next, let us assume that $d\le n-1$ and let us prove the following 

2542: claim:  

2543: $$ 

2544: f_{\mu;a}(x_1,\dots,x_n;y_1,\dots,y_n)\bigm|_{x_i=y_j=0}=0 

2545: \qquad \text{unless $i=j=n$.} 

2546: $$ 

2547:  

2548: Indeed, vanishing holds if $(i,j)\in\mu$, because then the polynomial in 

2549: question is divisible by $x_i+y_j$. Assume $i\le d$. If 

2550: $\mu_i\ge n$ then $(i,j)\in\mu$, which implies vanishing. If 

2551: $\mu_i<n$ then $(n-\mu_i)_+>0$, so that vanishing holds thanks to the 

2552: factor $x_i^{(n-\mu_i)_+}$ in the expression \tht{6.4}. Similar 

2553: argument also holds when $j\le d$. 

2554:  

2555: Thus, we may assume that both $i> d$ and $j> d$. Then the 

2556: expression \tht{6.4} contains the factor $x_i^{n-i}y_j^{n-j}$, so that 

2557: the only possibility of nonvanishing may occur for $i=j=n$.  

2558:  

2559: c) The numerator of \tht{6.3} is an alternate sum of terms indexed by couples of 

2560: permutations $w=(w_1,w_2)$. If $w$ does not fix the 

2561: indeterminates $(x_n,y_n)$, which are specialized to zero, then the 

2562: corresponding term vanishes after the specialization because of the 

2563: claim b) proved above. Consequently, only terms indexed by elements 

2564: $w$ fixing $(x_n,y_n)$ may give a nonzero contribution. Note that 

2565: these are actually elements of the group  

2566: $\frak S_{n-1}\times\frak S_{n-1}$.  

2567:  

2568: On the other hand, note that 

2569: $$ 

2570: \gather 

2571: V(x_1,\dots,x_{n-1},0)V(y_1,\dots,y_{n-1},0)= 

2572: V(x_1,\dots,x_{n-1})V(y_1,\dots,y_{n-1})\\ 

2573: \times\, x_1\dots x_{n-1}y_1\dots y_{n-1}\,. 

2574: \endgather 

2575: $$ 

2576:  

2577: d) Thus, it remains to check that  

2578: $$ 

2579: \gather 

2580: f_{\mu;a}(x_1,\dots,x_{n-1},0;y_1,\dots,y_{n-1},0) 

2581: =f_{\mu;a}(x_1,\dots,x_{n-1};y_1,\dots,y_{n-1})\\ 

2582: \times\, x_1\dots x_{n-1}y_1\dots y_{n-1}\,. 

2583: \endgather 

2584: $$ 

2585: Let us examine the behavior of the expression \tht{6.4} under 

2586: the specialization $x_n=y_n=0$. The right--hand side of \tht{6.4} consists of 

2587: three 

2588: products. The second product, which is equal to  

2589: $$ 

2590: \prod_{i=d+1}^n x_i^{n-i} y_i^{n-i}\,, 

2591: $$ 

2592: turns into the similar expression for $n-1$  

2593: multiplied by 

2594: $$ 

2595: \prod_{i=d+1}^{n-1} x_i y_i. 

2596: $$ 

2597: Consequently, we must prove that the remaining expression in \tht{6.4}, 

2598: which is equal to  

2599: $$ 

2600: \prod_{i=1}^d (x_i\,|\,a)^{\mu_i-i}x_i^{(n-\mu_i)_+} 

2601: (y_i\,|\,\wha)^{\mu'_i-i}y_i^{(n-\mu'_i)_+} 

2602: \cdot  

2603: \prod\Sb i, j\le n\\ (i,j)\in\mu\endSb (x_i+y_j), 

2604: $$ 

2605: turns into the similar expression for $n-1$ multiplied by  

2606: $$ 

2607: \prod_{i=1}^d x_iy_i. 

2608: $$ 

2609:  

2610: This is equivalent to the following claim: for any $i=1,\dots,d$, 

2611: $$ 

2612: (n-\mu_i)_++\ep_i=(n-1-\mu_i)_++1, \tag6.5

2613: $$ 

2614: where  

2615: $$ 

2616: \ep_i=\cases 1, & (i,n)\in\mu,\\ 

2617: 0, & (i,n)\notin\mu, \endcases 

2618: $$ 

2619: and similarly for $\mu'$.  

2620:  

2621: Consider two cases: $\mu_i\ge n$ and $\mu_i\le n-1$. In the former 

2622: case, $(n-\mu_i)_+=(n-1-\mu_i)_+=0$ and $\ep_i=1$, so that \tht{6.5} 

2623: holds. In the latter case, $(n-\mu_i)_+=(n-1-\mu_i)_++1$ and 

2624: $\ep_i=0$, so that \tht{6.5} is again true. This concludes the proof. 

2625: \qed 

2626: \enddemo 

2627:  

2628: By Lemma 6.2 and Lemma 6.3, there 

2629: exists an element $s'_{\mu;a}\in\La$, of degree $|\mu|$ and  such that the 

2630: corresponding 

2631: supersymmetric polynomials in $n+n$ variables are given by the 

2632: expressions \tht{6.3} when $n\ge d$ and vanish when $n<d$. We aim at

2633: proving that $s'_{\mu;a}=s_{\mu;a}$ by making use of the 

2634: characterization theorems from \S5.

2635:  

2636: \proclaim{Lemma 6.4} The element $s'_{\mu;a}\in\La$ defined above

2637: satisfies the vanishing condition of Theorem\/ {\rm5.5}, i.e., 

2638: $$ 

2639: s'_{\mu;a}(x(\la);y(\la))=0 \qquad  

2640: \text{unless $\mu\subseteq\la$.} 

2641: $$ 

2642: \endproclaim 

2643:  

2644: \demo{Proof} We will see that the vanishing in question is ensured by 

2645: the product 

2646: $$ 

2647: \prod_{i=1}^d (x_i\,|\,a)^{\mu_i-i}(y_i\,|\,\wha)^{\mu'_i-i} 

2648: $$ 

2649: entering the expression \tht{6.4}.  

2650:  

2651: Write both diagrams in the Frobenius notation,  

2652: $$ 

2653: \mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d), \qquad 

2654: \la=(P_1,\dots,P_D\,|\,Q_1,\dots,Q_D), 

2655: $$ 

2656: and recall that 

2657: $$ 

2658: \gather 

2659: x(\la)_i=a_{P_i+1},\quad  

2660: y(\la)_i=\wha_{Q_i+1},\quad 1\le i\le D,\\  

2661: x(\la)_i=y(\la)_i=0, \quad i>D. 

2662: \endgather 

2663: $$ 

2664: By the definition of $s'_{\mu;a}$, vanishing holds if $D<d$, because 

2665: $x(\la)$ and $y(\la)$ have at most $D$ nonzero coordinates, so that 

2666: we may assume $D\ge d$.  

2667:  

2668: Abbreviate   

2669: $$ 

2670: x_i=x(\la)_i=a_{P_i+1},\quad  

2671: y_i=y(\la)_i=\wha_{Q_i+1},\quad 1\le i\le D. 

2672: $$ 

2673: It suffices to prove that for any  

2674: $w=(w_1,w_2)\in\frak S_D\times\frak S_D$, 

2675: $$ 

2676: w\left[\prod_{i=1}^d (x_i\,|\,a)^{p_i}(y_i\,|\,\wha)^{q_i}\right]=0 

2677: $$ 

2678: unless $P_i\ge p_i$ and $Q_i\ge q_i$ for all $i=1,\dots,d$. By the 

2679: symmetry $x\leftrightarrow y$, $a\leftrightarrow \wha$, it suffices 

2680: to prove that for any $w_1\in\frak S_D$, 

2681: $$ 

2682: w_1\left[\prod_{i=1}^d (x_i\,|\,a)^{p_i}\right]=0 \tag6.6

2683: $$ 

2684: unless $P_i\ge p_i$ for all $i=1,\dots,d$. 

2685:  

2686: The left--hand side in \tht{6.6} has the form 

2687: $$ 

2688: \prod_{i=1}^d (a_{P_{j_i}+1}\,|\,a)^{p_i}= 

2689: \prod_{i=1}^d (a_{P_{j_i}+1}-a_1)\dots(a_{P_{j_i}+1}-a_{p_i})\,, 

2690: $$ 

2691: where $j_1,\dots,j_d$ is a certain $d$--tuple of pairwise distinct 

2692: indices from $\{1,\dots,D\}$. If \tht{6.6} does not hold then 

2693: $$

2694: P_{j_1}\ge p_1, \dots, P_{j_d}\ge p_d.\tag6.7

2695: $$

2696: Let us check that this implies 

2697: $$

2698: P_1\ge p_1,\dots, P_d\ge p_d. \tag 6.8

2699: $$

2700: Indeed, recall that 

2701: $$

2702: P_1>\dots>P_d, \qquad p_1>\dots>p_d.

2703: $$

2704: Together with \tht{6.7} this implies that among the numbers

2705: $P_1,\dots,P_d$, there is at least one number $\ge p_1$ (namely,

2706: $P_{j_1}$), at least two numbers $\ge p_2$ (namely, $P_{j_1},

2707: P_{j_2}$), and so on, which implies \tht{6.8}.  \qed 

2708: \enddemo 

2709:  

2710: Now we are in a position to prove the equality 

2711: $s'_{\mu;a}=s_{\mu;a}$. Comparing the formula \tht{6.3}--\tht{6.4} defining 

2712: $s'_{\mu;a}$ with the Sergeev--Pragacz formula \tht{6.1}--\tht{6.2} for the 

2713: Schur 

2714: function $s_\mu$ we see that the top degree homogeneous component of 

2715: $s'_{\mu;a}$ coincides with $s_\mu$. By Lemma 6.4, $s'_{\mu;a}$ 

2716: possesses the same vanishing property as $s_{\mu;a}$. Consequently, 

2717: by Theorem 5.5, $s'_{\mu;a}=s_{\mu;a}$. Note that in Theorem 5.5, the 

2718: numbers $a_i$ are required to be pairwise distinct but one may attain 

2719: this by making use of the continuity argument, because both 

2720: $s'_{\mu;a}$ and $s_{\mu;a}$ depends on the parameters continuously. 

2721:  

2722: An alternative way is to apply Theorem 5.6. Then we must verify for 

2723: $s'_{\mu;a}$ the three properties listed in the statement of this 

2724: theorem. The first property (control of degree) is obvious. The third 

2725: property (vanishing) is ensured by Lemma 6.4. The second property 

2726: (required value at $(x(\mu);y(\mu))$) is verified as follows. {}From 

2727: the proof of Lemma 6.4 one sees that in formula \tht{6.3} applied to the 

2728: variables $(x(\mu);y(\mu))$, all terms with $w\ne e$ are zero. Next, 

2729: it is readily seen that the term with $w=e$ leads to the expression 

2730: \tht{$5.12'$}, which, by Proposition 5.4, coincides with 

2731: $s_{\mu;a}(x(\mu);y(\mu))$.   

2732:  

2733: This concludes the proof of Theorem 6.1. \qed 

2734: \enddemo 

2735:  

2736: The following result is an analog of the Berele--Regev 

2737: factorization property for the supersymmetric Schur functions 

2738: \cite{BR}, \cite{Ma1, I.3, Ex. 23}.  

2739:  

2740: \proclaim{Corollary 6.5} Let $\mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d)$ 

2741: be a Young diagram of depth $d$. Then 

2742: $$ 

2743: s_{\mu;a}(x_1,\dots,x_d;y_1,\dots,y_d)= 

2744: \frac{\det[(x_i\,|\,a)^{p_j}]_{i,j=1}^d}{V(x_1,\dots,x_d)}\cdot 

2745: \frac{\det[(y_i\,|\,\wha)^{q_j}]_{i,j=1}^d}{V(y_1,\dots,y_d)}\cdot 

2746: \prod_{i,j=1}^d (x_i+y_j)\,. 

2747: $$ 

2748: \endproclaim 

2749:  

2750: \demo{Proof} We apply formulas \tht{6.3} and \tht{6.4} for $n=d$. 

2751: Then the last  

2752: product in \tht{6.4} coincides with the product above, which is 

2753: invariant under permutations $w$.  Consequently, the alternate sum in 

2754: \tht{6.3} becomes the product of two determinants. Note also that for 

2755: each $i=1,\dots,d$, we have $\mu_i-i=p_i$,  

2756: $(n-\mu_i)_+=(d-\mu_i)_+=0$, and, similarly, $\mu'_i-i=q_i$, 

2757: $(n-\mu'_i)_+=0$. \qed 

2758: \enddemo  

2759:  

2760:  

2761: \head 7. Transition coefficients \endhead 

2762:  

2763: Formulas \tht{3.1} and \tht{4.9} yield the generating series for the one--row 

2764: and one--column multiparameter Schur functions; let us rewrite them in 

2765: slightly different notation: 

2766: $$ 

2767: \gathered

2768: 1+\sum_{p=0}^\infty\frac{s_{(p\,|\,0);a}}{(u\,|\,a)^{p+1}}=H(u)= 

2769: 1+\sum_{p=0}^\infty\frac{s_{(p\,|\,0)}}{u^{p+1}}\,, \\ 

2770: 1+\sum_{q=0}^\infty\frac{s_{(0\,|\,q);a}}{(v\,|\,\wha)^{q+1}}=E(v)= 

2771: 1+\sum_{q=0}^\infty\frac{s_{(0\,|\,q)}}{v^{q+1}}\,. 

2772: \endgathered \tag7.1 

2773: $$ 

2774:  

2775: The next proposition yields the generating series for the hook functions 

2776: $s_{(p\,|\,q);a}$; this series is an element of $\La[[u^{-1},v^{-1}]]$.  

2777:  

2778: \proclaim{Proposition 7.1} We have 

2779: $$ 

2780: 1+(u+v)\sum_{p,q=0}^\infty 

2781: \frac{s_{(p\,|\,q);a}} 

2782: {(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}} 

2783: =H(u)E(v).  

2784: $$ 

2785: \endproclaim 

2786:  

2787: \demo{Proof} This is a generalization of Theorem 2.3, and we will argue as in 

2788: the proof of that theorem. By virtue of \tht{7.1}, 

2789: the equality in question is equivalent to  

2790: $$ 

2791: 1+(u+v)\sum_{p,q=0}^\infty 

2792: \frac{s_{(p\,|\,q);a}} 

2793: {(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}}= 

2794: \left(1+\sum_{p=0}^\infty\frac{s_{(p\,|\,0);a}}{(u\,|\,a)^{p+1}}\right) 

2795: \left(1+\sum_{q=0}^\infty\frac{s_{(0\,|\,q);a}}

2796: {(v\,|\,\wha)^{q+1}}\right). 

2797: $$ 

2798: Using the identity 

2799: $$ 

2800: \gather 

2801: \frac{u+v}{(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}}= 

2802: \frac{(u-a_{p+1})+(v-\wha_{q+1})+(a_{p+1}+\wha_{q+1})} 

2803: {(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}}\\ 

2804: =\frac1{(u\,|\,a)^{p}(v\,|\,\wha)^{q+1}}+ 

2805: \frac1{(u\,|\,a)^{p+1}(v\,|\,\wha)^{q}}+ 

2806: \frac{a_{p+1}+\wha_{q+1}}{(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}} 

2807: \endgather 

2808: $$ 

2809: we reduce this to the following system of relations, 

2810: where $p,q=0,1,\dots$: 

2811: $$ 

2812: s_{(p+1\,|\,q);a}+s_{(p\,|\,q+1);a}+ 

2813: (a_{p+1}+\wha_{q+1})s_{(p\,|\,q);a}=s_{(p\,|\,0);a}s_{(0\,|\,q);a}\,. 

2814: $$ 

2815:  

2816: By virtue of \tht{1.4}, the expansion of the product 

2817: $s_{(p\,|\,0);a}s_{(0\,|\,q);a}$ into 

2818: a linear combination of the functions $s_{\nu;a}$ has the form 

2819: $$ 

2820: s_{(p\,|\,0);a}s_{(0\,|\,q);a}= 

2821: s_{(p+1\,|\,q);a}+s_{(p\,|\,q+1);a}+ 

2822: \sum_{\nu:\, |\nu|\le p+q+1}c(\nu)s_{\nu;a}\,. 

2823: $$ 

2824: Let $X$ be the set of those $\nu$'s which enter this sum with 

2825: nonzero coefficients $c(\nu)$. We claim that $X$ contains at most the 

2826: diagram $(p\,|\,q)$; here we will use the fact that 

2827: $|\nu|\le p+q+1$. Indeed, let $\la$ be a minimal (with respect to 

2828: inclusion) diagram in $X$ and let us evaluate both sides at 

2829: $(x(\la);y(\la))$. On the right, the result is nonzero, because 

2830: $s_{\la;a}(x(\la);y(\la))\ne0$ \footnote{Here we tacitly assume that 

2831: the sequence $a=(a_i)$ has no repetitions in order to apply Corollary 

2832: 5.3. To cover the case when repetitions are present, one can use the 

2833: continuity argument.} while all other terms on the right have zero 

2834: contributions, because neither a diagram $\nu\ne\la$ from $X$ nor 

2835: $(p+1\,|\,q)$ and $(p\,|\,q+1)$ are contained in $\la$.  So, the result 

2836: of the evaluation on the left is nonzero, too. This implies that $\la$ 

2837: contains both $(p\,|\,0)$ and $(0\,|\,q)$, which is only possible for 

2838: $\la=(p\,|\,q)$.  

2839:  

2840: Thus, the above expansion takes the form  

2841: $$ 

2842: s_{(p\,|\,0);a}s_{(0\,|\,q);a}= 

2843: s_{(p+1\,|\,q);a}s_{(p\,|\,q+1);a}+ 

2844: \operatorname{const}\,s_{(p\,|\,q);a}\,. 

2845: $$ 

2846: Evaluating both sides at 

2847: $$ 

2848: (x(p\,|\,q);y(p\,|\,q))=(a_{p+1},0,0,\dots;\wha_{q+1},0,0,\dots) 

2849: $$ 

2850: we get 

2851: $$ 

2852: \operatorname{const}=\frac{s_{(p\,|\,0);a}(x(p\,|\,q);y(p\,|\,q))\, 

2853: s_{(0\,|\,q);a}(x(p\,|\,q);y(p\,|\,q))} 

2854: {s_{(p\,|\,q)}(x(p\,|\,q);y(p\,|\,q))}\,. 

2855: $$ 

2856:  

2857: The right--hand side can be readily evaluated by making use of Corollary 6.5. 

2858: This 

2859: gives the desired result: $\operatorname{const}=a_{p+1}+\wha_{q+1}$. 

2860: \qed  

2861: \enddemo 

2862:  

2863:  

2864: Let $b=(b_i)_{i\in\Z}$ be another sequence of parameters. We aim at

2865: expressing the functions $s_{\mu;a}$ through the functions 

2866: $s_{\nu;b}$. In particular, we are interested in the expansion on 

2867: the conventional supersymmetric Schur functions $s_\nu$, which 

2868: correspond to $b\equiv0$.  

2869:  

2870: For $p\ge p'\ge0$ set 

2871: $$ 

2872: c_{pp'}(a,b)=h_{p-p'}(b_1,\dots,b_{p'+1};-a_1,\dots,-a_p), \tag7.2 

2873: $$ 

2874: where $h_{p-p'}$ is the conventional supersymmetric $h$-function 

2875: of degree $p-p'$. In particular, 

2876: $$ 

2877: c_{pp'}(a,0)=h_{p-p'}(0,\dots,0;-a_1,\dots,-a_p) 

2878: =(-1)^{p-p'}e_{p-p'}(a_1,\dots,a_p), \tag7.3 

2879: $$ 

2880: cf. \tht{2.9}. Note that $c_{pp}(a,b)=1$. 

2881:  

2882: \proclaim{Proposition 7.2 {\rm (cf. Proposition 2.4)}} We have 

2883: $$ 

2884: s_{(p\,|\,q);a}=\sum_{p'=0}^p\sum_{q'=0}^q  

2885: c_{pp'}(a,b)\,c_{qq'}(\wha,\whb) \,s_{(p'\,|\,q');b}. \tag7.4 

2886: $$ 

2887: \endproclaim 

2888:  

2889: \demo{Proof} We have the identity 

2890: $$ 

2891: (u+v)\sum_{p,q=0}^\infty 

2892: \frac{s_{(p\,|\,q);a}} 

2893: {(u\,|\,a)^{p+1}(v\,|\,\wha)^{q+1}} 

2894: =(u+v)\sum_{p,q=0}^\infty 

2895: \frac{s_{(p\,|\,q);b}} 

2896: {(u\,|\,b)^{p+1}(v\,|\,\whb)^{q+1}}\,, 

2897: $$  

2898: because, by Proposition 7.1, both sides are equal to 

2899: $H(u)E(v)-1$. Then we argue exactly as in the proof of Proposition 

2900: 2.4. \qed 

2901: \enddemo 

2902:  

2903: \proclaim{Theorem 7.3 {\rm(cf. Theorem 2.6)}} Let $a=(a_i)_{i\in\Z}$ and 

2904: $b=(b_i)_{i\in\Z}$ 

2905: be two sequences of parameters. In the expansion 

2906: $$ 

2907: s_{\mu;a}=\sum_\nu c_{\mu\nu}(a,b)\,s_{\nu;b} \tag7.5 

2908: $$ 

2909: the coefficients $c_{\mu\nu}(a,b)$ vanish unless $\nu\subseteq\mu$ 

2910: and $d(\nu)=d(\mu)$.  

2911:  

2912: Assume $d(\nu)=d(\mu)$ and write both diagrams in the Frobenius 

2913: notation,  

2914: $$ 

2915: \mu=(p_1,\dots,p_d\,|\,q_1,\dots,q_d),\quad 

2916: \nu=(p'_1,\dots,p'_d\,|\,q'_1,\dots,q'_d). 

2917: $$ 

2918: Then   

2919: $$ 

2920: c_{\mu\nu}(a,b)=\det[c_{p_i,p'_j}(a,b)]\, 

2921: \det[c_{q_i,q'_j}(\wha,\whb)], \tag7.6 

2922: $$ 

2923: where the determinants are of order $d$ and the coefficients in the 

2924: right--hand side are defined by \tht{7.2}.  

2925: \endproclaim 

2926:  

2927: \demo{Proof} The same argument as in the proof of Theorem 2.6 reduces 

2928: the desired claim to the special case $d=1$, which was the subject of 

2929: Proposition 7.2. \qed  

2930: \enddemo 

2931:  

2932:  

2933: \head Appendix by Vladimir Ivanov: Proof of the combinatorial formula 

2934: for multiparameter Schur functions \endhead 

2935: 

2936: The aim of this appendix is to prove Theorem 4.6, which is restated

2937: below as Theorem A.6. Here we are using a slightly different notation

2938: for the combinatorial sum, the $h$--functions and the $s$--functions.

2939:  

2940: \definition{Definition A.1} 

2941: Suppose $(a_i)_{i\in \Z}$ 

2942: is an arbitrary sequence of complex numbers. 

2943: For $k=0,1,2,\dots$, set 

2944: $$ 

2945: (x\mid a)^k=\prod_{i=1}^k(x-a_i).

2946: $$ 

2947: \enddefinition 

2948:  

2949: \definition{Definition A.2} 

2950: Fix $n=1,2,\dots$ and denote by $\A_n$ the 

2951: ordered alphabet $\{1'<1<2'<2<\dots<n'<n\}$. 

2952: Put $|i'| =|i|=i$ for $i=1,2,\dots,n$. 

2953: \enddefinition 

2954:  

2955: \definition{Definition A.3} 

2956: Fix a skew Young diagram $\la/\mu$. 

2957: A map $T:\la/\mu\to \A_n$ 

2958: is called {\it a tableau of 

2959: shape $\la/\mu$ and of order $n$} 

2960: if the following conditions hold: 

2961: \roster 

2962: \item $T(i,j)\le T(i,j+1)$; 

2963: \item $T(i,j)\le T(i+1,j)$; 

2964: \item for each $i=1,2,\dots,n$, 

2965: there is at most one symbol $i'$ 

2966: in each row; 

2967: \item for each $i=1,2,\dots,n$, 

2968: there is at most one symbol $i$ 

2969: in each column. 

2970: \endroster 

2971: Let us denote by $\Tab(\la/\mu,n)$ the set 

2972: of all tableaux of shape $\la/\mu$ 

2973: and order $n$. 

2974: \enddefinition 

2975:  

2976: \definition{Definition A.4} 

2977: Suppose that $x_1,x_2,\dots,y_1,y_2,\dots$ 

2978: are variables, $(a_i)_{i\in \Z}$ 

2979: is an arbitrary sequence, 

2980: $\mu\subset\la$ are Young diagrams. Set 

2981: $$ 

2982: \multline

2983: \Sigma_{\la/\mu\mid n}(x;y\mid a)\\

2984: = \sum_{T\in\Tab(\la/\mu,n)} 

2985: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1,2,\dots,n 

2986: \endSb (x_{T(\ssq)}-a_{c(\ssq)}) 

2987: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1',2',\dots,n' 

2988: \endSb (y_{T(\ssq)}+a_{c(\ssq)}), 

2989: \endmultline

2990: $$ 

2991: where $c(i,j)=j-i$, cf. (4.7). 

2992: \enddefinition 

2993:  

2994: \definition{Definition A.5} 

2995: Let $\mu\subset\la$. Set 

2996: $$ 

2997: \multline 

2998: s_{\la/\mu}(x_1,x_2,\dots,x_n;y_1,y_2,\dots,y_n\mid a)=\\ 

2999: \det[h_{\la_i-\mu_j+j-i}(x_1,x_2,\dots,x_n; 

3000: y_1,y_2,\dots,y_n\mid \tau^{\mu_j-j+1}a)]_{1\le i,j\le \ell(\la)}, 

3001: \endmultline 

3002: $$ 

3003: where the polynomials $h_k(x_1,\dots,x_n;y_1,\dots,y_n\mid a)$ are given

3004: by the generating series

3005: $$

3006: 1+\sum_{k=1}^\infty\frac{h_k(x_1,\dots,x_n;y_1,\dots,y_n\mid a)}

3007: {(u\mid a)^k}=\prod_{i=1}^n\frac{u+y_i}{u-x_i}\,,

3008: $$

3009: $h_k\equiv 0$ if $k<0$, and $h_0\equiv 1$, cf. (3.4).

3010: \enddefinition 

3011:  

3012: \proclaim{Theorem A.6} 

3013: $$ 

3014: s_{\la/\mu}(x_1,x_2,\dots,x_n;y_1,y_2,\dots,y_n\mid a)= 

3015: \Sigma_{\la/\mu\mid n}(x;y\mid a). 

3016: $$ 

3017: \endproclaim 

3018: 

3019: \demo{Proof} 

3020: First let us prove this claim

3021: when $\la=(k),\mu=\varnothing$. 

3022: Then $s_{\la/\mu}(x;y\mid a)= h_k(x;y\mid a)$ 

3023: and our claim is equivalent 

3024: to the following branching rule (see Proposition 4.3): 

3025: $$ 

3026: \multline 

3027: h_k(x_1,\dots,x_{n-1},x_n;y_1,\dots,y_{n-1},y_n\mid a)= 

3028: h_k(x_1,\dots,x_{n-1};y_1,\dots,y_{n-1}\mid a)\\ 

3029: +(x_n+y_n)\sum_{r=0}^{k-1}\,h_r(x_1,\dots,x_{n-1};y_1,\dots,y_{n-1}\mid a)\,

3030: \prod_{t=1}^{k-1-r}(x_n-a_{k-t}). 

3031: \endmultline 

3032: $$ 

3033:  

3034: Let us denote 

3035: $h_k(x_1,\dots,x_{n-1},x_n;y_1,\dots,y_{n-1},y_n\mid a)$ 

3036: by $h_{k\mid n}(x;y\mid a)$. 

3037: {}From the definition of $h_k$ we obtain 

3038: $$ 

3039: 1+\sum_{k=1}^\infty\frac{h_{k\mid n}(x;y\mid a)}{(u\mid a)^k}= 

3040: \prod_{i=1}^n\frac{u+y_i}{u-x_i}= 

3041: \frac{u+y_n}{u-x_n}+ 

3042: \sum_{k=1}^\infty\frac{h_{k\mid n-1}(x;y\mid a)}{(u\mid a)^k}

3043: \frac{u+y_n}{u-x_n}\,. 

3044: \tag A.1 

3045: $$ 

3046: For any $k=1,2,\dots$ we have 

3047: $$ 

3048: \frac{u+y}{u-x}= 

3049: 1+(x+y)\sum_{r=1}^\infty 

3050: \frac{(x\mid \tau^ka)^{r-1}}{(u\mid \tau^ka)^r}.\tag A.2 

3051: $$ 

3052: This follows, for example, from 

3053: Molev's results \cite{Mo, Prop. 1.2, 

3054: Theorem 2.1} if we put 

3055: $m=n=1$. 

3056: Using (A.1) and (A.2), we obtain 

3057: $$ 

3058: \multline 

3059: 1+\sum_{k=1}^\infty\frac{h_{k\mid n}(x;y\mid a)}{(u\mid a)^k}= 

3060: \frac{u+y_n}{u-x_n}+ 

3061: \sum_{k=1}^\infty\frac{h_{k\mid n-1}(x;y\mid a)}

3062: {(u\mid a)^k}\frac{u+y_n}{u-x_n}\\ 

3063: =1+(x_n+y_n)\sum_{k=1}^\infty\frac{(x_n\mid a)^{k-1}}{(u\mid a)^k}+ 

3064: \sum_{k=1}^\infty\frac{h_{k\mid n-1}(x;y\mid a)}{(u\mid a)^k}\cdot 

3065: \left(1+(x_n+y_n)\sum_{r=1}^\infty\frac{(x_n\mid \tau^ka)^{r-1}} 

3066: {(u\mid \tau^ka)^r}\right)\\ 

3067: =1+\sum_{k=1}^\infty 

3068: \frac{h_{k\mid n-1}(x;y\mid a)+ 

3069: (x_n+y_n)\sum_{r=0}^{k-1} 

3070: h_{r\mid n-1}(x;y\mid a)\prod_{t=1}^{k-1-r}(x_n-a_{k-t})}

3071: {(u\mid a)^k}. 

3072: \endmultline 

3073: $$ 

3074: Therefore, when $\la=(k)$ and 

3075: $\mu=\varnothing$, the assertion of the theorem is 

3076: proved: 

3077: $$ 

3078: h_{k\mid n}(x;y\mid a)= 

3079: \sum_{T\in\Tab((k),n)} 

3080: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1,2,\dots,n 

3081: \endSb (x_{T(\ssq)}-a_{c(\ssq)}) 

3082: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1',2',\dots,n' 

3083: \endSb (y_{T(\ssq)}+a_{c(\ssq)}). \tag A.3 

3084: $$ 

3085:  

3086: Now suppose that $\la/\mu$ is an arbitrary skew Young diagram. 

3087: Let us show that 

3088: $$ 

3089: \Sigma_{\la/\mu\mid n}(x;y\mid a)= 

3090: \det[h_{\la_i-\mu_j+j-i\mid n}

3091: (x;y\mid \tau^{\mu_j-j+1}a)]_{1\le i,j\le \ell(\la)}. 

3092: $$ 

3093: We use an appropriate modification of the Gessel-Viennot method (see

3094: \cite{GV}, \cite{Sa, \S4.5} for a detailed description of this method). 

3095: 

3096: Suppose we have $2n$ variables  

3097: $x_1,\dots,x_n,y_1,\dots,y_n$. 

3098: We define a {\it path} 

3099: as a finite sequence 

3100: $p=(p(0),p(1),\dots, p(l))$ of points in the

3101: $(x,y)$--plane, such that:

3102: 

3103: $\bullet$ Each point $p(t)$ belongs to $\Z\times\{0,1,2,\dots,n\}$.  

3104: 

3105: $\bullet$ The path starts at the horizontal line $y=0$ and ends on

3106: the line $y=n$, i.e., $p(0)=(m_1,0)$ and $p(l)=(m_2,n)$ with some

3107: $m_1, m_2\in\Z$.

3108:   

3109: $\bullet$ Each step $p(t+1)-p(t)$ is of the form $(1,0)$, $(1,1)$ or

3110: $(0,1)$ (in accordance with these three options, 

3111: we speak of a {\it horizontal, diagonal\/} or {\it vertical\/} step, 

3112: respectively).

3113: 

3114: $\bullet$ The first step $p(1)-p(0)$ is either diagonal or vertical

3115: but not horizontal.

3116:  

3117: We will deal with collections of paths 

3118: $L=(p_i)_{1\le i\le \ell(\la)}$ 

3119: such that $p_i$ starts 

3120: at $(\mu_i-i,0)$, 

3121: ends at $(\la_i-i,n)$, and 

3122: $p_i\cap p_j=\varnothing$ 

3123: if $i\ne j$. The set of all such collections will be denoted by

3124: $L(\la/\mu)$. 

3125: 

3126: With each collection  

3127: $L=(p_i)_{1\le i\le \ell(\la)}\in L(\la/\mu)$ 

3128: we associate a tableau $T$ of 

3129: shape $\la/\mu$ and of order $n$ 

3130: by the following rules: 

3131: $$ 

3132: \gather

3133: \{p_i(t)=(m-1,k),\quad 

3134: p_i(t+1)=(m,k)\}\quad\Rightarrow\quad T(i,m+i)=k;\\ 

3135: \{p_i(t)=(m-1,k-1), \quad

3136: p_i(t+1)=(m,k)\} \quad \Rightarrow\quad T(i,m+i)=k'.

3137: \endgather

3138: $$ 

3139: 

3140: That is, the $i$th path codes the filling of the $i$th row in

3141: $\la/\mu$, each square $(i,j)$ being associated with a nonvertical

3142: step in $p_i$. If the endpoint of a nonvertical step has coordinates

3143: $(m,k)$ then $j=i+m$, and we have $T(i,j)=k$ or $T(i,j)=k'$ according

3144: to whether the step is horizontal or diagonal. 

3145: 

3146: To verify that 

3147: $T$ is indeed a tableau of shape $\la/\mu$ 

3148: and of order $n$ we check the four 

3149: properties of Definition A.3. 

3150: 

3151: Properties \tht{1} and \tht{3}

3152: follow from the definition 

3153: of the path $p_i$. 

3154: 

3155: Let us check properties \tht2 and \tht4. Given two boxes $(i,j)$

3156: and $(i+1,j)$ in $\la/\mu$, we have to prove that if $T(i,j)$ is

3157: primed then $T(i+1,j)\ge T(i,j)$, and if $T(i,j)$ is nonprimed then

3158: $T(i+1,j)>T(i,j)$. Set $m=j-i$, $k=|T(i,j)|$, $r=|T(i+1,j)|$. The

3159: boxes $(i,j)$ and $(i+1,j)$ correspond to nonvertical steps

3160: $p_i(t)\to p_i(t+1)$ and $p_{i+1}(s)\to p_{i+1}(s+1)$ such that

3161: $p_i(t+1)=(m,k)$ and $p_{i+1}(s+1)=(m-1,r)$, respectively. Since the

3162: paths $p_i$ and $p_{i+1}$ do not intersect, the point $p_{i+1}(s+1)$

3163: must be strictly above the point $p_i(t)$. This condition is exactly

3164: what we need. Indeed, examine the two possible cases: 

3165: 

3166: First, assume that $T(i,j)$ is primed, $T(i,j)=k'$. This means that

3167: the step $p_i(t)\to p_i(t+1)$ is diagonal, and we have

3168: $p_i(t)=(m-1,k-1)$. Then we get $r>k-1$, i.e., $r\ge k$, as required.

3169: 

3170: Second, assume that $T(i,j)$ is nonprimed, $T(i,j)=k$. This means that

3171: the step $p_i(t)\to p_i(t+1)$ is horizontal, and we have

3172: $p_i(t)=(m-1,k)$. Then we get $r>k$, as required.

3173: 

3174: Conversely, if $T$ satisfies the four conditions $(1)-(4)$

3175: then, reversing the above argument, we conclude that the paths are

3176: pairwise nonintersecting. Thus, the 

3177: correspondence $L\rightarrow T$ is a bijection 

3178: between $L(\la/\mu,n)$ 

3179: and $\Tab(\la/\mu,n)$. 

3180: 

3181: Next, we assign to an arbitrary path $p$ its {\it weight\/} $\Pi(p)$

3182: as follows: 

3183: the weight of $p$ is the product of the weights of its steps, where

3184:  

3185: $\bullet$ a horizontal step with endpoint $(m,k)$ has weight $x_k-a_m$; 

3186:  

3187: $\bullet$ a diagonal step with endpoint $(m,k)$ has weight $y_k+a_m$; 

3188:  

3189: $\bullet$ any vertical step has weight 1.  

3190:   

3191: For an arbitrary collection  

3192: $L=(p_i)_{1\le i\le \ell(\la)}\in L(\la/\mu)$ 

3193: we set 

3194: $$ 

3195: \Pi_{L}=\prod_{i=1}^{\ell(\la)}\Pi(p_i). 

3196: $$ 

3197: Then we get 

3198: $$ 

3199: \Pi_L= 

3200: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1,2,\dots,n 

3201: \endSb (x_{T(\ssq)}-a_{c(\ssq)}) 

3202: \prod\Sb \ssq\in\la/\mu \\ T(\ssq)=1',2',\dots,n' 

3203: \endSb (y_{T(\ssq)}+a_{c(\ssq)}), 

3204: $$ 

3205: where $T\leftrightarrow L$.  

3206: It follows that

3207: $$ 

3208: \Sigma_{\la/\mu\mid n}= 

3209: \sum_{L\in L(\la/\mu,n)}\Pi_L.\tag A.4 

3210: $$ 

3211:  

3212: The standard argument

3213: of the Gessel--Viennot theory (see \cite{GV}, \cite{Sa, \S4.5}) 

3214: shows that 

3215: $$ 

3216: \sum_{L\in L(\la/\mu,n)}\Pi_L= 

3217: \det[\Sigma(i,j)]_{1\le i,j\le \ell(\la)},\tag A.5 

3218: $$ 

3219: where $\Sigma(i,j)=\sum_p\Pi(p)$, 

3220: summed over all paths $p$ 

3221: starting at $(\mu_j-j,0)$ and ending 

3222: at $(\la_i-i,n)$. 

3223: {}From (A.3) it follows that 

3224: $$ 

3225: \Sigma(i,j)= 

3226: h_{\la_i-\mu_j+j-i\mid n}(x;y\mid \tau^{\mu_j-j+1}a).\tag A.6 

3227: $$ 

3228: {}From (A.4),(A.5) and (A.6) we obtain that 

3229: $$ 

3230: \Sigma_{\la/\mu\mid n}(x;y\mid a)= 

3231: \det[h_{\la_i-\mu_j+j-i\mid n}

3232: (x;y\mid \tau^{\mu_j-j+1}a)]_{1\le i,j\le \ell(\la)} 

3233: $$ 

3234: and, consequently, 

3235: $$ 

3236: s_{\la/\mu}(x_1,x_2,\dots,x_n;y_1,y_2,\dots,y_n\mid a)= 

3237: \Sigma_{\la/\mu\mid n}(x;y\mid a). 

3238: $$ 

3239: \qed 

3240: \enddemo 

3241:  

3242: \Refs 

3243: \widestnumber\key{KOO} 

3244:  

3245: \ref\key BR 

3246: \by A.~Berele and A.~Regev 

3247: \paper Hook Young diagrams with applications to combinatorics and to 

3248: representations of Lie superalgebras 

3249: \jour Adv. Math. 

3250: \vol 64 

3251: \yr 1987 

3252: \pages 118--175 

3253: \endref 

3254:  

3255:  

3256: \ref 

3257: \key BL1 

3258: \by L.~C. Biedenharn and J.~D.~Louck 

3259: \paper A new class of  

3260: symmetric  

3261: polynomials defined in terms of tableaux 

3262: \jour Advances in Appl.\ Math.\ 

3263: \vol 10 \yr 1989 \pages 396--438 

3264: \endref 

3265:  

3266: \ref 

3267: \key BL2 

3268: \bysame 

3269: \paper Inhomogeneous  

3270: basis set of symmetric polynomials defined by tableaux 

3271: \jour Proc.\ Nat.\ Acad.\ Sci.\   U.S.A.\ 

3272: \vol 87 \yr 1990 \pages 1441--1445 

3273: \endref  

3274:  

3275: \ref \key BO 

3276: \by A.~Borodin and G.~Olshanski 

3277: \paper  Harmonic functions on multiplicative graphs and interpolation 

3278: polynomials

3279: \jour Electronic J. Combinatorics

3280: \vol 7

3281: \yr 2000

3282: \pages \#R28; {\tt math/9912124}

3283: \endref 

3284: 

3285: \ref \key CL

3286: \by W.~Y.~C.~Chen and J.~D.~Louck

3287: \paper The factorial Schur function

3288: \jour J. Math. Phys.

3289: \vol 34

3290: \yr 1993

3291: \pages 4144--4160

3292: \endref

3293: 

3294: \ref \key GV

3295: \by I.~Gessel and G.~Viennot

3296: \paper Binomial determinants, paths, and hook length formula

3297: \jour Advances in Math.

3298: \yr 1985

3299: \pages 300--321

3300: \endref

3301: 

3302: \ref \key GG

3303: \by I.~Goulden and C.~Greene

3304: \paper A new tableau representation for supersymmetric Schur

3305: functions 

3306: \jour J. Algebra

3307: \vol 170

3308: \yr 1994

3309: \pages 687--703

3310: \endref

3311: 

3312: \ref\key I1   

3313: \by V.~N.~Ivanov 

3314: \paper Dimension of skew shifted Young diagrams and 

3315: projective representations of the infinite symmetric group 

3316: \inbook Representation theory, dynamical systems, combinatorial and 

3317: algorithmical methods II (A.~M.~Vershik, ed.) 

3318: \bookinfo Zapiski Nauchnykh Seminarov POMI {\bf 240} 

3319: \publ Nauka 

3320: \publaddr St.~Petersburg 

3321: \yr 1997 

3322: \pages 115--135 (Russian) 

3323: \transl\nofrills English translation: J. Math. Sci. {\bf 96} (1999),

3324: no. 5, 3517--3530 

3325: \endref 

3326: 

3327: \ref\key I2  

3328: \by V.~N.~Ivanov 

3329: \paper Combinatorial formula for factorial Schur $Q$-functions 

3330: \inbook in: Representation theory, dynamical systems, combinatorial and 

3331: algorithmical methods III (A.~M.~Vershik, ed.) 

3332: \bookinfo Zapiski Nauchnykh Seminarov POMI {\bf 256} 

3333: \publ Nauka 

3334: \publaddr St.~Petersburg 

3335: \yr 1999 

3336: \pages 73--94 (Russian)

3337: \transl\nofrills English translation: J. Math. Sci., to appear.  

3338: \endref 

3339:  

3340: \ref \key KO  

3341: \by S.~Kerov and G.~Olshanski 

3342: \paper Polynomial functions on the set of Young diagrams 

3343: \jour Comptes Rendus Acad.\ Sci.\ Paris S\'er. I 

3344: \vol 319 

3345: \yr 1994 

3346: \pages 121--126 

3347: \endref 

3348:  

3349: \ref\key KOO 

3350: \by S.~Kerov, A.~Okounkov, G.~Olshanski 

3351: \paper The boundary of Young graph with Jack edge multiplicities 

3352: \jour Intern. Math. Res. Notices   

3353: \yr 1998 

3354: \issue 4 

3355: \pages 173--199 

3356: \endref 

3357: 

3358: \ref \key KV1

3359: \by S.~Kerov, A.~Vershik  

3360: \paper The characters of the infinite symmetric group and probability

3361: properties of the Robinson--Schensted--Knuth algorithm

3362: \jour SIAM J. Alg. Discr. Meth.

3363: \vol 7

3364: \yr 1986

3365: \pages 116--124

3366: \endref

3367: 

3368: \ref \key KV2 

3369: \bysame

3370: \paper The Grothendieck group of the infinite symmetric group and  

3371: symmetric functions with the elements of the $K_0$-functor theory  

3372: of AF-algebras  

3373: \inbook Representation of Lie groups and related topics  

3374: \bookinfo Adv. Stud. Contemp. Math. {\bf 7}  

3375: \eds A.~M.~Vershik and D.~P.~Zhelobenko  

3376: \publ Gordon and Breach  

3377: \yr 1990  

3378: \pages 36--114  

3379: \endref  

3380:  

3381:  

3382: \ref \key L1 

3383: \by A.~Lascoux 

3384: \paper Puissances ext\'erieurs, d\'eterminants et cycles de Schubert 

3385: \jour Bull. Soc. Math. France

3386: \vol 102

3387: \yr 1974

3388: \pages 161--179 

3389: \endref 

3390:  

3391: \ref \key L2 

3392: \bysame 

3393: \paper Notes on interpolation in one and several variables 

3394: \paperinfo Preprint, available via \linebreak

3395: {\tt http://schubert.univ-mlv.fr/$\sim$al/MAIN/publications.html} 

3396: \endref 

3397:  

3398: \ref\key Ma1  

3399: \by I.~G.~Macdonald  

3400: \book Symmetric functions and Hall polynomials  

3401: \bookinfo 2nd edition  

3402: \publ Oxford University Press  

3403: \yr 1995  

3404: \endref  

3405:  

3406: \ref 

3407: \key Ma2 

3408: \bysame 

3409: \paper Schur functions: theme and variations,    

3410: {\rm  Publ.\ I.R.M.A.\ Strasbourg , 498/S--27,   

3411: Actes 28-e S\'eminaire Lotharingien}  

3412: \yr 1992 \pages 5--39 

3413: \endref 

3414: 

3415: \ref \key Ma3

3416: \bysame

3417: \paper Notes on Schubert polynomials

3418: \jour Publ. LACIM, Universit\'e du Quebec, Montr\'eal, 

3419: \yr 1991

3420: \endref

3421:  

3422: \ref 

3423: \key Mo 

3424: \by A.~Molev 

3425: \paper Factorial supersymmetric Schur functions and super Capelli 

3426: identities  

3427: \inbook Ki\-ril\-lov's Seminar on Representation Theory 

3428: \ed G.~Olshanski 

3429: \bookinfo American Mathematical Society Translations (2), Vol. 181 

3430: \publ Amer. Math. Soc. 

3431: \publaddr Providence, R.I. 

3432: \yr 1997 

3433: \pages 109--137 

3434: \endref 

3435:  

3436: \ref\key MS 

3437: \by A.~I.~Molev and B.~E.~Sagan 

3438: \paper A Littlewood--Richardson rule for factorial Schur functions 

3439: \jour Trans. Amer. Math. Soc. 

3440: \vol 351

3441: \yr 1999 

3442: \pages 4429--4443

3443: \endref 

3444:  

3445: \ref 

3446: \key Ok1 

3447: \by A.~Okounkov 

3448: \paper Quantum immanants and higher Capelli identities 

3449: \jour Transformation Groups 

3450: \vol 1  

3451: \yr 1996  

3452: \pages 99--126 

3453: \endref 

3454: 

3455: \ref \key Ok2

3456: \bysame

3457: \paper On Newton interpolation of symmetric functions: a

3458: characterization of interpolation Macdonald polynomials

3459: \jour Adv. Appl. Math. 

3460: \vol 20

3461: \yr 1998

3462: \pages 395--428

3463: \endref

3464: 

3465: \ref 

3466: \key OO1 

3467: \by A.~Okounkov and G.~Olshanski 

3468: \paper Shifted Schur functions 

3469: \jour Algebra i Analiz 

3470: \vol 9 

3471: \issue 2 

3472: \yr 1997 

3473: \pages 73--146 

3474: \lang Russian 

3475: \transl\nofrills English translation: St.~Petersburg Math. J.  

3476: {\bf 9} (1998), 239--300. 

3477: \endref 

3478: 

3479: \ref \key OO2

3480: \bysame

3481: \paper Shifted Jack polynomials, binomial

3482: formula, and applications

3483: \jour Math. Research Letters

3484: \vol 4

3485: \yr 1997

3486: \pages 69--78

3487: \endref  

3488: 

3489: \ref\key Ol

3490: \by G.~Olshanski 

3491: \paper Point processes and the infinite symmetric group. Part I: The 

3492: general formalism and the density function 

3493: \paperinfo {\tt math/9804086} 

3494: \endref

3495: 

3496: \ref\key ORV

3497: \by G.~Olshanski, A.~Regev, and A.~Vershik

3498: \paper Frobenius--Schur functions: summary of results

3499: \paperinfo {\tt math/0003031}

3500: \endref

3501: 

3502: \ref\key P 

3503: \by P.~Pragacz 

3504: \paper Algebro-geometric applications of Schur $S$- and $Q$-polynomials 

3505: \inbook Topics in Invariant Theory 

3506: \bookinfo Seminaire d'Alg\`ebre Paul Dubriel et Marie-Paule 

3507: Malliavin, Lecture Notes in Math. 

3508: \vol 1478 

3509: \publ Springer--Verlag 

3510: \publaddr New York/Berlin 

3511: \yr 1991 

3512: \pages 130--191 

3513: \endref 

3514:  

3515: \ref\key PT 

3516: \by P.~Pragacz and A.~Thorup 

3517: \paper On a Jacobi--Trudi identity for supersymmetric polynomials 

3518: \jour Adv. Math. 

3519: \yr 1992 

3520: \pages 8--17 

3521: \endref 

3522: 

3523: \ref\key RS

3524: \by A.~Regev and T.~Seeman

3525: \paper Shuffle invariance of the super--RSK algorithm

3526: \jour Advances in Appl. Math., to appear

3527: \pages{\tt math/0103206}

3528: \endref

3529: 

3530: \ref\key Sa

3531: \by B.~E.~Sagan

3532: \book The symmetric group. Representations, combinatorial algorithms,

3533: and symmetric functions

3534: \publ Brooks/Cole Publ. Co.

3535: \publaddr Pacific Grove, CA.

3536: \yr 1991

3537: \endref

3538: 

3539: \ref\key St

3540: \by J.~R.~Stembridge

3541: \paper A characterization of supersymmetric polynomials

3542: \jour J. Algebra

3543: \vol 95 

3544: \yr1985

3545: \pages 439--444

3546: \endref

3547: 

3548: \ref\key T

3549: \by E.~Thoma

3550: \paper Die unzerlegbaren, positive--definiten Klassenfunktionen

3551: der abz\"ahlbar unendlichen, symmetrischen Gruppe

3552: \jour Math.~Zeitschr.

3553: \vol 85

3554: \yr 1964

3555: \pages 40-61

3556: \endref

3557:  

3558: \ref\key VK 

3559: \by A.~M.~Vershik and S.~V.~Kerov 

3560: \paper Asymptotic theory of characters of the symmetric group 

3561: \jour Funct. Anal. Appl.  

3562: \vol 15 

3563: \yr 1981 

3564: \pages no. 4, 246--255 

3565: \endref 

3566:  

3567: \ref\key W 

3568: \by A.~J.~Wassermann 

3569: \paper Automorphic actions of compact groups on operator algebras 

3570: \paperinfo Thesis, University of Pennsylvania 

3571: \yr 1981 

3572: \endref 

3573:  

3574: \endRefs

3575: 

3576: \bigskip

3577: 

3578: {\smc G.~Olshanski}: Dobrushin Mathematics Laboratory, Institute for

3579: Information Transmission Problems, Bolshoy Karetny 19, 

3580: Moscow 101447, GSP-4, Russia.  

3581: 

3582: E-mail address: {\tt olsh\@iitp.ru, olsh\@online.ru}

3583: 

3584: {\smc A.~Regev}: Department of Theoretical Mathematics,  

3585: Weizmann Institute of Science, Rehovot 76100, Israel.

3586: 

3587: E-mail address: {\tt regev\@wisdom.weizmann.ac.il} 

3588: 

3589: {\smc A.~Vershik}: Steklov Mathematical Institute (POMI), Fontanka 27, 

3590: St.~Petersburg 191011, Russia.

3591: 

3592: E-mail address: {\tt vershik\@pdmi.ras.ru}

3593: 

3594: {\smc V.~Ivanov}: Moscow State University.

3595: 

3596: E-mail address: {\tt vivanov\@vivanov.mccme.ru}

3597: 

3598:  

3599: \enddocument 

3600:  

3601: \bye 

3602:  

3603:  

3604: 

3605: 

3606: