Proves that the wrapped microlocal sheaf category μSh^w_L(L) is equivalent to Coh(X^∘) for conic bundle mirrors of toric Calabi-Yau (n+2)-folds under given conditions.
Title resolution pending
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.
Introduces F-gauges over prisms, constructs syntomic cycle classes, and proves prismatic Poincaré duality for proper smooth schemes.
Topological symmetric homology equals the free E∞-algebra on an E1-algebra; topological braid homology equals the free E2-algebra on an E1-algebra, via identification of the E2-monoidal envelope with the braided crossed simplicial group.
A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean-4 formalized without axioms.
Summarizes four constructions of commutative factorization sheaves of categories on the Ran space, generalizes the Drinfeld-Plücker formalism, and relates Satake functors for the Ran space with those for the configuration space of colored divisors on a curve.
citing papers explorer
-
Homological Mirror Symmetry for Conic Bundle
Proves that the wrapped microlocal sheaf category μSh^w_L(L) is equivalent to Coh(X^∘) for conic bundle mirrors of toric Calabi-Yau (n+2)-folds under given conditions.
-
The Galois theory of $G$-spectra and the Burnside ring
The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.
-
Syntomic cycle classes and prismatic Poincar\'e duality
Introduces F-gauges over prisms, constructs syntomic cycle classes, and proves prismatic Poincaré duality for proper smooth schemes.
-
Topological symmetric and braid homologies
Topological symmetric homology equals the free E∞-algebra on an E1-algebra; topological braid homology equals the free E2-algebra on an E1-algebra, via identification of the E2-monoidal envelope with the braided crossed simplicial group.
-
Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean-4 formalized without axioms.
-
Note on factorization categories
Summarizes four constructions of commutative factorization sheaves of categories on the Ran space, generalizes the Drinfeld-Plücker formalism, and relates Satake functors for the Ran space with those for the configuration space of colored divisors on a curve.