Skip to main content
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
Results tagged with
Search options not deleted user 4054

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 …
Gunnar Þór Magnússon's user avatar
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$ …
Gunnar Þór Magnússon's user avatar
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$, …
Gunnar Þór Magnússon's user avatar
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: …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 : …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar
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 …
Gunnar Þór Magnússon's user avatar

15 30 50 per page