アブストラクト事後公開 — 2017年度秋季総合分科会(於:山形大学)
無限可積分系特別セッション
特別講演 Partition functions for reverse plane partitions derived from the twodimensional Toda molecule 上岡修平 (京大情報) Reverse plane partitions are combinatorial objects of tableautype. One of the most important topics in reverse (and ordinary) plane partitions is the exploration of generating functions and partition functions which can be nicely factored. In this talk we show a close connection between reverse plane partitions and an integrable dynamical system called the discrete twodimensional (2D) Toda molecule. We consider reverse plane partitions of arbitrary shape and of bounded size of parts and find that each nonvanishing solution to the discrete 2D Toda molecule gives a partition function which can be nicely factored. For the result a combinatorial interpretation of the discrete 2D Toda molecule in terms of lattice paths is crucial. As an instance from a specific solution we obtain a new partition function which generalizes both MacMahon’s generating function for boxed plane partitions and the trace generating function for reverse plane partitions of unbounded size of parts. 

特別講演 Ding–庵原–三木代数の表現論 粟田英資 (名大多元数理) We will discuss on the recent development of the representation theory of the quantum toroidal algebra of type $\mathfrak{gl}(1)$ i.e. the Ding–Iohara–Miki algebra. 

1. 
擬不変量を持つ可解カオスと虚数乗法 筧 三郎 (立教大理)・久保涼平 (立教大理) We propose several solvable chaotic systems that have pseudoinvariants. The solution of the systems can be represented by elliptic functions associated to elliptic curves with complex multiplication. We also discuss invariant measures of the systems. 

2. 
保型形式の視点から見た可換な微分作用素 永野中行 (東大数理) The speaker will present a result of linear ordinary differential equations which are parametrized on Hermitian symmetric space and invariant under the action of symmetric groups. They are generalization s of the classical Lame equation. We will see a relation between such differential equations and automorphic forms for symplectic groups. 

3. 
KP階層のタウ関数の展開係数について 中屋敷厚 (津田塾大学芸)・岡田聡一 (名大多元数理)・執行洋子 (津田塾大学芸) If the tau function does not vanish at the origin, it is known that the coefficients are given by Giambelli formula and that it characterizes solutions of the KP hierarchy. In this talk, we deal with a generalization of Giambelli formula to the case when the tau function vanishes at the origin. 

4. 
代数的差分方程式の解の代数的独立性について 小川原弘士 (熊本大先端科学) In the talk, we give criteria for algebraic independence of solutions to a certain system of first order algebraic difference equations. First, as a background of our results, Ostrowski gave a criterion for algebraic independence of integrals of given functions. Inspired by Ostrowski’s result, Kolchin gave a criterion for algebraic independence of exponentials of integrals of given functions. Hardouin gave difference analogues of Ostrowski’s result and Kolchin’s result, that is, criteria for algebraic independence of functions satisfying first order linear difference equations. We generalize the analogues to more general systems of algebraic difference equations. As an application of our results, we show algebraic independence of multiple gamma functions and derivatives of the gamma function. As another application, we show algebraic independence of the logarithmic function, $q$polylogarithm functions and $q$exponential functions. 

5. 
$q$差分加群の解層とそのコホモロジー 伊藤公毅 (豊橋技科大) Aomoto introduces the global $q$difference de Rham complex and the Čech complex. These two complex should be isomorphic to each other in general case. To prove this, we introduce a sheaftheoretic version of these complexes. We introduce the sheaf $\mathscr{D} _{{}_q \! \Bbb{P} ^1 _\bullet} ^\bullet$ of $q$difference operators, which is a $q$analogue of the sheaf of differential operators on $\Bbb{P} ^1$. We define the sheaf $\mathscr{D} _{{}_q \! \Bbb{P} ^1 _\bullet} ^\bullet$ on some simplicial space ${}_q \! \Bbb{P} ^1 _\bullet$ (which we also define). For some $\mathscr{D} _{{}_q \! \Bbb{P} ^1 _\bullet}$module $\mathscr{M} ^\bullet$ we consider $\Bbb{R} \mathscr{H}om _{\mathscr{D} _{{}_q \! \Bbb{P} ^1 _\bullet} ^\bullet} \left( \mathscr{O} ^\bullet , \mathscr{M} ^\bullet \right)$, where $\mathscr{O} ^\bullet$ is the structure sheaf on ${}_q \! \Bbb{P} ^1 _\bullet$. Both the (global) $q$difference de Rham complex and the Čech complex are quasiisomrphic to $\Bbb{R} \Gamma \Bbb{R} \mathscr{H}om _{\mathscr{D} _{{}_q \! \Bbb{P} ^1 _\bullet} ^\bullet} \left( \mathscr{O} ^\bullet , \mathscr{M} ^\bullet \right)$. 

6. 
Functional equations of Nekrasov functions proposed by Ito–Maruyoshi–Okuda 大川 領 (早大基幹理工) We give a proof of functional equations of Nekrasov partition functions for $A_{1}$singularity, suggested by Ito–Maruyoshi–Okuda. We follow method by Nakajima–Yoshioka based on the theory of wallcrossing formula developed by Mochizuki. 

7. 
齋藤構造の概双対性と複素鏡映群 小西由紀子 (京大理)・三鍋聡司 (東京電機大工)・白石勇貴 (京大理) We extend Dubrovin’s almost duality of Frobenius structures to Saito structures without metric. Then we formulate and study the existence and uniqueness problem of the natural Saito structure on the orbit spaces of finite complex reflection groups from the viewpoint of the almost duality. We give a complete answer to the problem for the irreducible groups. 

8. 
$C$ 型ルート系に付随した Schur $Q$ 関数 岡田聡一 (名大多元数理) Schur $Q$functions are a family of symmetric functions introduced by Schur in his study of projective representations of symmetric groups. They are obtained by putting $t=1$ in the Hall–Littlewood functions associated to the root system of type $A$. (Schur functions are the $t=0$ specialization.) This talk concerns symplectic $Q$functions, which are obtained by putting $t=1$ in the Hall–Littlewood functions associated to the root system of type $C$. We discuss several Pfaffian identities as well as a combinatorial description for them. Also we present some positivity conjectures. 

9. 
Selberg型$BC_n$楕円超幾何積分の行列式公式 伊藤雅彦 (琉球大理)・野海正俊 (神戸大理) We will present a determinant formula for the $BC_n$ elliptic hypergeometric integrals of Selberg type. The formula means that the determinant whose entries are the $BC_n$ type elliptic Selberg integrals is expressed explicitly as a product of elliptic gamma functions. For this purpose we make use of the elliptic Lagrange interpolation functions, which play important roles in both definition of the determinant and proof of the product formula. 

10. 
Degenerations of Ruijsenaars–van Diejen operator and $q$Painlevé equations 竹村剛一 (中大理工) It is known that the Painlevé VI is obtained by connection preserving deformation of some linear differential equations, and the Heun equation is obtained by a specialization of the linear differential equations. We inverstigate degenerations of the Ruijsenaarsvan Diejen difference opearators and show difference analogues of the Painlevé–Heun correspondence. 

11. 
$4$階笹野系の$q$類似たち 増田 哲 (青学大理工) The Sasano system is a higher order generalization of the sixth Painlevé equations. The Sasano system of the $2N$th order admits the affine Weyl group symmetry of type $D_{2N+2}^{(1)}$ as the group of Bäcklund transformations. We propose, in this talk, some $q$analogues of the Sasano system of the fourth order. Each of our systems also admits the affine Weyl group symmetry. 

12. 
$W(A^{(1)}_{2n+1})$対称性を持つ一般化 $q$パンルヴェVI方程式に付随する双線型関係式 鈴木貴雄 (近畿大理工) The $q$Painlevé VI equation ($q$$P_{\rm{VI}}$) was introduced by Jimbo and Sakai. Recently, from a viewpoint of the Heine’s basic hypergeometric function ${}_{n+1}\phi_n$, we proposed a higher order generalization of $q$$P_{\rm{VI}}$, which admits an extended affine Weyl group symmetry of type $A_{2n+1}^{(1)}$. In this talk, we formulate $\tau$functions for the generalized $q$$P_{\rm{VI}}$ on the root lattice $Q(A_{2n+1})$ and show that they satisfy Hirota–Miwa type bilinear relations. 

13. 
$q$パンルヴェ方程式の退化とクラスター代数 大久保直人 (東大数理)・鈴木貴雄 (近畿大理工) We construct cluster algebras the coefficients of which satisfy several $q$discrete Painlevé equations. These cluster algebras are obtained from quivers with the mutationperiod property. We will also show that degeneration of $q$discrete Painlevé equations corresponds to confluence of quivers. 

14. 
$E_7^{(1)}$型$q$差分パンルヴェ方程式の種々の特異点配置 長尾秀人 (明石工高専)・山田泰彦 (神戸大理) When we geometrically construct the Painlevé systems by certain rational surfaces called the spaces of initial values, we can variously select deformation directions and singularity configurations in ${\mathbb P}^1\times{\mathbb P}^1$. However, in order to obtain a simple evolution equation, it is necessary to select the deformation direction and coordinates (singularity configuration) suitably. In this talk, we give some examples of simple evolution equations for the case of $q$$E_ 7^{(1)}$ type, and we discuss a relation among them and their special solutions. 

15. 
2次元可積分写像のファイバー依存非自励化と離散Painlevé方程式 竹縄知之 (東京海洋大海洋工) In this talk we establish a way of performing the deautonomization for a pair of an autonomous mapping and an anticanonical divisor. Starting from a single autonomous mapping but varying the type of a chosen fiber, we obtain different types of discrete Painlevé equations using this deautonomization procedure. We also introduce a technique which allows us to obtain factorized expressions of discrete Painlevé equations, including the elliptic case. Further, by imposing certain restrictions on such nonautonomous mappings we obtain new and simple elliptic difference Painlevé equations, including examples whose symmetry groups do not appear explicitly in Sakai’s classification. (Based on joint work with A. S. Carstea and A. Dzhamay.) 

16. 
6頂点模型のIzergin–Korepin解析 茂木康平 (東京海洋大海洋工) We analyze the wavefunctions of the sixvertex models by extending the celebrated Izergin–Korepin analysis which was originally invented by Korepin and Izergin to study the domain wall boundary partition functions. We show that the method can give a systematic way to study the relation between the wavefunctions and symmetric functions. We mainly illustrate the method by taking the basic wavefunctions of the XXZtype sixvertex models as an example. Next, we show the result for the case of triangular boundary conditions, Felderhof models and their generalizations such as the elliptic analogue. 

17. 
イジング模型: 2次元磁場付きの系と3次元系 桑野泰宏 (鈴鹿医療科学大医用工) We consider the two dimensional Ising model by using the CTM (corner transfer matirx) method. We derive the corner Hamiltonian for the Ising model in a magnetic field by purturbatively inserting the magnetic field. This is just a purturbative approximation because the existence of a real magnetic field violates some assumptions for the validity of the CTM method. Thus we find that the CTM method goes well at a particular pure imaginary magnetic filed, and obtain the explicit expression of the spontaneous magnetization. 

18. 
量子アフィン超代数 $U_q(\widehat{sl}(MN))$ の自由場表現 小島武夫 (山形大理工) A bosonization of the quantum affine superalgebra $U_q(\widehat{sl}(MN))$ is presented for an arbitrary level $k \in {\bf C}$. Screening operators that commute with $U_q(\widehat{sl}(MN))$ are presented for the level $k \neq M+N$. This talk is based on arXiv.1701.03645 to appear in Commun. Math. Phys. 

19. 
フェルミオンと量子トーラス代数の楕円化 齋藤洋介 (阪市大数学研) Nakatsu–Takasaki have studied partition functions of fivedimensional gauge theories and topological string theories by using an algebra of fermions. Recently, it has been realized that partition functions of sixdimensional gauge theories are represented by elliptic functions. As an attempt to apply the method due to Nakatsu–Takasaki to the sixdimensional cases, the author has introduced an elliptic analog of an algebra of fermions. An elliptic analog of the quantum torus algebra is also constructed. 

20. 
Ding–Iohara–Miki代数のレベルN表現の特異ベクトル 大久保勇輔 (ロシアHSE) In this talk, I explain that singular vectors of a certain algebra arising from the level $N$ representation of a Hopf algebra called Ding–Iohara–Miki algebra correspond to generalized Macdonald functions (also called AFLT basis or fixed point basis). This correspondence is a generalization of coincidence between singular vectors of the deformed W algebra and ordinary Macdonald functions. Moreover, we also obtain a formula for Kac determinant of the level $N$ representation of DIM algebra. 

21. 
On tensor product decomposition of positive representations Ivan Chi Ho Ip (京大理) Recently a cluster realization of Drinfeld–Jimbo quantum groups $\mathcal{U}_q(\mathfrak{g})$ has been found via the positive representations, where an embedding into a quantum torus algebra $\mathcal{X}_\mathfrak{g}$ is described by certain quiver diagram. Using this new realization, we discuss its application towards the proof of the tensor product decomposition of the positive representations of split real quantum groups restricted to the Borel part, as well as the proof by Schrader–Shapiro on the full decomposition in type $A_n$, thus solving part of the longstanding conjecture of the closure of positive representations under taking the tensor product. 

22. 
楕円量子群と楕円重み関数 今野 均 (東京海洋大海洋工) By using representation theory of the elliptic quantum group $U_{q,p}(\widehat{\mathfrak{sl}}_N)$, we present a systematic method of deriving the weight functions. The resultant $\mathfrak{sl}_N$ type elliptic weight functions are new, and give elliptic and dynamical analogue of those obtained by Mimachi and Tarasov–Varchenko in the trigonometric case. We then discuss some basic properties of the elliptic weight functions. We also present an explicit formula for formal elliptic hypergeometric integral solution to the elliptic $q$KZ equation. 

23. 
楕円量子群のGelfand–Tsetlin基底上の有限次元表現 今野 均 (東京海洋大海洋工) We construct a finitedimensional representation of the elliptic quantum group $U_{q,p}(\widehat{\mathfrak{sl}}_N)$ on the Gelfand–Tsetlin basis. The resultant representation is described in terms of the partitions of $[1,n]$ in a combinatorial way, and gives an elliptic and dynamical analogue of the geometric representation of $U_q(\widehat{\mathfrak{sl}}_N)$ on the equivariant $K$theory constructed by Vasserot and Nakajima. By comparing the elliptic weight functions presented in the previous talk and the elliptic stable envelopes proposed by Aganagic–Okounkov, we conjecture that our finitedimensional representation provides a geometric representation of $U_{q,p}(\widehat{\mathfrak{sl}}_N)$ on the equivariant elliptic cohomology. 