Skip to main content
spelling
Source Link
issoroloap
  • 654
  • 3
  • 9

I would say that basically everything you wrote is correct, and in particular the equation $F=\lim_{\epsilon\to 0} \epsilon^2 \log \tau|_{t^{\alpha,p>0}=0,t^{\alpha,0}=t^\alpha}$. It is true that, more in general, $\epsilon^2 \log \tau$ gives you the total descendant potential $\mathcal F(t^{*,*};\epsilon)$ at all genera.

Notice that you don't even need to specify which coordinates you are using (the Miura transformation you write about), because no dynamical variable appears here, only the time variables $t^{\alpha,p}$.

However the correct equation for the tau structure $h_{\alpha,p}$ is $$\frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}} = \frac{\partial h_{\beta,q-1}}{\partial t^{\alpha,p}} = \partial_x \Omega_{\alpha,p;\beta,q}$$ (the dispersive Poisson structure only enters this equation through the time derivatives $\partial_{t^{\alpha,p}}$). This equation realtesrelates to the tau function / total descendant potential via $$\left. \frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}}\right|_{w^\gamma_k=(w^{\mathrm{top}})^\gamma_k(x=0,t^{*,*};\epsilon)} = \frac{\partial^3 \mathcal F}{\partial t^{1,0} \partial t^{\alpha,p} \partial t^{\beta,q}},$$ where $w^\mathrm{top}$ is the topological solution, with initial datum $(w^\mathrm{top})^\gamma(x,t^{*,*}=0;\epsilon) = x \delta^\gamma_1$ (here $w^\gamma$ are the normal coordinates $w^\gamma=\eta^{\gamma \mu}h_{\mu,-1}$ of the tau structure).

About your question on the explicit computation of the tau function starting from the hierarchy and its tau structure, you are right to say it is not a trivial exercise. The best way I can think of is to use the explicit relation ofbetween the Dubrovin-Zhang tau structure and the Lax representation of the extended Toda system. You can find this information scattered in the literature, including the paper of Carlet, Dubrovin and Zhang that you already citecited.

However we also gathered this information in section 6.1 of myour paper with A. Buryak, https://arxiv.org/abs/1411.6797. It is about the double ramification hierarchy, but since it also deals with its relation to the Dubrovin-Zhang construction, you find the change of coordinates frombetween each of the tree representations: Lax representation, DR hierarchy and DZ hierarchy. A word of warning: the Dubrovin-Zhang hierarchy comes in two version, with ancestors or descendants psi-classes. You need to use Givental's $S$-matrices as explained in the paper to pass from one to the other.

Finally, I gathered this example and several others (including ILW and Gelfand-Dickey) at the end of my review https://arxiv.org/abs/1703.00232. That too is about the double ramification hierarchy, but again you will find the change of coordinates between Lax representation, DR hierarchy and DZ hierarchy. All those formulae come from our papers with Buryak, Dubrovin and Guéré, so please look into the references therein to find out more.

I would say that basically everything you wrote is correct, and in particular the equation $F=\lim_{\epsilon\to 0} \epsilon^2 \log \tau|_{t^{\alpha,p>0}=0,t^{\alpha,0}=t^\alpha}$. It is true that, more in general, $\epsilon^2 \log \tau$ gives you the total descendant potential $\mathcal F(t^{*,*};\epsilon)$ at all genera.

Notice that you don't even need to specify which coordinates you are using (the Miura transformation you write about), because no dynamical variable appears here, only the time variables $t^{\alpha,p}$.

However the correct equation for the tau structure $h_{\alpha,p}$ is $$\frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}} = \frac{\partial h_{\beta,q-1}}{\partial t^{\alpha,p}} = \partial_x \Omega_{\alpha,p;\beta,q}$$ (the dispersive Poisson structure only enters this equation through the time derivatives $\partial_{t^{\alpha,p}}$). This equation realtes to the tau function / total descendant potential via $$\left. \frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}}\right|_{w^\gamma_k=(w^{\mathrm{top}})^\gamma_k(x=0,t^{*,*};\epsilon)} = \frac{\partial^3 \mathcal F}{\partial t^{1,0} \partial t^{\alpha,p} \partial t^{\beta,q}},$$ where $w^\mathrm{top}$ is the topological solution, with initial datum $(w^\mathrm{top})^\gamma(x,t^{*,*}=0;\epsilon) = x \delta^\gamma_1$ (here $w^\gamma$ are the normal coordinates $w^\gamma=\eta^{\gamma \mu}h_{\mu,-1}$ of the tau structure).

About your question on the explicit computation of the tau function starting from the hierarchy and its tau structure, you are right to say it is not a trivial exercise. The best way I can think of is to use the explicit relation of the Dubrovin-Zhang tau structure and the Lax representation of the extended Toda system. You can find this information scattered in the literature, including the paper of Carlet, Dubrovin and Zhang that you already cite.

However we also gathered this information in section 6.1 of my paper with A. Buryak, https://arxiv.org/abs/1411.6797. It is about the double ramification hierarchy, but since it also deals with its relation to the Dubrovin-Zhang construction, you find the change of coordinates from each of the tree representations: Lax representation, DR hierarchy and DZ hierarchy. A word of warning: the Dubrovin-Zhang hierarchy comes in two version, with ancestors or descendants psi-classes. You need to use Givental's $S$-matrices as explained in the paper to pass from one to the other.

Finally, I gathered this example and several others (including ILW and Gelfand-Dickey) at the end of my review https://arxiv.org/abs/1703.00232. That too is about the double ramification hierarchy, but again you will find the change of coordinates between Lax representation, DR hierarchy and DZ hierarchy. All those formulae come from our papers with Buryak, Dubrovin and Guéré, so please look into the references therein to find out more.

I would say that basically everything you wrote is correct, and in particular the equation $F=\lim_{\epsilon\to 0} \epsilon^2 \log \tau|_{t^{\alpha,p>0}=0,t^{\alpha,0}=t^\alpha}$. It is true that, more in general, $\epsilon^2 \log \tau$ gives you the total descendant potential $\mathcal F(t^{*,*};\epsilon)$ at all genera.

Notice that you don't even need to specify which coordinates you are using (the Miura transformation you write about), because no dynamical variable appears here, only the time variables $t^{\alpha,p}$.

However the correct equation for the tau structure $h_{\alpha,p}$ is $$\frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}} = \frac{\partial h_{\beta,q-1}}{\partial t^{\alpha,p}} = \partial_x \Omega_{\alpha,p;\beta,q}$$ (the dispersive Poisson structure only enters this equation through the time derivatives $\partial_{t^{\alpha,p}}$). This equation relates to the tau function / total descendant potential via $$\left. \frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}}\right|_{w^\gamma_k=(w^{\mathrm{top}})^\gamma_k(x=0,t^{*,*};\epsilon)} = \frac{\partial^3 \mathcal F}{\partial t^{1,0} \partial t^{\alpha,p} \partial t^{\beta,q}},$$ where $w^\mathrm{top}$ is the topological solution, with initial datum $(w^\mathrm{top})^\gamma(x,t^{*,*}=0;\epsilon) = x \delta^\gamma_1$ (here $w^\gamma$ are the normal coordinates $w^\gamma=\eta^{\gamma \mu}h_{\mu,-1}$ of the tau structure).

About your question on the explicit computation of the tau function starting from the hierarchy and its tau structure, you are right to say it is not a trivial exercise. The best way I can think of is to use the explicit relation between the Dubrovin-Zhang tau structure and the Lax representation of the extended Toda system. You can find this information scattered in the literature, including the paper of Carlet, Dubrovin and Zhang you already cited.

However we also gathered this information in section 6.1 of our paper with A. Buryak, https://arxiv.org/abs/1411.6797. It is about the double ramification hierarchy, but since it also deals with its relation to the Dubrovin-Zhang construction, you find the change of coordinates between each of the tree representations: Lax representation, DR hierarchy and DZ hierarchy. A word of warning: the Dubrovin-Zhang hierarchy comes in two version, with ancestors or descendants psi-classes. You need to use Givental's $S$-matrices as explained in the paper to pass from one to the other.

Finally, I gathered this example and several others (including ILW and Gelfand-Dickey) at the end of my review https://arxiv.org/abs/1703.00232. That too is about the double ramification hierarchy, but again you will find the change of coordinates between Lax representation, DR hierarchy and DZ hierarchy. All those formulae come from our papers with Buryak, Dubrovin and Guéré, so please look into the references therein to find out more.

Source Link
issoroloap
  • 654
  • 3
  • 9

I would say that basically everything you wrote is correct, and in particular the equation $F=\lim_{\epsilon\to 0} \epsilon^2 \log \tau|_{t^{\alpha,p>0}=0,t^{\alpha,0}=t^\alpha}$. It is true that, more in general, $\epsilon^2 \log \tau$ gives you the total descendant potential $\mathcal F(t^{*,*};\epsilon)$ at all genera.

Notice that you don't even need to specify which coordinates you are using (the Miura transformation you write about), because no dynamical variable appears here, only the time variables $t^{\alpha,p}$.

However the correct equation for the tau structure $h_{\alpha,p}$ is $$\frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}} = \frac{\partial h_{\beta,q-1}}{\partial t^{\alpha,p}} = \partial_x \Omega_{\alpha,p;\beta,q}$$ (the dispersive Poisson structure only enters this equation through the time derivatives $\partial_{t^{\alpha,p}}$). This equation realtes to the tau function / total descendant potential via $$\left. \frac{\partial h_{\alpha,p-1}}{\partial t^{\beta,q}}\right|_{w^\gamma_k=(w^{\mathrm{top}})^\gamma_k(x=0,t^{*,*};\epsilon)} = \frac{\partial^3 \mathcal F}{\partial t^{1,0} \partial t^{\alpha,p} \partial t^{\beta,q}},$$ where $w^\mathrm{top}$ is the topological solution, with initial datum $(w^\mathrm{top})^\gamma(x,t^{*,*}=0;\epsilon) = x \delta^\gamma_1$ (here $w^\gamma$ are the normal coordinates $w^\gamma=\eta^{\gamma \mu}h_{\mu,-1}$ of the tau structure).

About your question on the explicit computation of the tau function starting from the hierarchy and its tau structure, you are right to say it is not a trivial exercise. The best way I can think of is to use the explicit relation of the Dubrovin-Zhang tau structure and the Lax representation of the extended Toda system. You can find this information scattered in the literature, including the paper of Carlet, Dubrovin and Zhang that you already cite.

However we also gathered this information in section 6.1 of my paper with A. Buryak, https://arxiv.org/abs/1411.6797. It is about the double ramification hierarchy, but since it also deals with its relation to the Dubrovin-Zhang construction, you find the change of coordinates from each of the tree representations: Lax representation, DR hierarchy and DZ hierarchy. A word of warning: the Dubrovin-Zhang hierarchy comes in two version, with ancestors or descendants psi-classes. You need to use Givental's $S$-matrices as explained in the paper to pass from one to the other.

Finally, I gathered this example and several others (including ILW and Gelfand-Dickey) at the end of my review https://arxiv.org/abs/1703.00232. That too is about the double ramification hierarchy, but again you will find the change of coordinates between Lax representation, DR hierarchy and DZ hierarchy. All those formulae come from our papers with Buryak, Dubrovin and Guéré, so please look into the references therein to find out more.