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...
Auteur principal: | |
---|---|
Autres auteurs: | |
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 |