arXiv subjects

Feiyang Lin

Publications and source records attributed to Feiyang Lin.

7 recordsLinked to original sources

arXiv2025

The locally free locus of Quot schemes on $\mathbb{P}^1$

We characterize components of the locally free locus $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ of the Quot scheme associated to any vector bundle on $\mathbb{P}^1$. Specifically, we show that the components are in bijection with certain combinatorial objects which we call strongly stable pairs. Using our explicit understanding of the components, we prove that $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ is connected, and we give an explicit bound for when $\operatorname{Quot}^{n,d}_{\mathbb{P}^1}(\mathcal{O}(\vec{e}))^{\circ}$ is irreducible. The key ingredient is a combinatorial criterion for when a triple of vector bundles on $\mathbb{P}^1$ arises in a short exact sequence. As a consequence, we prove that in codimension $2$, all integral lattice points in the Boij-S\"oderberg cone are Betti diagrams of actual modules.

math.AG↗

arXiv2025

A Borel--Weil--Bott theorem for Quot schemes on $\mathbb{P}^1$

We study the cohomology groups of tautological bundles on Quot schemes over the projective line, which parametrize rank $r$ quotients of a vector bundle $V$ on $\mathbb{P}^1$. Our main result is an analogue of the Borel--Weil--Bott theorem for Quot schemes. As a corollary, we prove recent conjectures of Marian, Oprea, and Sam on the exterior and symmetric powers of tautological bundles.

math.AG↗

arXiv2025

When are splitting loci Gorenstein?

Splitting loci are certain natural closed substacks of the stack of vector bundles on $\mathbb{P}^1$, which have found interesting applications in the Brill-Noether theory of $k$-gonal curves. In this paper, we completely characterize when splitting loci, as algebraic stacks, are Gorenstein or $\mathbb{Q}$-Gorenstein. The main ingredients of the proof are a computation of the class groups of splitting loci in certain affine extension spaces, and a formula for the class of their canonical module.

math.AG↗

arXiv2025

Resolving the Singularities of Splitting Loci

We construct modular resolutions of singularities for splitting loci, and use them to show that tame splitting loci have rational singularities. As a corollary of our results and Hurwitz-Brill-Noether theory, we prove that if $C$ is a general $k$-gonal curve, the components of $W^r_d(C)$ have rational singularities. We also recover the classical Gieseker-Petri theorem. Along the way, we prove a cohomology vanishing statement for certain tautological vector bundles on $\operatorname{Quot}^{r,d}_{\mathbb{P}^1}(\mathcal{O}^{\oplus N})$, which may be of independent interest.

math.AG↗

arXiv2021

Two Formulas for $F$-Polynomials

We discuss a product formula for $F$-polynomials in cluster algebras, and provide two proofs. One proof is inductive and uses only the mutation rule for $F$-polynomials. The other is based on the Fock-Goncharov decomposition of mutations. We conclude by expanding this product formula as a sum and illustrate applications. This expansion provides an explicit combinatorial computation of $F$-polynomials in a given seed that depends only on the $\mathbf{c}$-vectors and $\mathbf{g}$-vectors along a finite sequence of mutations from the initial seed to the given seed.

math.CO↗

arXiv2020

Symmetric Group Action of the Birational $R$-matrix

The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.

math.CO↗

arXiv2020

On Virtually Cohen-Macaulay Simplicial Complexes

We examine virtual resolutions of Stanley-Reisner ideals for a product of projective spaces. In particular, we provide sufficient conditions for a simplicial complex to be virtually Cohen-Macaulay (to have a virtual resolution with length equal to its codimension). We also show that all balanced simplicial complexes are virtually Cohen-Macaulay.

math.AC↗