Truncated microsupport and hyperbolic inequalities

Truncated microsupport and holomorphic solutions of D-modules

We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely determined by the characteristic variety of $M$. As an application, we obtain an extension theorem for the sections of $H^j(F)$, $j<d$, defined on an open subset whose boundary is non characteristic outside of a complex analytic subvariety of codimension $d$. We also give a characterization of the perversity for ${\bf C}$-constructible sheaves in terms of their trunc…

Involutivity of truncated microsupports

Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does their Poisson bracket.

函数域上阿贝尔簇的GCD与ABC不等式

GCD and ABC inequalities for abelian varieties over function fields

该研究证明了特征0函数域上阿贝尔簇有理点的GCD不等式与几何abc猜想的特殊情形，采用三步证明模式，借助Xie-Yuan高度等工具解决了Buium的相关猜想。