As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [hyperkaehler]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
107 views

Describing singular fibers of the lagrangian fibration $\mathcal M^s(0, [C], 1) \to |C|$

Let $S \to \mathbb P^2$ be a two-to-one cover branched over a sextic, i.e. $S$ is a K3-surface. Let $C \subset S$ be the preimage of a (smooth) quadric, so that by Hurwitz' formula, $g(C) = 5$. ...
red_trumpet's user avatar
1 vote
0 answers
75 views

Is Stenzel's Ricci-flat metric on $T^*\mathbb{CP}^n$ hyperkahler?

In a well-known paper, Stenzel constructed complete Ricci-flat Kahler metrics on the total spaces of cotangent bundles of $S^n$, $\mathbb{RP}^n,$ $\mathbb{CP}^n$, $\mathbb{HP}^n$, and $\mathbb{OP}^2$. ...
Jesse Madnick's user avatar
7 votes
1 answer
450 views

Kähler metric with two compatible complex structures

Let $(M^4,g)$ be a complete $4$-dimensional Riemannian manifold such that two almost complex structures $I$ and $J$ are compatible with $g$ and $\nabla_g I=\nabla_g J=0$. Can we prove that $(M,g)$ is ...
Zhiqiang's user avatar
  • 587
5 votes
1 answer
204 views

Can deformation equivalent Kähler manifolds always be obtained by a deformation where all the fibers are Kähler?

Given compact Kähler manifolds $X$ and $X'$ deformation equivalent over the unit disk $\Delta \subset \mathbb{C}$. More precisely, there is a proper holomorphic surjective map \begin{align*} \pi\...
David.D's user avatar
  • 423
1 vote
0 answers
55 views

3-Sasakian manifolds and contact Fano Kähler-Einstein manifolds

Let $(M,g)$ be a Riemannian manifold. The Riemannian cone of $M$ is $C(M) = M \times {\Bbb R}^{>0}$ with the metric $t^2 g + dt\otimes dt$. A manifold is called Sasakian if its cone is Kähler, ...
Misha Verbitsky's user avatar
1 vote
0 answers
57 views

Some question on defining the space of graph homology for Jacobi diagrams

I read Chapter 2.1 "The space of graph homology" from Nieper-Wißkirchen's Chern Numbers and Rozansky-Witten Invariants of Compact Hyper-Kähler Manifolds today, and have some question. I'm ...
red_trumpet's user avatar
4 votes
0 answers
159 views

Can Lagrangian fibrations have multiple fibres in codimension $1$?

I know that if $\pi: S \to \mathbb P^1$ is an elliptic fibration of a K3-surface $S$, then $\pi$ does not have multiple fibers. A proof of this can be found in Huybrechts' Lectures on K3 surfaces, ...
red_trumpet's user avatar
3 votes
1 answer
227 views

Does miracle flatness always fail for a non-regular base?

In [1], Huybrechts and Mauri argue that a holomorphic Lagrangian fibration $f: X \to B$ with smooth base $B$ is flat. This is an application of so called miracle flatness [2, Thm 23.1], because ...
red_trumpet's user avatar
1 vote
0 answers
67 views

Can this embedding to double dual EPW sextic happen?

Let $\widetilde{Y}_{A^{\perp}}$ denote the double dual EPW sextic defined by the Lagrange subspace $A\subset \bigwedge^3V_6$. If $A$ is very general, then $\widetilde{Y}_{A^{\perp}}$ is a smooth ...
user41650's user avatar
  • 1,696
3 votes
0 answers
54 views

Ricci deformation of hyperkahler ALE orbifold

Let $(X^2,g)$ be a hyperkahler ALE orbifold surface. Consider its Ricci deformation equation: $$ \Delta h+2Rm(h)=0 $$ for $\text{div}_g h=\text{Tr}_gh=0$ and $h=O(r^{-\epsilon})$ as $r \to +\infty$. ...
Zhiqiang's user avatar
  • 587
2 votes
0 answers
149 views

Conics on Gushel-Mukai fourfold

Let $X$ be a very general Gushel-Mukai fourfold, let $\mathcal{U}$ be the tautological sub-bundle and $\mathcal{Q}$ be the tautological quotient bundle. Let $C\subset X$ be a $\rho$-conic, then $\...
user41650's user avatar
  • 1,696
3 votes
0 answers
153 views

Deformation to a normal cone for a holomorphically symplectic manifold

Let $X$ be a subvariety in $M$. "Deformation to the normal cone" is a holomorphic deformation of a neighbourhood of $X$ in $M$ over the disk such that its central fiber is the total space ...
Misha Verbitsky's user avatar
9 votes
2 answers
681 views

Bialynicki-Birula decomposition for real analytic varieties

Let $X$ be a smooth complex algebraic variety endowed with a $\mathbb{C}^*$ action. We assume also to have an antiholomorphic involution $\sigma$ over $X$ such that it anticommutes with the action ...
Tommaso Scognamiglio's user avatar
3 votes
1 answer
151 views

Stuck on a computation with quaternions and moment maps

I am trying to understand an article by Gibbons, Rychenkova and Goto, called "Hyperkähler quotient construction of BPS Monopole Moduli Spaces". I will paraphrase the relevant notions and ...
Malkoun's user avatar
  • 4,255
6 votes
1 answer
227 views

The state of art of the singular Levi problem -- and hyperkähler quotients

One of the versions of the classical Levi problem asks the following: Let $X$ be a complex manifold. Is it true that $X$ is Stein iff $X$ admits a smooth exhaustion strictly plurisubharmonic ...
anna abasheva's user avatar
7 votes
0 answers
257 views

Examples of non-compact, holomorphically symplectic Kähler manifolds which are not hyperkähler

Let $(M,\omega_{1},I_{1})$ be a non-compact Kähler manifold. If $M$ admits a holomorphic symplectic form $\Omega$, is it possible M not be hyperkähler? Is there any example? (*)Under the assumption ...
Eder Moraes's user avatar
2 votes
0 answers
89 views

Monodromy operators on hyperkähler varieties

Let $X$ be a hyperkähler variety. In an article (Conjecture 2.1) from some years ago, Markman conjectured that any monodromy operator acting trivially on $H^2(X,\mathbb Z)$ is the identity operator, ...
Davide Cesare Veniani's user avatar
3 votes
0 answers
97 views

Contact 3-manifolds with hyperkahler Stein fillings?

Is there any classification result on (homeomorphism type) of contact 3-manifolds $\Sigma$ that have Stein filling $W$ that is 1. Hyperkahler (s.t. Stein structure is the Kahler part of it) 2. not ...
Filip's user avatar
  • 1,537
3 votes
0 answers
76 views

Hypertoric varieties in dimension 4?

Are the only smooth hypertoric varieties in real dimension 4 obtained as minimal resolutions of type A simple singularities $\mathbb{C}^2/\mathbb{Z}_{/n}$?
Filip's user avatar
  • 1,537
5 votes
0 answers
74 views

Hypothetical uniqueness of an embedding of a Riemannian manifold to a compact Kähler one

Inspired by this question (Isometric embedding of a real-analytic Riemannian manifold in a compact Kähler manifold) I ask the following: Suppose $X$ is a real analytic Riemannian manifold with a ...
anna abasheva's user avatar
4 votes
0 answers
115 views

Coordinate-free B.Feix's construction of a hyperkähler metric

In the 2001's paper 'Hyperkähler metrics on cotangent bundles' B.Feix gives a construction of a hyperkähler metric on a neighbourhood of zero section in $T^*X$ where $X$ is a real analytic Kähler ...
anna abasheva's user avatar
10 votes
0 answers
353 views

Hyperkähler structure on the moduli space of tetrahedra?

Consider a moduli space of geodesic tetrahedra in the hyperbolic space $\mathbb{H}^3.$ In the Klein's model the hyperbolic space can be presented as the interior of a unit ball $$ \mathbb{H}^3=\{(x_1,...
Daniil Rudenko's user avatar
4 votes
1 answer
184 views

Lagrangian cores of quiver variety in different GIT chambers

Let $\pi: \mathfrak{M}_{(\theta,0)}(Q,\text{v},\text{w}) \rightarrow \mathfrak{M}_{(0,0)}(Q,\text{v},\text{w})$ be the projective morphism between Nakajima quiver varieties when complex moment ...
Filip's user avatar
  • 1,537
1 vote
1 answer
183 views

Small contraction for Hyperkähler Varieties

I have the following basic question. Everything is over $\mathbb{C}$. Let $X$ be a hyperkähler (irreducible holomorphic symplectic) variety and we consider a small contraction $f\colon X \rightarrow ...
Nico Berger's user avatar
1 vote
1 answer
254 views

compact manifold as a hyperkahler quotient of an infinite-dimensional affine space

Is it possible to obtain K3 (or any other compact hyperkahler manifold) with its hyperkahler structure as a hyperkahler quotient of an infinite-dimensional affine quaternionic vector space with an ...
Misha Verbitsky's user avatar
6 votes
1 answer
661 views

Are there non-projective, but algebraic, hyperkahler varieties?

Let $k$ be an algebraically closed field of characteristic zero. I am not sure what the right definition of a hyperkahler variety over $k$ is, but I think the following might be close enough. ...
Pierce's user avatar
  • 61
0 votes
0 answers
97 views

Extending Beauville-Bogomolov orthogonal decomposition from variety to scheme

I'm seeking to understand the de Rham cohomology of a Hilbert scheme $K3^{[4]}$ of the K3 surface. By Beauville, this 8-dimensional compact manifold is Kaehler, irreducible, holomorphically symplectic ...
zenith90's user avatar
1 vote
0 answers
100 views

Integral cohomology on compact irreducible holomorphic symplectic manifolds

In particular, I'm attempting to understand the integral cohomology on K3^[4], a Hilbert scheme on the projective K3 surface, and whether or not this compact Kaehler manifold admits a Kaehler form ...
zenith90's user avatar
4 votes
0 answers
123 views

Different components of real sections for twistor spaces of hyper-Kähler manifolds

A hyper-Kähler manifold is a Riemannian manifold $(M,g)$ equipped with 3 complex structures $I,J,K$ obeying the quaternionic relations and such that $g$ is a Kähler metric for each complex structure. ...
Sebastian's user avatar
  • 6,620
2 votes
0 answers
100 views

How exactly are holomorphic maps with hyperkahler targets identified as triholomorphic maps?

In Appendix A of Hyperinstantons, the Beltrami Equation, and Triholomorphic Maps by Fre et al., it is described how holomorphic maps from a Riemann surface to a hyperkahler manifold $\mathcal{N}$, ...
Mtheorist's user avatar
  • 1,085
3 votes
1 answer
163 views

Are there hyperkahler manifolds with multi-isotropic hyperkahler submanifolds?

This is a continuation of this question. As explained in the comments, for a hyperkaehler manifold $X$, a multi-isotropic submanifold $S$ has the property that the three distinguished Kahler forms $\...
Mtheorist's user avatar
  • 1,085
3 votes
1 answer
220 views

Submanifold of a Hyperkahler manifold which is 'Lagrangian' w.r.t. all three symplectic structures

Let $X$ be a hyperkaehler manifold. Being hyperkaehler, it has three distinguished Kaehler forms, $\omega^u$ ($u$=1,2,3), corresponding to its three distinguished almost complex structures. How does ...
Mtheorist's user avatar
  • 1,085
1 vote
1 answer
196 views

Do these definitions of integrable quaternionic structure agree?

I have found two different definitions for integrable quaternionic structure in the literature, and I need to know if they agree with one another. One definition that I have found (from Differential ...
Mtheorist's user avatar
  • 1,085
6 votes
0 answers
775 views

Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...
Paul Reynolds's user avatar
8 votes
2 answers
1k views

Hyper-complex and quaternionic Kähler Geometry

What is the exact relationship hyper-complex and quaternionic Kahler manifolds? From Wikipedia we get that hyper-Kahler manifolds are both hyper-complex and quaternionic Kahler. Thus, the two families ...
Jean Delinez's user avatar
  • 3,259