-
The twistor space of ${\mathbb{R}}^{4n}$ and Berezin-Toeplitz operators
Authors:
T. Barron,
A. Tomberg
Abstract:
A hyperkähler manifold $M$ has a family of induced complex structures indexed by a two-dimensional sphere $S^2 \cong \mathbb{CP}^1$. The twistor space of $M$ is a complex manifold $Tw(M)$ together with a natural holomorphic projection $Tw(M) \to \mathbb{CP}^1$, whose fiber over each point of $\mathbb{CP}^1$ is a copy of $M$ with the corresponding induced complex structure. We remove one point from…
▽ More
A hyperkähler manifold $M$ has a family of induced complex structures indexed by a two-dimensional sphere $S^2 \cong \mathbb{CP}^1$. The twistor space of $M$ is a complex manifold $Tw(M)$ together with a natural holomorphic projection $Tw(M) \to \mathbb{CP}^1$, whose fiber over each point of $\mathbb{CP}^1$ is a copy of $M$ with the corresponding induced complex structure. We remove one point from this sphere (corresponding to one fiber in the twistor space),and for the case of $M = \mathbb{R}^{4n}$, $n\in\mathbb{N}$, equipped with the standard hyperkähler structure, we construct one quantization that replaces the family of Berezin-Toeplitz quantizations parametrized by $S^2-\{ pt\}$. We provide semiclassical asymptotics for this quantization.
△ Less
Submitted 27 April, 2021; v1 submitted 18 September, 2020;
originally announced September 2020.
-
On vector bundles over hyperkähler twistor spaces
Authors:
Indranil Biswas,
Artour Tomberg
Abstract:
We study the holomorphic vector bundles E over the twistor space Tw(M) of a compact simply connected hyperkähler manifold $M$. We give a characterization of the semistability condition for E in terms of its restrictions to the holomorphic sections of the holomorphic twistor projection π:Tw(M)\rightarrow CP^1. It is shown that if E admits a holomorphic connection, then E is holomorphically trivial…
▽ More
We study the holomorphic vector bundles E over the twistor space Tw(M) of a compact simply connected hyperkähler manifold $M$. We give a characterization of the semistability condition for E in terms of its restrictions to the holomorphic sections of the holomorphic twistor projection π:Tw(M)\rightarrow CP^1. It is shown that if E admits a holomorphic connection, then E is holomorphically trivial and the holomorphic connection on E is trivial as well. For any irreducible vector bundle E on Tw(M) of prime rank, we prove that its restriction to the generic fibre of πis stable. On the other hand, for a K3 surface M, we construct examples of irreducible vector bundles of any composite rank on Tw(M) whose restriction to every fibre of πis non-stable. We have obtained a new method of constructing irreducible vector bundles on hyperkähler twistor spaces; this method is employed in constructing these examples.
△ Less
Submitted 20 September, 2021; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Families of stable bundles on the fibres of the hyperkähler twistor projection
Authors:
Artour Tomberg
Abstract:
Given a holomorphic vector bundle $E$ on the twistor space $\mathrm{Tw}(M)$ of a simple hyperkähler manifold $M$, we view it as a family of bundles $\left\{E_I\right\}$ on the fibres $π^{-1}(I)$ of the twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$, and study the relationship between stability of $E$ and its fibrewise stability. We verify that the argument of Teleman establishing the Zar…
▽ More
Given a holomorphic vector bundle $E$ on the twistor space $\mathrm{Tw}(M)$ of a simple hyperkähler manifold $M$, we view it as a family of bundles $\left\{E_I\right\}$ on the fibres $π^{-1}(I)$ of the twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$, and study the relationship between stability of $E$ and its fibrewise stability. We verify that the argument of Teleman establishing the Zariski openness of stability and semi-stability in families of bundles applies in the case of the family $\left\{E_I\right\}$. We prove a partial converse to a result of Kaledin and Verbitsky, showing that an irreducible bundle $E$ on $\mathrm{Tw}(M)$ is generically fibrewise stable if the rank of $E$ is 2 or 3, or at least one element of the family $\left\{E_I\right\}$ is a simple bundle, in the sense that $\mathrm{Hom}(E_I, E_I) = \mathbb{C}$.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
An example of a stable but fibrewise nonstable bundle on the twistor space of a hyperkähler manifold
Authors:
Artour Tomberg
Abstract:
We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperkähler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to…
▽ More
We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperkähler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to the fibres of $π$, and announce a result whose proof will appear in a forthcoming paper.
△ Less
Submitted 31 December, 2018;
originally announced December 2018.
-
Finite-order correlation length for 4-dimensional weakly self-avoiding walk and $|\varphi|^4$ spins
Authors:
Roland Bauerschmidt,
Gordon Slade,
Alexandre Tomberg,
Benjamin C. Wallace
Abstract:
We study the 4-dimensional $n$-component $|\varphi|^4$ spin model for all integers $n \ge 1$, and the 4-dimensional continuous-time weakly self-avoiding walk which corresponds exactly to the case $n=0$ interpreted as a supersymmetric spin model. For these models, we analyse the correlation length of order $p$, and prove the existence of a logarithmic correction to mean-field scaling, with power…
▽ More
We study the 4-dimensional $n$-component $|\varphi|^4$ spin model for all integers $n \ge 1$, and the 4-dimensional continuous-time weakly self-avoiding walk which corresponds exactly to the case $n=0$ interpreted as a supersymmetric spin model. For these models, we analyse the correlation length of order $p$, and prove the existence of a logarithmic correction to mean-field scaling, with power $\frac 12\frac{n+2}{n+8}$, for all $n \ge 0$ and $p>0$. The proof is based on an improvement of a rigorous renormalisation group method developed previously.
△ Less
Submitted 21 April, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Critical correlation functions for the 4-dimensional weakly self-avoiding walk and n-component $|\varphi|^4$ model
Authors:
Gordon Slade,
Alexandre Tomberg
Abstract:
We extend and apply a rigorous renormalisation group method to study critical correlation functions, on the 4-dimensional lattice $\mathbb{Z}^4$, for the weakly coupled $n$-component $|\varphi|^4$ spin model for all $n \geq 1$, and for the continuous-time weakly self-avoiding walk. For the $|\varphi|^4$ model, we prove that the critical two-point function has $|x|^{-2}$ (Gaussian) decay asymptotic…
▽ More
We extend and apply a rigorous renormalisation group method to study critical correlation functions, on the 4-dimensional lattice $\mathbb{Z}^4$, for the weakly coupled $n$-component $|\varphi|^4$ spin model for all $n \geq 1$, and for the continuous-time weakly self-avoiding walk. For the $|\varphi|^4$ model, we prove that the critical two-point function has $|x|^{-2}$ (Gaussian) decay asymptotically, for $n \ge 1$. We also determine the asymptotic decay of the critical correlations of the squares of components of $\varphi$, including the logarithmic corrections to Gaussian scaling, for $n \geq 1$. The above extends previously known results for $n = 1$ to all $n \ge 1$, and also observes new phenomena for $n > 1$, all with a new method of proof. For the continuous-time weakly self-avoiding walk, we determine the decay of the critical generating function for the "watermelon" network consisting of p weakly mutually- and self-avoiding walks, for all $p \ge 1$, including the logarithmic corrections. This extends a previously known result for $p = 1$, for which there is no logarithmic correction, to a much more general setting. In addition, for both models, we study the approach to the critical point and prove existence of logarithmic corrections to scaling for certain correlation functions. Our method gives a rigorous analysis of the weakly self-avoiding walk as the $n = 0$ case of the $|\varphi|^4$ model, and provides a unified treatment of both models, and of all the above results.
△ Less
Submitted 24 July, 2015; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Twistor spaces of hypercomplex manifolds are balanced
Authors:
Artour Tomberg
Abstract:
A hypercomplex structure on a differentiable manifold consists of three integrable almost complex structures that satisfy quaternionic relations. If, in addition, there exists a metric on the manifold which is Hermitian with respect to the three structures, and such that the corresponding Hermitian forms are closed, the manifold is said to be hyperkaehler. In the paper "Non-Hermitian Yang-Mills co…
▽ More
A hypercomplex structure on a differentiable manifold consists of three integrable almost complex structures that satisfy quaternionic relations. If, in addition, there exists a metric on the manifold which is Hermitian with respect to the three structures, and such that the corresponding Hermitian forms are closed, the manifold is said to be hyperkaehler. In the paper "Non-Hermitian Yang-Mills connections", Kaledin and Verbitsky proved that the twistor space of a hyperkaehler manifold admits a balanced metric; these were first studied in the article "On the existence of special metrics in complex geometry" by Michelsohn. In the present article, we review the proof of this result and then generalize it and show that twistor spaces of general compact hypercomplex manifolds are balanced.
△ Less
Submitted 11 August, 2019; v1 submitted 4 September, 2014;
originally announced September 2014.
