Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves

<p>We use non-reductive geometric invariant theory (NRGIT) to study a moduli problem involving pure sheaves of fixed Harder-Narasimhan type. The construction of moduli spaces for such sheaves can be reduced to the construction of NRGIT quotients of subschemes of Quot schemes. Hitherto NRGIT ha...

Description complète

Détails bibliographiques
Auteur principal: Qiao, Y
Autres auteurs: Kirwan, F
Format: Thèse
Langue:English
Publié: 2022
Sujets:
_version_ 1826308497436835840
author Qiao, Y
author2 Kirwan, F
author_facet Kirwan, F
Qiao, Y
author_sort Qiao, Y
collection OXFORD
description <p>We use non-reductive geometric invariant theory (NRGIT) to study a moduli problem involving pure sheaves of fixed Harder-Narasimhan type. The construction of moduli spaces for such sheaves can be reduced to the construction of NRGIT quotients of subschemes of Quot schemes. Hitherto NRGIT has been developed only for actions on varieties, whereas Quot schemes are not varieties.</p> <p>So first we put the NRGIT developed by Bérczi et al ([Bér+18b], [Bér+16]) into a scheme-theoretic framework. Linear actions of ˆU := U ⋊λ Gm are considered, where U is a unipotent group graded by λ : Gm → Aut(U ). The condition “semistability coincides with stability” (or “ss=s”) required by Bérczi et al is enhanced scheme-theoretically for an ample ˆU -linearisation on a projective scheme X. With “ss=s”, we show that an open subscheme of X has a geometric quotient X// ˆU , which is not necessarily reduced. When “ss=s” fails but a weaker condition holds, a blow-up of X satisfies “ss=s”. For reduced X, our results are close to those of Bérczi et al, except we need only one blow-up.</p> <p>Next we apply our NRGIT to the moduli problem. Besides the Harder- Narasimhan type τ , we fix the vector δ representing dimensions of spaces of unipotent endomorphisms. We extend the notion of (τ, δ)-stable sheaves considered by Hoskins and Jackson ([Jac21], [HJ21]) to (τ, δ)-stable families, and define a moduli functor M′τ,δ classifying (τ, δ)-families. A coarse moduli space for M′τ,δ can be constructed as a NRGIT quotient. Hoskins and Jackson considered the reduced version of this NRGIT problem. Now we study it scheme-theoretically. When τ has length 2, we can perform the blow-up and apply our NRGIT. For general lengths, we need additional hypotheses on τ to satisfy the condition for blow-ups. </p>
first_indexed 2024-03-07T07:20:22Z
format Thesis
id oxford-uuid:cc481aab-a340-40d2-abc0-e41a4ec169d1
institution University of Oxford
language English
last_indexed 2024-03-07T07:20:22Z
publishDate 2022
record_format dspace
spelling oxford-uuid:cc481aab-a340-40d2-abc0-e41a4ec169d12022-09-29T12:42:23ZBlow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curvesThesishttp://purl.org/coar/resource_type/c_db06uuid:cc481aab-a340-40d2-abc0-e41a4ec169d1unstable sheavesBlowing up (Algebraic geometry)geometric invariant theoryEnglishHyrax Deposit2022Qiao, YKirwan, FDancer, ABérczi, G<p>We use non-reductive geometric invariant theory (NRGIT) to study a moduli problem involving pure sheaves of fixed Harder-Narasimhan type. The construction of moduli spaces for such sheaves can be reduced to the construction of NRGIT quotients of subschemes of Quot schemes. Hitherto NRGIT has been developed only for actions on varieties, whereas Quot schemes are not varieties.</p> <p>So first we put the NRGIT developed by Bérczi et al ([Bér+18b], [Bér+16]) into a scheme-theoretic framework. Linear actions of ˆU := U ⋊λ Gm are considered, where U is a unipotent group graded by λ : Gm → Aut(U ). The condition “semistability coincides with stability” (or “ss=s”) required by Bérczi et al is enhanced scheme-theoretically for an ample ˆU -linearisation on a projective scheme X. With “ss=s”, we show that an open subscheme of X has a geometric quotient X// ˆU , which is not necessarily reduced. When “ss=s” fails but a weaker condition holds, a blow-up of X satisfies “ss=s”. For reduced X, our results are close to those of Bérczi et al, except we need only one blow-up.</p> <p>Next we apply our NRGIT to the moduli problem. Besides the Harder- Narasimhan type τ , we fix the vector δ representing dimensions of spaces of unipotent endomorphisms. We extend the notion of (τ, δ)-stable sheaves considered by Hoskins and Jackson ([Jac21], [HJ21]) to (τ, δ)-stable families, and define a moduli functor M′τ,δ classifying (τ, δ)-families. A coarse moduli space for M′τ,δ can be constructed as a NRGIT quotient. Hoskins and Jackson considered the reduced version of this NRGIT problem. Now we study it scheme-theoretically. When τ has length 2, we can perform the blow-up and apply our NRGIT. For general lengths, we need additional hypotheses on τ to satisfy the condition for blow-ups. </p>
spellingShingle unstable sheaves
Blowing up (Algebraic geometry)
geometric invariant theory
Qiao, Y
Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title_full Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title_fullStr Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title_full_unstemmed Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title_short Blow-ups in non-reductive GIT and moduli spaces of unstable vector bundles over curves
title_sort blow ups in non reductive git and moduli spaces of unstable vector bundles over curves
topic unstable sheaves
Blowing up (Algebraic geometry)
geometric invariant theory
work_keys_str_mv AT qiaoy blowupsinnonreductivegitandmodulispacesofunstablevectorbundlesovercurves