Showing 1–16 of 16 results for author: Shentu, J

Kollár's package for polystable locally abelian parabolic Higgs bundles

Authors: Junchao Shentu, Chen Zhao

Abstract: We generalize Kollár's package (including torsion freeness, injectivity theorem, vanishing theorem and decomposition theorem) to polystable locally abelian parabolic Higgs bundles twisted by a multiplier ideal sheaf associated with an $\mathbb{R}$-divisor. This gives a uniform treatment for various kinds of Kollár's package in different topics in complex geometry. As applications, the weakly posit… ▽ More We generalize Kollár's package (including torsion freeness, injectivity theorem, vanishing theorem and decomposition theorem) to polystable locally abelian parabolic Higgs bundles twisted by a multiplier ideal sheaf associated with an $\mathbb{R}$-divisor. This gives a uniform treatment for various kinds of Kollár's package in different topics in complex geometry. As applications, the weakly positivity (in the sense of Viehweg) and the generic vanishing property for higher direct image sheaves are deduced. △ Less

Submitted 15 May, 2025; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: 29 pages. Some errors are fixed. Comments are welcome

Arakelov Type Inequalities and Deformation Boundedness of polarized varieties

Authors: Junchao Shentu

Abstract: We give two kinds of generalizations of Arakelov type inequalities for higher dimensional families. These results give higher dimensional generalizations (in both fibers and bases) of the weakly boundedness in Paršin-Arakelov's reformulation of the geometric Shafarevich conjecture. As a consequence, we deduce the following results. Hyperbolicity: We give an alternative proof (using the theory of… ▽ More We give two kinds of generalizations of Arakelov type inequalities for higher dimensional families. These results give higher dimensional generalizations (in both fibers and bases) of the weakly boundedness in Paršin-Arakelov's reformulation of the geometric Shafarevich conjecture. As a consequence, we deduce the following results. Hyperbolicity: We give an alternative proof (using the theory of degeneration of Hodge structure) to the hyperbolicity (in Paršin-Arakelov's reformulation, i.e. Viehweg's hyperbolicity conjecture) of the base of a family with maximal variation whose general fibers admit good minimal models. This has been proved by Popa-Schnell Hodge theoretically. Boundedness: We show the deformation boundedness of admissible families of lc stable minimal models (introduced by Birkar) with an arbitrary Kodaira dimension. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: 39 pages. Comments are welcome. arXiv admin note: substantial text overlap with arXiv:2302.09828

Hyperbolicity of the base of an admissible family of log canonical stable minimal models

Authors: Junchao Shentu, Chen Zhao

Abstract: We investigate the stratified hyperbolicity properties of Birkar's moduli stack of log canonical (lc) stable minimal models. The main technical result is a construction of Viehweg-Zuo's system of Higgs sheaves associated with an admissible family of lc stable minimal models, using the theory of degenerations of Hodge structure and non-abelian Hodge theory. We investigate the stratified hyperbolicity properties of Birkar's moduli stack of log canonical (lc) stable minimal models. The main technical result is a construction of Viehweg-Zuo's system of Higgs sheaves associated with an admissible family of lc stable minimal models, using the theory of degenerations of Hodge structure and non-abelian Hodge theory. △ Less

Submitted 10 March, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 34 pages. Some typos are fixed. Comments are welcome

Kollár's Package for Twisted Saito's S-sheaves

Authors: Junchao Shentu, Chen Zhao

Abstract: We generalize Kollár's conjecture (including torsion freeness, injectivity theorem, vanishing theorem and decomposition theorem) to Saito's $S$-sheaves twisted by a $\mathbb{Q}$-divisor. This gives a uniform treatment for various kinds of Kollár's package in different topics in complex geometry. As a consequence we prove Kollár's package of pluricanonical bundles twisted by a certain multiplier id… ▽ More We generalize Kollár's conjecture (including torsion freeness, injectivity theorem, vanishing theorem and decomposition theorem) to Saito's $S$-sheaves twisted by a $\mathbb{Q}$-divisor. This gives a uniform treatment for various kinds of Kollár's package in different topics in complex geometry. As a consequence we prove Kollár's package of pluricanonical bundles twisted by a certain multiplier ideal sheaf. The method of the present paper is $L^2$-theoretic. △ Less

Submitted 8 October, 2022; originally announced October 2022.

Comments: Comments are welcome

$L^2$-Extension of Adjoint bundles and Kollár's Conjecture

Authors: Junchao Shentu, Chen Zhao

Abstract: We give a new proof of Kollár's conjecture on the pushforward of the dualizing sheaf twisted by a variation of Hodge structure. This conjecture was settled by M. Saito via mixed Hodge modules and has applications in the investigation of Albanese maps. Our technique is the $L^2$-method and we give a concrete construction and proofs of the conjecture. The $L^2$ point of view allows us to generalize… ▽ More We give a new proof of Kollár's conjecture on the pushforward of the dualizing sheaf twisted by a variation of Hodge structure. This conjecture was settled by M. Saito via mixed Hodge modules and has applications in the investigation of Albanese maps. Our technique is the $L^2$-method and we give a concrete construction and proofs of the conjecture. The $L^2$ point of view allows us to generalize Kollár's conjecture to the context of non-abelian Hodge theory. △ Less

Submitted 24 June, 2021; originally announced June 2021.

Comments: 28 pages. Comments are welcomed

$L^2$-Dolbeault resolution of the lowest Hodge piece of a Hodge module

Authors: Junchao Shentu, Chen Zhao

Abstract: In this paper, we introduce a coherent subsheaf of Saito's $S$-sheaf, which is a combination of the $S$-sheaf and the multiplier ideal sheaf. We construct its $L^2$-Dolbeault resolution, which generalizes MacPherson's conjecture on the $L^2$ resolution of the Grauert-Riemenschneider sheaf. We also prove various vanishing theorems for the $S$-sheaf (Saito's vanishing theorem, Kawamata-Viehweg vanis… ▽ More In this paper, we introduce a coherent subsheaf of Saito's $S$-sheaf, which is a combination of the $S$-sheaf and the multiplier ideal sheaf. We construct its $L^2$-Dolbeault resolution, which generalizes MacPherson's conjecture on the $L^2$ resolution of the Grauert-Riemenschneider sheaf. We also prove various vanishing theorems for the $S$-sheaf (Saito's vanishing theorem, Kawamata-Viehweg vanishing theorem and some new ones like Nadel vanishing theorem) transcendentally. Finally, we discuss some applications of our results on the relative version of Fujita's conjecture (e.g. Kawamata's conjecture). △ Less

Submitted 20 February, 2023; v1 submitted 10 April, 2021; originally announced April 2021.

Comments: 36 pages. Some parts are rewritten without changing the main resutls. Comments are welcomed

$L^2$-representation of Hodge Modules

Authors: Junchao Shentu, Chen Zhao

Abstract: Over an arbitrary compact complex space or an arbitrary germ of complex space $X$, we provide fine resolutions of pure Hodge modules with strict supports $IC_X(\mathbb{V})$ via differential forms with locally $L^2$ boundary conditions. When $\mathbb{V}=\mathbb{C}_{X_{\rm reg}}$ is the trivial variation of Hodge structure, we give a solution to a Cheeger-Goresky-MacPherson type conjecture: For any… ▽ More Over an arbitrary compact complex space or an arbitrary germ of complex space $X$, we provide fine resolutions of pure Hodge modules with strict supports $IC_X(\mathbb{V})$ via differential forms with locally $L^2$ boundary conditions. When $\mathbb{V}=\mathbb{C}_{X_{\rm reg}}$ is the trivial variation of Hodge structure, we give a solution to a Cheeger-Goresky-MacPherson type conjecture: For any compact complex space $X$, there is a complete hermitian metric $ds^2$ on $X_{\rm reg}$ such that there is a canonical isomorphism $$H^i_{(2)}(X_{\rm reg},ds^2)\simeq IH^i(X),\quad \forall i.$$ Such metric $ds^2$ could be Kähler if $X$ is a Kähler space. As an application, we give a differential geometrical proof of the Kähler package of the hypercohomology of pure Hodge modules. We also prove the Kähler version of Kashiwara's conjecture in the absolute case. △ Less

Submitted 6 March, 2021; originally announced March 2021.

Comments: 58 pages. Comments are welcomed

MacPherson's Conjecture via Hörmander Estimate

Authors: Junchao Shentu, Chen Zhao

Abstract: In this notes we reprove MacPherson's conjecture on $L^2-(n,q)$-cohomology through Demailly's formulation of Hörmander's Estimate. This approach allows us to weaken the condition of locally semipositivity in Ruppenthal's $L^2$-representation of adjoint bundle. Moreover we prove the MacPherson's conjecture of twisted coefficient bundle under an arbitrary singular hermitian metric. As applications,… ▽ More In this notes we reprove MacPherson's conjecture on $L^2-(n,q)$-cohomology through Demailly's formulation of Hörmander's Estimate. This approach allows us to weaken the condition of locally semipositivity in Ruppenthal's $L^2$-representation of adjoint bundle. Moreover we prove the MacPherson's conjecture of twisted coefficient bundle under an arbitrary singular hermitian metric. As applications, we study the MacPherson type problem for pluri-canonical bundle. △ Less

Submitted 22 February, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 12 pages. Comments are welcomed

On $E_1$-degeneration for the special fiber of a semistable family

Authors: Mao Sheng, Junchao Shentu

Abstract: We study the $E_1$-degeneration of the logarithmic Hodge to de Rham spectral sequence of the special fiber of a semistable family over a discrete valuation ring. On the one hand, we prove that the $E_1$-degeneration property is invariant under admissible blow-ups. Assuming functorial resolution of singularities over $\mathbb{Z}$, this implies that the $E_1$-degeneration property depends only on th… ▽ More We study the $E_1$-degeneration of the logarithmic Hodge to de Rham spectral sequence of the special fiber of a semistable family over a discrete valuation ring. On the one hand, we prove that the $E_1$-degeneration property is invariant under admissible blow-ups. Assuming functorial resolution of singularities over $\mathbb{Z}$, this implies that the $E_1$-degeneration property depends only on the generic fiber. On the other hand, we show by explicit examples that the decomposability of the logarithmic de Rham complex is not invariant under admissible blow-ups, which answer negatively an open problem of L. Illusie (Problem 7.14 \cite{Illusie2002}). We also give an algebraic proof of an $E_1$-degeneration result in characteristic zero due to Steenbrink and Kawamata-Namikawa. △ Less

Submitted 23 March, 2019; originally announced March 2019.

Comments: 20 pages

MSC Class: 14C30; 14F40

Some examples of DR-indecomposable special fibers of semi-stable reductions over Witt rings

Authors: Mao Sheng, Junchao Shentu

Abstract: We answer negatively an open problem of Illusie on the DR-decomposability of the log de Rham complex of the special fiber of a semi-stable reduction over the Witt ring. We also show that $E_1$ degeneration of the Hodge to log de Rham spectral sequence does not imply DR-decomposability of semi-stable varieties. We answer negatively an open problem of Illusie on the DR-decomposability of the log de Rham complex of the special fiber of a semi-stable reduction over the Witt ring. We also show that $E_1$ degeneration of the Hodge to log de Rham spectral sequence does not imply DR-decomposability of semi-stable varieties. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 14 pages

MSC Class: 14C30; 14F40

On the Simultaneously Generation of Jets of the Adjoint Bundles

Authors: Junchao Shentu, Yongming Zhang

Abstract: In this paper, we investigate the problem of simultaneously generations of $r$-jets of $ω_X\otimes L^{\otimes m}$ when $L$ is ample and base point free. It turns out that in this case, the bound of $m$ is optimistic, i.e. $m\geq f(r)=n+r+1$, which is linear in $r$. Our results work over arbitrary characteristics. We also treat the same problem when $X$ is singular where $ω_X$ is replaced by the pu… ▽ More In this paper, we investigate the problem of simultaneously generations of $r$-jets of $ω_X\otimes L^{\otimes m}$ when $L$ is ample and base point free. It turns out that in this case, the bound of $m$ is optimistic, i.e. $m\geq f(r)=n+r+1$, which is linear in $r$. Our results work over arbitrary characteristics. We also treat the same problem when $X$ is singular where $ω_X$ is replaced by the pushforward of canonical sheaves or the cohomology sheaves of dualizing complexes. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 12 pages, comments are welcomed

MSC Class: 14E25; 14C20

Smoothing of semistable Fano varieties

Authors: Junchao Shentu

Abstract: Given any field $k$ (not necessarily perfect), we study the smoothing of a semistable Fano variety over $k$. In characteristic 0, the reduced semistable Fano degenerate fibers of Mori fibrations are classified. In positive characteristic, under a suitable $W_2$ lifting assumption, we prove that a semistable Fano variety always appears as a degenerate fiber in a semistable family if it has a global… ▽ More Given any field $k$ (not necessarily perfect), we study the smoothing of a semistable Fano variety over $k$. In characteristic 0, the reduced semistable Fano degenerate fibers of Mori fibrations are classified. In positive characteristic, under a suitable $W_2$ lifting assumption, we prove that a semistable Fano variety always appears as a degenerate fiber in a semistable family if it has a global log structure (in the sense of Fontaine-Illusie-Kato) of semistable type. A similar smoothing result over a mixed characteristic base is also obtained. △ Less

Submitted 2 June, 2016; originally announced June 2016.

Comments: 12 pages. Comments are welcome

On the Integral Representation of Binary Quadratic Forms and the Artin Condition

Authors: Chang Lv, Junchao Shentu, Yingpu Deng

Abstract: For diophantine equations of the form ax^2+bxy+cy^2+g=0 over Z whose coefficients satisfy some assumptions, we show that a condition with respect to Artin reciprocity map, which we call the Artin condition, is the only obstruction to the local-global principle for integral solutions of the equation. Some concrete examples are presented. For diophantine equations of the form ax^2+bxy+cy^2+g=0 over Z whose coefficients satisfy some assumptions, we show that a condition with respect to Artin reciprocity map, which we call the Artin condition, is the only obstruction to the local-global principle for integral solutions of the equation. Some concrete examples are presented. △ Less

Submitted 5 December, 2016; v1 submitted 16 October, 2015; originally announced October 2015.

Comments: 11 pages, git commit 20150803a/3b8df3d. arXiv admin note: substantial text overlap with arXiv:1502.07457

MSC Class: Primary 11D09; 11E12; 11D57; Secondary 11D57; 14L30; 11R37

Journal ref: Tokyo J. Math. 41 (2018), no. 2, 371-384

On the Integral Representation of $ax^2+by^2$ and the Artin Condition

Authors: Chang Lv, Junchao Shentu

Abstract: Given a number field $F$ with $ø_F$ its ring of integers. For certain $a,b$ and $α$ in $ø_F$, we show that the Artin condition is the only obstruction to the local-global principle for integral solutions of equation $ax^2+by^2=α$. Some concrete examples are presented at last. Given a number field $F$ with $ø_F$ its ring of integers. For certain $a,b$ and $α$ in $ø_F$, we show that the Artin condition is the only obstruction to the local-global principle for integral solutions of equation $ax^2+by^2=α$. Some concrete examples are presented at last. △ Less

Submitted 26 February, 2015; originally announced February 2015.

Comments: 9 pages; git commit: 20140801a/2a08e8f

Strong Stability of Cotangent Bundles of Cyclic Covers

Authors: Lingguang Li, Junchao Shentu

Abstract: Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ of $\dim X\geq 4$ and Picard number $ρ(X)=1$. Suppose that $X$ satisfies $H^i(X,F^{m*}_X(\Omg^j_X)\otimes\Ls^{-1})=0$ for any ample line bundle $\Ls$ on $X$, and any nonnegative integers $m,i,j$ with $0\leq i+j<\dim X$, where $F_X:X\rightarrow X$ is the absolute Frobenius morphism. We prove that b… ▽ More Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ of $\dim X\geq 4$ and Picard number $ρ(X)=1$. Suppose that $X$ satisfies $H^i(X,F^{m*}_X(\Omg^j_X)\otimes\Ls^{-1})=0$ for any ample line bundle $\Ls$ on $X$, and any nonnegative integers $m,i,j$ with $0\leq i+j<\dim X$, where $F_X:X\rightarrow X$ is the absolute Frobenius morphism. We prove that by procedures combining taking smooth hypersurfaces of dimension $\geq 3$ and cyclic covers along smooth divisors, if the resulting smooth projective variety $Y$ has ample (resp. nef) canonical bundle $ω_Y$, then $\Omg_Y$ is strongly stable $($resp. strongly semistable$)$ with respect to any polarization. △ Less

Submitted 27 May, 2014; v1 submitted 1 May, 2014; originally announced May 2014.

Comments: To appear in Comptes Rendus Mathématique

MSC Class: 14F17; 14G17; 14J60

Equivalence of two notions of log moduli stacks

Authors: Junchao Shentu

Abstract: We show the equivalence between two notions of log moduli stacks which appear in literatures. In particular, we generalize M.Olsson's theorem of representation of log algebraic stacks and answer a question posted by him (\cite{Ol4} 3.5.3). As an application, we obtain several fundamental results of algebraic log stacks which resemble to those in algebraic stacks. We show the equivalence between two notions of log moduli stacks which appear in literatures. In particular, we generalize M.Olsson's theorem of representation of log algebraic stacks and answer a question posted by him (\cite{Ol4} 3.5.3). As an application, we obtain several fundamental results of algebraic log stacks which resemble to those in algebraic stacks. △ Less

Submitted 9 May, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: 27 pages

MSC Class: 14D23; 14A20; 18D30;