Abstract:Let $X$ be a smooth complex quasi-projective variety and $\Gamma=\pi_1(X)$. Let $\chi \colon \Gamma \to \mathbb{R}$ be an additive character. We prove that the ray $[\chi]$ does not belong to the BNS set $\Sigma(\Gamma)$ if and only if it comes as a pullback along an algebraic fibration $f \colon X \to \mathcal{C}$ over a quasi-projective hyperbolic orbicurve $\mathcal{C}$. We also prove that if $\pi_1(X)$ admits a solvable quotient which is not virtually nilpotent, there exists a finite étale cover $X_1 \to X$ and a fibration $f \colon X_1 \to \mathcal{C}$ over a quasi-projective hyperbolic orbicurve $\mathcal{C}$. Both of these results were proved by Delzant in the case when $X$ is a compact Kähler manifold. We deduce that $\Gamma$ is virtually solvable if and only if it is virtually nilpotent, generalising the theorems of Delzant and Arapura-Nori. As a byproduct, we prove a version of Simpson's Lefschetz Theorem for the integral leaves of logarithmic $1$-forms that do not extend to any partial compactification. We give two applications of our results. First, we strengthen the recent theorem of Cadorel-Deng-Yamanoi on virtual nilpotency of fundamental groups of quasi-projective $h$-special and weakly special manifolds. Second, we prove the sharpness of Suciu's tropical bound for the fundamental groups of smooth quasi-projective varieties and answer a question of Suciu on the topology of hyperplane arrangements.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on extending Delzant's theorem on the Bieri - Neumann - Strebel (BNS) set of the fundamental group of compact Kähler manifolds to the case of smooth complex quasi - projective varieties. Specifically, the main objectives of the paper include: 1. **Generalizing Delzant's theorem**: - **Theorem A**: For a smooth complex quasi - projective variety $X$, the properties of the BNS set $\Sigma(\Gamma)$ of its fundamental group $\Gamma = \pi_1(X)$ are studied in detail. Specifically, the paper proves that a ray $r\chi$ does not belong to $\Sigma(\Gamma)$ if and only if it can be pulled back to a quasi - projective hyperbolic orbifold curve $C$ via an algebraic fibration $f:X\rightarrow C$. - **Theorem B**: If $\pi_1(X)$ has a solvable quotient group $Q$ that is not virtually nilpotent, then there exists a finite étale covering $X'\to X$ and a fibration $f:X'\to C$ to a quasi - projective hyperbolic orbifold curve $C$. 2. **The relationship between virtual solvability and virtual nilpotency**: - **Theorem C**: If the fundamental group $\pi_1(X)$ of a smooth complex quasi - projective variety $X$ is virtually solvable, then it is virtually nilpotent. This result generalizes the theorems of Delzant and Arapura - Nori. 3. **Generalization of Simpson's Lefschetz theorem**: - The paper proves a version of Simpson's Lefschetz theorem for non - extendable classes on quasi - projective varieties. This result is of independent interest in itself. 4. **Applications**: - **Theorem E**: Strengthens the results of Cadorel - Deng - Yamanoi on the fundamental groups of $h$-special and weakly - special quasi - projective varieties. - **Theorem F**: Generalizes Suciu's results on the BNS set and the cohomological jumping loci of tropicalizations, and answers Suciu's question about the topology of hyperplane arrangements. Through these theorems, the paper not only extends the existing theory but also provides new insights and tools for the properties of the fundamental groups of quasi - projective varieties. These results are of great significance in algebraic geometry and topology, especially when studying the fundamental groups of complex manifolds and algebraic varieties.

The Bieri-Neumann-Strebel sets of quasi-projective groups

A geometric realization of Catalan functions

Syzygies of general projections of canonical and paracanonical curves

From the second BNSR invariant to Dehn functions of coabelian subgroups

A specialisation theorem for Lang-Néron groups

Volumes of Subvarieties of Complex Ball Quotients and Sparsity of Rational Points

Bilinear secants and birational geometry of blowups of $\mathbb P^n \times \mathbb P^{n+1}$

Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and geometric Satake equivalence (with appendix by Dennis Gaitsgory)

On Some Birational Invariants of Hyper-Kähler Manifolds

Noncommutative projective partial resolutions and quiver varieties

BNSR invariants and $\ell^2$-homology

Relations between dynamical degrees, Weil's Riemann hypothesis and the standard conjectures

Birational boundedness for holomorphic symplectic varieties, Zarhin's trick for $K3$ surfaces, and the Tate conjecture

Quasi-étale covers of Du Val del Pezzo surfaces and Zariski dense exceptional sets in Manin's conjecture

Non-density of the exceptional components of the Noether-Lefschetz locus

On Bosch-Lütkebohmert-Raynaud's Conjecture I

On p-torsions of geometric Brauer groups

The Le Bruyn-Procesi theorem and Hilbert schemes

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups

Refined Gromov-Witten invariants

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface