Questions tagged [gaga]
GAGA is short for Serre's 1956 paper "Géometrie Algébrique et Géométrie Analytique". The tag refers not only to that paper, but also to the way of thinking introduced by it.
23
questions
26
votes
1
answer
3k
views
Stein Manifolds and Affine Varieties
When is a Stein manifold a complex affine variety? I had thought that there was a theorem saying that a variety which is Stein and has finitely generated ring of regular functions implies affine, but ...
- 15.7k
23
votes
1
answer
4k
views
GAGA and Chern classes
My question is as follows.
Do the Chern classes as defined by Grothendieck for smooth projective varieties coincide with the Chern classes as defined with the aid of invariant polynomials and ...
- 9,377
21
votes
4
answers
5k
views
Algebraic de Rham cohomology vs. analytic de Rham cohomology
Let $X$ be a nice variety over $\mathbb{C}$, where nice probably means smooth and proper.
I want to know: How can we show that the hypercohomology of the algebraic de Rham complex agrees with the ...
- 20.6k
21
votes
2
answers
2k
views
Topologically contractible algebraic varieties
From a post to The Jouanolou trick:
Are all topologically trivial (contractible) complex algebraic varieties necessarily affine? Are there examples of those not birationally equivalent to an affine ...
- 14.8k
16
votes
1
answer
1k
views
GAGA for stacks
I am curious about stacky generalizations of the following GAGA theorem:
If $X, U$ are complex algebraic varieties of finite type, $X$ is proper and $f:X\to U$ is an analytic map then $f$ is ...
- 7,882
15
votes
3
answers
2k
views
algebraic de Rham cohomology of singular varieties
Hi,
Is there a simple example of an (affine) algebraic variety $X$ over $\mathbb C$ where
the $H^*_{dR}(X/\mathbb C) = H^*(\Omega^\bullet_{A/\mathbb C})$ differs from the singular cohomology $H^*_{...
- 2,792
13
votes
0
answers
322
views
Comparing algebraic and analytic spaces through the universal property of classifying topoi
$\newcommand\kAlg{k\mathrm{Alg}}\DeclareMathOperator\Zar{Zar}\newcommand\Mnf{\mathrm{Mnf}}$I apologize beforehand if my question is naïve. I must admit that I do not know much about analytic/smooth ...
- 765
9
votes
1
answer
1k
views
Is there a translation to English of Serre's GAGA?
I am trying to find an English translation of J.-P. Serre, Géométrie algébrique et géométrie analytique (GAGA). However, I am unable to find a translation searching for it in google. Does anybody know ...
- 181
8
votes
1
answer
1k
views
Are complex varieties Kahler? - Algebraic, non-projective complex manifolds
Let $X/\mathbb{C}$ a nonsingular proper variety and $X_{an}$ it's associated analytic space. Is $X_{an}$ necessarily Kahler? Certainly we know this if $X$ is projective.
A complex torus is algebraic ...
- 3,495
6
votes
1
answer
1k
views
What is the intuition behind the proof of the algebraic version of Cartan's theorem A?
I am trying to understand the idea behind the proof of GAGA. A crucial step is the following:
Theorem: Let $X=\mathbb{P}^r_{\mathbb{C}}$ (either as a variety or as an analytic space), and let $\...
- 5,789
6
votes
0
answers
259
views
Does the cohomology comparison part of GAGA hold over the reals?
If $k=\mathbb{C}$, $X$ is a projective (or even proper) scheme over $k$ and $F$ a coherent sheaf on $X$, then there is an isomorphism
$$
H^p(X,F)\rightarrow H^p(X^{an}, F^{an})
$$
(and there is also ...
- 349
6
votes
0
answers
212
views
How do fibers of the functor Algebraic Varieties $\to$ Complex Analytic Spaces look like?
There's already a question (which got several interesting answers) asking about examples of the phenomenon of non (essential) injectivity of the functor $U:Alg\to AnEsp$, mapping each algebraic ...
- 22.4k
5
votes
0
answers
316
views
GAGA for vector bundles over Riemann surfaces
Serre’s GAGA theorem gives an equivalence of categories between algebraic and analytic coherent sheaves over a complex projective variety. The proof relies on the finiteness of the cohomologies of ...
- 541
5
votes
0
answers
145
views
$\mathscr{D}$-module external tensor product and analytification
Let $X$ and $Y$ be smooth complex varieties and $M\in D^b_{\mathrm{hol}}(\mathscr{D}_X)$ resp. $N\in D^b_{\mathrm{hol}}(\mathscr{D}_Y)$ holonomic $\mathscr{D}$-modules (resp. complexes with holonomic ...
- 51
4
votes
2
answers
296
views
Kaehler analogue of very ample line bundle
In the correspondence between projective and Kaehler geometry an ample line bundle corresponds to a positive line bundle, where the latter requires that the curvature of the Chern connection is a ...
- 643
4
votes
0
answers
159
views
The notion of border for (complex and non-archimedean) analytic spaces and schemes
Is a manifold with corner an analytic space (just show that $\left[0, +\infty \right)^{n}$ is an analytic space, which seems obvious but maybe I'm wrong...) EDIT: as noted in the comments some complex ...
- 1,025
3
votes
0
answers
91
views
Decomposability and analytification of coherent sheaves
Let $X$ be an affine (algebraic) complex variety and $f:Y \to X$ be a finite morphism. Given any coherent sheaf $\mathcal{F}$ on $X$, we denote by $\mathcal{F}^{an}$ the analytification of $\mathcal{F}...
- 2,185
3
votes
0
answers
208
views
Algebrizing analytic quotients of algebraic spaces
Suppose that $Y$ is an algebraic space over $\mathbb{C}$ which is "nice" (say, separated and of finite type). Let $R\subset Y\times Y$ be a closed algebraic subspace which forms a categorical ...
- 2,756
3
votes
0
answers
292
views
Comparison of algebraic and analytic q-expansion
I would like to check that algebraic and analytic q-expansion of a modular form coincide.
I'm thinking about modular forms as global sections of some sheaf on modular curves. If $X$ is a modular ...
- 855
2
votes
1
answer
414
views
Rellich Embedding Theorem for the $2$-Sphere
I'm trying to understand the Rellich-Embedding Theorem in the non-flat case by looking at the $2$-sphere. To be precise, for $S$ the spinor bundle of $S^2$; $L^2(S^2)$ the space of square integrable ...
- 181
2
votes
0
answers
223
views
Does the structure morphism matter in GAGA?
Let $X$ be an integral Noetherian separated scheme. Can there exist two morphisms of finite type $X\rightarrow \mathrm{Spec}\,\mathbb{C}$ such that the corresponding complex-analytic spaces are not ...
user140820
1
vote
0
answers
148
views
GAGA, positive line bundles, Kodaira embedding, and homogeneous coordinate rings
Let $M$ be a compact K"ahler manifold and let $L$ be a positive line bundle over $M$. We know from the Kodaira embedding theorem that from $L^{\otimes k}$ for some $k$ we can construct an ...
- 131
0
votes
2
answers
724
views
Defining algebraic manifold without referring to schemes
Let $M$ be a complex manifold admitting an atlas with each chart biholomorphic to $\mathbb{C}^n$ and transition maps being rational functions.
Is it true that there exists a smooth integral ...
- 115