All Questions
Tagged with fundamental-group complex-geometry
14 questions
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?
user145520
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 ...
user145520
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 ...
- 188
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 ...
- 113
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?
- 71
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 ...
- 81
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 ...
- 113
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$ ...
- 71
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$ ...
- 123
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)$.
...
- 103
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 : ...
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 ...
- 9,497
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,...
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)\...
- 1,299