Researcher profile

Song-Yan Xie

Song-Yan Xie contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

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.

Published work

5 published item(s)

preprint2026arXiv

A Second Main Theorem for Entire Curves Intersecting Three Conics

We establish a Second Main Theorem for entire holomorphic curves \( f: \mathbb{C} \to \mathbb{P}^2 \) intersecting a generic configuration of three conics \(\mathcal{C}= \mathcal{C}_1+ \mathcal{C}_2+ \mathcal{C}_3 \) in the complex projective plane $\mathbb{P}^2$. Using invariant logarithmic $2$-jet differentials with negative twists, we prove the estimate \[ T_f(r) \leqslant 5 \sum_{i=1}^3 N_f^{[1]}(r, \mathcal{C}_i) + o\big(T_f(r)\big)\quad\parallel, \] where \( T_f(r) \) is the Nevanlinna characteristic function, and \( N_f^{[1]}(r, \mathcal{C}_i) \) is the $1$-truncated counting function. The key innovation of our approach is establishing new vanishing lemmas of the form \[ H^0\bigl(\mathbb{P}^2,\, E_{2,m}T_{\mathbb{P}^2}^*(\log \mathcal{C}) \otimes \mathcal{O}_{\mathbb{P}^2}(-t)\bigr) = 0 \] for specific pairs \((m, t)\), achieved by combining algebro-geometric arguments with computer-assisted computations through a mod-\(p\) reduction technique. This yields a systematic method for proving vanishing results for negatively twisted jet differentials -- a key component in complex hyperbolic geometry.

preprint2021arXiv

On Ahlfors currents

We answer a basic question in Nevanlinna theory that Ahlfors currents associated to the same entire curve may be nonunique. Indeed, we will construct one exotic entire curve $f: \mathbb{C}\rightarrow X$ which produces infinitely many cohomologically different Ahlfors currents. Moreover, concerning Siu's decomposition, for an arbitrary $k\in \mathbb{Z}_{+}\cup \{\infty\}$, some of the obtained Ahlfors currents have singular parts supported on $k$ irreducible curves. In addition, they can have nonzero diffuse parts as well. Lastly, we provide new examples of diffuse Ahlfors currents on the product of two elliptic curves and on $\mathbb{P}^2(\mathbb{C})$, and we show cohomologically elaborate Ahlfors currents on blow-ups of $X$.

preprint2016arXiv

Generalized Brotbek's symmetric differential forms and applications

Over an algebraically closed field $\mathbb{K}$ with any characteristic, on an $N$-dimensional smooth projective $\mathbb{K}$-variety $\mathbf{P}$ equipped with $c\geqslant N/2$ very ample line bundles $\mathcal{L}_1,\dots,\mathcal{L}_c$, we study the General Debarre Ampleness Conjecture, which expects that for all large degrees $d_1,\dots,d_c\geqslant d_0\gg 1$, for generic $c$ hypersurfaces $ H_1\in \big|\mathcal{L}_1^{\,\otimes\,d_1}\big|$, $\dots$, $H_c\in \big|\mathcal{L}_c^{\,\otimes\,d_c}\big|$, the complete intersection $X:=H_1 \cap \cdots \cap H_c$ has ample cotangent bundle $Ω_X$. First, we introduce a notion of formal matrices and a dividing device to produce negatively twisted symmetric differential forms, which extend the previous constructions of Brotbek and the author. Next, we adapt the moving coefficients method (MCM), and we establish that, if $\mathcal{L}_1,\dots,\mathcal{L}_c$ are almost proportional to each other, then the above conjecture holds true. Our method is effective: for instance, in the simple case $\mathcal{L}_1=\cdots=\mathcal{L}_c$, we provide an explicit lower degree bound $d_0=N^{N^2}$.

preprint2016arXiv

On the ampleness of the cotangent bundles of complete intersections

Based on a geometric interpretation of Brotbek's symmetric differential forms, for the intersection family $\mathcal{X}$ of generalized Fermat-type hypersurfaces in $\mathbb{P}_{\mathbb{K}}^N$ defined over any field $\mathbb K$, we reconstruct explicit symmetric differential forms by applying Cramer's rule, skipping cohomology arguments, and we further exhibit unveiled families of lower degree symmetric differential forms on all possible intersections of $\mathcal{X}$ with coordinate hyperplanes. Thereafter, we develop what we call the `moving coefficients method' to prove a conjecture made by Olivier Debarre: for generic $c\geqslant N/2$ hypersurfaces $H_1,\dots,H_c\subset \mathbb{P}_{\mathbb C}^N$ of degrees $d_1,\dots,d_c$ sufficiently large, the intersection $X:=H_1 \cap \cdots \cap H_c $ has ample cotangent bundle $Ω_X$, and concerning effectiveness, the lower bound $ d_1,\dots,d_c\geqslant N^{N^2} $ works. Lastly, thanks to known results about the Fujita Conjecture, we establish the very-ampleness of $\mathsf{Sym}^κ\,Ω_X$ for all $κ\geqslant 64\, \Big( \sum_{i=1}^c\, d_i \Big)^2 $.