Source author record

Junliang Shen

Junliang Shen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.RT math.DG math.SG

Catalog footprint

What is connected

9works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2026arXiv

On generalized Beauville decompositions

Motivated by the Beauville decomposition of an abelian scheme and the "Perverse = Chern" phenomenon for a compactified Jacobian fibration, we study in this paper splittings of the perverse filtration for compactified Jacobian fibrations. On the one hand, we prove for the Beauville-Mukai system associated with an irreducible curve class on a $K3$ surface the existence of a Fourier-stable multiplicative splitting of the perverse filtration, which extends the Beauville decomposition for the nonsingular fibers. Our approach is to construct a Lefschetz decomposition associated with a Fourier-conjugate $\mathfrak{sl}_2$-triple, which relies heavily on recent work concerning the interaction between derived equivalences and LLV algebras for hyper-Kähler varieties. Motivic lifting and connections to the Beauville-Voisin conjectures are also discussed. On the other hand, we construct for any $g\geq 2$ a compactified Jacobian fibration of genus $g$ curves such that each curve is integral with at worst simple nodes and the (multiplicative) perverse filtration does not admit a multiplicative splitting. Our argument relies on the recently established universal double ramification cycle relations. This shows that in general an extension of the Beauville decomposition cannot exist for compactified Jacobian fibrations even when the simplest singular point appears.

preprint2023arXiv

Fourier-Mukai transforms and the decomposition theorem for integrable systems

We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $π: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of Kähler differentials, after restriction to the formal neighborhood of the zero section, are quantized by the Hodge modules arising in the decomposition theorem for $π$. For an integrable system, our formulation unifies the Fourier-Mukai calculation of the structure sheaf by Arinkin-Fedorov, the theorem of the higher direct images by Matsushita, and the "perverse = Hodge" identity by the second and the third authors. As evidence, we show that these Fourier-Mukai images are Cohen-Macaulay sheaves with middle-dimensional support on the relative Picard space, with support governed by the higher discriminants of the integrable system. We also prove the conjecture for smooth integrable systems and certain 2-dimensional families with nodal singular fibers. Finally, we sketch the proof when cuspidal fibers appear.

preprint2021arXiv

Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds

We establish a compact analog of the P = W conjecture. For a holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kähler manifolds. We present two applications of our result, one on the topology of the base and fibers of a Lagrangian fibration, the other on the refined Gopakumar-Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration associated with a Lagrangian fibration is multiplicative under cup product.

preprint2020arXiv

On the P=W conjecture for $\mathrm{SL}_n$

Let $p$ be a prime number. We prove that the $P=W$ conjecture for $\mathrm{SL}_p$ is equivalent to the $P=W$ conjecture for $\mathrm{GL}_p$. As a consequence, we verify the $P=W$ conjecture for genus 2 and $\mathrm{SL}_p$. For the proof, we compute the perverse filtration and the weight filtration for the variant cohomology associated with the $\mathrm{SL}_p$-Hitchin moduli space and the $\mathrm{SL}_p$-twisted character variety, relying on Gröchenig-Wyss-Ziegler's recent proof of the topological mirror conjecture by Hausel-Thaddeus. Finally we discuss obstructions of studying the cohomology of the $\mathrm{SL}_n$-Hitchin moduli space via compact hyper-Kähler manifolds.

preprint2020arXiv

Rational curves in holomorphic symplectic varieties and Gromov-Witten invariants

We use Gromov-Witten theory to study rational curves in holomorphic symplectic varieties. We present a numerical criterion for the existence of uniruled divisors swept out by rational curves in the primitive curve class of a very general holomorphic symplectic variety of $K3^{[n]}$ type. We also classify all rational curves in the primitive curve class of the Fano variety of lines in a very general cubic $4$-fold, and prove the irreducibility of the corresponding moduli space. Our proofs rely on Gromov-Witten calculations by the first author, and in the Fano case on a geometric construction of Voisin. In the Fano case a second proof via classical geometry is sketched.

preprint2016arXiv

On O'Grady's generalized Franchetta conjecture

We study relative zero cycles on the universal polarized $K3$ surface $X \to \mathcal{F}_g$ of degree $2g - 2$. It was asked by O'Grady if the restriction of any class in $\mathrm{CH}^2(X)$ to a closed fiber $X_s$ is a multiple of the Beauville-Voisin canonical class $c_{X_s} \in \mathrm{CH}_0(X_s)$. Using Mukai models, we give an affirmative answer to this question for $g \leq 10$ and $g = 12, 13, 16, 18, 20$.

preprint2015arXiv

Motivic classes of generalized Kummer schemes via relative power structures

We develop a power structure over the Grothendieck ring of varieties relative to an abelian monoid, which allows us to compute the motivic class of the generalized Kummer scheme. We obtain a generalized version of Cheah's formula for the Hilbert scheme of points, which specializes to Gulbrandsen's conjecture for Euler characteristics. Moreover, in the surface case we prove a conjecture of Göttsche for geometrically ruled surfaces, and we obtain an explicit formula for the virtual motive of the generalized Kummer scheme in dimension three.

preprint2015arXiv

The Euler characteristics of generalized Kummer schemes

We compute the Euler characteristics of the generalized Kummer schemes associated to $A\times Y$, where $A$ is an abelian variety and $Y$ is a smooth quasi-projective variety. When $Y$ is a point, our results prove a formula conjectured by Gulbrandsen.

preprint2013arXiv

An example on volumes jumping over Zariski dense set

We give an example that the volume of an $\mathbb{R}$-divisor on a family of complex smooth surfaces jumps at infinite many prime divisors in the base. Our example follows the construction in \cite{1}.