Source author record

Song-Yan Xie

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CV math.DS

Catalog footprint

Research overview

5works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

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$ .

preprint2020arXiv

On the Weyl-Ahlfors theory of derived curves

For derived curves intersecting a family of decomposable hyperplanes in subgeneral position, we obtain an analog of Cartan-Nochka Second Main Theorem, generalizing a classical result of Fujimoto about decomposable hyperplanes in general position.

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$ .

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.