Skip to main content

All 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 \...
kindasorta's user avatar
  • 2,113
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 ...
Tim's user avatar
  • 85
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$ ...
user avatar
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 ...
user avatar
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" ...
Roxana's user avatar
  • 519
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_{\...
Tommaso Scognamiglio's user avatar
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 ...
curious math guy's user avatar
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}$?
user avatar
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 ...
Ari's user avatar
  • 181
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. ...
Harry's user avatar
  • 353
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 ...
Kreeftje's user avatar
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 ...
Gerard's user avatar
  • 51
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^...
user avatar
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^{...
user avatar
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 ...
user avatar

15 30 50 per page