On symmetric and skew-symmetric determinantal varieties (Q790482)

From MaRDI portal
Revision as of 17:06, 5 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On symmetric and skew-symmetric determinantal varieties
scientific article

    Statements

    On symmetric and skew-symmetric determinantal varieties (English)
    0 references
    0 references
    0 references
    0 references
    1984
    0 references
    Let E be a complex differentiable vector bundle over a compact oriented manifold M and f: \(E\to E^*\) a symmetric or anti-symmetric bundle map. Such a map is called general if the \((r+1)\times(r+1)\) minors of a matrix representing \(f_ x\), \(x\in M\) generate the ideal of the r-th degeneracy locus \(M_ r=\{x\in M\); rank f\({}_ x\leq r\}\) in the local ring \({\mathcal C}^{\infty}_{M,x}\) for almost all \(x\in M\) and if moreover \(M_ r\) has the expected codimension \((^{n-r+1}\!\!_ 2)\), \(n=\dim M\). The authors give formulae for the cohomology classes of \(M_ r\) for general f, analogous to Porteous' formulae for general bundle maps \(E\to F\) between bundles on M. By a ''squaring principle'' these results are extended for twisted bundle maps f: \(E\to E^*\otimes L\), where L is a line bundle. Two applications are given. As a first application the degrees of various determinantal varieties are computed. The second application concerns families \(\pi\) : \(X\to B\) of genus g curves over a smooth compact base B (i.e. X and B are projective complex manifolds, \(\pi\) is proper and the fibres \(X_ t=\pi^{-1}(t)\) are curves of genus g, possibly singular). The authors obtain inequalities involving the Chern classes of B and those of the Hodge bundle \(R^ 1\pi {\mathcal O}_ x\) (assumed to be non- trivial) in two cases (i) dim B\(=1\) (ii) dim B\(=2\) and \(\pi\) has no singular fibres. In the first case the inequality roughly says that the more non-trivial the bundle \(R^ 1\pi {\mathcal O}_ X\), either the larger the genus of B or the greater the number of singular fibres.
    0 references
    degeneracy locus of symmetric bundle maps
    0 references
    determinantal variety
    0 references
    variation of weight one Hodge structure
    0 references
    families of genus g curves
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references