Irreducibility of the moduli space of orthogonal instanton bundles on P^n
The paper studies orthogonal instanton bundles with no global sections over \(\mathbb{P}^n(n\geq 3)\). Let \(V^{\vee}:=H^0(\mathcal{O}_{\mathbb{P}^n}(1))\). The authors consider the triple \((\mathcal{E},\phi,f)\) with \(\mathcal{E}\) an orthogonal instanton bundle such that \(H^0(\mathcal{E})=0\), \(\phi:\mathcal{E}\xrightarrow{\simeq}\mathcal{E}^{\vee}\) an orthogonal structure and \(f:H_c\xrightarrow{\simeq} H^{n-1}(\mathcal{E}(-n))\). The author proved that there is a 1-1 correspondence between isomorphism classes of \((\mathcal{E},\phi,f)\) and elements \(A\in \bigwedge^2H_c^{\vee}\otimes\bigwedge^2V^{\vee}\) satisfying some conditions. As \(\mathcal{E}\) is an instanton bundle, the Beilinson spectral sequence for it degenerates at \(E_2\) level and we have a monad \[ 0\rightarrow H^1(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^2(1))\otimes \mathcal{O}_{\mathbb{P}^n}(-1)\rightarrow H^1(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^1)\otimes \mathcal{O}_{\mathbb{P}^n}\rightarrow H^1(\mathcal{E}(-1))\otimes \mathcal{O}_{\mathbb{P}^n}(1)\rightarrow 0 \] with \(\mathcal{E}\) as its middle cohomology. Also the boundary maps \[ H^j(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^i)\xrightarrow{\partial}H^{j+1}(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^{i+1}),~~H^k(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^{l})\xrightarrow{\partial}H^{k+1}(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^{l+1}) \] are isomorphisms for \(2\leq i\leq n-1,~1\leq j\leq n-2,~1\leq l\leq n-2,~0\leq k\leq n-1\). Therefore, applying Euler sequences one can get a map \(A\) as the composition of all the maps as follows: \[ H_c\otimes \bigwedge^n V^{\vee}\rightarrow H^{n-1}(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^{n-1})\xrightarrow{\simeq}H^1(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^1)\xrightarrow{i_1}H^1(\mathcal{E}(-1))\otimes V^{\vee}. \] As \(H^1(\mathcal{E}(-1))\cong H^{n-1}(\mathcal{E}(-n))^{\vee}\) by Serre duality and \(\bigwedge^n V^{\vee}\cong V\), we have \(A\in (H_c^{\vee})^{\otimes 2}\otimes (V^{\vee})^{\otimes 2}\). The author showed that \(A\in \bigwedge^2H_c^{\vee}\otimes\bigwedge^2V^{\vee}\) by using the monad associated to \(\mathcal{E}\). The map \(i_1:H^1(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^1)\rightarrow H^1(\mathcal{E}(-1))\otimes V^{\vee}\) is injective as \(H^0(\mathcal{E})=0\). Hence by Riemann-Roch one has \(2c+r=h^1(\mathcal{E}\otimes \Omega_{\mathbb{P}^n}^1)\leq h^1(\mathcal{E}(-1))(n+1)\) where \(r\) and \(c\) are the rank and the charge (i.e \(c=-\chi(\mathcal{E}(-1))\)) respectively of \(\mathcal{E}\). Thus we get an inequality \(r\leq c(n-1)\). Using the correspondence above, the author constructed by GIT the moduli space \(\mathcal{M}\) of the triples \((\mathcal{E},\phi,f)\) and showed that it is affine, smooth and irreducible. At last, the author associated to each \((\mathcal{E},\phi,f)\) a Kronecker module \(\gamma\) and showed that for any line \(L\subset \mathbb{P}^n\), \(\mathcal{E}|_{L}\) is trivial iff \(\gamma (L)\) is an isomorphism viewing \(L\) as an element in \(\bigwedge^2 V\) up to scalars.
- On the non-existence of orthogonal instanton bundles on \(\mathbb P^{2n+1}\)
- The main component of the moduli space of mathematical instanton vector bundles on \(\mathbb{P}^3\)
- Moduli of mathematical instanton vector bundles with odd c₂ on projective space
- Orthogonal bundles and skew-Hamiltonian matrices
- Moduli of mathematical instanton vector bundles with even c₂ on projective space
- ADHM CONSTRUCTION OF PERVERSE INSTANTON SHEAVES
- Construction of instantons
- Deformations of instantons
- scientific article; zbMATH DE number 1000075 (Why is no real title available?)
- scientific article; zbMATH DE number 3843891 (Why is no real title available?)
- Instanton sheaves on complex projective spaces
- Instantons and algebraic geometry
- IRREDUCIBILITY AND SMOOTHNESS OF THE MODULI SPACE OF MATHEMATICAL 5-INSTANTONS OVER ℙ3
- Irreducibility of the space of mathematical instanton bundles with rank 2 and c₂=4
- Mathematical instanton bundles on P2n+1
- Moduli of autodual instanton bundles
- Moduli of mathematical instanton vector bundles with even c₂ on projective space
- Moduli of mathematical instanton vector bundles with odd c₂ on projective space
- Moduli of symplectic instanton vector bundles of higher rank on projective space \(\mathbb P^3\)
- Nondegenerate multidimensional matrices and instanton bundles
- On the non-existence of orthogonal instanton bundles on \(\mathbb P^{2n+1}\)
- Orthogonal bundles and skew-Hamiltonian matrices
- Regularity of the moduli space of instanton bundles \(MI_{\mathbb{P}^3}\)(5)
- Schwarzenberger bundles of arbitrary rank on the projective space
- Stable rank-2 vector bundles on \(\mathbb{P}^3\) with \(c_1=0\) and \(c_2=3\)
- Stable vector bundles and instantons
- Symplectic instanton bundles on P^3 and 't Hooft instantons
- The geometry of moduli spaces of sheaves
- Trihyperkähler reduction and instanton bundles on \(\mathbb{CP}^{3}\)
- Orthogonal bundles and skew-Hamiltonian matrices
- SMOOTHNESS OF THE MODULI SCHEME OF INSTANTON VECTOR BUNDLES WITHc1=0,c2=nONP3
- On the non-existence of orthogonal instanton bundles on \(\mathbb P^{2n+1}\)
- scientific article; zbMATH DE number 1488928 (Why is no real title available?)
- Torsion free instanton sheaves on the blow-up of \(\mathbb{P}^n\) at a point
- Deformation theory of orthogonal and symplectic sheaves
- On rank 3 instanton bundles on \(\mathbb{P}^3\)
This page was built for publication: Irreducibility of the moduli space of orthogonal instanton bundles on \(\mathbb{P}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2303549)
