Intersection matrix of a generalized Airy function in terms of skew-Schur polynomials (Q5928555)

From MaRDI portal
scientific article; zbMATH DE number 1582912
Language Label Description Also known as
English
Intersection matrix of a generalized Airy function in terms of skew-Schur polynomials
scientific article; zbMATH DE number 1582912

    Statements

    Intersection matrix of a generalized Airy function in terms of skew-Schur polynomials (English)
    0 references
    0 references
    0 references
    0 references
    29 March 2001
    0 references
    Let \(f(a,t) = \sum_{k=0}^N(-1)^k e_k(a)\theta_{N-k+1}(t)\) be the polynomial of \( t=(t_1, \dots, t_n)\) of degree \( N+1\) given in terms of elementary symmetric polynomials \( e_k(a)\) of \( a=(a_1, \dots, a_N)\) and \(\log(1+ t_1 X + \cdots + t_n X^n) = \sum_{k=1}^\infty \theta_k(t)X^k.\) Let \[ A(a) = \int_c e^{f(a,t)} \omega \] be a generalization of the Airy integral introduced by \textit{I. M. Gel'fand, V. S. Retakh} and \textit{V. V. Serganova} [Sov. Math., Dokl. 37, No. 1, 8--12 (1988; Zbl 0699.33012)], where \(\omega\) is an \(n\)-form representing an \(n\)-cocycle of the polynomial de Rham cohomology group \(H^n( \Omega, d_f)\) with the differential \(d_f= d + df\wedge\) and \(c\) is an appropriate \(n\)-cycle. We see that \(\dim H^n(\Omega, d_{\pm f}) = \binom{N}{n}\) and that a basis \( \{\phi_\lambda \}\) can be given by \[ \phi_\lambda = s_\lambda(z) dt_1 \wedge \cdots \wedge dt_n \] indexed by the Young subdiagram \(\lambda\) of the rectangular Young diagram \(R(n, N-n)\) of \(n\)-rows and \((N-n)\)-columns, where \(s_\lambda(z)\) is the Schur polynomial of \(z=(z_1, \dots ,z_n)\) which is regarded as a polynomial of \(t_1=e_1(z), \dots ,t_n=e_n(z)\). The authors evaluate explicitly the cohomological intersection pairing \[ H^n(\Omega, d_f) \times H^n(\Omega, d_{-f}) \longrightarrow {\mathbb C} \] for the bases \( \{ \phi_\lambda ^+\}\) and \( \{ \phi_\lambda ^-\}\) given by the forms \( \phi_\lambda\). In fact they gave the formula \[ \langle \phi_\lambda^+, \phi_\mu^- \rangle = (-1)^{n(n-1)/2} n ! s_{\lambda/\breve{\mu }}, \] where \(s_{\lambda/\breve{\mu}}\) denotes the skew-Schur polynomial for \(\lambda\) and the complementary diagram \(\breve{\mu} \) of \(\mu \) in \(R(n, N-n).\)
    0 references
    0 references
    0 references
    0 references
    0 references
    intersection matrix
    0 references
    generalized Airy function
    0 references
    twisted de Rham cohomology
    0 references
    Schur polynomial
    0 references
    0 references