Related papers: Coherent-Constructible Correspondence for Toric Fi…

Let $\Sigma$ and $\Sigma'$ be two refinements of a fan $\Sigma_0$ and $f \colon X_{\Sigma} \dashrightarrow X_{\Sigma'}$ be the birational map induced by $X_{\Sigma} \rightarrow X_{\Sigma_0} \leftarrow X_{\Sigma'}$. We show that the graph…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an…

The straightening-unstraightening correspondence of Grothendieck--Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of…

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic \'etale local systems to the category of filtered algebraic vector bundles with integrable connections…

Let $\mathcal{X}\rightarrow C$ be a dominant morphism between smooth irreducible varieties over a finitely generated field $k$ such that the generic fiber $X$ is smooth, projective and geometrically connected. Assuming that $C$ is a curve…

In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group…

We show that when using the underlying positive model structure on symmetric spectra one obtains cofibrancy conditions for operadic constructions under much milder hypothesis than one would need for general categories. Our main result…

We provide a geometric-combinatorial model for the category of coherent sheaves on the weighted projective line of type (2,2,n) via a cylindrical surface with n marked points on each of its upper and lower boundaries, equipped with an order…

For a toric variety X_P determined by a rational polyhedral fan P in a lattice N, Payne shows that the equivariant Chow cohomology of X_P is the Sym(N)--algebra C^0(P) of integral piecewise polynomial functions on P. We use the…

This paper addresses the problem of constructing a cycle-level intersection theory for toric varieties. We show that by making one global choice, we can determine a cycle representative for the intersection of an equivariant Cartier divisor…

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…

In this paper, we describe a way to construct cycles which represent the Todd class of a toric variety. Given a lattice with an inner product we assign a rational number m(s) to each rational polyhedral cone s in the lattice, such that for…

Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…

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…

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes.…

Kontsevich and Soibelman discussed homological mirror symmetry by using the SYZ torus fibrations, where they introduced the weighted version of Fukaya-Oh's Morse homotopy on the base space of the dual torus fibration in the intermediate…

Let X ->Y be a Zariski locally trivial fibration of smooth complex projective varieties, with fiber F. We give a structure theorem for the derived category of X provided both F and Z have a full strongly exceptional collection of line…

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…