BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Broué's Abelian Defect Conjecture predicts interesting derived equivalences between derived categories of modular representations of finite groups. We investigate a generalization of Broué's Conjecture to ring spectrum coefficients and prove this generalization in the cyclic defect case, following an argument of Rouquier.
This paper discusses homological mirror symmetry for the Fargues-Fontaine curve of equal characteristic.
We study the unwrapped Fukaya category of Lagrangian branes ending on a Legendrian knot. Our knots live at contact infinity in the cotangent bundle of a surface, the Fukaya category of which is equivalent to the category of constructible sheaves on the surface itself. Consequently, our category can be described as constructible sheaves with singular support controlled by the front projection of the knot. We use a theorem of Guillermou-Kashiwara-Schapira to show that the resulting category is invariant under Legendrian isotopies, and conjecture it is equivalent to the representation category of the Chekanov-Eliashberg differential graded algebra. We also find two connections to topological knot theory. First, drawing a positive braid closure on the annulus, the moduli space of rank-n objects maps to the space of local systems on a circle. The second page of the spectral sequence associated to the weight filtration on the pushforward of the constant sheaf is the (colored-by-n) triply-graded Khovanov-Rozansky homology. Second, drawing a positive braid closure in the plane, the number of points of our moduli spaces over a finite field with q elements recovers the lowest coefficient in 'a' of the HOMFLY polynomial of the braid closure.
We study Weinstein 4-manifolds which admit Lagrangian skeleta given by attaching disks to a surface along a collection of simple closed curves. In terms of the curves describing one such skeleton, we describe surgeries that preserve the ambient Weinstein manifold, but change the skeleton. The surgeries can be iterated to produce more such skeleta --- in many cases, infinitely many more. Each skeleton is built around a Lagrangian surface. Passing to the Fukaya category, the skeletal surgeries induce cluster transformations on the spaces of rank one local systems on these surfaces, and noncommutative analogues of cluster transformations on the spaces of higher rank local systems. In particular, the problem of producing and distinguishing such Lagrangians maps to a combination of combinatorial-geometric questions about curve configurations on surfaces and algebraic questions about exchange graphs of cluster algebras. Conversely, this expands the dictionary relating the cluster theory of character varieties, positroid strata, and related spaces to the symplectic geometry of Lagrangian fillings of Legendrian knots, by incorporating cluster charts more general than those associated to bicolored surface graphs.
Let G be a finite group, and let Kp denote the completion at p of the complex K-theory spectrum. Kp is a commutative ring spectrum that in some ways is very similar to the usual ring Zp of p-adic integers. We discuss G-actions on Kp-modules, and propose to study them by analogy with the classical theory of modular representations of G.
If σ is an automorphism of order p of the semisimple group G, there is a natural correspondence between mod p cohomological automorphic forms on G and Gσ. We describe this correspondence in the global and local settings.
A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial construction of a compact topological space S as a union of components of real dimension n, and prove that S embeds into Z as a deformation retract. In particular, Z is homotopy equivalent to S.
On a smooth manifold M, the Kashiwara index formula expresses the weighted Euler characteristic of a constructible function in terms of its characteristic cycle. We generalize this formula to the case when M is a smooth orbifold, answering a question of Behrend.
We prove a theorem relating torus-equivariant coherent sheaves on toric varieties to polyhedrally-constructible sheaves on a vector space. At the level of K-theory, the theorem recovers Morelli's description of the K-theory of a smooth projective toric variety. Specifically, let X be a proper toric variety of dimension n and let $M_\bR = \mathrm{Lie}(T_\bR^\vee)\cong \bR^n$ be the Lie algebra of the compact dual (real) torus $T_\bR^\vee\cong U(1)^n$. Then there is a corresponding conical Lagrangian $Λ\subset T^*M_\bR$ and an equivalence of triangulated dg categories $\Perf_T(X) \cong \Sh_{cc}(M_\bR;Λ),$ where $\Perf_T(X)$ is the triangulated dg category of perfect complexes of torus-equivariant coherent sheaves on X and $\Sh_{cc}(M_\bR;Λ)$ is the triangulated dg category of complex of sheaves on $M_\bR$ with compactly supported, constructible cohomology whose singular support lies in Λ. This equivalence is monoidal---it intertwines the tensor product of coherent sheaves on X with the convolution product of constructible sheaves on $M_\bR$.
Morelli's computation of the K-theory of a toric variety X associates a polyhedrally constructible function on a real vector space to every equivariant vector bundle E on X. The coherent-constructible correspondence lifts Morelli's constructible function to a complex of constructible sheaves kappa(E). We show that certain filtrations of the cohomology of kappa(E) coming from Morse theory coincide with the Klyachko filtrations of the generic stalk of E. We give Morse-theoretic (i.e. microlocal) conditions for a complex of constructible sheaves to correspond to a vector bundle, and to a nef vector bundle.
To each simplicial reflexive polytope in Z^(n+1), we attach an n-dimensional space, Lambda^\infty. It is the Legendrian boundary of a conic Lagrangian considered in work of the authors, Fang and Liu, and because of this it carries a sheaf of dg categories called the "Kashiwara-Schapira sheaf." We discuss some conjectures and results about the role that Lambda^\infty and the Kashiwara-Schapira sheaf should play in homological mirror symmetry.
Given a ribbon graph Γ with some extra structure, we define, using constructible sheaves, a dg category CPM(Γ) meant to model the Fukaya category of a Riemann surface in the cell of Teichmüller space described by Γ. When Γ is appropriately decorated and admits a combinatorial "torus fibration with section," we construct from Γ a one-dimensional algebraic stack XΓ with toric components. We prove that our model is equivalent to Perf(XΓ), the dg category of perfect complexes on XΓ.
In 1960 Borel proved a "localization" result relating the rational cohomology of a topological space X to the rational cohomology of the fixed points for a torus action on X. This result and its generalizations have many applications in Lie theory. In 1934, P. Smith proved a similar localization result relating the mod p cohomology of X to the mod p cohomology of the fixed points for a Z/p-action on X. In this paper we study Z/p-localization ("Smith theory") for constructible sheaves and functions. We show that Smith theory on loop groups is related via the geometric Satake correspondence to some special homomorphisms that exist between algebraic groups defined over a field of small characteristic.
This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.
We prove the following result of Bondal's: that there is a fully faithful embedding κ of the perfect derived category of a proper toric variety into the derived category of constructible sheaves on a compact torus. We compare this result to a torus-equivariant version considered in joint work with Fang, Liu, and Zaslow. There we showed that in the torus-equivariant version the image of the embedding is cut out by microlocal conditions. To establish a similar characterization of the image of κ is an open problem.
Let XΣ be a complete toric variety. The coherent-constructible correspondence κ of \cite{FLTZ} equates $\Perf_T(X_Σ)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The microlocalization equivalence μ of \cite{NZ,N} relates these sheaves to a subcategory $Fuk(T^*M_\bR;\LS)$ of the Fukaya category of the cotangent $T^*M_\bR$. When $X_\Si$ is nonsingular, taking the derived category yields an equivariant version of homological mirror symmetry, $DCoh_T(X_\Si)\cong DFuk(T^*M_\bR;\LS)$, which is an equivalence of triangulated tensor categories. The nonequivariant coherent-constructible correspondence κˉ of \cite{T} embeds $\Perf(X_\Si)$ into a subcategory $Sh_c(T_\bR^\vee;\barΛ_\Si)$ of constructible sheaves on a compact torus $T_\bR^\vee$. When $X_\Si$ is nonsingular, the composition of κˉ and microlocalization yields a version of homological mirror symmetry, $DCoh(X_Σ)\hookrightarrow DFuk(T^*T_\bR;\barΛ_\Si)$, which is a full embedding of triangulated tensor categories. When $X_\Si$ is nonsingular and projective, the composition τ=μ∘κ is compatible with T-duality, in the following sense. An equivariant ample line bundle $\cL$ has a hermitian metric invariant under the real torus, whose connection defines a family of flat line bundles over the real torus orbits. This data produces a T-dual Lagrangian brane L on the universal cover $T^*M_\bR$ of the dual real torus fibration. We prove $\mathbb L\cong τ(\cL)$ in $Fuk(T^*M_\bR;\LS).$ Thus, equivariant homological mirror symmetry is determined by T-duality.
In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is naturally identified with a category of polyhedrally-constructible sheaves on R^n. In this paper we investigate and reprove some of Kawamata's results from this perspective.
We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where N is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M_\bR$ with singular support in $\LbS$.
For a Whitney stratification S of a space X (or more generally a topological stratification in the sense of Goresky and MacPherson) we introduce the notion of an S-constructible stack of categories on X. The motivating example is the stack of S-constructible perverse sheaves. We introduce a 2-category EP≤2(X,S), called the exit-path 2-category, which is a natural stratified version of the fundamental 2-groupoid. Our main result is that the 2-category of S-constructible stacks on X is equivalent to the 2-category of 2-functors from EP≤2(X,S) to the 2-category of small categories.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.