arXiv subjects
Publications and source records attributed to Yongqiang Liu.
Using the Brylinski-Radon transformation, we prove that under a generic surjective linear map from C^n to C^m, the pushforward of a perverse sheaf is perverse, modulo shifts of constant sheaves.
Let $X$ be a connected finite CW complex. A connected double covering of $X$ is classified by a non-zero cohomology class $ω\in H^1(X,\mathbb{Z}_2)$. Denote the double covering space by $X^ω$. There exists a corresponding non-trivial rank one $\mathbb{Z}$-local system $\mathcal{L}_ω$ on $X$. What is the relation between the integral homology groups of $X^ω$ and the homology groups of the local system $\mathcal{L}_ω$? When $X$ is homotopy equivalent to a minimal CW complex, we give a complete answer to this question. In particular, this settles a conjecture recently proposed by Ishibashi, Sugawara and Yoshinaga for hyperplane arrangement complement. As an application, when $X$ is a hyperplane arrangement complement and $\mathcal{L}_ω$ satisfies certain conditions, we show that $H_*(X^ω,\mathbb{Z})$ is combinatorially determined.
We present a benchmark dataset for evaluating method-level code generation task. The benchmark contains a dataset of 175 samples for automated evaluation and a dataset of 161 samples for manual evaluation. We also present a new metric for automatically evaluating the correctness of the generated code, and a set of criteria to manually evaluating the overall quality of the generated code.
In their 2012 paper, Bobadilla and Kollár studied topological conditions which guarantee that a proper map of complex algebraic varieties is a topological or differentiable fibration. They also asked whether a certain finiteness property on the relative covering space can imply that a proper map is a fibration. In this paper, we answer positively the integral homology version of their question in the case of abelian varieties, and the rational homology version in the case of compact ball quotients. We also propose several conjectures in relation to the Singer-Hopf conjecture in the complex projective setting.
We study non-abelian versions of the Mellin transformations, originally introduced by Gabber-Loeser on complex affine tori. Our main result is a generalization to the non-abelian context and with arbitrary coefficients of the t-exactness of Gabber-Loeser's Mellin transformation. As an intermediate step, we obtain vanishing results for the Sabbah specialization functors. Our main application is to construct new examples of duality spaces in the sense of Bieri-Eckmann, generalizing results of Denham-Suciu.
Let $f\colon (\mathbb C^n,S)\to (\mathbb C^p,0)$ be a finite map-germ with $n<p$ and $Y_δ$ the image of a small perturbation $f_δ$. We show that the reduced cohomology of $Y_δ$ is concentrated in a range of degrees determined by the dimension of the instability locus of $f$. In the case $n\geq p$ we obtain an analogous result, replacing finiteness by $\mathcal K$-finiteness and $Y_δ$ by the discriminant $Δ(f_δ)$. We also study the monodromy associated to the perturbation $f_δ$.
We give a complete (global) characterization of complex perverse sheaves on semi-abelian varieties in terms of their cohomology jump loci. Our results generalize Schnell's work on perverse sheaves on complex abelian varieties, as well as Gabber-Loeser's results on perverse sheaves on complex affine tori. We apply our results to the study of cohomology jump loci of smooth quasi-projective varieties, to the topology of the Albanese map, and in the context of homological duality properties of complex algebraic varieties.
We study the cohomology jump loci of rank one local systems for the plane curve germ complement by the deletion restriction method. In particular, the deletion restriction type results in this case only depend on the linking numbers between the irreducible components of the plane curve germ.
In this article we address the length of perverse sheaves arising as direct images of rank one local systems on complements of hyperplane arrangements. In the case of a cone over an essential line arrangement with at most triple points, we provide combinatorial formulas for these lengths. As by-products, we also obtain in this case combinatorial formulas for the intersection cohomology Betti numbers of rank one local systems on the complement with same monodromy around the planes.
We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible function. One consequence is: for "any" fixed natural (derived) functor F between constructible complexes or perverse sheaves on two smooth varieties X and Y, the loci of rank one local systems L on X whose image F(L) has prescribed length are Zariski constructible subsets defined over Q, obtained from finitely many torsion-translated complex affine algebraic subtori of the moduli of rank one local systems via a finite sequence of taking union, intersection, and complement.
We survey recent developments in the study of perverse sheaves on semi-abelian varieties. As concrete applications, we discuss various obstructions on the homotopy type of complex algebraic manifolds (expressed in terms of their cohomology jump loci), homological duality properties of complex algebraic manifolds, as well as new topological characterizations of semi-abelian varieties.
Assume that $f:(\mathbb{C}^n,0) \to (\mathbb{C},0)$ is an analytic function germ at the origin with only isolated singularity. Let $μ$ and $τ$ be the corresponding Milnor and Tjurina numbers. We show that $\dfracμτ \leq n$. As an application, we give a lower bound for the Tjurina number in terms of $n$ and the multiplicity of $f$ at the origin.
We use the non-proper Morse theory of Palais-Smale to investigate the topology of smooth closed subvarieties of complex semi-abelian varieties, and that of their infinite cyclic covers. As main applications, we obtain the finite generation (except in the middle degree) of the corresponding integral Alexander modules, as well as the signed Euler characteristic property and generic vanishing for rank-one local systems on such subvarieties. Furthermore, we give a more conceptual (topological) interpretation of the signed Euler characteristic property in terms of vanishing of Novikov homology. As a byproduct, we prove a generic vanishing result for the $L^2$-Betti numbers of very affine manifolds. Our methods also recast June Huh's extension of Varchenko's conjecture to very affine manifolds, and provide a generalization of this result in the context of smooth closed subvarieties of semi-abelian varieties.
For arbitrary field coefficients $\mathbb{K}$, we show that $\mathbb{K}$-perverse sheaves on a complex affine torus satisfy the so-called propagation package, i.e., the generic vanishing property and the signed Euler characteristic property hold, and the corresponding cohomology jump loci satisfy the propagation property and codimension lower bound. The main ingredient used in the proof is Gabber-Loeser's Mellin transformation functor for $\mathbb{K}$-constructible complexes on a complex affine torus, and the fact that it behaves well with respect to perverse sheaves. As a concrete topological application of our sheaf-theoretic results, we study homological duality properties of complex algebraic varieties, via abelian duality spaces. We provide new obstructions on abelian duality spaces by showing that their cohomology jump loci satisfy a propagation package. This is then used to prove that complex abelian varieties are the only complex projective manifolds which are abelian duality spaces. We also construct new examples of abelian duality spaces. For example, we show that if a smooth quasi-projective variety $X$ satisfies a certain Hodge-theoretic condition and it admits a proper semi-small map (e.g., a closed embedding or a finite map) to a complex affine torus, then $X$ is an abelian duality space.
We revisit generic vanishing results for perverse sheaves with any field coefficients on a complex semi-abelian variety, and indicate several topological applications. In particular, we obtain finiteness properties for the integral Alexander modules of complex algebraic varieties mapping to semi-abelian varieties. Similar results were recently derived by the authors by using Morse-theoretic arguments.
Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) \to \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \mathbb{C})$. This action induces a linear automorphism on the torsion part of the homology group as a module over the Laurent ring $\mathbb{C}[t,t^{-1}]$, which is a finite dimensional $\mathbb{C}$-vector space. We study the sizes of the Jordan blocks of this linear automorphism. When $X$ is a compact Kähler manifold, we show that all the Jordan blocks are of size one. When $X$ is a smooth complex quasi-projective variety, we give an upper bound on the sizes of the Jordan blocks, which is an analogue of the Monodromy Theorem for the local Milnor fibration.
The support S of Sabbah's specialization complex is a simultaneous generalization of the set of eigenvalues of the monodromy on Deligne's nearby cycles complex, of the support of the Alexander modules of an algebraic knot, and of certain cohomology support loci. Moreover, it equals conjecturally the image under the exponential map of the zero locus of the Bernstein-Sato ideal. Sabbah showed that S is contained in a union of translated subtori of codimension one in a complex affine torus. Budur-Wang showed recently that S is a union of torsion-translated subtori. We show here that S is always a hypersurface, and that it admits a formula in terms of log resolutions. As an application, we give a criterion in terms of log resolutions for the (semi-)simplicity as perverse sheaves, or as regular holonomic D-modules, of the direct images of rank one local systems under an open embedding. For hyperplane arrangements, this criterion is combinatorial.
Let $f: \CN \rightarrow \C $ be a reduced polynomial map, with $D=f^{-1}(0)$, $\U=\CN \setminus D$ and boundary manifold $M=\partial \U$. Assume that $f$ is transversal at infinity and $D$ has only isolated singularities. Then the only interesting non-trivial Alexander modules of $\U$ and resp. $M$ appear in the middle degree $n$. We revisit the mixed Hodge structures on these Alexander modules and study their associated spectral pairs (or equivariant mixed Hodge numbers). We obtain upper bounds for the spectral pairs of the $n$-th Alexander module of $\U$, which can be viewed as a Hodge-theoretic refinement of Libgober's divisibility result for the corresponding Alexander polynomials. For the boundary manifold $M$, we show that the spectral pairs associated to the non-unipotent part of the $n$-th Alexander module of $M$ can be computed in terms of local contributions (coming from the singularities of $D$) and contributions from "infinity".