Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
1 answer
760 views

Nodal curve in a smooth variety with injective map on fundamental groups

Let $C$ be the nodal curve obtained by gluing together the points $0$ and $1$ of $\mathbb{A}^1_{\mathbb{C}}$. The topological fundamental group of $C$ is isomorphic to $\mathbb{Z}$. One can find an ...
5 votes
0 answers
392 views

Complex conjugation inducing a trivial map on the fundamental group

Let $V$ be a smooth projective complex variety defined over the reals such that $G=\pi_1(V)$ is a non-abelian finite simple group. Assume that $V$ has a real point. Can the map $G\to G$ induced by ...
3 votes
1 answer
321 views

A complex variety with a finite non-abelian simple fundamental group

Does there exist a complex smooth proper variety whose fundamental group is finite non-abelian simple?
8 votes
1 answer
308 views

Do complex varieties have a dense open subset with residually finite fundamental group?

Let $S$ be a smooth connected variety over the complex numbers. The fundamental group might not be residually finite (i.e., the homomorphism $\pi_1(S(\mathbb C)) \to \pi_1^{\mathrm{et}}(S)$ might not ...
3 votes
0 answers
618 views

Monodromy representations are "quasi-unipotent"

Let $S$ be a smooth complex algebraic variety, let $b$ be a closed point of $X$, and let $f:X\to S$ be a polarized family of smooth projective varieties over $S$. This induces a monodromy ...
6 votes
1 answer
354 views

Fundamental groups of complements of divisors in $\mathbb P^2$

Let $D$ be a divisor in $\mathbb P^2_{\mathbb C}$ and let $X= \mathbb P^2_{\mathbb C} - D$. Under what condition on $D$ is the fundamental group of $X$ infinite?
0 votes
0 answers
147 views

A simple fundamental group of an hypersurface

Is there an example of analytic hypersurface in $C^n$ such that its fundamental group is simple i.e. does not have normal subgroups except the trivial group and the group itself ? Thank you EDIT : ...
7 votes
1 answer
362 views

Does there exist an algebraic space with large fundamental group but no finite etale covers by schemes

Does there exits a smooth proper algebraic space $X$ over $\mathbb C$ with "large" fundamental group such that no finite etale cover of $X$ is a scheme? By "large" fundamental group I mean that $X$ ...
1 vote
0 answers
136 views

algebraic varieties whose fundamental group is subgroup separable wrt subvariety subgroups

Call an algebraic variety $\pi_1$-subgroup separable iff, for every $Y\subseteq X$ a closed subvariety and $\hat Y\xrightarrow{i} Y$ a normalisation of $Y$, and subgroup $\Gamma=Im(\pi_1(\hat Y,y)\...
9 votes
1 answer
627 views

Do all varieties have only finitely many etale covers of fixed degree

I've been wondering about the following "finiteness statement" concerning etale covers for a while. Let $K$ be a field of characteristic zero, not necessarily algebraically closed. A variety over $K$ ...
8 votes
1 answer
573 views

Do elements of the fundamental group give rise to isometries

Let $X$ be a complex algebraic variety, and let $\tilde X\to X$ be its universal cover. Suppose that there exists a Kahler-Einstein metric on $\tilde X$. Note that $\pi_1(X) \subset Aut(\tilde X)$. ...
8 votes
3 answers
943 views

Smooth projective varieties with infinite abelian fundamental group and finite $\pi_2$

Let $X$ be a smooth projective complex algebraic variety of general type. Suppose that the (topological) fundamental group of $X$ is an infinite abelian group and that $\pi_2(X^{an})$ is finite. What ...
1 vote
1 answer
329 views

$P^1$ minus k points

For $k\geq 3$, and $k$ arbitrary points $S=( z_1,\cdots,z_k ) \in \mathbb{P}^1$, we can write $$ P^1 \setminus S \cong \mathbb{H}/G $$ where $\mathbb{H}$ is the upper-half plane and $G\subset PSL(2,...
8 votes
2 answers
981 views

Covers of the projective line over Z and arithmetic Grauert-Remmert

This question is the two-dimensional analogue of Etale coverings of certain open subschemes in Spec O_K There I asked if one could characterize in a way certain covers of $\textrm{Spec} \ O_K$. As ...