009年6月，Alday, Gaiotto和Tachikawa三人提出了著名的AGT猜想。也就是四维N=2超共形U(N)理论对偶于A_{N-1}Toda理论耦合上一个U(1)场。这种四维-二维对应是非常不平凡的。尤其是四维理论的瞬子贡献对应于Liouville/Toda共形块这种对偶关系，它深刻揭示了共形块本身具有非常紧凑的统一表达式。这意味着人们可以一劳永逸的构造出Liouville/Toda共形块来。我们发现此U(1)*Liouville理论对应可积系统是一个相互作用的双Calogero-Sutherland模型，相互作用是三角化的，那么可以很容易证明，此双CS模型的可积性继承自CS模型，而且是严格可解的。其解在U(1)*Liouville理论中就是完整的AFLT态！而这样的方案实际上对于单个的ＣＳ模型也是可以实现的，它完全可以从自由费米子模型的三角化来得到。我们在中深入研究了这样的一个系统，发现Jack态的确可以用自由费米子的本征态--Schur态利用三角性来构造。这表明，三角化方案是构造可积系统的一种强有效的工具。