A criterion for the existence of logarithmic connections on curves over a perfect field (Q2147526)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7544621
Language Label Description Also known as
default for all languages
No label defined
    English
    A criterion for the existence of logarithmic connections on curves over a perfect field
    scientific article; zbMATH DE number 7544621

      Statements

      A criterion for the existence of logarithmic connections on curves over a perfect field (English)
      0 references
      0 references
      20 June 2022
      0 references
      The goal of this article is to find criterion for the existence of logarithmic connections over a smooth, irreducible projective curve \(X\) over a perfect field \(k\). The field \(k\) need not be of characteristic zero or algebraically closed. Let \(E\) be a vector bundle on \(X\). Choose a set \(S\) of distinct points on \(X\). Given a point \(x \in X\), an endomorphism of the fiber \(E(x)\) of the vector bundle \(E\) is called \emph{rigid} if it commutes with every global endomorphism of \(E\). For every point \(x \in S\), fix rigid endomorphisms \(A(x) \in \mathrm{End}(E(x))\). It is known that if \(k\) is algebraically closed of characteristic zero, then \(E\) admits a logarithmic connection singular over \(S\) with residue \(A(x)\) for every \(x \in S\) if and only if for every indecomposable component \(F\) of \(E\), the degree of \(F\) equals the negative of the sum over all points \(x\) in \(S\), of the trace of the endomorphism \(A(x)\) restricted to \(F(x)\). The authors prove that if \(k\) is instead of characteristic \(p\), then \(E\) admits such a logarithmic connection (i.e., singular over \(S\) with residues \(A(x)\)) if and only if the same condition holds for the degree of every indecomposable components of \(E\), modulo \(p\). Furthermore, if \(k\) is a perfect field but not necessarily algebraically closed, then the same equivalent condition for the existence of logarithmic connections hold after an additional assumption: the rank of every indecomposable component of \(E\) is not divisible by \(p\).
      0 references
      0 references
      perfect field
      0 references
      logarithmic connections
      0 references
      Atiyah-Weil criterion
      0 references

      Identifiers