All Questions
33
questions
6
votes
1
answer
709
views
Understanding the Hodge filtration
Let $X$ be a smooth quasiprojective scheme defined over $\mathbb{C}$, and let $\Omega^{\bullet}_X$ denote its cotangent complex, explicitly, we have:
$\Omega^{\bullet}_X:=\mathcal{O}_X\longrightarrow \...
1
vote
1
answer
332
views
Self-intersection of the diagonal on a surface
Let $X$ be a smooth projective curve over the complex numbers, and take $\Delta$ the diagonal divisor on $X\times X$. Using the adjunction formula, one computes $\Delta\cdot\Delta =2-2g$ for $g$ the ...
1
vote
1
answer
298
views
Cohomology of singular curves
Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...
8
votes
1
answer
329
views
Alterations and smooth complete intersections
Let $k$ be an algebraically closed field, and $X$ a projective variety over $k$. Let $i : X\subset \mathbf{P}^d_k$ be a closed immersion into a projective space of high enough dimension.
Is there a ...
3
votes
1
answer
281
views
Given a smooth hyperplane section Y of a variety X there exists a Lefschetz pencil of hyperplane sections of X containing Y
Let $X$ be a variety contained in $\mathbb{P}^N$ and let $Y$ be a smooth hyperplane section of $X$. I have read in page 54 of Voisin's book "Hodge theory and complex algebraic geometry II" ...
4
votes
1
answer
405
views
Comparison of weight filtration on cohomology of complex manifold
Let $X$ be a smooth scheme of finite type over $\mathbb{Z}$ (or let's say a finitely generated $\mathbb{Z}$ algebra). To each prime $p \in \mathbb{Z}$ we can consider the $\mathbb{F}_p$ variety $$X_{\...
2
votes
0
answers
167
views
Complex Geometric Interpretation of Mordell conjecture
The Mordell conjecture/Falting's Theorem says that any smooth projective curve $X$ of genus $g\geq 2$ over $\mathbb{Q}$ has finitely many integer points (using the valuatlive criterion).
We can of ...
13
votes
0
answers
320
views
Varieties isomorphic $\mathrm{mod}\:p$ are diffeomorphic
If two smooth proper varieties over $\mathbb{Q}$ have isomorphic smooth reductions modulo some prime (for some choice of integral models) are they diffeomorphic after tensoring with $\mathbb{C}$?
4
votes
0
answers
338
views
Regular functions vs holomorphic functions
Let $X$ be an affine smooth variety over the complex numbers, $X^{an}$ its associated smooth complex analytic space, and $\mathcal{O}$, resp. $\mathcal{O}^{an}$ the respective structure sheaves.
Is ...
4
votes
1
answer
253
views
Does there exist a curve which avoids a given countable union of small subsets?
Let $X$ be a projective variety over $\mathbb{C}$. Let $X_1, X_2, \ldots$ be proper closed subsets of $X$. Then $\cup_i X_i \neq X(\mathbb{C})$. However, I am interested in a stronger statement.
...
4
votes
1
answer
252
views
Can an algebraic variety over a field $k$ be the union of proper closed subsets $(S_i)_{i\in I}$ with $I < k$
Let $k$ be an algebraically closed field (of characteristic zero, if it helps).
Let $X$ be an algebraic variety over $k$. Let $I$ be an index set such that the cardinality of $I$ is smaller than the ...
5
votes
0
answers
128
views
Do non-constant maps specialize to non-constant maps?
Let $R$ be a dvr with fraction field $K$ and residue field $k$. Let $\mathcal{X}\to \mathcal{Y}$ be a morphism of $R$-schemes such that $\mathcal{X}_K\to \mathcal{Y}_K$ is non-constant.
Is the ...
3
votes
0
answers
276
views
Algebraic vs analytic de Rham cohomology
Let $X$ be a smooth projective variety over $\mathbf{C}$, $\Omega^{\bullet}_X$ its algebraic de Rham cohomology.
Let $p : X_{\rm an}\to X_{\rm Zar}$ the obvious morphism of sites.
We have $p^*\Omega^...
8
votes
0
answers
556
views
Bloch Ogus spectral sequence
Let $X$ be a smooth projective variety over $\mathbf{C}$, and $p : X_{\rm an}\to X_{\rm Zar}$ the obvious map of sites.
The Leray spectral sequence
$$H^r(X_{\rm Zar}, R^sp_*\mathbf{C})\Rightarrow H^{...
2
votes
0
answers
474
views
Absolute Hodge cycles over $\mathbf{Q}$
In the 1986 notes by Milne "Hodge cycles on abelian varieties", Deligne defines the notion of absolute Hodge cycles.
For a smooth projective variety defined over $k\subset\mathbf{C}$ non ...