\(\Lambda\)-modules and holomorphic Lie algebroid connections (Q2392894)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\Lambda\)-modules and holomorphic Lie algebroid connections |
scientific article |
Statements
\(\Lambda\)-modules and holomorphic Lie algebroid connections (English)
0 references
5 August 2013
0 references
Over a smooth projective (algebraic) variety \(X\) with coordinate ring \(\mathbb C_X\), for \(\Lambda\) a sheaf of filtered \(\mathbb C_X\)-algebras satisfying some axioms, moduli spaces of semistable \(\Lambda\)-modules can be constructed by GIT methods (Simpson). Varying the sheaves \(\Lambda\) gives moduli spaces for a large class of interesting objects. The present article classify the sheaves of algebras \(\Lambda\) satisfying Simpson's axioms, and it also gives specific applications. First of all, the authors prove that for a compact Kähler manifold \(X\), \(\mathcal G\) a locally free coherent \(\mathcal O_X\)-module, and \(\mathcal S=\text{Sym}^\ast_{\mathcal O_X}\mathcal G\), there is a one-to-one correspondences between the isomorphism classes of pairs \((\Lambda,\Xi)\) with \(\Lambda\) a sheaf of filtered algebras satisfying Simpson's axioms and \(\Xi:\text{Gr}\Lambda\rightarrow\mathcal S\) an isomorphism, and the pairs \((\mathcal L,\sum)\) where \(\mathcal L\) is a holomorphic Lie algebroid structure on \(\mathcal G\) and \(\sum\in F^1H^2(\mathcal L,\mathbb C)\), \(F^\bullet H^\bullet\) referring to the filtration of the Lie algebroid cohomology group. The applications of this correspondence includes the construction of moduli spaces of flat \(\mathcal L\)-connections for any holomorphic Lie algebroid \(\mathcal L\), and the functoriality enables the construction of rational maps between these spaces. Investigating the holomorphic Lie algebroids and their cohomology, it is possible to control the vector spaces \(F^1H^2(\mathcal L,\mathbb C)\). Based on the jet bundle of a Lie algebroid and the \(\mathcal L\)-Atiyah class of a coherent \(\mathcal O_X\)-module \(\mathcal E\), the characteristic ring \(\mathcal L_h\) of \(\mathcal E\) is introduced. When \(\mathcal E\) is torsion free, the trace of the curvature of a holomorphic \(\mathcal L\)-connection is a representative of the first \(\mathcal L_h\)-Cern class of \(\mathcal E\). This also addresses the question of existence of holomorphic \(\mathcal L\)-connection on coherent \(\mathcal O_X\)-modules. When \(\mathcal L\) is the holomorphic Lie algebroid \((\Omega_X)_{\prod}\) associated to a holomorphic Poisson manifold \((X,\prod)\), \(\Lambda\)-modules coincide with generalized holomorphic bundles, so that the constructions of Simpson gives moduli spaces of such objects. The examples in the article make the need for defining a lot of valuable concepts: The \textit{anchor} inducing a Lie algebra homomorphism from the De Rham cohomolog to Lie algebra cohomology, Lie algebroid connections and the characteristic class including \textit{L-connections} \(\nabla\) on a bundle \(E\), used to define the \textit{curvature} of \(\nabla\), and then the characteristic ring \(\mathcal R(E)\) of \(E\) which is the image of the Chern-Weil homomorphism \(\lambda_E:I^\bullet(\text{GL}(r,\mathbb C))\rightarrow H^\bullet_{\text{DR}}(X;\mathbb C)\). Also matched pairs of Lie algebroids given by the twilled sum \(L_1\vartriangleright\vartriangleleft L_2\) is defined. Finially, it should be mentioned that the GAGA principle is used extensively in the final part of the article, so that the holomorphic results are converted to algebraic spaces. A nice article, giving particular techniques, and proving how one can use classical results from one category to give results in another, also interesting category.
0 references
holomorphic Lie algebroids
0 references
filtered algebras
0 references
Lie algebroid connections
0 references
flat connections
0 references
generalized holomorphic bundles
0 references
Hodge filtration
0 references
characteristic ring
0 references
characteristic classes
0 references
anchor
0 references
matched pairs of Lie algebroids
0 references
twilled pairs
0 references
twilled sum
0 references
sheaves of filtered algebras
0 references
holomorphic Poisson structures
0 references
0 references