arxiv: 2604.05664 · v1 · submitted 2026-04-07 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

Reginald Anderson , Dominic Joyce

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:13 UTC · model grok-4.3

classification 🧮 math.AG

keywords Pandharipande-Thomas invariantssuperpositive curve classesrationalitywall-crossing formulaeenumerative invariantsprojective 3-manifoldsdescendent insertions

0 comments

The pith

Pandharipande-Thomas invariants have rational generating functions for superpositive curve classes on 3-manifolds

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves conjectures by Pandharipande and Thomas that the generating functions of Pandharipande-Thomas invariants with descendent insertions are rational, for superpositive curve classes on projective complex 3-manifolds. It does this by applying a theory of enumerative invariants in abelian categories and wall-crossing formulae to this geometric situation. A reader would care because this rationality allows for better understanding and computation of curve counts in three-dimensional geometry, especially on Fano manifolds where the condition holds for all classes.

Core claim

Let X be a projective complex 3-manifold. For an effective curve class beta that is superpositive, meaning all its effective summands are positive (c1(X) · beta' > 0), the generating functions of the Pandharipande-Thomas invariants of X in class beta with descendent insertions are rational functions, and their poles are determined by the theory.

What carries the argument

The wall-crossing formulae for enumerative invariants in abelian categories, which relate the invariants across different stability conditions to establish rationality.

If this is right

The full conjecture holds whenever all effective curve classes are superpositive, as on Fano threefolds.
The rationality persists even when arbitrary descendent insertions are included.
The poles of these generating functions are located at roots of unity.
This provides a uniform proof that applies to all projective complex 3-manifolds under the superpositive condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The methods may extend to Calabi-Yau threefolds for classes that are superpositive, even if not all classes are.
Connections to other wall-crossing phenomena in Donaldson-Thomas theory could be explored using similar reductions.
This rationality might imply that the invariants satisfy certain recursive relations useful for computation.

Load-bearing premise

The enumerative invariants and wall-crossing formulae from the prior development apply directly without additional obstructions to superpositive curve classes on any projective complex 3-manifold.

What would settle it

An explicit computation of the generating function for PT invariants in a superpositive class on a particular 3-manifold that turns out to be irrational or have unexpected poles would falsify the claim.

read the original abstract

Let $X$ be a projective complex 3-manifold. An effective curve class $\beta\in H_2(X,\mathbb Z)$ is called positive if $c_1(X)\cdot\beta>0$, and superpositive if all the effective summands of $\beta$ are positive. If $X$ is Fano then all curve classes are superpositive. In arXiv:2111.04694 the second author developed a theory of enumerative invariants in abelian categories and wall-crossing formulae. We use this theory to prove conjectures by Pandharipande and Thomas on the rationality and poles of generating functions of Pandharipande-Thomas invariants of $X$ with descendent insertions, for superpositive curve classes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Applies prior wall-crossing to prove PT rationality for superpositive classes, with the main question being whether it works on general 3-folds.

read the letter

The main thing here is that the authors use the abelian category wall-crossing setup from arXiv:2111.04694 to establish the rationality and pole structure of the generating functions for Pandharipande-Thomas invariants with descendents, restricted to superpositive curve classes on projective complex 3-manifolds. This settles the conjecture in that range. What the paper does well is to isolate the superpositive condition as sufficient for the application, and to observe that it includes all effective classes on Fano varieties. The proof is essentially an invocation of the prior theory, which keeps it short and to the point. It also incorporates descendent insertions, which broadens the statement. The soft spots are around the direct applicability. The definition of superpositive is clear—every effective summand γ satisfies c1(X) · γ > 0—and the paper notes the Fano case works automatically. However, for a general projective 3-fold, it is not obvious that the semistability conditions and support properties from the earlier work hold without any additional verification or adjustment. The abstract presents the result as following immediately, but if the manuscript does not contain a check that the relevant objects stay in the correct regime for arbitrary X, that assumption could be the weakest link. The circularity burden is low since the application seems independent, but full details would help. This paper is for enumerative geometers working on 3-folds and mirror symmetry questions. A reader who knows the PT conjecture and the categorical wall-crossing literature will find the resolution of this case useful. I would bring it to the next reading group to discuss the transfer of hypotheses. It should go to peer review as it provides a solid case of the conjecture being resolved, though referees may ask for more on the general applicability.

Referee Report

2 major / 2 minor

Summary. The paper claims to prove the Pandharipande-Thomas conjectures on the rationality and poles of generating functions of PT invariants (with descendent insertions) for superpositive curve classes β on any projective complex 3-manifold X, by applying the enumerative invariants and wall-crossing formulae developed in the second author's prior work arXiv:2111.04694. Superpositive classes are defined as those where every effective summand γ satisfies c1(X)·γ > 0, with the observation that this holds for all classes when X is Fano.

Significance. If the application of the prior theory is valid without additional obstructions, the result would resolve the PT rationality conjecture for a broad class of cases on general 3-folds, including all Fano threefolds. This would extend known results beyond Calabi-Yau or special geometries and demonstrate the utility of the abelian-category wall-crossing framework for enumerative invariants.

major comments (2)

[Proof of main theorem (or §3)] The central claim rests on the assertion that the wall-crossing formulae and enumerative invariants from arXiv:2111.04694 apply directly once β is superpositive. However, the manuscript provides no explicit verification that the semistability, support, or abelian-category hypotheses of those theorems hold for arbitrary projective 3-folds (as opposed to the Calabi-Yau or Fano cases where the prior theory was developed). This is load-bearing for the proof of the rationality and pole statements.
[Definition of superpositive classes (or §2)] The definition of superpositive classes (every effective summand positive) is introduced, and it is noted that all classes are superpositive for Fano X, but no argument is given showing that this condition automatically places the relevant objects (e.g., ideal sheaves or descendent insertions) into the regime where the wall-crossing identities hold without geometry-dependent extra conditions on general X.

minor comments (2)

[Abstract] The abstract should explicitly name the precise PT conjectures (rationality of the generating function and the pole order) being proved, rather than referring to them generically.
When citing results from arXiv:2111.04694, include specific theorem or proposition numbers for the wall-crossing formulae and invariants being applied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for more explicit justification of the applicability of the prior wall-crossing theory. We will revise the manuscript to supply the missing verifications while preserving the overall structure and claims.

read point-by-point responses

Referee: [Proof of main theorem (or §3)] The central claim rests on the assertion that the wall-crossing formulae and enumerative invariants from arXiv:2111.04694 apply directly once β is superpositive. However, the manuscript provides no explicit verification that the semistability, support, or abelian-category hypotheses of those theorems hold for arbitrary projective 3-folds (as opposed to the Calabi-Yau or Fano cases where the prior theory was developed). This is load-bearing for the proof of the rationality and pole statements.

Authors: We agree that the manuscript does not contain an explicit check that the semistability, support, and abelian-category hypotheses of arXiv:2111.04694 are satisfied for arbitrary projective 3-folds once β is superpositive. The superpositive condition is designed to guarantee the necessary positivity so that the relevant ideal sheaves and descendent insertions lie in the stability chambers where the enumerative invariants and wall-crossing formulae apply without further restrictions. In the revision we will add a dedicated paragraph (or short subsection) in §3 that verifies these hypotheses directly from the definition of superpositivity and the statements in arXiv:2111.04694, thereby making the load-bearing step fully rigorous for general X. revision: yes
Referee: [Definition of superpositive classes (or §2)] The definition of superpositive classes (every effective summand positive) is introduced, and it is noted that all classes are superpositive for Fano X, but no argument is given showing that this condition automatically places the relevant objects (e.g., ideal sheaves or descendent insertions) into the regime where the wall-crossing identities hold without geometry-dependent extra conditions on general X.

Authors: We acknowledge that §2 introduces the definition and records the Fano case but does not supply a self-contained argument that superpositivity alone suffices to place ideal sheaves and descendent insertions in the regime of the wall-crossing identities on an arbitrary projective 3-fold. In the revised manuscript we will enlarge the discussion in §2 to include a short proof that the condition c1(X)·γ > 0 for every effective summand γ implies the required support and semistability properties, with no additional geometry-dependent hypotheses needed beyond those already stated in arXiv:2111.04694. revision: yes

Circularity Check

0 steps flagged

No significant circularity; prior theory applied independently to new classes

full rationale

The paper's central derivation applies the enumerative invariants and wall-crossing formulae developed in the cited prior work (arXiv:2111.04694) to prove the PT rationality and pole conjectures specifically for superpositive curve classes on general projective 3-manifolds. This constitutes a standard extension of existing theory rather than a reduction by construction: the superpositive condition is defined here, and the application to descendent insertions and rationality is presented as a new result. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing uniqueness theorems imported from the same authors' prior work are exhibited in the provided text. The self-citation is normal and does not render the argument equivalent to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the applicability of the wall-crossing theory from the cited prior work together with standard properties of cohomology rings and moduli spaces of stable pairs on projective 3-folds.

axioms (2)

domain assumption X is a projective complex 3-manifold
Stated as the ambient space in the abstract.
domain assumption An effective curve class beta is superpositive if every effective summand satisfies c1(X) dot beta' > 0
Definition used to delimit the curve classes for which the conjecture is proved.

pith-pipeline@v0.9.0 · 5423 in / 1436 out tokens · 86455 ms · 2026-05-10T19:13:50.369019+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We use this theory to prove conjectures by Pandharipande and Thomas on the rationality and poles of generating functions of Pandharipande-Thomas invariants of X with descendent insertions, for superpositive curve classes.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the wall-crossing formula relating classes Πpl∗([Pn(X,β)]virt) with Donaldson–Thomas invariants [Mss(β,n)(μ)]inv ... using a Lie bracket on the homology H∗(Mpl)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

62 extracted references · 39 canonical work pages · 1 internal anchor

[1]

Abramovich, M

D. Abramovich, M. Olsson, and A. Vistoli,Tame stacks in positive char- acteristic, Ann. Inst. Fourier 58 (2008), 1057–1091. math.AG/0703310

work page arXiv 2008
[2]

Anderson,Examples of descendent generating series for Pandharipan- de–Thomas stable pairs on smooth projective Fano threefolds via one- dimensional wall-crossing, preprint, 2026

R. Anderson,Examples of descendent generating series for Pandharipan- de–Thomas stable pairs on smooth projective Fano threefolds via one- dimensional wall-crossing, preprint, 2026

2026
[3]

Antieau and J

B. Antieau and J. Heller,Some remarks on topological K-theory of dg categories, Proc. A.M.S. 146 (2018), 4211–421. arXiv:1709.01587. 34

work page arXiv 2018
[4]

Beck and S

M. Beck and S. Robins,Computing the continuous discretely: integer-point enumeration in polyhedra, 2nd edition, Springer, New York, 2015

2015
[5]

Behrend and B

K. Behrend and B. Fantechi,The intrinsic normal cone, Invent. Math. 128 (1997), 45–88. alg-geom/9601010

work page arXiv 1997
[6]

Blanc,Topological K-theory of complex noncommutative spaces, Com- pos

A. Blanc,Topological K-theory of complex noncommutative spaces, Com- pos. Math. 152 (2016), 489–555. arXiv:1211.7360

work page arXiv 2016
[7]

Borcherds,Vertex algebras, Kac–Moody algebras, and the Monster, Proc

R.E. Borcherds,Vertex algebras, Kac–Moody algebras, and the Monster, Proc. Nat. Acad. Sci. U.S.A. 83 (1986), 3068–3071

1986
[8]

Bridgeland,Hall algebras and curve-counting invariants, J

T. Bridgeland,Hall algebras and curve-counting invariants, J. A.M.S. 24 (2011), 969–998. arXiv:1002.4374

work page arXiv 2011
[9]

Friedlander, C

E.M. Friedlander, C. Haesemeyer, and M.E. Walker,Techniques, com- putations, and conjectures for semi-topological K-theory, Math. Ann. 330 (2004), 759–807

2004
[10]

Friedlander and M.E

E.M. Friedlander and M.E. Walker,Comparing K-theories for complex varieties, Amer. J. Math. 123 (2001), 779–810

2001
[11]

Friedlander and M.E.Walker,Semi-topological K-theory using func- tion complexes, Topology 41 (2002), 591–644

E.M. Friedlander and M.E.Walker,Semi-topological K-theory using func- tion complexes, Topology 41 (2002), 591–644

2002
[12]

Friedlander and M.E

E.M. Friedlander and M.E. Walker,Semi-topological K-theory, pages 877– 924 inHandbook of K-theory, Springer, Berlin, 2005

2005
[13]

Frenkel and D

E. Frenkel and D. Ben-Zvi,Vertex algebras and algebraic curves, A.M.S, Providence, RI, 2004

2004
[14]

Gelfand and Y.I

S.I. Gelfand and Y.I. Manin,Methods of Homological Algebra, second edi- tion, Springer, 2002

2002
[15]

Gieseker,On the moduli of vector bundles on an algebraic surface, Ann

D. Gieseker,On the moduli of vector bundles on an algebraic surface, Ann. Math. 106 (1977), 45–60

1977
[16]

G´ omez,Algebraic stacks, Proc

T.L. G´ omez,Algebraic stacks, Proc. Indian Acad. Sci. Math. Sci. 111 (2001), 1–31. math.AG/9911199

work page arXiv 2001
[17]

Gross, The homology of moduli stacks of complexes, 2019, preprint, https://arxiv.org/abs/1907.03269

J. Gross,The homology of moduli stacks of complexes, arXiv:1907.03269, 2019

work page arXiv 1907
[18]

Gross,Moduli spaces of complexes of coherent sheaves, Oxford PhD thesis, 2020, available at ora.ox.ac.uk

J. Gross,Moduli spaces of complexes of coherent sheaves, Oxford PhD thesis, 2020, available at ora.ox.ac.uk

2020
[19]

Gross, D

J. Gross, D. Joyce and Y. Tanaka,Universal structures inC-linear enu- merative invariant theories, SIGMA 18 (2022), 068. arXiv:2005.05637

work page arXiv 2022
[20]

Hartshorne,Algebraic Geometry, Graduate Texts in Math

R. Hartshorne,Algebraic Geometry, Graduate Texts in Math. 52, Springer, New York, 1977. 35

1977
[21]

Huybrechts,Fourier–Mukai transforms in Algebraic Geometry, Oxford University Press, Oxford, 2006

D. Huybrechts,Fourier–Mukai transforms in Algebraic Geometry, Oxford University Press, Oxford, 2006

2006
[22]

Huybrechts and M

D. Huybrechts and M. Lehn,The geometry of moduli spaces of sheaves, second edition, CUP, Cambridge, 2010

2010
[23]

Joyce,Configurations in abelian categories

D. Joyce,Configurations in abelian categories. I. Basic properties and moduli stacks, Adv. Math. 203 (2006), 194–255. math.AG/0312190

work page arXiv 2006
[24]

Joyce,Configurations in abelian categories

D. Joyce,Configurations in abelian categories. II. Ringel–Hall algebras, Adv. Math. 210 (2007), 635–706. math.AG/0503029

work page arXiv 2007
[25]

Joyce,Configurations in abelian categories

D. Joyce,Configurations in abelian categories. III. Stability conditions and identities, Adv. Math. 215 (2007), 153–219. math.AG/0410267

work page arXiv 2007
[26]

Joyce,Configurations in abelian categories

D. Joyce,Configurations in abelian categories. IV. Invariants and chang- ing stability conditions, Adv. Math. 217 (2008), 125–204. math.AG/0410268

work page arXiv 2008
[27]

Joyce,Vertex algebra and Lie algebra structures on the homology of moduli spaces, in preparation, 2026

D. Joyce,Vertex algebra and Lie algebra structures on the homology of moduli spaces, in preparation, 2026. Preliminary version (2018) available asRingel–Hall style vertex algebra and Lie algebra structures on the ho- mology of moduli spacesathttps://people.maths.ox.ac.uk/ ~joyce

2026
[28]

Joyce,Enumerative invariants and wall-crossing formulae in abelian categories, arXiv:2111.04694

D. Joyce,Enumerative invariants and wall-crossing formulae in abelian categories, arXiv:2111.04694, version 2 in preparation, 2026

work page arXiv 2026
[29]

Joyce and Y

D. Joyce and Y. Song,A theory of generalized Donaldson–Thomas invari- ants, Mem. A.M.S. 217 (2012), no. 1020. arXiv:0810.5645

work page arXiv 2012
[30]

Generalized K-theoretic invariants and wall-crossing via non-abelian localization

I. Karpov and M. Moreira,Generalized K-theoretic invariants and wall- crossing via non-abelian localization, arXiv:2512.22360, 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[31]

Karpov and M

I. Karpov and M. Moreira,Rationality and symmetry of stable pairs gen- erating series of Fano3-folds, preprint, 2026

2026
[32]

Stability structures, motivic Donaldson-Thomas invariants and cluster transformations

M. Kontsevich and Y. Soibelman,Stability structures, motivic Donaldson– Thomas invariants and cluster transformations, arXiv:0811.2435, 2008

work page Pith review arXiv 2008
[33]

Laumon and L

G. Laumon and L. Moret-Bailly,Champs alg´ ebriques, Ergeb. der Math. und ihrer Grenzgebiete 39, Springer, Berlin, 2000

2000
[34]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande,Gromov– Witten theory and Donaldson–Thomas theory. I, Compos. Math. 142 (2006), 1263–1285. math.AG/0312059

work page arXiv 2006
[35]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande,Gromov– Witten theory and Donaldson–Thomas theory. II, Compos. Math. 142 (2006), 1286–1304. math.AG/0406092. 36

work page arXiv 2006
[36]

Maulik, A

D. Maulik, A. Oblomkov, A. Okounkov and R. Pandharipande,Virasoro constraints for stable pairs on toric3-folds, Forum Math. Pi 10 (2022), no. e20. arXiv:2008.12514

work page arXiv 2022
[37]

McCleary,A user’s guide to spectral sequences, Camb

J. McCleary,A user’s guide to spectral sequences, Camb. Stud. Adv. Math. 58, CUP, Cambridge, 2001

2001
[38]

Milnor and J

J. Milnor and J. Moore,On the structure of Hopf algebras, Ann. Math. 81 (1965), 211–264

1965
[39]

Olsson,Algebraic Spaces and Stacks, A.M.S

M. Olsson,Algebraic Spaces and Stacks, A.M.S. Colloquium Publications 62, A.M.S., Providence, RI, 2016

2016
[40]

Pandharipande,Descendents for stable pairs on3-folds, pages 251–287 in Proc

R. Pandharipande,Descendents for stable pairs on3-folds, pages 251–287 in Proc. Sympos. Pure Math. 99, A.M.S., 2018. arXiv:1703.01747

work page arXiv 2018
[41]

Pandharipande and A

R. Pandharipande and A. Pixton,Descendent theory for stable pairs on toric3-folds, J. Math. Soc. Japan 65 (2013), 1337–1372. arXiv:1011.4054

work page arXiv 2013
[42]

Pandharipande and A

R. Pandharipande and A. Pixton,Gromov–Witten/pairs correspondence for the quintic3-fold, J. A.M.S. 30 (2017), 389–449. arXiv:1206.5490

work page arXiv 2017
[43]

Pandharipande and R.P

R. Pandharipande and R.P. Thomas,Curve counting via stable pairs in the derived category, Invent. Math. 178 (2009), 407–447. arXiv:0707.2348

work page arXiv 2009
[44]

Pandharipande and R.P

R. Pandharipande and R.P. Thomas,The3-fold vertex via stable pairs, Geom. Topol. 13 (2009), 1835–1876. arXiv:0709.3823

work page arXiv 2009
[45]

Pandharipande and R.P

R. Pandharipande and R.P. Thomas,Stable pairs and BPS invariants, J. A.M.S. 23 (2010), 267–297. arXiv:0711.3899

work page arXiv 2010
[46]

Pandharipande and R.P

R. Pandharipande and R.P. Thomas, 13/2ways of counting curves, pages 282–333 in L. Brambila-Paz et al., editors,Moduli spaces, L.M.S. Lecture Notes 411, CUP, 2014. arXiv:1111.1552

work page arXiv 2014
[47]

Pardon, Universally counting curves in Calabi--Yau threefolds, 2024, preprint, https://arxiv.org/abs/2308.02948

J. Pardon,Universally counting curves in Calabi–Yau threefolds, arXiv:2308.02948, 2023

work page arXiv 2023
[48]

Romagny,Group actions on stacks and applications, Michigan Math

M. Romagny,Group actions on stacks and applications, Michigan Math. J. 53 (2005), 209–236

2005
[49]

Rudakov,Stability for an abelian category, J

A. Rudakov,Stability for an abelian category, J. Algebra 197 (1997), 231– 245

1997
[50]

Simpson,The topological realization of a simplicial presheaf, q- alg/9609004, 1996

C. Simpson,The topological realization of a simplicial presheaf, q- alg/9609004, 1996

work page arXiv 1996
[51]

Stoppa and R.P

J. Stoppa and R.P. Thomas,Hilbert schemes and stable pairs: GIT and derived category wall crossings, Bull. Soc. Math. France 139 (2011), 297–

2011
[52]

Thomas,A holomorphic Casson invariant for Calabi–Yau3-folds, and bundles onK3fibrations, J

R.P. Thomas,A holomorphic Casson invariant for Calabi–Yau3-folds, and bundles onK3fibrations, J. Diff. Geom. 54 (2000), 367–438. math.AG/9806111

work page arXiv 2000
[53]

Toda,Limit stable objects on Calabi-Yau3-folds, Duke Math

Y. Toda,Limit stable objects on Calabi-Yau3-folds, Duke Math. J. 149 (2009), 157–208. arXiv:0803.2356

work page arXiv 2009
[54]

Toda,Generating functions of stable pair invariants via wall-crossings in derived categories, Adv

Y. Toda,Generating functions of stable pair invariants via wall-crossings in derived categories, Adv. Stud. Pure Math. 59 (2010), 389–434. arXiv:0806.0062

work page arXiv 2010
[55]

Toda,Curve counting theories via stable objects I

Y. Toda,Curve counting theories via stable objects I. DT/PT correspon- dence, J. A.M.S. 23 (2010), 1119–1157. arXiv:0902.4371

work page arXiv 2010
[56]

Toda,Stability conditions and curve counting invariants on Calabi–Yau 3-folds, Kyoto J

Y. Toda,Stability conditions and curve counting invariants on Calabi–Yau 3-folds, Kyoto J. Math. 52 (2012), 1–50. arXiv:1103.4229

work page arXiv 2012
[57]

To¨ en,Higher and derived stacks: a global overview, pages 435–487 in Algebraic geometry – Seattle 2005

B. To¨ en,Higher and derived stacks: a global overview, pages 435–487 in Algebraic geometry – Seattle 2005. Proc. Sympos. Pure Math. 80, Part 1, A.M.S., 2009. math.AG/0604504

work page arXiv 2005
[58]

To¨ en,Derived Algebraic Geometry, EMS Surveys in Mathematical Sci- ences 1 (2014), 153–240

B. To¨ en,Derived Algebraic Geometry, EMS Surveys in Mathematical Sci- ences 1 (2014), 153–240. arXiv:1401.1044

work page arXiv 2014
[59]

To¨ en and M

B. To¨ en and M. Vaqui´ e,Moduli of objects in dg-categories, Ann. Sci.´Ec. Norm. Sup. 40 (2007), 387–444. math.AG/0503269

work page arXiv 2007
[60]

To¨ en and G

B. To¨ en and G. Vezzosi,From HAG to DAG: derived moduli stacks, pages 173–216 inAxiomatic, enriched and motivic homotopy theory, NATO Sci. Ser. II Math. Phys. Chem., 131, Kluwer, Dordrecht, 2004. math.AG/0210407

work page arXiv 2004
[61]

To¨ en and G

B. To¨ en and G. Vezzosi,Homotopical Algebraic Geometry II: Geometric Stacks and Applications, Mem. A.M.S. 193 (2008), no. 902. math.AG/0404373

work page arXiv 2008
[62]

Upmeier,Homological Lie brackets on moduli spaces and pushfor- ward operations in twisted K-theory, J

M. Upmeier,Homological Lie brackets on moduli spaces and pushfor- ward operations in twisted K-theory, J. Topol. 18 (2025), No. e70025. arXiv:2101.10990. Reginald Anderson, Department of Mathematics, University of Califor- nia, Irvine. E-mail:reginala@uci.edu. Dominic Joyce, The Mathematical Institute, Radcliffe Observatory Quar- ter, Woodstock Road, Oxfo...

work page arXiv 2025