All Questions
Tagged with line-bundles ag.algebraic-geometry
172 questions
2
votes
1
answer
421
views
Computing Euler Characteristics of Line Bundles on the Hilbert Scheme of n points
Let $S^{[n]}$ be the Hilbert scheme of $n$ points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
- 1,509
2
votes
3
answers
2k
views
Movable Divisors
Let $X$ be a projective variety. Does anyone know an example of a movable reducible divisor $D\in Mov(X)$ such that any element in the linear system $|D|$ of $D$ is reducible?
user56259
3
votes
4
answers
3k
views
Cone over the Veronese surface
Let $V\subset\mathbb{P}^5$ be the Veronese surface and let $X\subset\mathbb{P}^6$ be the cone over it. Since $X$ is $\mathbb{Q}$-factorial there are two integers $a,b$ such that $aK_X = \mathcal{O}_X(...
user56259
2
votes
1
answer
422
views
How to see that this pairing of line bundles is multiplicative?
Given a projective flat morphism $p: X \rightarrow Y$ of integral noetherian schemes of relative dimension one.
For a coherent sheaf $F$ on $Y$ we can define a line bundle $det(F)$ on $Y$ and for a ...
- 251
0
votes
0
answers
183
views
When can one find holomorphic sections vanishing at a point to a certain order?
Let $X$ be a compact complex manifold (say of dimension $2$) and $L \rightarrow X $ a holomorphic line bundle. Consider the following statements:
Statement $A_0$: Given any point $p\in X$, there ...
- 3,245
2
votes
0
answers
251
views
Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces
Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
- 1,509
1
vote
1
answer
188
views
Perfectness of the Jacobian of a curve
Let $C$ be a smooth projective curve over a field $K$ of characteristic $0$ (but not necessarily algebraically closed). Let $\mathcal{L}$ be a line bundle on $C$ of degree $0$. Fix an integer $r>1$....
- 503
20
votes
1
answer
2k
views
Maps to projective space == line bundles; what do maps to weighted projective space correspond to?
A map from an algebraic variety $X$ to a projective space is the same thing as a globally generated line bundle on $X$. What geometric object on $X$ corresponds to a map to a weighted projective space?...
- 40.3k
0
votes
1
answer
248
views
Big divisors and small transformations
Let $X$ be a smooth projective variety such that $-K_X$ is ample. Let $f:X\dashrightarrow Y$ be a small $\mathbb{Q}$-factorial transformation. I would like to know if is true or not that:
$-K_Y$ is ...
user49214
3
votes
2
answers
5k
views
Big and Nef divisors
In Example 2.2.19 of
Lazarsfeld, Positivity in Algebraic Geometry I,
I found the following statement:
Let $D$ be a divisor on an irreducible projective variety $X$. Then $D$ is nef and big if and ...
user47036
0
votes
1
answer
140
views
Two questions about line bundles over Kuranishi families
i'm studying the article "Variétés Kahleriennes dont la première classe de chern est nulle" by Arnaud Beauville and i have a couple of questions i would like to ask you, hoping they are not too ...
- 63
2
votes
1
answer
187
views
When is the Clifford index of a curve computed by pencils?
Under which circumstances is the Clifford index of a curve computed by pencils?
- 761
0
votes
1
answer
351
views
Birkhoff decomposition vanishing of the Chern numbers
Birkhoff decomposition vanishing of the Chern numbers of the holomorphic line bundles of the Birkhoff-Grothendieck decomposition, is some statement I read off in One of Connes papers. Without going ...
user39066
0
votes
4
answers
474
views
An isomorphism on space of smooth sections
Let $M$ be a smooth complex manifold and $L$ be a complex line bundle over $M$. Let $\Gamma(M,L)$ be the space of smooth sections. Why $\Gamma(M,L)$ is it isomorphic to
$$A=\{f:L^{\times}\to \mathbb{...
user21574
2
votes
2
answers
1k
views
Uniqueness on square root of complex Line Bundle
Let $L$ be a line bundle over a compex manifold $X$, a square-root of $L$ is a line bundle $M$ such that $M^{\otimes2}=L$. My question is when the square-root of Line Bundle is unique?
user21574
1
vote
0
answers
263
views
Hopf lemma for line bundles on curves in algebraic geometry
In the paper http://arxiv.org/pdf/math/0110256v1.pdf Claire Voisin proves that all linear subspaces which lie inside of a (not too big) secant variety of a smooth projective curve must lie inside one ...
- 73
0
votes
0
answers
200
views
canonical bundle of the relative spectrum
maybe it is a very trivial quetion but:
suppose we have a smooth projective variety $X$ over $k$ and $\mathcal{A}$ an $\mathcal{O}_X$ algebra. We have the relative spectrum $Spec(Sym(\mathcal{A}))\...
- 1
2
votes
1
answer
457
views
Could we construct the Jacobian variety of a smooth curve $C$ with genus $>2$ from its derived category $D(C)$?
Let's consider a smooth curve $C$ over $\mathbb{C}$. We know that the Jacobian variety $Jac(C)$ of $C$ is the moduli space of the degree $0$ line bundles on $C$. $Jac(C)$ is an abelian variety of ...
- 9,019
5
votes
0
answers
711
views
Ample Line Bundles on Algebraic Spaces
The sources known to me (Knutson's Algebraic Spaces and Pascual-Gainza's Ampleness criteria for algebraic spaces) define a line bundle $L$ on an algebraic space $X$ (over a base scheme $S$) to be ...
- 12.1k
1
vote
1
answer
462
views
extension of torsion line bundles
Assume that you are given a smooth projective algebraic variety $X$ and a divisor $D$ with normal crossings on it. Put $U=X-D$. Assume now that $L$ is a torsion line bundle(=invertible sheaf) on $U$, ...
- 11
12
votes
1
answer
750
views
Vanishing theorems in positive characteristic
In the paper
Deligne, Pierre; Illusie, Luc (1987), "Relèvements modulo $p^{2}$ et décomposition du complexe de De Rham", Inventiones Mathematicae 89 (2): 247–270, doi:10.1007/BF01389078
I found the ...
- 8,998
20
votes
3
answers
3k
views
What is Kirillov's method good for?
I am planing to study Kirillov's orbit method. I have seen Kirillov's method in several branch of mathematics, for instance, functional analysis, geometry, .... Why is this theory important for ...
user21574
1
vote
0
answers
389
views
canonical model of a reducible curve
Let $C$ be a stable reducible curve. Is there a natural way to define it's canonical model (I guess via the dualizing sheaf)? And does somehow the dualizing sheaf restrict to the (probably twisted) ...
- 3,779
3
votes
2
answers
679
views
Line bundles on K3 surfaces
Let $L$ be a line bundle on an (algebraic) K3 surface over a field $k$. The Riemann-Roch theorem specializes to
$$
\chi(X, L)=\frac{1}{2}(L\cdot L)+2
$$
which can be rewritten as
$$
h^0(X, L)+h^0(...
- 31
21
votes
3
answers
4k
views
How many flat connections has a line bundle in algebraic geometry?
Suppose $X$ is a projective variety over $\mathbb C$. I am happy to entertain more or different adjectives — I'm not looking for the most general statement, but rather to understand when and how ...
- 54.6k
2
votes
1
answer
1k
views
On morphisms to projective space arising from a linear system
Context: This question arose as I was reading the proof of Application 6.1 in Mumford's Abelian Varieties. However, I have extracted all of the relevant information below so this question should ...
- 23
3
votes
1
answer
696
views
Extending line bundles
Suppose you have a one parameter family of algebraic varieties over unit disk, such that the central fiber is singular and is a union (normal-crossing) of two varieties and the rest are smooth.
Is it ...
2
votes
1
answer
546
views
divisors and powers of line bundles
Can anyone help me with the following question? Let $X$ be a smooth, projective algebraic variety over a field $k$ of characteristic zero. Let $D$ be an effective divisor on $X$ and $m \geq 2$ an ...
- 23
1
vote
0
answers
259
views
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
How does the line bundles look like on a proper model (or Néron model) of an abelian variety?
Who knows references about this?
In particular, let us work over a trait $S=\mathrm{Spec} R$, where $R$ ...
- 997
9
votes
1
answer
1k
views
Non-compact Kähler manifolds which admit a positive line bundle
A complex manifold which admits a positive line bundle is automatically Kähler. Furthermore, if the manifold is compact, then it is projective by the Kodaira Embedding Theorem. In particular, not ...
- 19.4k
10
votes
4
answers
3k
views
Cohomology of line bundles
For sure answers to my questions are well known - but I never saw them anywhere.
Let $X$ be a smooth projective (or just proper) variety over an algebraically closed field $k$. Let $A_i$ be the ...
- 16.2k
2
votes
3
answers
410
views
Pedagogical notes on line bundles on complex projective manifolds
I would like to find some notes (or book), that explains on a very basic level what is a line bundle on a complex projective manifold. Maybe even, what is a line bundle on $\mathbb CP^n$. It seems ...
1
vote
2
answers
2k
views
What is the geometric point of view of an algebraic line bundle compared to a analytic line bundle?
Hi folkz,
I'm trying to learn more about line bundles, invertible sheaves and divisors on schemes. I understand the connection beweteen Cartier and Weil Divisors and the connection between Cartier ...
- 345
5
votes
1
answer
3k
views
What can be said about a pullback of a very ample line bundle w.r.t birational maps?
Let $X$ be a smooth projective variety and $\phi: X \to \mathbb P^n$ be a map. If $\phi$ is an embedding then $E=\phi^*(O(1))$ is very ample. But can one say something if $\phi$
is birational (but not ...
- 2,649
3
votes
2
answers
226
views
Uniformity of injectivity for maps associated to linear systems
Let $X$ be a compact complex manifold and $L\to X$ a holomorphic line bundle (without any a priori assumption on its positivity).
Suppose that for each $x,y\in X$, with $x\ne y$, there exists a $k_0\...
- 7,902
3
votes
0
answers
226
views
How can one check that two line bundles on $\overline{M}_{0,n}$ coincide?
Let $X$ be the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$. Suppose I have two (big) line bundles $L$ and $L'$ on $X$ and that I want to show that they are the same element of $Pic(X)$. Of ...
- 3,779
3
votes
1
answer
584
views
Line bundles on Ind Schemes
I've learned when you have a integral smooth scheme line bundles are the same as Cartier divisors are the same as Weil divisors. My question is to what extent does this continue to hold (if at all) ...
- 3,968
0
votes
0
answers
251
views
Does the normalization of a projective morphism determine the line bundle?
Let $X$ be a smooth, complete algebraic variety and suppose I have two projective, birational morphisms
$$f:X \to \mathbb{P}^n$$
and
$$g:X \to \mathbb{P}^m,$$
such that the image of $f$ is the ...
- 1
1
vote
1
answer
405
views
Does the semi-stable set determine the linearization of a GIT quotient?
Suppose I have a morphism $f:X\to Y$ which is a GIT quotient of $X$ with respect to some reductive, linear group.
Does the semistable $X^{ss}$ and stable locus $X^s\subset X$ determine completely the ...
- 3,779
2
votes
1
answer
1k
views
Line bundles, linear systems and normalization
One example that I always have in mind is that the plane nodal (or even the plane cuspidal) cubic curve $X$ is obtained by an appropirate 2-dim linear subsystem of $|\mathcal{O} (3)|$ on $\mathbb{P}^...
- 23
6
votes
0
answers
367
views
Do simplicial toric varieties have "lots" of base point free linear systems?
Question: Let $n$ be a positive integer and let $X$ be a simplicial toric variety. Does every coset of $n\cdot Pic(X)\subseteq Pic(X)$ contain a base point free linear system?
If $X$ is not ...
- 24.1k
6
votes
3
answers
645
views
Line bundles on fibrations
Let $f:Y \to X$ be a flat morphism with positive dimensional fibers. Is it always true that line bundles that are trivial along each fiber are of type $f^*L$ for $L$ a line bundle on $X$?
- 95
3
votes
1
answer
700
views
Pulling back a line bundle on the Jacobian to a spin bundle on the curve
I'd like to have an expression for the (or some) line bundle on the Jacobian $J$ of a smooth complex projective curve $C$ with genus $g >1$ which pulls back to a chosen spin bundle (theta ...
2
votes
1
answer
263
views
Followup; Strict Transform of a Line Bundle
This is a follow up to my previous question, and I have lowered my demands to a situation as follows:
Let $X$ be an algebraic variety, $\mathcal{I}$ a coherent sheaf of ideals and $\mathcal{L}$ a ...
- 4,902
17
votes
3
answers
3k
views
Is there an algebraic construction of the Quillen (determinant) Line Bundle?
Let's consider the moduli space of representations of $\pi=\pi_1(\Sigma)$ (a surface group) into $G$ (a lie group). Call this $X=\operatorname{Hom}(\pi,G)$, and let $Y=\operatorname{Hom}(\pi,G)/\\!/G$...
- 18.7k
4
votes
2
answers
482
views
Vague question on $Pic^0$
For a smooth variety $X$ when $Pic^0(X)$ is trivial, we get an isomorphism between $N^1(X)$ and Picard group and life become easier.
My question is whether in general there are theorems, criteria ... ...
8
votes
1
answer
394
views
Pullback along the Torelli map is an isomorphism
I've been told many times that the Torelli map $J:\mathcal{M}_g\to \mathcal{A}_g$ for ($g\geq 2$, and at least on the level of coarse moduli spaces, over $\mathbb{C}$) gives an isomorphism of Picard ...
- 16k
6
votes
1
answer
641
views
A line bundle not big but with good intersection numbers
Let $X$ be a complex projective manifold of complex dimension $n$ and $A\to X$ an ample line bundle. Let $L\to X$ be a line bundle such that
$$
c_1(L)^k\cdot c_1(A)^{n-k}>0,\quad k=1,\dots,n.
$$
Is ...
- 7,902
2
votes
1
answer
424
views
Different ways to construct maps and the tensor products of line bundles
Let $C$ be a curve. Then I know of two ways to create morphisms. To get morphisms from $C$, take a line bundle of any degree $L$ and use the linear system it determines to get a map into projective ...
- 16k
3
votes
1
answer
637
views
Can the class of the canonical bundle be recovered from the total space of the cotangent bundle if one forgets that it is a cotangent bundle?
This is a somewhat speculative question, so bear with that (or not, as is your preference).
Let $X$ be a smooth projective variety, and let $\omega_X$ be its canonical sheaf. The Euler class of ...
- 44.7k