Skip to main content

All Questions

Filter by
Sorted by
Tagged with
16 votes
1 answer
3k views

Tate twists and cohomology of $\mathbf{P}^1$

I was wondering if anyone could give me some intuition as to why, for a smooth projective variety $X$ over $\mathbf{C}$ of complex dimension $d$, the Tate twist on $H^n(X(\mathbf{C}),\mathbf{Z})$ to ...
user avatar
2 votes
2 answers
284 views

Analytic and algebraic torsor of abelian scheme

Let $M$ be an affine complex manifold, let $A$ be an abelian scheme over $M$. Let $\mathcal{A}$ be the sheaf of local sections of $A$ over $M$. We can equip $M$ with etale topology $M_{et}$ or complex ...
user avatar
2 votes
0 answers
158 views

Fundamental Group of small Zariski open set

Let $Y$ be an integral affine variety over $\mathbb{C}$ and $K$ be its function field. How to find a sufficiently small Zariski open set of $Y$ such that it is isomorphic to $K(\pi,1)$? Here $\pi$ is ...
userabc's user avatar
  • 677
1 vote
1 answer
369 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
338 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
1 vote
1 answer
138 views

Equalizer of local analytic isomorphisms

Let $a,b : V\to W$ be two morphisms of smooth complex analytic spaces. Assume $a$ and $b$ are local analytic isomorphisms. Does the equalizer $U$ of $a,b$ exist as a smooth complex analytic ...
John P.'s user avatar
  • 180
1 vote
0 answers
113 views

Analytic vector bundle from an etale local system is algebraic?

Suppose $X$ is an algebraic variety over $\mathbb C$, and $\mathbb L$ is a $\mathbb Q_p$-local system on $X_{et}$, then it corresponds to a representation $\pi_1(X_{et})\to GL_n(\mathbb L)$. Since ...
Richard's user avatar
  • 775