Geometry of the intersection ring and vanishing relations in the cohomology of the moduli space of parabolic bundles on a curve (Q309694)

From MaRDI portal





scientific article; zbMATH DE number 6624576
Language Label Description Also known as
English
Geometry of the intersection ring and vanishing relations in the cohomology of the moduli space of parabolic bundles on a curve
scientific article; zbMATH DE number 6624576

    Statements

    Geometry of the intersection ring and vanishing relations in the cohomology of the moduli space of parabolic bundles on a curve (English)
    0 references
    0 references
    0 references
    7 September 2016
    0 references
    0 references
    Newstead-Ramanan conjecture
    0 references
    moduli spaces of vector bundles
    0 references
    tautological line bundles
    0 references
    Chern classes
    0 references
    The authors prove a vanishing result related to the subring of the cohomology ring of the moduli space of rank-\(N\) vector bundles on a compact Riemann surface \(\Sigma\) of genus \(g\) with parabolic structure at a given point \(P \in \Sigma\) that is generated by certain Chern classes. Let us introduce some notation to state the main result (Theorem 1.6). Let \(G=\mathrm{SU}(N)\), and let \(T\) be a maximal torus. Let \(t_1,\ldots,t_N \in (0,1)\) be distinct numbers such that \(t_1 + \cdots + t_N \in \mathbb{Z}\) but the sum of any proper subset of the \(t_j\) is not an integer. Denote \(t=\mathrm{Diag}(e^{2 \pi \sqrt{-1} t_1}, \ldots, e^{2 \pi \sqrt{-1} t_N}) \in T\). Then \(S_g(t)\) denotes the moduli space of rank-\(N\) vector bundles on \(\Sigma\) with parabolic structure at \(P\). Let NEWLINE\[NEWLINE V_g(t) = \Big\{ (A_1, \ldots, A_g, B_1, \ldots, B_g) \in G^{2g} \;\Big|\; \prod_{i=1}^{g} [A_i,B_i]= t \Big\}. NEWLINE\]NEWLINE Then there is a \(T\)-bundle \(V_g(t) \to S_g(t)=V_g(t)/T\). Using the representation \(T \times \mathbb{C} \to \mathbb{C}\) given by NEWLINE\[NEWLINE \Big(\mathrm{Diag}(e^{\sqrt{-1} \theta_1}, \ldots, e^{\sqrt{-1} \theta_N}), z\Big) \mapsto e^{\sqrt{-1} (\theta_i - \theta_j)} z NEWLINE\]NEWLINE we get line bundles \(L_{ij}\) on \(S_g(t)\). Theorem 1.6 states that for \(1 \leq i,j \leq N\) and \(i \neq j\), and nonnegative integers \(k_{ij}\), the cohomology class NEWLINE\[NEWLINE \prod c_1(L_{ij})^{k_{ij}} \in H^* (S_g(t) , \mathbb{Q}) NEWLINE\]NEWLINE vanishes if NEWLINE\[NEWLINE \sum k_{ij} \geq N(N-1)g-N+2. NEWLINE\]NEWLINE This limit is below the dimension of \(S_g(t)\) (Remark 1.7).NEWLINENEWLINEThe idea (already used by \textit{J. Weitsman} in [Topology 37, No. 1, 115--132 (1998; Zbl 0919.14018)]) is to exhibit sections of certain subsets of these line bundles without common vanishing points. This establishes a result similar to the Newstead-Ramanan conjecture on stable vector bundles of odd degree and rank 2 on a Riemann surface; and it continues a long line of similar results (a long list of references is provided in the introduction).
    0 references

    Identifiers

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