Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
1
vote
Dimension of H^0(S,O_{S}(-C))
I'm not sure about the general case, but this is at least true if the divisor associated to the curve C is ample:
In this case the line bundle L associated to the divisor is ample, so the Kodaira-Nak …
7
votes
Accepted
Question Regarding Riemann-Hurwitz Formula Proof
I'll try to sketch a proof of Riemann-Hurwitz using the Leray spectral sequence. It has the feel of a fun exercise.
To fix notation, let $X$ and $Y$ be compact Riemann surfaces and let $f : X \to Y$ …
3
votes
0
answers
131
views
Slicing the fibres of a meromorphic function with the zero set of a section of an ample line...
I'm going through a proof of a vanishing theorem by Sommese ($H^{p,q}(X,L) = 0$ for $p+q > n+k$ if $L$ is $k$-ample) and have hit the following brick wall:
I've got a complex projective manifold $X$, …
4
votes
1
answer
426
views
Example of a variety with explicit cohomology ring and Kahler cone
I'm looking for some fairly explicit varieties to use as (counter?-)examples for my thesis and I'd appreciate any suggestions. I need a smooth projective variety $X$ of general type that satisfies:
…
5
votes
2
answers
302
views
Is the cup product of holomorphic $n$-forms with a fixed class injective?
Let $X$ be a compact Kahler manifold of complex dimension $n$. Fix a nonzero class $u \in H^1(X,T_X)$. This gives a linear morphism
$$
\phi_u : H^0(X,\Omega^n) \to H^{1}(X,\Omega^{n-1}),
\quad \sigma …
12
votes
1
answer
540
views
Which complex manifolds embed into tori?
If $X$ is a compact Kahler manifold then it's well-known that $X$ can be embedded into a projective space if and only if it admits an ample line bundle. Suppose now that we look for other things to em …
4
votes
1
answer
228
views
Existence of nodal curves in a linear system
Let $S$ be a projective surface and $L$ an ample line bundle on $S$. The Severi variety $\mathcal V_{\mathcal L,\delta}$ parametrizes curves with $\delta$ nodes and no other singularities in the linea …
3
votes
2
answers
727
views
Is a holomorphic family whose fibers are all smooth locally trivial?
Let $\pi : X \to B$ be a proper, surjective holomorphic submersion, where both $X$ and $B$ are compact Kahler manifolds. Assume that all the fibers $X_b = \pi^{-1}(b)$ are smooth. Is the family $\pi : …
4
votes
0
answers
472
views
Is there any advantage to knowing that Gauss-Manin is Hermitian flat?
Let $S$ be a complex manifold and let $p : E \to S$ be a holomorphic vector bundle. Is there any advantage to knowing that $E$ carries a flat Hermitian metric $h$, ie a smooth Hermitian metric with cu …
1
vote
0
answers
265
views
Showing a wedge product is nonzero
Let $V$ be a complex vector space of dimension $n$, equipped with a Hermitian inner product whose Kahler form we denote by $\omega$. Let's set $P = \bigwedge^{2p} V^*$ and $Q = \bigwedge^{2q} V^*$ for …
12
votes
2
answers
2k
views
Why is Gauss credited with this connection?
Let $\pi : X \to B$ be a family of compact Kähler manifolds over a smooth base $B$. We then have a local system $\mathcal R^k \pi_* \mathbb Z$ (for your favorite $k$) of abelian groups over $B$, whose …
4
votes
2
answers
768
views
Ramification divisor and degenerate locus of jacobian
Let $f : X \to Y$ be a finite morphism between compact complex manifolds of the same dimension $n$. We denote by $R_f \subset X$ the ramification divisor of $f$ and by $J_f \subset X$ the set of point …
5
votes
1
answer
682
views
Tangent sheaf of a hom scheme
I apologize if this question is too basic, but I haven't been able to work this out for myself.
Let $X$ and $Y$ be projective schemes, say over the complex numbers. There exists a scheme $Hom(X,Y)$ p …
17
votes
3
answers
1k
views
Why don't the algebraic and geometric adjoints of the Lefschetz operator agree?
One of the standard conjectures in algebraic geometry is that an operator $\Lambda$ on the cohomology algebra of a projective variety is algebraic. To my lying eyes it looks like there are two definit …
4
votes
1
answer
575
views
Automorphism group of ruled surface
Let $C$ be an elliptic curve over the complex numbers. Consider a nontrivial extension
$$
0 \to \mathcal O_C \to E \to \mathcal O_C \to 0
$$
of rank 2 of the structure sheaf of $C$. This defines a rul …