Researcher profile

Gufang Zhao

Gufang Zhao contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AG math.RT hep-th math.AT math.GR math.QA math.GT

Trust snapshot

Quick read

Trust 21 - Emerging

10works

0followers

7topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Quasimaps to quivers with potentials

This paper is concerned with a non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable curves to the critical locus of the potential, and prove a gluing formula in the formalism of cohomological field theories. The main examples studied in this paper is when the above setting arises from quivers with potentials, where the above construction gives quantum correction to the equivariant Chow homology of the critical locus. Following similar ideas as in quasimaps to Nakajima quiver varieties studied by the Okounkov school, we analyse vertex functions in several examples, including Hilbert schemes of points on $\mathbb{C}^3$, moduli spaces of perverse coherent systems on the resolved conifold, and a quiver which defines higher $\mathfrak{sl}_2$-spin chains. Bethe equations are calculated in these cases. The construction in the present paper is based on the theory of gauged linear sigma models as well as shifted symplectic geometry of Pantev, Toën, Vaquie and Vezzosi, and uses the virtual pullback formalism of symmetric obstruction theory of Park, which arises from the recent development of Donaldson-Thomas theory of Calabi-Yau 4-folds.

preprint2022arXiv

The cohomological Hall algebras of a preprojective algebra with symmetrizer

This paper aims at a geometric realization of the Yangian of non-simply laced type in terms of quiver with potentials. For every quiver with symmetrizer, there is an extended quiver with superpotential, whose Jacobian algebra is the generalized preprojective algebra of Geiß, Leclerc, and Schröer arXiv:1410.1403. We study the cohomological Hall algebra of Kontsevich and Soibelman associated to this quiver with potential. In particular, we prove a dimensional reduction result, and provide a shuffle formula of this cohomological Hall algebra. In the case when the quiver with symmetrizer comes from a symmetrizable Cartan matrix, we prove that this shuffle algebra satisfies the relations of the Yangian associated to this Cartan matrix.

preprint2020arXiv

Categorification via blocks of modular representations for sl(n)

Bernstein, Frenkel, and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$, where they use singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$ and translation functors. Here we construct a positive characteristic analogue using blocks of representations of $\mathfrak{sl}_n$ over a field $\textbf{k}$ of characteristic $p$ with zero Frobenius character, and singular Harish-Chandra character. We show that the aforementioned categorification admits a Koszul graded lift, which is equivalent to a geometric categorification constructed by Cautis, Kamnitzer, and Licata using coherent sheaves on cotangent bundles to Grassmanians. In particular, the latter admits an abelian refinement. With respect to this abelian refinement, the stratified Mukai flop induces a perverse equivalence on the derived categories for complementary Grassmanians. This is part of a larger project to give a combinatorial approach to Lusztig's conjectures for representations of Lie algebras in positive characteristic.

preprint2019arXiv

Cohomological Hall algebras, vertex algebras and instantons

We define an action of the (double of) Cohomological Hall algebra of Kontsevich and Soibelman on the cohomology of the moduli space of spiked instantons of Nekrasov. We identify this action with the one of the affine Yangian of $\mathfrak{gl}(1)$. Based on that we derive the vertex algebra at the corner $\mathcal{W}_{r_1,r_2,r_3}$ of Gaiotto and Rapcak. We conjecture that our approach works for a big class of Calabi-Yau categories, including those associated with toric Calabi-Yau $3$-folds.

preprint2018arXiv

On two cohomological Hall algebras

We compare two cohomological Hall algebras (CoHA). The first one is the preprojective CoHA introduced by the authors in arXiv:1407.7994 associated to each quiver Q, and each algebraic oriented cohomology theory A. It is defined as the A-homology of the moduli of representations of the preprojective algebra of Q, generalizing the K-theoretic Hall algebra of commuting varieties of Schiffmann-Vasserot. The other one is the critical CoHA defined by Kontsevich-Soibelman associated to each quiver with potentials. It is defined using the equivariant cohomology with compact support with coefficients in the sheaf of vanishing cycles. In the present paper, we show that the critical CoHA, for the quiver with potential of Ginzburg, is isomorphic to the preprojective CoHA as algebras. As applications, we obtain an algebra homomorphism from the positive part of the Yangian to the critical CoHA.

preprint2016arXiv

Algebraic elliptic cohomology theory and flops, I

We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.

preprint2015arXiv

Geometric representations of the formal affine Hecke algebra

For any formal group law, there is a formal affine Hecke algebra defined by Hoffnung, Malagón-López, Savage, and Zainoulline. Coming from this formal group law, there is also an oriented cohomology theory. We identify the formal affine Hecke algebra with a convolution algebra coming from the oriented cohomology theory applied to the Steinberg variety. As a consequence, this algebra acts on the corresponding cohomology of the Springer fibers. This generalizes the action of classical affine Hecke algebra on the $K$-theory of the Springer fibers constructed by Lusztig. We also give a residue interpretation of the formal affine Hecke algebra, which coincides with the residue construction of Ginzburg, Kapranov, and Vasserot when the formal group law comes from a 1-dimensional algebraic group.

preprint2015arXiv

Homological finiteness of abelian covers

We present a method for deciding when a regular abelian cover of a finite CW-complex has finite Betti numbers. To start with, we describe a natural parameter space for all regular covers of a finite CW-complex X, with group of deck transformations a fixed abelian group A, which in the case of free abelian covers of rank r coincides with the Grassmanian of r-planes in H^1(X,\Q). Inside this parameter space, there is a subset Ω_A^i(X) consisting of all the covers with finite Betti numbers up to degree i. Building on work of Dwyer and Fried, we show how to compute these sets in terms of the jump loci for homology with coefficients in rank 1 local systems on X. For certain spaces, such as smooth, quasi-projective varieties, the generalized Dwyer-Fried invariants that we introduce here can be computed in terms of intersections of algebraic subtori in the character group. For many spaces of interest, the homological finiteness of abelian covers can be tested through the corresponding free abelian covers. Yet in general, abelian covers exhibit different homological finiteness properties than their free abelian counterparts.

preprint2014arXiv

Real variations of stability conditions for noncommutative symplectic resolutions

A localization theorem for the cyclotomic rational Cherednik algebra $H_c=H_c((\mathbb{Z}/l)^n\rtimes \mathfrak{S}_n)$ over a field of positive characteristic has been proved by Bezrukavnikov, Finkelberg and Ginzburg. Localizations with different parameters give different $t$-structures on the derived category of coherent sheaves on the Hilbert scheme of points on a surface. In this short note, we concentrate on the comparison between different $t$-structures coming from different localizations. When $n=2$, we show an explicit construction of tilting bundles that generates these $t$-structures. These $t$-structures are controlled by a real variation of stability conditions, a notion related to Bridgeland stability conditions. We also show its relation to the topology of Hilbert schemes and irreducible representations of $H_c$.

preprint2012arXiv

Intersections of translated algebraic subtori

We exploit the classical correspondence between finitely generated abelian groups and abelian complex algebraic reductive groups to study the intersection theory of translated subgroups in an abelian complex algebraic reductive group, with special emphasis on intersections of (torsion) translated subtori in an algebraic torus.