Author:
(1) CALLA TSCHANZ. Table of Links Abstract and Intro
Background on tropical perspective
The expanded construction
GIT stability
Stack perspective
The canonical moduli stack
References 2. Background on tropical perspective We briefly introduce here the language of tropical and logarithmic geometry in the context of this problem. For more details on the contents of this section, see the article [Log], lecture notes [Ran22a], as well as the first section of [MR20]. 2.1 Tropicalisation and expansion Subdivisions of the tropicalisation define expansions of X. In the following, we will want to study possible birational modifications of the scheme X around the divisor D. In the tropical language, these are expressed as subdivisions. A subdivision of the tropicalisation defines a birational modification of X in the following way. The subdivision 2.2 Maulik-Ranganathan construction We will briefly recall some key points of [MR20]. The aim of their work is to study the moduli space of ideal sheaves of fixed numerical type which meet the boundary divisor transversely. Some key motivations for the study of such an object come from enumerative geometry. For example, a common method used to address problems of curve counting in a given smooth variety is to degenerate this variety to a singular union of simpler irreducible components. The property of transversality is then crucial to ensure that all interesting behaviour of the ideal sheaves on the degenerate object occurs with support in the interior of the simpler irreducible components, which allows us to study it with more ease. One of the main difficulties with this approach is that often, as in this setting, the space of transverse ideal sheaves with respect to D is non-compact. Constructing the appropriate compactification will yield a space which is flat and proper over C. In [MR20], Maulik and Ranganathan formulate the Donaldson-Thomas theory of the pair (X, D), starting by constructing compactifications of the space of ideal sheaves in X transverse to D. We discuss [MR20] specifically with respect to the case which interests us here, namely that of a degeneration X ! C as described above, where we seek to study the moduli space of ideal sheaves with fixed constant Hilbert polynomial m, for some m ∈ N with respect to the boundary divisor D = X0. The key idea is to construct the tropicalisation of X, denoted ΣX , and a corresponding tropicalisation map, which is used to understand how to obtain the desired transversality properties in our compactifications. Existence and uniqueness of transverse limits. Maulik and Ranganathan introduce notions of dimensional transversality and strong transversality, which, in the specific case of Hilbert schemes of points, happen to be equivalent to Li-Wu stability (see Section 5.3 for a definition of this stability condition). In general for higher dimensional subschemes this will not be the case, however. This operation results in non-uniqueness, as we are making a choice of polyhedral subdivision and there is in general no canonical choice. The addition of these tube vertices in the tropicalisation means that there are more potential components in each expansion, which interferes with the previously set up uniqueness results. Indeed, recall that trop(Z ◦ ) gave us exactly the right number of vertices in the dual complex in order for each family of subschemes Z ◦ ⊂ X◦ to have a unique limit representative. Therefore, to reflect this, Donaldson-Thomas stability asks for subschemes to be DT stable if and only if they are tube schemes precisely along the tube components. We say that a 1-dimensional subscheme is a tube if it is the schematic preimage of a zerodimensional subscheme in D. In the case of Hilbert schemes of points, this condition will translate simply to a 0-dimensional subscheme Z being DT stable if and only if no tube component contains a point of the support of Z and every other irreducible component expanded out by our blow-ups contains at least one point of the support of Z. Maulik and Ranganathan define a subscheme to be stable if it is strongly transverse and DT stable. For fixed numerical invariants the substack of stable subschemes in the space of expansions forms a Deligne-Mumford, proper, separated stack of finite type over C. Comparison with the results of this paper. The construction we present in this paper has the surprising property that we do not need to label any components as tubes in order for the stack of stable objects we define to be proper. This is an artifact of the specific choices of blow-ups to be included in our expanded degenerations. The work of Maulik and Ranganathan shows us that this is not expected in general. As mentioned in Section 1.3, we will discuss in an upcoming paper how to construct proper stacks of stable objects in cases where different choices of expansions are made and it becomes necessary for us as well to introduce a Donaldson-Thomas stability condition. This paper is available on arxiv under CC 4.0 license. Author: (1) CALLA TSCHANZ. Author: Author: (1) CALLA TSCHANZ. Table of Links Abstract and Intro Background on tropical perspective The expanded construction GIT stability Stack perspective The canonical moduli stack References Abstract and Intro Abstract and Intro Background on tropical perspective Background on tropical perspective The expanded construction The expanded construction GIT stability GIT stability Stack perspective Stack perspective The canonical moduli stack The canonical moduli stack References References 2. Background on tropical perspective We briefly introduce here the language of tropical and logarithmic geometry in the context of this problem. For more details on the contents of this section, see the article [Log], lecture notes [Ran22a], as well as the first section of [MR20]. 2.1 Tropicalisation and expansion Subdivisions of the tropicalisation define expansions of X. In the following, we will want to study possible birational modifications of the scheme X around the divisor D. In the tropical language, these are expressed as subdivisions. A subdivision of the tropicalisation defines a birational modification of X in the following way. The subdivision 2.2 Maulik-Ranganathan construction We will briefly recall some key points of [MR20]. The aim of their work is to study the moduli space of ideal sheaves of fixed numerical type which meet the boundary divisor transversely. Some key motivations for the study of such an object come from enumerative geometry. For example, a common method used to address problems of curve counting in a given smooth variety is to degenerate this variety to a singular union of simpler irreducible components. The property of transversality is then crucial to ensure that all interesting behaviour of the ideal sheaves on the degenerate object occurs with support in the interior of the simpler irreducible components, which allows us to study it with more ease. One of the main difficulties with this approach is that often, as in this setting, the space of transverse ideal sheaves with respect to D is non-compact. Constructing the appropriate compactification will yield a space which is flat and proper over C. In [MR20], Maulik and Ranganathan formulate the Donaldson-Thomas theory of the pair (X, D), starting by constructing compactifications of the space of ideal sheaves in X transverse to D. We discuss [MR20] specifically with respect to the case which interests us here, namely that of a degeneration X ! C as described above, where we seek to study the moduli space of ideal sheaves with fixed constant Hilbert polynomial m, for some m ∈ N with respect to the boundary divisor D = X0. The key idea is to construct the tropicalisation of X, denoted ΣX , and a corresponding tropicalisation map, which is used to understand how to obtain the desired transversality properties in our compactifications. Existence and uniqueness of transverse limits. Maulik and Ranganathan introduce notions of dimensional transversality and strong transversality, which, in the specific case of Hilbert schemes of points, happen to be equivalent to Li-Wu stability (see Section 5.3 for a definition of this stability condition). In general for higher dimensional subschemes this will not be the case, however. This operation results in non-uniqueness, as we are making a choice of polyhedral subdivision and there is in general no canonical choice. The addition of these tube vertices in the tropicalisation means that there are more potential components in each expansion, which interferes with the previously set up uniqueness results. Indeed, recall that trop(Z ◦ ) gave us exactly the right number of vertices in the dual complex in order for each family of subschemes Z ◦ ⊂ X◦ to have a unique limit representative. Therefore, to reflect this, Donaldson-Thomas stability asks for subschemes to be DT stable if and only if they are tube schemes precisely along the tube components. We say that a 1-dimensional subscheme is a tube if it is the schematic preimage of a zerodimensional subscheme in D. In the case of Hilbert schemes of points, this condition will translate simply to a 0-dimensional subscheme Z being DT stable if and only if no tube component contains a point of the support of Z and every other irreducible component expanded out by our blow-ups contains at least one point of the support of Z. Maulik and Ranganathan define a subscheme to be stable if it is strongly transverse and DT stable. For fixed numerical invariants the substack of stable subschemes in the space of expansions forms a Deligne-Mumford, proper, separated stack of finite type over C. Comparison with the results of this paper. The construction we present in this paper has the surprising property that we do not need to label any components as tubes in order for the stack of stable objects we define to be proper. This is an artifact of the specific choices of blow-ups to be included in our expanded degenerations. The work of Maulik and Ranganathan shows us that this is not expected in general. As mentioned in Section 1.3, we will discuss in an upcoming paper how to construct proper stacks of stable objects in cases where different choices of expansions are made and it becomes necessary for us as well to introduce a Donaldson-Thomas stability condition. This paper is available on arxiv under CC 4.0 license. This paper is available on arxiv under CC 4.0 license. available on arxiv

Part of HackerNoon's growing list of open-source research papers, promoting free access to academic material.

An Improved Method for Quantum Matrix Multiplication: Main Procedure

Expansions for Hilbert Schemes: GIT Stability

Read My Stories

Too Long; Didn't Read

Boost your HackerNoon story @ $159.99! 🚀

Expansions for Hilbert Schemes: Background on Tropical Perspective

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

Acknowledgements, Declarations, Data Availability Statement, and References

Expansions for Hilbert Schemes: the Canonical Moduli Stack

Expansions for Hilbert Schemes: References

Expansions for Hilbert Schemes: the Expanded Construction

Expansions for Hilbert Schemes: Abstract and Intro

Expansions for Hilbert Schemes: GIT Stability

Acknowledgements, Declarations, Data Availability Statement, and References

Expansions for Hilbert Schemes: the Canonical Moduli Stack

Expansions for Hilbert Schemes: References

Expansions for Hilbert Schemes: the Expanded Construction

Expansions for Hilbert Schemes: Abstract and Intro

Expansions for Hilbert Schemes: GIT Stability

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps