arXiv subjects
Publications and source records attributed to Roger Bielawski.
We propose definitions of hypercomplex analytic spaces and hypercomplex schemes. We show that such a hypercomplex space is canonically associated to the quotient of a hypercomplex manifold by a finite group action.
We discuss a class of bow varieties which can be viewed as Taub-NUT deformations of moduli spaces of instantons on noncommutative $\mathbb R^4$. Via the generalized Legendre transform, we find the Kähler potential on each of these spaces.<
We study transverse equivariant Hilbert schemes of affine hypertoric varieties equipped with a symplectic action of a Weyl group. In particular, we show that the Coulomb branches of Braverman, Finkelberg, and Nakajima can be obtained either as such Hilbert schemes or Hamiltonian reductions thereof. Furthermore, we propose that the Coulomb branches for representations of non-cotangent type are also obtained in this way. We also investigate the putative complete hyperk\"ahler metrics on these objects. We describe their twistor spaces and, in the case when the symplectic quotient construction of the hypertoric variety is $W$-equivariant (which includes Coulomb branches of cotangent type), we show that the hyperk\"ahler metric can be described as the natural $L^2$-metric on a moduli space of solutions to modified Nahm's equations on an interval with poles at both ends and a discontinuity in the middle, with the latter described by a new object: a hyperspherical variety canonically associated to a hypertoric variety.
Moore-Tachikawa varieties are certain Hamiltonian holomorphic symplectic varieties conjectured in the context of $2$-dimensional topological quantum field theories. We discuss several constructions related to these varieties.
We show that $U(k)$-invariant hypercomplex structures on (open subsets) of regular semisimple adjoint orbits in $\mathfrak{gl}(k,{\mathbb C})$ correspond to algebraic curves $C$ of genus $(k-1)^2$, equipped with a flat projection $π:C\to{\mathbb P}^1$ of degree $k$, and an antiholomorphic involution $σ:C\to C$ covering the antipodal map on ${\mathbb P}^1$.
We investigate the pseudo-hyperkähler geometry of higher degree rational curves in the twistor space of a hyperkähler $4$-manifold.
We represent algebraic curves via commuting matrix polynomials. This allows us to show that the Hilbert scheme of cohomologically stable twisted rational curves of degree $d$ in ${\Bbb P}^3\backslash {\Bbb P}^1$ is isomorphic to a complexified hyperkähler quotient of an open subset of a vector space by a non-reductive Lie group.
We use twistor methods to promote Namikawa's universal Poisson deformations of conic affine symplectic singularities to families of hyperkähler structures deforming hyperkähler cone metrics. The metrics we produce are generally incomplete, but for specific classes of hyperkähler cones, even these incomplete metrics have some interest and applications: we study in detail the case of the nilpotent cone of a simple complex Lie algebra, with applications to hyperkähler metrics with symmetries and hyperkähler quotients, and the case of Kleinian singularities, with applications to codimension-4 singularities of G2-holonomy metrics and their dual description in theoretical physics in terms of 3-dimensional gauge theory.
We give a characterisation of Atiyah's and Hitchin's transverse Hilbert schemes of points on a symplectic surface in terms of bi-Poisson structures. Furthermore, we describe the geometry of hyperkähler manifolds arising from the transverse Hilbert scheme construction, with particular attention paid to the monopole moduli spaces.
We describe the natural geometry of Hilbert schemes of curves in ${\mathbb P}^3$ and, in some cases, in ${\mathbb P}^n$ , $n\geq 4$.
We investigate the geometry of the Kodaira moduli space $M$ of sections of $π:Z\to {\mathbb P}^1$, the normal bundle of which is allowed to jump from ${\mathcal O}(1)^{n}$ to ${\mathcal O}(1)^{n-2m}\oplus {\mathcal O}(2)^{m}\oplus {\mathcal O}^{m}$. In particular, we identify the natural assumptions which guarantee that the Obata connection of the hypercomplex part of $M$ extends to a logarithmic connection on $M$.
We explore the geometry of the Nahm-Schmid equations, a version of Nahm's equations in split signature. Our discussion ties up different aspects of their integrable nature: dimensional reduction from the Yang--Mills anti-self-duality equations, explicit solutions, Lax-pair formulation, conservation laws and spectral curves, as well as their relation to hypersymplectic geometry.
We discuss a 4[k/2]-dimensional complete hyperkähler submanifold of the (4k-4)-dimensional moduli space of strongly centred SU(2)-monopoles of charge k.
We show that the regular Slodowy slice to the sum of two semisimple adjoint orbits of $GL(n,C)$ is isomorphic to the deformation of the $D_2$-singularity if $n=2$, the Dancer deformation of the double cover of the Atiyah-Hitchin manifold if $n=3$, and to the Atiyah-Hitchin manifold itself if $n=4$. For higher $n$, such slices to the sum of two orbits, each having only two distinct eigenvalues, are either empty or biholomorphic to open subsets of the Hilbert scheme of points on of one the above surfaces. In particular, these open subsets of Hilbert schemes of points carry complete hyperkähler metrics. In the case of the double cover of the Atiyah-Hitchin manifold this turns out to be the natural $L^2$-metric on a hyperkähler submanifold of the monopole moduli space.
We discuss the correspondence between Nahm's equations, the Basu-Harvey-Terashima equations, and Lie superalgebras.
We discuss hypercomplex and hyperkähler structures obtained from higher degree curves in complex spaces fibring over ${\mathbb{P}}^1$.
We observe that the E-resultant of a very ample rank 2 vector bundle E on a real projective curve (with no real points) is nonnegative when restricted to the space of real sections. Moreover, we show that if E has a section vanishing at exactly two points and the degree d of E satisfies d(d-6)> 4g-5, then this polynomial cannot be written as a sum of squares.
We discuss the Euclidean limit of hyperbolic SU(2)-monopoles, framed at infinity, from the point of view of pluricomplex geometry. More generally, we discuss the geometry of hypercomplex manifolds arising as limits of pluricomplex manifolds.