arXiv subjects
Publications and source records attributed to Jesse Huang.
We state and prove a realization of King's Conjecture for a category glued from the derived categories of all of the toric varieties arising from a given Cox ring. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties.
We prove that for any normal toric variety, the Rouquier dimension of its bounded derived category of coherent sheaves is equal to its Krull dimension. Our proof uses the coherent-constructible correspondence to translate the problem into the study of Rouquier dimension for certain categories of constructible sheaves.
Let $T=(\C^*)^k$ act on $V=\C^N$ faithfully and preserving the volume form, i.e. $(\C^*)^k \into \text{SL}(V)$. On the B-side, we have toric stacks $Z_W$ (see Eq. \ref{eq:ZW})labelled by walls $W$ in the GKZ fan, and $Z_{/F}$ labelled by faces of a polytope corresponding to minimal semi-orthogonal decomposition (SOD) components. The B-side multiplicity $n^B_{W,F}$, well-defined by a result of Kite-Segal \cite{kite-segal}, is the number of times $\Coh(Z_{/F})$ appears in a complete SOD of $\Coh(Z_W)$. On the A-side, we have the GKZ discriminant loci components $\nabla_F \In (\C^*)^k$, and its tropicalization $\nabla^{trop}_{F} \In \R^k$. The A-side multiplicity $n^A_{W, F}$ is defined as the multiplicity of the tropical complex $\nabla^{trop}_{F}$ on wall $W$. We prove that $n^A_{W,F} = n^B_{W,F}$, confirming a conjecture in Kite-Segal \cite{kite-segal} inspired by \cite{aspinwall2017mirror}. Our proof is based on the result of Horja-Katzarkov \cite{horja2022discriminants} and a lemma about B-side SOD multiplicity, which allows us to reduce to lower dimension just as in A-side \cite{GKZ-book}[Ch 11].
We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and entrance/exit paths. As examples, we prove versions of homological mirror symmetry due to Bondal-Ruan for toric varieties and due to Berglund-H\"ubsch-Krawitz for hypersurfaces with maximal symmetry. We also demonstrate that a form of shellability implies Koszulity and the existence of a minimal cellular resolution. In particular, when the algebra determined by the image of the toric Frobenius morphism is directable, then it is Koszul and admits a minimal cellular resolution.
Consider $(\mathbb{C}^*)^k$ acting on $\mathbb{C}^N$ satisfying certain 'quasi-symmetric' condition which produces a class of toric Calabi-Yau GIT quotient stacks. Using subcategories of $Coh([\mathbb{C}^N / (\mathbb{C}^*)^k])$ generated by line bundles whose weights are inside certain zonotope called the 'magic window', Halpern-Leistner and Sam give a combinatorial construction of equivalences between derived categories of coherent sheaves for various GIT quotients. We apply the coherent-constructible correspondence for toric varieties to the magic windows and obtain a non-characteristic deformation of Lagrangian skeletons in $\mathbb{R}^{N-k}$ parameterized by $\mathbb{R}^k$, exhibiting derived equivalences between A-models of the various phases. Moreover, by translating the magic window zonotope in $\mathbb{R}^k$, we obtain a universal skeleton over $\mathbb{R}^k \times \mathbb{R}^k \setminus \mathcal{D}$ for some fattening of hyperplane arrangements $\mathcal{D}$, and we show that the the universal skeleton induces a local system of categories over $\mathbb{R}^k \times \mathbb{R}^k \setminus \mathcal{D}$. We also connect our results to the perverse schober structure identified by Špenko and Van den Bergh.
In epidemiological research, it is common to investigate the interaction between risk factors for an outcome such as a disease and hence to estimate the risk associated with being exposed for either or both of two risk factors under investigation. Interactions can be estimated both on the additive and multiplicative scale using the same regression model. We here present a review for calculating interaction and estimating the risk and confidence interval of two exposures using a single regression model and the relationship between measures, particularly the standard error for the combined exposure risk group.