-
Counting surfaces on Calabi-Yau 4-folds II: $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence
Authors:
Younghan Bae,
Martijn Kool,
Hyeonjun Park
Abstract:
This is the second part in a series of papers on counting surfaces on Calabi-Yau 4-folds. In this paper, we introduce $K$-theoretic $\mathrm{DT}, \mathrm{PT}_0, \mathrm{PT}_1$ invariants and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence. For certain tautological insertions, we derive Lefschetz principles in both the compact and toric case allowing reductions to 3-dimensional…
▽ More
This is the second part in a series of papers on counting surfaces on Calabi-Yau 4-folds. In this paper, we introduce $K$-theoretic $\mathrm{DT}, \mathrm{PT}_0, \mathrm{PT}_1$ invariants and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence. For certain tautological insertions, we derive Lefschetz principles in both the compact and toric case allowing reductions to 3-dimensional $\mathrm{DT}, \mathrm{PT}$ invariants. We also develop a topological vertex and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ vertex correspondence. These methods enable us to verify our conjectures in several examples.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Behrend's function is not constant on $\mathrm{Hilb}^n(\mathbb{C}^3)$
Authors:
J. Jelisiejew,
M. Kool,
R. F. Schmiermann
Abstract:
We prove the statement in the title for $n\geq 24$.
We prove the statement in the title for $n\geq 24$.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
A virtual $\mathrm{PGL}_r$-$\mathrm{SL}_r$ correspondence for projective surfaces
Authors:
D. van Bree,
A. Gholampour,
Y. Jiang,
M. Kool
Abstract:
For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,μ_r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer-Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel-Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constr…
▽ More
For a smooth projective surface $X$ satisfying $H_1(X,\mathbb{Z}) = 0$ and $w \in H^2(X,μ_r)$, we study deformation invariants of the pair $(X,w)$. Choosing a Brauer-Severi variety $Y$ (or, equivalently, Azumaya algebra $\mathcal{A}$) over $X$ with Stiefel-Whitney class $w$, the invariants are defined as virtual intersection numbers on suitable moduli spaces of stable twisted sheaves on $Y$ constructed by Yoshioka (or, equivalently, moduli spaces of $\mathcal{A}$-modules of Hoffmann-Stuhler).
We show that the invariants do not depend on the choice of $Y$. Using a result of de Jong, we observe that they are deformation invariants of the pair $(X,w)$. For surfaces with $h^{2,0}(X) > 0$, we show that the invariants can often be expressed as virtual intersection numbers on Gieseker-Maruyama-Simpson moduli spaces of stable sheaves on $X$. This can be seen as a $\mathrm{PGL}_r$-$\mathrm{SL}_r$ correspondence.
As an application, we express $\mathrm{SU}(r) / μ_r$ Vafa-Witten invariants of $X$ in terms of $\mathrm{SU}(r)$ Vafa-Witten invariants of $X$. We also show how formulae from Donaldson theory can be used to obtain upper bounds for the minimal second Chern class of Azumaya algebras on $X$ with given division algebra at the generic point.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-T…
▽ More
Let $G$ be a finite subgroup of $\mathrm{SU}(4)$ whose elements have age not larger than one. In the first part of this paper, we define $K$-theoretic stable pair invariants on the crepant resolution of the affine quotient $\mathbb{C}^4/G$, and conjecture closed formulae for their generating series, expressed in terms of the root system of $G$. In the second part, we define degree zero Donaldson-Thomas invariants of Calabi-Yau 4-orbifolds, develop a vertex formalism that computes the invariants in the toric case and conjecture closed formulae for the quotient stacks $[\mathbb{C}^4/\mathbb{Z}_r]$, $[\mathbb{C}^4/\mathbb{Z}_2\times \mathbb{Z}_2]$. Combining these two parts, we formulate a crepant resolution correspondence which relates the above two theories.
△ Less
Submitted 12 September, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Device Tracking via Linux's New TCP Source Port Selection Algorithm (Extended Version)
Authors:
Moshe Kol,
Amit Klein,
Yossi Gilad
Abstract:
We describe a tracking technique for Linux devices, exploiting a new TCP source port generation mechanism recently introduced to the Linux kernel. This mechanism is based on an algorithm, standardized in RFC 6056, for boosting security by better randomizing port selection. Our technique detects collisions in a hash function used in the said algorithm, based on sampling TCP source ports generated i…
▽ More
We describe a tracking technique for Linux devices, exploiting a new TCP source port generation mechanism recently introduced to the Linux kernel. This mechanism is based on an algorithm, standardized in RFC 6056, for boosting security by better randomizing port selection. Our technique detects collisions in a hash function used in the said algorithm, based on sampling TCP source ports generated in an attacker-prescribed manner. These hash collisions depend solely on a per-device key, and thus the set of collisions forms a device ID that allows tracking devices across browsers, browser privacy modes, containers, and IPv4/IPv6 networks (including some VPNs). It can distinguish among devices with identical hardware and software, and lasts until the device restarts.
We implemented this technique and then tested it using tracking servers in two different locations and with Linux devices on various networks. We also tested it on an Android device that we patched to introduce the new port selection algorithm. The tracking technique works in real-life conditions, and we report detailed findings about it, including its dwell time, scalability, and success rate in different network types. We worked with the Linux kernel team to mitigate the exploit, resulting in a security patch introduced in May 2022 to the Linux kernel, and we provide recommendations for better securing the port selection algorithm in the paper.
△ Less
Submitted 22 December, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Counting surfaces on Calabi-Yau 4-folds I: Foundations
Authors:
Younghan Bae,
Martijn Kool,
Hyeonjun Park
Abstract:
This is the first part in a series of papers on counting surfaces on Calabi-Yau 4-folds. Besides the Hilbert scheme of 2-dimensional subschemes, we introduce \emph{two} types of moduli spaces of stable pairs. We show that all three moduli spaces are related by GIT wall-crossing and parametrize stable objects in the bounded derived category.
We construct \emph{reduced} Oh-Thomas virtual cycles on…
▽ More
This is the first part in a series of papers on counting surfaces on Calabi-Yau 4-folds. Besides the Hilbert scheme of 2-dimensional subschemes, we introduce \emph{two} types of moduli spaces of stable pairs. We show that all three moduli spaces are related by GIT wall-crossing and parametrize stable objects in the bounded derived category.
We construct \emph{reduced} Oh-Thomas virtual cycles on the moduli spaces via Kiem-Li cosection localization and prove that they are deformation invariant along Hodge loci. As an application, we show that the variational Hodge conjecture holds for any family of Calabi-Yau 4-folds supporting a non-zero reduced virtual cycle.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
Zero-threshold optical gain in electrochemically doped nanoplatelets and the physics behind it
Authors:
Jaco J. Geuchies,
Robbert Dijkhuizen,
Marijn Koel,
Gianluca Grimaldi,
Indy du Fossé,
Wiel H. Evers,
Zeger Hens,
Arjan J. Houtepen
Abstract:
Colloidal nanoplatelets (NPLs) are promising materials for lasing applications. The properties are usually discussed in the framework of 2D materials, where strong excitonic effects dominate the optical properties near the band edge. At the same time, NPLs have finite lateral dimensions such that NPLs are not true extended 2D structures. Here we study the photophysics and gain properties of CdSe/C…
▽ More
Colloidal nanoplatelets (NPLs) are promising materials for lasing applications. The properties are usually discussed in the framework of 2D materials, where strong excitonic effects dominate the optical properties near the band edge. At the same time, NPLs have finite lateral dimensions such that NPLs are not true extended 2D structures. Here we study the photophysics and gain properties of CdSe/CdS/ZnS core-shell-shell NPLs upon electrochemical n do** and optical excitation. Steady-state absorption and PL spectroscopy show that excitonic effects are weaker in core-shell-shell nanoplatelets due to the reduced exciton binding energy. Transient absorption studies reveal a gain threshold of only one excitation per nanoplatelet. Using electrochemical n do** we observe the complete bleaching of the band edge exciton transitions. Combining electrochemical do** with transient absorption spectroscopy we demonstrate that the gain threshold is fully removed over a broad spectral range and gain coefficients of several thousand cm-1 are obtained. These doped NPLs are the best performing colloidal nanomaterial gain medium reported to date. The low exciton binding energy due to the CdS and ZnS shells, in combination with the relatively small lateral size of the NPLs, result in excited states that are effectively delocalised over the entire platelet. Core-shell NPLs are thus on the border between strong confinement in QDs and dominant Coulombic effects in 2D materials. We demonstrate that this limit is in effect ideal for optical gain, and that it results in an optimal lateral size of the platelets where the gain threshold per nm2 is minimal.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
$\mathrm{SU}(r)$ Vafa-Witten invariants, Ramanujan's continued fractions, and cosmic strings
Authors:
L. Göttsche,
M. Kool,
T. Laarakker
Abstract:
We conjecture a structure formula for the $\mathrm{SU}(r)$ Vafa-Witten partition function for surfaces with holomorphic 2-form. The conjecture is based on $S$-duality and a structure formula for the vertical contribution previously derived by the third-named author using Gholampour-Thomas's theory of virtual degeneracy loci.
For ranks $r=2,3$, conjectural expressions for the partition function i…
▽ More
We conjecture a structure formula for the $\mathrm{SU}(r)$ Vafa-Witten partition function for surfaces with holomorphic 2-form. The conjecture is based on $S$-duality and a structure formula for the vertical contribution previously derived by the third-named author using Gholampour-Thomas's theory of virtual degeneracy loci.
For ranks $r=2,3$, conjectural expressions for the partition function in terms of the theta functions of $A_{r-1}, A_{r-1}^{\vee}$ and Seiberg-Witten invariants were known. We conjecture new expressions for $r=4,5$ in terms of the theta functions of $A_{r-1}, A_{r-1}^{\vee}$, Seiberg-Witten invariants, and continued fractions studied by Ramanujan. The vertical part of our conjectures is proved for low virtual dimensions by calculations on nested Hilbert schemes.
The horizontal part of our conjectures gives predictions for virtual Euler characteristics of Gieseker-Maruyama moduli spaces of stable sheaves. In this case, our formulae are sums of universal functions with coefficients in Galois extensions of $\mathbb{Q}$. The universal functions, corresponding to different quantum vacua, are permuted under the action of the Galois group.
For $r=6, 7$ we also find relations with Hauptmoduln of $Γ_0(r)$. We present $K$-theoretic refinements for $r=2,3,4$ involving weak Jacobi forms.
△ Less
Submitted 25 March, 2024; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Sheaves on surfaces and virtual invariants
Authors:
L. Göttsche,
M. Kool
Abstract:
Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection numbers, such as virtual Euler characteristics, Verlinde numbers, and Segre numbers. We survey a set of recent conjectures by the authors for these numbers with…
▽ More
Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection numbers, such as virtual Euler characteristics, Verlinde numbers, and Segre numbers. We survey a set of recent conjectures by the authors for these numbers with applications to Vafa-Witten theory, $K$-theoretic S-duality, a rank 2 Dijkgraaf-Moore-Verlinde-Verlinde formula, and a virtual Segre-Verlinde correspondence. A key role is played by Mochizuki's formula for descendent Donaldson invariants.
△ Less
Submitted 6 December, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Virtual Segre and Verlinde numbers of projective surfaces
Authors:
L. Göttsche,
M. Kool
Abstract:
Recently, Marian-Oprea-Pandharipande established (a generalization of) Lehn's conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of an…
▽ More
Recently, Marian-Oprea-Pandharipande established (a generalization of) Lehn's conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of any rank.
Using Mochizuki's formula, we derive a universal function which expresses virtual Segre and Verlinde numbers of surfaces with holomorphic 2-form in terms of Seiberg-Witten invariants and intersection numbers on products of Hilbert schemes of points. We prove that certain canonical virtual Segre and Verlinde numbers of general type surfaces are topological invariants and we verify our conjectures in examples.
The power series in our conjectures are algebraic functions, for which we find expressions in several cases and which are permuted under certain Galois actions. Our conjectures imply an algebraic analog of the Mariño-Moore conjecture for higher rank Donaldson invariants. For ranks $3$ and $4$, we obtain explicit expressions for Donaldson invariants in terms of Seiberg-Witten invariants.
△ Less
Submitted 26 June, 2022; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Twisted sheaves and $\mathrm{SU}(r) / \mathbb{Z}_r$ Vafa-Witten theory
Authors:
Y. Jiang,
M. Kool
Abstract:
The $\mathrm{SU}(r)$ Vafa-Witten partition function, which virtually counts Higgs pairs on a projective surface $S$, was mathematically defined by Tanaka-Thomas. On the Langlands dual side, the first-named author recently introduced virtual counts of Higgs pairs on $μ_r$-gerbes. In this paper, we instead use Yoshioka's moduli spaces of twisted sheaves. Using Chern character twisted by rational…
▽ More
The $\mathrm{SU}(r)$ Vafa-Witten partition function, which virtually counts Higgs pairs on a projective surface $S$, was mathematically defined by Tanaka-Thomas. On the Langlands dual side, the first-named author recently introduced virtual counts of Higgs pairs on $μ_r$-gerbes. In this paper, we instead use Yoshioka's moduli spaces of twisted sheaves. Using Chern character twisted by rational $B$-field, we give a new mathematical definition of the $\mathrm{SU}(r) / \mathbb{Z}_r$ Vafa-Witten partition function when $r$ is prime. Our definition uses the period-index theorem of de Jong.
$S$-duality, a concept from physics, predicts that the $\mathrm{SU}(r)$ and $\mathrm{SU}(r) / \mathbb{Z}_r$ partitions functions are related by a modular transformation. We turn this into a mathematical conjecture, which we prove for all $K3$ surfaces and prime numbers $r$.
△ Less
Submitted 6 December, 2021; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Stable pair invariants of local Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
In 2008, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. Recently, Cao-Maulik-Toda proposed a conjectural description of these invariants in terms of stable pair theory. When $X$ is the total space of the sum of two line bundles over a surface $S$, and all stable pairs are scheme theoretically supported on the zero section, we expre…
▽ More
In 2008, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. Recently, Cao-Maulik-Toda proposed a conjectural description of these invariants in terms of stable pair theory. When $X$ is the total space of the sum of two line bundles over a surface $S$, and all stable pairs are scheme theoretically supported on the zero section, we express stable pair invariants in terms of intersection numbers on Hilbert schemes of points on $S$. As an application, we obtain new verifications of the Cao-Maulik-Toda conjectures for low degree curve classes and find connections to Carlsson-Okounkov numbers. Some of our verifications involve genus zero Gopakumar-Vafa type invariants recently determined in the context of the log-local principle by Bousseau-Brini-van Garrel. Finally, using the vertex formalism, we provide a few more verifications of the Cao-Maulik-Toda conjectures when thickened curves contribute and also for the case of local $\mathbb{P}^3$.
△ Less
Submitted 3 April, 2021; v1 submitted 20 April, 2020;
originally announced April 2020.
-
$K$-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool,
Sergej Monavari
Abstract:
Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex formalism. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi-Yau 4-folds recently conjecture…
▽ More
Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex formalism. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi-Yau 4-folds recently conjectured by the first two authors. Another limit gives a dimensional reduction to the $K$-theoretic DT/PT correspondence for toric 3-folds conjectured by Nekrasov-Okounkov. As an application of our techniques, we find a conjectural formula for the generating series of $K$-theoretic stable pair invariants of the local resolved conifold. Upon dimensional reduction to the resolved conifold, we recover a formula which was recently proved by Kononov-Okounkov-Osinenko.
△ Less
Submitted 20 July, 2022; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Curve counting and DT/PT correspondence for Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool
Abstract:
Recently, Cao-Maulik-Toda defined stable pair invariants of a compact Calabi-Yau 4-fold $X$. Their invariants are conjecturally related to the Gopakumar-Vafa type invariants of $X$ defined using Gromov-Witten theory by Klemm-Pandharipande. In this paper, we consider curve counting invariants of $X$ using Hilbert schemes of curves and conjecture a DT/PT correspondence which relates these to stable…
▽ More
Recently, Cao-Maulik-Toda defined stable pair invariants of a compact Calabi-Yau 4-fold $X$. Their invariants are conjecturally related to the Gopakumar-Vafa type invariants of $X$ defined using Gromov-Witten theory by Klemm-Pandharipande. In this paper, we consider curve counting invariants of $X$ using Hilbert schemes of curves and conjecture a DT/PT correspondence which relates these to stable pair invariants of $X$.
After providing evidence in the compact case, we define analogous invariants for toric Calabi-Yau 4-folds using a localization formula. We formulate a vertex formalism for both theories and conjecture a relation between the (fully equivariant) DT/PT vertex, which we check in several cases. This relation implies a DT/PT correspondence for toric Calabi-Yau 4-folds with primary insertions.
△ Less
Submitted 3 August, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Verlinde formulae on complex surfaces: K-theoretic invariants
Authors:
L. Göttsche,
M. Kool,
R. A. Williams
Abstract:
We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between $K$-theoretic Donaldson invariants studied by the first named author and Nakajima-Yoshioka and $K$-theoretic Vafa-Witten invariants introduced by Thomas and also studied…
▽ More
We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between $K$-theoretic Donaldson invariants studied by the first named author and Nakajima-Yoshioka and $K$-theoretic Vafa-Witten invariants introduced by Thomas and also studied by the first and second named authors. We verify our conjectures in many examples (e.g. on K3 surfaces).
△ Less
Submitted 2 April, 2021; v1 submitted 9 March, 2019;
originally announced March 2019.
-
Refined $\mathrm{SU}(3)$ Vafa-Witten invariants and modularity
Authors:
Lothar Göttsche,
Martijn Kool
Abstract:
We conjecture a formula for the refined $\mathrm{SU}(3)$ Vafa-Witten invariants of any smooth surface $S$ satisfying $H_1(S,\mathbb{Z}) = 0$ and $p_g(S)>0$. The unrefined formula corrects a proposal by Labastida-Lozano and involves unexpected algebraic expressions in modular functions. We prove that our formula satisfies a refined $S$-duality modularity transformation.
We provide evidence for ou…
▽ More
We conjecture a formula for the refined $\mathrm{SU}(3)$ Vafa-Witten invariants of any smooth surface $S$ satisfying $H_1(S,\mathbb{Z}) = 0$ and $p_g(S)>0$. The unrefined formula corrects a proposal by Labastida-Lozano and involves unexpected algebraic expressions in modular functions. We prove that our formula satisfies a refined $S$-duality modularity transformation.
We provide evidence for our formula by calculating virtual $χ_y$-genera of moduli spaces of rank 3 stable sheaves on $S$ in examples using Mochizuki's formula. Further evidence is based on the recent definition of refined $\mathrm{SU}(r)$ Vafa-Witten invariants by Maulik-Thomas and subsequent calculations on nested Hilbert schemes by Thomas (rank 2) and Laarakker (rank 3).
△ Less
Submitted 4 August, 2020; v1 submitted 9 August, 2018;
originally announced August 2018.
-
Counting zero-dimensional subschemes in higher dimensions
Authors:
Yalong Cao,
Martijn Kool
Abstract:
Consider zero-dimensional Donaldson-Thomas invariants of a toric threefold or toric Calabi-Yau fourfold. In the second case, invariants can be defined using a tautological insertion. In both cases, the generating series can be expressed in terms of the MacMahon function. In the first case, this follows from a theorem of Maulik-Nekrasov-Okounkov-Pandharipande. In the second case, this follows from…
▽ More
Consider zero-dimensional Donaldson-Thomas invariants of a toric threefold or toric Calabi-Yau fourfold. In the second case, invariants can be defined using a tautological insertion. In both cases, the generating series can be expressed in terms of the MacMahon function. In the first case, this follows from a theorem of Maulik-Nekrasov-Okounkov-Pandharipande. In the second case, this follows from a conjecture of the authors and a (more general $K$-theoretic) conjecture of Nekrasov.
In this paper, we consider formal analogues of these invariants in any dimension $d \not \equiv 2 \ \mathrm{mod} \, 4$. The direct analogues of the above-mentioned conjectures fail in general when $d>4$, showing that dimensions 3 and 4 are special. Surprisingly, after appropriate specialization of the equivariant parameters, the conjectures seem to hold in all dimensions.
△ Less
Submitted 4 December, 2018; v1 submitted 12 May, 2018;
originally announced May 2018.
-
A rank 2 Dijkgraaf-Moore-Verlinde-Verlinde formula
Authors:
Lothar Göttsche,
Martijn Kool
Abstract:
We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $χ_{10}$ and Borcherds type lifts of three quasi-Jacobi forms which are all related to the Weierstrass elliptic function. We also conjecture that the generating function of virtual cobordism classes of these mo…
▽ More
We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $χ_{10}$ and Borcherds type lifts of three quasi-Jacobi forms which are all related to the Weierstrass elliptic function. We also conjecture that the generating function of virtual cobordism classes of these moduli spaces depends only on $χ(\mathcal{O}_S)$ and $K_S^2$ via two universal functions, one of which is determined by the cobordism classes of Hilbert schemes of points on $K3$. We present generalizations of these conjectures, e.g. to arbitrary surfaces with $p_g>0$ and $b_1=0$.
We use a result of J. Shen to express the virtual cobordism class in terms of descendent Donaldson invariants. In a prequel we used T. Mochizuki's formula, universality, and toric calculations to compute such Donaldson invariants in the setting of virtual $χ_y$-genera. Similar techniques allow us to verify our new conjectures in many cases.
△ Less
Submitted 2 October, 2019; v1 submitted 8 January, 2018;
originally announced January 2018.
-
Zero-dimensional Donaldson-Thomas invariants of Calabi-Yau 4-folds
Authors:
Yalong Cao,
Martijn Kool
Abstract:
We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Cala…
▽ More
We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Calabi-Yau 4-folds is proposed. This conjecture is proved for smooth toric divisors and verified for more general toric divisors in many examples.
Combining the equivariant conjecture with a vertex calculation, we find explicit positive rational weights, which can be assigned to solid partitions. The weighted generating function of solid partitions is given by $\exp(M(q)-1)$, where $M(q)$ denotes the MacMahon function.
△ Less
Submitted 4 December, 2018; v1 submitted 20 December, 2017;
originally announced December 2017.
-
Higher rank sheaves on threefolds and functional equations
Authors:
Amin Gholampour,
Martijn Kool
Abstract:
We consider the moduli space of stable torsion free sheaves of any rank on a smooth projective threefold. The singularity set of a torsion free sheaf is the locus where the sheaf is not locally free. On a threefold it has dimension $\leq 1$. We consider the open subset of moduli space consisting of sheaves with empty or 0-dimensional singularity set.
For fixed Chern classes $c_1,c_2$ and summing…
▽ More
We consider the moduli space of stable torsion free sheaves of any rank on a smooth projective threefold. The singularity set of a torsion free sheaf is the locus where the sheaf is not locally free. On a threefold it has dimension $\leq 1$. We consider the open subset of moduli space consisting of sheaves with empty or 0-dimensional singularity set.
For fixed Chern classes $c_1,c_2$ and summing over $c_3$, we show that the generating function of topological Euler characteristics of these open subsets equals a power of the MacMahon function times a Laurent polynomial. This Laurent polynomial is invariant under $q \leftrightarrow q^{-1}$ (upon replacing $c_1 \leftrightarrow -c_1$). For some choices of $c_1,c_2$ these open subsets equal the entire moduli space.
The proof involves wall-crossing from Quot schemes of a higher rank reflexive sheaf to a sublocus of the space of Pandharipande-Thomas pairs. We interpret this sublocus in terms of the singularities of the reflexive sheaf.
△ Less
Submitted 2 December, 2019; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Virtual refinements of the Vafa-Witten formula
Authors:
Lothar Göttsche,
Martijn Kool
Abstract:
We conjecture a formula for the generating function of virtual $χ_y$-genera of moduli spaces of rank 2 sheaves on arbitrary surfaces with holomorphic 2-form. Specializing the conjecture to minimal surfaces of general type and to virtual Euler characteristics, we recover (part of) a formula of C. Vafa and E. Witten.
These virtual $χ_y$-genera can be written in terms of descendent Donaldson invari…
▽ More
We conjecture a formula for the generating function of virtual $χ_y$-genera of moduli spaces of rank 2 sheaves on arbitrary surfaces with holomorphic 2-form. Specializing the conjecture to minimal surfaces of general type and to virtual Euler characteristics, we recover (part of) a formula of C. Vafa and E. Witten.
These virtual $χ_y$-genera can be written in terms of descendent Donaldson invariants. Using T. Mochizuki's formula, the latter can be expressed in terms of Seiberg-Witten invariants and certain explicit integrals over Hilbert schemes of points. These integrals are governed by seven universal functions, which are determined by their values on $\mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^1$. Using localization we calculate these functions up to some order, which allows us to check our conjecture in many cases.
In an appendix by H. Nakajima and the first named author, the virtual Euler characteristic specialization of our conjecture is extended to include $μ$-classes, thereby interpolating between Vafa-Witten's formula and Witten's conjecture for Donaldson invariants.
△ Less
Submitted 27 March, 2020; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Donaldson-Thomas invariants of local elliptic surfaces via the topological vertex
Authors:
Jim Bryan,
Martijn Kool
Abstract:
We compute the Donaldson-Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the invariants in terms of the topological vertex. Utilizing identities for the topological vertex proved in arXiv:1603.05271, we derive product formulas for the partition…
▽ More
We compute the Donaldson-Thomas invariants of a local elliptic surface with section. We introduce a new computational technique which is a mixture of motivic and toric methods. This allows us to write the partition function for the invariants in terms of the topological vertex. Utilizing identities for the topological vertex proved in arXiv:1603.05271, we derive product formulas for the partition functions. The connected version of the partition function is written in terms of Jacobi forms. In the special case where the elliptic surface is a K3 surface, we get a derivation of the Katz-Klemm-Vafa formula for primitive curve classes which is independent of the computation of Kawai-Yoshioka.
△ Less
Submitted 5 February, 2019; v1 submitted 26 August, 2016;
originally announced August 2016.
-
Stable pairs with descendents on local surfaces I: the vertical component
Authors:
M. Kool,
R. P. Thomas
Abstract:
We study the full stable pair theory --- with descendents --- of the Calabi-Yau 3-fold $X=K_S$, where $S$ is a surface with a smooth canonical divisor $C$.
By both $\mathbb C^*$-localisation and cosection localisation we reduce to stable pairs supported on thickenings of $C$ indexed by partitions. We show that only strict partitions contribute, and give a complete calculation for length-1 partit…
▽ More
We study the full stable pair theory --- with descendents --- of the Calabi-Yau 3-fold $X=K_S$, where $S$ is a surface with a smooth canonical divisor $C$.
By both $\mathbb C^*$-localisation and cosection localisation we reduce to stable pairs supported on thickenings of $C$ indexed by partitions. We show that only strict partitions contribute, and give a complete calculation for length-1 partitions. The result is a surprisingly simple closed product formula for these "vertical" thickenings.
This gives all contributions for the curve classes $[C]$ and $2[C]$ (and those which are not an integer multiple of the canonical class). Here the result verifies, via the descendent-MNOP correspondence, a conjecture of Maulik-Pandharipande, as well as various results about the Gromov-Witten theory of $S$ and spin Hurwitz numbers.
△ Less
Submitted 2 January, 2019; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Trace Identities for the Topological Vertex
Authors:
Jim Bryan,
Martijn Kool,
Benjamin Young
Abstract:
The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$.
We prove several identities in which a sum ov…
▽ More
The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$.
We prove several identities in which a sum over terms involving the topological vertex is expressed as a closed formula, often a product of simple terms, closely related to Fourier expansions of Jacobi forms. We use purely combinatorial and representation theoretic methods to prove our formulas, but we discuss applications to the Donaldson-Thomas invariants of elliptically fibered Calabi-Yau threefolds at the end of the paper.
△ Less
Submitted 5 February, 2019; v1 submitted 16 March, 2016;
originally announced March 2016.
-
Rank 2 wall-crossing and the Serre correspondence
Authors:
A. Gholampour,
M. Kool
Abstract:
We study Quot schemes of 0-dimensional quotients of sheaves on 3-folds $X$. When the sheaf $\mathcal{R}$ is rank 2 and reflexive, we prove that the generating function of Euler characteristics of these Quot schemes is a power of the MacMahon function times a polynomial. This polynomial is itself the generating function of Euler characteristics of Quot schemes of a certain 0-dimensional sheaf, whic…
▽ More
We study Quot schemes of 0-dimensional quotients of sheaves on 3-folds $X$. When the sheaf $\mathcal{R}$ is rank 2 and reflexive, we prove that the generating function of Euler characteristics of these Quot schemes is a power of the MacMahon function times a polynomial. This polynomial is itself the generating function of Euler characteristics of Quot schemes of a certain 0-dimensional sheaf, which is supported on the locus where $\mathcal{R}$ is not locally free.
In the case $X = \mathbb{C}^3$ and $\mathcal{R}$ is equivariant, we use our result to prove an explicit product formula for the generating function. This formula was first found using localization techniques in previous joint work with B. Young. Our results follow from R. Hartshorne's Serre correspondence and a rank 2 version of a Hall algebra calculation by J. Stoppa and R.P. Thomas.
△ Less
Submitted 23 January, 2018; v1 submitted 9 February, 2016;
originally announced February 2016.
-
Rank 2 sheaves on toric 3-folds: classical and virtual counts
Authors:
Amin Gholampour,
Martijn Kool,
Benjamin Young
Abstract:
Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for…
▽ More
Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of $\mathcal{M}^T$ with constant reflexive hulls are isomorphic to products of $\mathbb{P}^1$. We mainly consider such connected components, which typically arise for any $c_1$, "low values" of $c_2$, and arbitrary $c_3$.
In the classical part of the paper, we introduce a new type of combinatorics called double box configurations, which can be used to compute the generating function $\mathsf{Z}(q)$ of topological Euler characteristics of $\mathcal{M}$ (summing over all $c_3$). The combinatorics is solved using the double dimer model in a companion paper. This leads to explicit formulae for $\mathsf{Z}(q)$ involving the MacMahon function.
In the virtual part of the paper, we define Donaldson-Thomas type invariants of toric Calabi-Yau 3-folds by virtual localization. The contribution to the invariant of an individual connected component of the $T$-fixed locus is in general not equal to its signed Euler characteristic due to $T$-fixed obstructions. Nevertheless, the generating function of all invariants is given by $\mathsf{Z}(q)$ up to signs.
△ Less
Submitted 14 November, 2016; v1 submitted 11 September, 2015;
originally announced September 2015.
-
Stable reflexive sheaves and localization
Authors:
Amin Gholampour,
Martijn Kool
Abstract:
We study moduli spaces $\mathcal{N}$ of rank 2 stable reflexive sheaves on $\mathbb{P}^3$. Fixing Chern classes $c_1$, $c_2$, and summing over $c_3$, we consider the generating function $\mathsf{Z}^{\mathrm{refl}}(q)$ of Euler characteristics of such moduli spaces. The action of the torus $T$ on $\mathbb{P}^3$ lifts to $\mathcal{N}$ and we classify all sheaves in $\mathcal{N}^T$. This leads to an…
▽ More
We study moduli spaces $\mathcal{N}$ of rank 2 stable reflexive sheaves on $\mathbb{P}^3$. Fixing Chern classes $c_1$, $c_2$, and summing over $c_3$, we consider the generating function $\mathsf{Z}^{\mathrm{refl}}(q)$ of Euler characteristics of such moduli spaces. The action of the torus $T$ on $\mathbb{P}^3$ lifts to $\mathcal{N}$ and we classify all sheaves in $\mathcal{N}^T$. This leads to an explicit expression for $\mathsf{Z}^{\mathrm{refl}}(q)$. Since $c_3$ is bounded below and above, $\mathsf{Z}^{\mathrm{refl}}(q)$ is a polynomial. We find a simple formula for its leading term when $c_1=-1$.
Next, we study moduli spaces of rank 2 stable torsion free sheaves on $\mathbb{P}^3$ and consider the generating function of Euler characteristics of such moduli spaces. We give an expression for this generating function in terms of $\mathsf{Z}^{\mathrm{refl}}(q)$ and Euler characteristics of Quot schemes of certain $T$-equivariant reflexive sheaves, which are studied elsewhere. Many techniques of this paper apply to any toric 3-fold. In general, $\mathsf{Z}^{\mathrm{refl}}(q)$ depends on the choice of polarization which leads to wall-crossing phenomena. We briefly illustrate this in the case of $\mathbb{P}^2 \times \mathbb{P}^1$.
△ Less
Submitted 8 November, 2016; v1 submitted 16 August, 2013;
originally announced August 2013.
-
Stable pair invariants of surfaces and Seiberg-Witten invariants
Authors:
M. Kool
Abstract:
The moduli space of stable pairs on a local surface $X=K_S$ is in general non-compact. The action of $\mathbb{C}^*$ on the fibres of $X$ induces an action on the moduli space and the stable pair invariants of $X$ are defined by the virtual localization formula. We study the contribution to these invariants of stable pairs (scheme theoretically) supported in the zero section $S \subset X$. Sometime…
▽ More
The moduli space of stable pairs on a local surface $X=K_S$ is in general non-compact. The action of $\mathbb{C}^*$ on the fibres of $X$ induces an action on the moduli space and the stable pair invariants of $X$ are defined by the virtual localization formula. We study the contribution to these invariants of stable pairs (scheme theoretically) supported in the zero section $S \subset X$. Sometimes there are no other contributions, e.g. when the curve class $β$ is irreducible.
We relate these surface stable pair invariants to the Poincaré invariants of Dürr-Kabanov-Okonek. The latter are equal to the Seiberg-Witten invariants of $S$ by work of Dürr-Kabanov-Okonek and Chang-Kiem. We give two applications of our result. (1) For irreducible curve classes the GW/PT correspondence for $X = K_S$ implies Taubes' GW/SW correspondence for $S$. (2) When $p_g(S) = 0$, the difference of surface stable pair invariants in class $β$ and $K_S - β$ is a universal topological expression.
△ Less
Submitted 17 May, 2016; v1 submitted 21 March, 2013;
originally announced March 2013.
-
Sheaves on weighted projective planes and modular forms
Authors:
Amin Gholampour,
Yunfeng Jiang,
Martijn Kool
Abstract:
We give an explicit description of toric sheaves on the weighted projective plane $\mathbb{P}(a,b,c)$ viewed as a toric Deligne-Mumford stack. The integers $(a,b,c)$ are not necessarily chosen coprime or mutually coprime allowing for gerbe and root stack structures.
As an application, we describe the fixed point locus of the moduli scheme of stable rank 1 and 2 torsion free sheaves on…
▽ More
We give an explicit description of toric sheaves on the weighted projective plane $\mathbb{P}(a,b,c)$ viewed as a toric Deligne-Mumford stack. The integers $(a,b,c)$ are not necessarily chosen coprime or mutually coprime allowing for gerbe and root stack structures.
As an application, we describe the fixed point locus of the moduli scheme of stable rank 1 and 2 torsion free sheaves on $\mathbb{P}(a,b,c)$ with fixed $K$-group class. Summing over all $K$-group classes, we obtain explicit formulae for generating functions of the topological Euler characteristics.
In the case of stable rank 2 locally free sheaves on $\mathbb{P}(a,b,c)$ with $a,b,c \leq 2$ the generating functions can be expressed in terms of Hurwitz class numbers and give rise to modular forms of weight $3/2$. This generalizes Klyachko's computation on $\mathbb{P}^2$ and is consistent with $S$-duality predictions from physics.
△ Less
Submitted 5 February, 2019; v1 submitted 18 September, 2012;
originally announced September 2012.
-
Reduced classes and curve counting on surfaces II: calculations
Authors:
M. Kool,
R. P. Thomas
Abstract:
We calculate the stable pair theory of a projective surface $S$. For fixed curve class $β\in H^2(S)$ the results are entirely topological, depending on $β^2$, $β.c_1(S)$, $c_1(S)^2$, $c_2(S)$, $b_1(S)$ \emph{and} invariants of the ring structure on $H^*(S)$ such as the Pfaffian of $β$ considered as an element of $Λ^2 H^1(S)^*$. Amongst other things, this proves an extension of the Göttsche conject…
▽ More
We calculate the stable pair theory of a projective surface $S$. For fixed curve class $β\in H^2(S)$ the results are entirely topological, depending on $β^2$, $β.c_1(S)$, $c_1(S)^2$, $c_2(S)$, $b_1(S)$ \emph{and} invariants of the ring structure on $H^*(S)$ such as the Pfaffian of $β$ considered as an element of $Λ^2 H^1(S)^*$. Amongst other things, this proves an extension of the Göttsche conjecture to non-ample linear systems.
We also give conditions under which this calculates the full 3-fold reduced residue theory of $K_S$. This is related to the reduced residue Gromov-Witten theory of $S$ via the MNOP conjecture. When the surface has no holomorphic 2-forms this can be expressed as saying that certain Gromov-Witten invariants of $S$ are topological.
Our method uses the results of \cite{KT1} to express the reduced virtual cycle in terms of Euler classes of bundles over a natural smooth ambient space.
△ Less
Submitted 19 March, 2014; v1 submitted 13 December, 2011;
originally announced December 2011.
-
Reduced classes and curve counting on surfaces I: theory
Authors:
M. Kool,
R. P. Thomas
Abstract:
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles.
We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP conjecture, and allows us to generalise the Göttsche conjecture to the non-ample case. In a sequel we prove this generalisation.
We prove a remarkable property…
▽ More
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles.
We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP conjecture, and allows us to generalise the Göttsche conjecture to the non-ample case. In a sequel we prove this generalisation.
We prove a remarkable property of the moduli space of stable pairs on a surface. It is the zero locus of a section of a bundle on a smooth compact ambient space, making calculation with the reduced virtual cycle possible.
△ Less
Submitted 9 May, 2016; v1 submitted 13 December, 2011;
originally announced December 2011.
-
A short proof of the Göttsche conjecture
Authors:
M. Kool,
V. Shende,
R. P. Thomas
Abstract:
We prove that for a sufficiently ample line bundle $L$ on a surface $S$, the number of $δ$-nodal curves in a general $δ$-dimensional linear system is given by a universal polynomial of degree $δ$ in the four numbers $L^2,\,L.K_S,\,K_S^2$ and $c_2(S)$.
The technique is a study of Hilbert schemes of points on curves on a surface, using the BPS calculus of [PT3] and the computation of tautological…
▽ More
We prove that for a sufficiently ample line bundle $L$ on a surface $S$, the number of $δ$-nodal curves in a general $δ$-dimensional linear system is given by a universal polynomial of degree $δ$ in the four numbers $L^2,\,L.K_S,\,K_S^2$ and $c_2(S)$.
The technique is a study of Hilbert schemes of points on curves on a surface, using the BPS calculus of [PT3] and the computation of tautological integrals on Hilbert schemes by Ellingsrud, Göttsche and Lehn.
We are also able to weaken the ampleness required, from Göttsche's $(5δ-1)$-very ample to $δ$-very ample.
△ Less
Submitted 21 March, 2014; v1 submitted 15 October, 2010;
originally announced October 2010.
-
Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces
Authors:
Martijn Kool
Abstract:
Given a smooth toric variety $X$, the action of the torus $T$ lifts to the moduli space $\mathcal{M}$ of stable sheaves on $X$. Using the pioneering work of Klyacho, a fairly explicit combinatorial description of the fixed point locus $\mathcal{M}^T$ can be given (as shown by earlier work of the author). In this paper, we apply this description to the case of torsion free sheaves on a smooth toric…
▽ More
Given a smooth toric variety $X$, the action of the torus $T$ lifts to the moduli space $\mathcal{M}$ of stable sheaves on $X$. Using the pioneering work of Klyacho, a fairly explicit combinatorial description of the fixed point locus $\mathcal{M}^T$ can be given (as shown by earlier work of the author). In this paper, we apply this description to the case of torsion free sheaves on a smooth toric surface $S$. A general expression for the generating function of the Euler characteristics of such moduli spaces is obtained. The generating function is expressed in terms of Euler characteristics of certain moduli spaces of stable configurations of linear subspaces appearing in classical GIT. The expression holds for any choice of $S$, polarization, rank, and first Chern class. Specializing to various examples allows us to compute some new as well as known generating functions.
△ Less
Submitted 21 March, 2014; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Fixed point loci of moduli spaces of sheaves on toric varieties
Authors:
Martijn Kool
Abstract:
Extending work of Klyachko and Perling, we develop a combinatorial description of pure equivariant sheaves of any dimension on an arbitrary nonsingular toric variety $X$. Using geometric invariant theory (GIT), this allows us to construct explicit moduli spaces of pure equivariant sheaves on $X$ corepresenting natural moduli functors (similar to work of Payne in the case of equivariant vector bund…
▽ More
Extending work of Klyachko and Perling, we develop a combinatorial description of pure equivariant sheaves of any dimension on an arbitrary nonsingular toric variety $X$. Using geometric invariant theory (GIT), this allows us to construct explicit moduli spaces of pure equivariant sheaves on $X$ corepresenting natural moduli functors (similar to work of Payne in the case of equivariant vector bundles). The action of the algebraic torus on $X$ lifts to the moduli space of all Gieseker stable sheaves on $X$ and we express its fixed point locus explicitly in terms of moduli spaces of pure equivariant sheaves on $X$. One of the problems arising is to find an equivariant line bundle on the side of the GIT problem, which precisely recovers Gieseker stability. In the case of torsion free equivariant sheaves, we can always construct such equivariant line bundles. As a by-product, we get a combinatorial description of the fixed point locus of the moduli space of $μ$-stable reflexive sheaves on $X$. As an application, we show in a sequel how these methods can be used to compute generating functions of Euler characteristics of moduli spaces of $μ$-stable torsion free sheaves on nonsingular complete toric surfaces.
△ Less
Submitted 21 March, 2014; v1 submitted 2 October, 2008;
originally announced October 2008.
-
Hubble Space Telescope Ultraviolet Spectroscopy of Fourteen Low-Redshift Quasars
Authors:
Rajib Ganguly,
Michael S. Brotherton,
Nahum Arav,
Sara R. Heap,
Lutz Wisotzki,
Thomas L. Aldcroft,
Danielle Alloin,
Ehud Behar,
Gabriela Canalizo,
D. Michael Crenshaw,
Martijn de Kool,
Kenneth Chambers,
Gerald Cecil,
Eleni Chatzichristou,
John Everett,
Jack Gabel,
C. Martin Gaskell,
Emmanuel Galliano,
Richard F. Green,
Patrick B. Hall,
Dean C. Hines,
Vesa T. Junkkarinen,
Jelle S. Kaastra,
Mary Elizabeth Kaiser,
Demosthenes Kazanas
, et al. (13 additional authors not shown)
Abstract:
We present low-resolution ultraviolet spectra of 14 low redshift (z<0.8) quasars observed with HST/STIS as part of a Snap project to understand the relationship between quasar outflows and luminosity. By design, all observations cover the CIV emission line. Nine of the quasars are from the Hamburg-ESO catalog, three are from the Palomar-Green catalog, and one is from the Parkes catalog. The samp…
▽ More
We present low-resolution ultraviolet spectra of 14 low redshift (z<0.8) quasars observed with HST/STIS as part of a Snap project to understand the relationship between quasar outflows and luminosity. By design, all observations cover the CIV emission line. Nine of the quasars are from the Hamburg-ESO catalog, three are from the Palomar-Green catalog, and one is from the Parkes catalog. The sample contains a few interesting quasars including two broad absorption line (BAL) quasars (HE0143-3535, HE0436-2614), one quasar with a mini-BAL (HE1105-0746), and one quasar with associated narrow absorption (HE0409-5004). These BAL quasars are among the brightest known (though not the most luminous) since they lie at z<0.8. We compare the properties of these BAL quasars to the z<0.5 Palomar-Green and z>1.4 Large Bright Quasar samples. By design, our objects sample luminosities in between these two surveys, and our four absorbed objects are consistent with the v ~ L^0.62 relation derived by Laor & Brandt (2002). Another quasar, HE0441-2826, contains extremely weak emission lines and our spectrum is consistent with a simple power-law continuum. The quasar is radio-loud, but has a steep spectral index and a lobe-dominated morphology, which argues against it being a blazar. The unusual spectrum of this quasar resembles the spectra of the quasars PG1407+265, SDSSJ1136+0242, and PKS1004+13 for which several possible explanations have been entertained.
△ Less
Submitted 13 October, 2006;
originally announced October 2006.
-
Contrasting the UV and X-ray O VI Column Density Inferred for the Outflow in NGC 5548
Authors:
Nahum Arav,
Jelle Kaastra,
Katrien Steenbrugge,
Bert Brinkman,
Rick Edelson,
Kirk T. Korista,
Martijn de Kool
Abstract:
We compare X-ray and UV spectroscopic observations of NGC 5548. Both data sets show O VI absorption troughs associated with the AGN outflow from this galaxy. We find that the robust lower limit on the column density of the O VI X-ray trough is seven times larger than the column density found in a study of the O VI UV troughs. This discrepancy suggests that column densities inferred for UV trough…
▽ More
We compare X-ray and UV spectroscopic observations of NGC 5548. Both data sets show O VI absorption troughs associated with the AGN outflow from this galaxy. We find that the robust lower limit on the column density of the O VI X-ray trough is seven times larger than the column density found in a study of the O VI UV troughs. This discrepancy suggests that column densities inferred for UV troughs of Seyfert outflows are often severely underestimated. We identify the physical limitations of the UV Gaussian modeling as the probable explanation of the O VI column density discrepancy. Specifically, Gaussian modeling cannot account for a velocity dependent covering fraction, and it is a poor representation for absorption associated with a dynamical outflow. Analysis techniques that use a single covering fraction value for each absorption component suffer from similar limitations. We conclude by suggesting ways to improve the UV analysis.
△ Less
Submitted 18 March, 2003;
originally announced March 2003.
-
On the Column Density of AGN Outflows: the Case of NGC 5548
Authors:
Nahum Arav,
Martijn de Kool,
Kirk T. Korista
Abstract:
We re-analyze the HST high resolution spectroscopic data of the intrinsic absorber in NGC 5548 and find that the C IV absorption column density is at least four times larger than previously determined. This increase arises from accounting for the kinematical nature of the absorber and from our conclusion that the outflow does not cover the narrow emission line region in this object. The improved…
▽ More
We re-analyze the HST high resolution spectroscopic data of the intrinsic absorber in NGC 5548 and find that the C IV absorption column density is at least four times larger than previously determined. This increase arises from accounting for the kinematical nature of the absorber and from our conclusion that the outflow does not cover the narrow emission line region in this object. The improved column density determination begins to bridge the gap between the high column densities measured in the X-ray and the low ones previously inferred from the UV lines. Combined with our findings for outflows in high luminosity quasars these results suggest that traditional techniques for measuring column densities: equivalent width, curve-of-growth and Gaussian modeling, are of limited value when applied to absorption associated with AGN outflows.
△ Less
Submitted 4 April, 2002; v1 submitted 25 July, 2001;
originally announced July 2001.
-
Photoionization Models for BALQSO PG 0946+301
Authors:
Nahum Arav,
Martijn de Kool,
Kirk T. Korista
Abstract:
This is a companion paper to the manuscript entitled: ``HST STIS Observations Of PG 0946+301: The Highest Quality UV Spectrum of a BALQSO'' (Arav et al. 2001; accepted for publication in ApJ). Here we present photoionization-modeling results for ALL the ionic column density constraints found in these data, most of which we were unable to include in the printed version of the paper.
This is a companion paper to the manuscript entitled: ``HST STIS Observations Of PG 0946+301: The Highest Quality UV Spectrum of a BALQSO'' (Arav et al. 2001; accepted for publication in ApJ). Here we present photoionization-modeling results for ALL the ionic column density constraints found in these data, most of which we were unable to include in the printed version of the paper.
△ Less
Submitted 20 July, 2001;
originally announced July 2001.
-
HST STIS Observations of PG 0946+301: the Highest Quality UV Spectrum of a BALQSO
Authors:
Nahum Arav,
Martijn de Kool,
Kirk T. Korista,
D. Michael Crenshaw,
Wil van Breugel,
Michael Brotherton,
Richard F. Green,
Max Pettini,
Bev Wills,
Wim de Vries,
Bob Becker,
W. N. Brandt,
Paul Green,
Vesa T. Junkkarinen,
Anuradha Koratkar,
Ari Laor,
Sally A. Laurent-Muehleisen,
Smita Mathur,
Norman Murray
Abstract:
We describe deep (40 orbits) HST/STIS observations of the BALQSO PG 0946+301 and make them available to the community. These observations are the major part of a multi-wavelength campaign on this object aimed at determining the ionization equilibrium and abundances (IEA) in broad absorption line (BAL) QSOs. We present simple template fits to the entire data set, which yield firm identifications…
▽ More
We describe deep (40 orbits) HST/STIS observations of the BALQSO PG 0946+301 and make them available to the community. These observations are the major part of a multi-wavelength campaign on this object aimed at determining the ionization equilibrium and abundances (IEA) in broad absorption line (BAL) QSOs. We present simple template fits to the entire data set, which yield firm identifications for more than two dozen BALs from 18 ions and give lower limits for the ionic column densities. We find that the outflow's metalicity is consistent with being solar, while the abundance ratio of phosphorus to other metals is at least ten times solar. These findings are based on diagnostics that are not sensitive to saturation and partial covering effects in the BALs, which considerably weakened previous claims for enhanced metalicity. Ample evidence for these effects is seen in the spectrum. We also discuss several options for extracting tighter IEA constraints in future analyses, and present the significant temporal changes which are detected between these spectra and those taken by the HST/FOS in 1992.
△ Less
Submitted 20 July, 2001;
originally announced July 2001.
-
Keck Hires Observations of the QSO First J104459.6+365605: Evidence for a Large Scale Outflow
Authors:
Martijn de Kool,
Nahum Arav,
Robert H. Becker,
Michael D. Gregg,
Richard L. White,
Sally A. Laurent-Muehleisen,
Trevor Price,
Kirk T. Korista
Abstract:
This paper presents an analysis of a Keck HIRES spectrum of the QSO FIRST J104459.6+365605. The line of sight towards the QSO contains two clusters of outflowing clouds that give rise to broad blue shifted absorption lines. The outflow velocities of the clouds range from -200 to -1200 km/s and from -3400 to -5200 km/s, respectively. The width of the individual absorption lines ranges from 50 to…
▽ More
This paper presents an analysis of a Keck HIRES spectrum of the QSO FIRST J104459.6+365605. The line of sight towards the QSO contains two clusters of outflowing clouds that give rise to broad blue shifted absorption lines. The outflow velocities of the clouds range from -200 to -1200 km/s and from -3400 to -5200 km/s, respectively. The width of the individual absorption lines ranges from 50 to more than 1000 km/s. The most prominent absorption lines are those of Mg II, Mg I, and Fe II. The low ionization absorption lines occur at the same velocities as the most saturated Mg II lines, showing that the Fe II, Mg I and Mg II line forming regions must be closely associated. Many absorption lines from excited states of Fe II are present, allowing a determination of the population of several low lying energy levels. From this we determine an electron density in the Fe II line forming regions of 4000 per cubic cm. Modelling the ionization state of the absorbing gas with this value of the electron density as a constraint, we find that the distance between the Fe II and Mg I line forming region and the continuum source is of order 700 parsec.
From the correspondence in velocity between the Fe II, Mg I and Mg II lines we infer that the Mg II lines must be formed at the same distance. The Mg II absorption fulfills the criteria for Broad Absorption Lines defined by Weymann et al. (1991). This large distance is surprising, since BALs are generally thought to be formed in outflows at a much smaller distance from the nucleus.
△ Less
Submitted 11 October, 2000;
originally announced October 2000.
-
Thermal Instability and Evaporation of Accretion Disc Atmospheres
Authors:
Martijn de Kool,
Dayal T. Wickramasinghe
Abstract:
We investigate the thermal stability of the outer layers of accretion discs in which the local viscous energy dissipation rate scales with the pressure as for standard Shakura-Sunyaev discs. By solving for the accretion disc vertical structure using the grey two-stream approximation, we show that the thermal structure of the optically thin outer layers is in first approximation independent from…
▽ More
We investigate the thermal stability of the outer layers of accretion discs in which the local viscous energy dissipation rate scales with the pressure as for standard Shakura-Sunyaev discs. By solving for the accretion disc vertical structure using the grey two-stream approximation, we show that the thermal structure of the optically thin outer layers is in first approximation independent from radiative transfer effects. We then calculate this thermal structure using the detailed photoionisation code MAPPINGS, including the effects of an external radiation field from the centre of the accretion flow. We apply our method to cataclysmic variable (CV), and stellar mass black hole discs. We find that in the case of CV's, the mass evaporation rate from the disc due to the thermal instability is not likely to be significant compared to the mass flow through the disc. In the case of black hole discs, the very strong irradiation can drive significant evaporation if the mas accretion rate is low, less than 10^16 g/sec.
△ Less
Submitted 10 March, 1999;
originally announced March 1999.
-
What Determines the Depth of BALs? Keck HIRES Observations of BALQSO 1603+300
Authors:
Nahum Arav,
Robert H. Becker,
Sally A. Laurent-Muehleisen,
Michael D. Gregg,
Richard L. White,
Martijn de Kool
Abstract:
We find that the depth and shape of the broad absorption lines (BALs) in BALQSO 1603+3002 are determined largely by the fraction of the emitting source which is covered by the BAL flow. In addition, the observed depth of the BALs is poorly correlated with their real optical depth. The implication of this result is that abundance studies based on direct extraction of column densities from the dep…
▽ More
We find that the depth and shape of the broad absorption lines (BALs) in BALQSO 1603+3002 are determined largely by the fraction of the emitting source which is covered by the BAL flow. In addition, the observed depth of the BALs is poorly correlated with their real optical depth. The implication of this result is that abundance studies based on direct extraction of column densities from the depth of the absorption troughs are unreliable. Our conclusion is based on analysis of unblended absorption features of two lines from the same ion (in this case the Si IV doublet), which allows unambiguous separation of covering factor and optical depth effects. The complex morphology of the covering factor as a function of velocity suggests that the BALs are produced by several physically separated outflows. The covering factor is ion dependent in both depth and velocity width. We also find evidence that in BALQSO 1603+3002 the flow does not cover the broad emission line region.
△ Less
Submitted 9 March, 1999;
originally announced March 1999.
-
HST Observations of the Broad Absorption Line Quasar PG 0946+301
Authors:
Nahum Arav,
Kirk T. Korista,
Martijn de Kool,
Vesa T. Junkkarinen,
Mitchell C. Begelman
Abstract:
We analyze HST and ground based spectra of the brightest BALQSO in the UV: PG~0946+301. A detailed study of the absorption troughs as a function of velocity is presented, facilitated by the use of a new algorithm to solve for the optical depth as a function of velocity for multiplet lines. We find convincing evidence for saturation in parts of the troughs. This supports our previous assertion th…
▽ More
We analyze HST and ground based spectra of the brightest BALQSO in the UV: PG~0946+301. A detailed study of the absorption troughs as a function of velocity is presented, facilitated by the use of a new algorithm to solve for the optical depth as a function of velocity for multiplet lines. We find convincing evidence for saturation in parts of the troughs. This supports our previous assertion that saturation is common in BALs and therefore cast doubts on claims for very high metallicity in BAL flows. Due to the importance of BAL saturation we also discuss its evidence in other objects. In PG~0946+301 large differences in ionization as a function of velocity are detected and our findings supports the hypothesis that the line of sight intersects a number of flow components that combine to give the appearance of the whole trough. Based on the optical depth profiles, we develop a geometrical-kinematical model for the flow. We have positively identified 16 ions of 8 elements (H~I, C~III, C~IV, N~III, N~IV, N~V, O~III, O~IV, O~V, O~VI, Ne~V, Ne~VIII, P~V, Si~IV, S~V, S~VI) and have a probable identifications of Mg~X and S~IV. Unlike earlier analysis of IUE data, we find no evidence for BALs arising from excited ionic states in the HST spectrum of PG~0946+301.
△ Less
Submitted 20 October, 1998;
originally announced October 1998.
-
Accretion disk reversal and the spin-up/spin-down of accreting pulsars
Authors:
James R. Murray,
Martijn de Kool,
Jianke Li
Abstract:
We numerically investigate the hydrodynamics of accretion disk reversal and relate our findings to the observed spin-rate changes in the accreting X-ray pulsar GX~1+4. In this system, which accretes from a slow wind, the accretion disk contains two dynamically distinct regions. In the inner part viscous forces are dominant and disk evolution occurs on a viscous timescale. In the outer part dynam…
▽ More
We numerically investigate the hydrodynamics of accretion disk reversal and relate our findings to the observed spin-rate changes in the accreting X-ray pulsar GX~1+4. In this system, which accretes from a slow wind, the accretion disk contains two dynamically distinct regions. In the inner part viscous forces are dominant and disk evolution occurs on a viscous timescale. In the outer part dynamical mixing of material with opposite angular momentum is more important, and the externally imposed angular momentum reversal timescale governs the flow. In this outer region the disk is split into concentric rings of material with opposite senses of rotation that do not mix completely but instead remain distinct, with a clear gap between them. We thus predict that torque reversals resulting from accretion disk reversals will be accompanied by minima in accretion luminosity.
△ Less
Submitted 7 October, 1998;
originally announced October 1998.
-
An overview of dynamical models for outflows in BALQSOs and Seyferts
Authors:
Martijn de Kool
Abstract:
This paper reviews the dynamical models that have been proposed for the outflows that are responsible for the broad blue-shifted absorption features observed in broad absorption line quasars and in some Seyfert galaxies.
This paper reviews the dynamical models that have been proposed for the outflows that are responsible for the broad blue-shifted absorption features observed in broad absorption line quasars and in some Seyfert galaxies.
△ Less
Submitted 23 April, 1997;
originally announced April 1997.