Questions tagged [line-bundles]
A continuously varying family of one-dimensional vector spaces over a topological space. A related tag is the vector-bundles tag.
231 questions
4
votes
0
answers
172
views
How close is $h^0(mD)$ to be a polynomial?
Let $X$ be a normal (or smooth if it helps) projective variety over an algebraically closed field $k$. Fix a Cartier divisor $D$: I am interested in knowing how $h^0(mD)$ behaves as $m$ varies.
At ...
- 625
1
vote
0
answers
98
views
Holomorphic line bundles on smooth points of a quotient
I am an amateur algebraic geometer, so maybe this question is trivial and if this is the case, then I apologize. This is a question that came up while working on something completely different.
...
- 431
1
vote
1
answer
242
views
Number of conditions imposed by fat points to a linear system
Let $|D|$ be the linear system of degree $d$ hypersurfaces in $\mathbb{P}^n$ having multiplicity at least $m$ at $s$ general points.
Then $|kD|$ is the linear system of degree $kd$ hypersurfaces in $...
user97096
0
votes
1
answer
192
views
Why vanish the integer m of an ample line bundle in the Kodaira embedding theorem?
I try to understand the following version of the Kodaira embedding theorem:
Let $X$ be a compact Kähler manifold. A line bundle $L$ is positiv if and only if it is ample.
I have a problem with the '...
- 9
1
vote
1
answer
210
views
Hermitic connections on complex line bundles with imaginary curvature form
It is a simple fact that if $L \to B$ is a complex line bundle endowed with an Hermitian product and a compatible connection $\nabla$, then the curvature $F_\nabla$ is imaginary (and so are the local ...
- 5,407
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
2
votes
1
answer
308
views
Pencils in very ample linear systems without curve in its base locus
If $L$ is a very ample line bundle over a smooth complex projective surface $X$ and $s_0, \dots, s_n$ is a basis of the global sections of $L$, is there some choice of $i,j$ such that the pencil ...
- 502
2
votes
0
answers
241
views
Moment map of equivariant line bundles
I'm reading Szabo's `Equivariant Cohomology and Localization of Path Integrals'. I've stumbled upon an equation I can't make sense of, in the discussion about $G$-equivariant line bundles on ...
- 111
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
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
2
votes
0
answers
200
views
Top intersections on the Hilbert scheme of points on a surface
The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism.
...
- 1,509
1
vote
0
answers
72
views
Minimal non-klt center of asymptotic linear system
Let $(X,\Delta)$ be a klt pair and $D $ a $Q $-Cartier divisor on $X $ such that the ring of sections of $D $ is finitely generated. Let $c$ be the log canonical threshold of the asymptotic linear ...
- 11
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
1
vote
0
answers
52
views
Connection on line bundle over general simplicial toric variety
In https://arxiv.org/pdf/hep-th/0005247.pdf, on page 60 and 61, it is mentioned that the connection of $\mathcal{O}(-n)$ over a (simplicial) toric variety of the form
$$
(\mathbb{C}^N \backslash U)/(\...
- 1,155
5
votes
2
answers
5k
views
Technique to prove basepoint-freeness
Let $X$ be a smooth projective variety over $\mathbb{C}$.
And let $L$ be a big and nef line bundle on $X$.
I want to prove $L$ is semi-ample($L^m$ is basepoint-free for some $m > 0$).
The only way ...
- 627
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
8
votes
3
answers
2k
views
Holomorphic and antiholomorphic forms of projective space
For $\mathbb{CP}^1$ the bundles of holomorphic and antiholomorphic forms are equal to the $\mathcal{O}(-2)$ and $\mathcal{O}(2)$ respectively. Do the holomorphic and antiholomorphic bundles of $\...
- 3,409
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
15
votes
1
answer
1k
views
Are bundle gerbes bundles of algebras?
The category of line bundles (possibly with connection)
on a smooth manifold M can be defined in two different ways:
The first definition uses transition functions that satisfy a cocycle condition
(...
- 37.8k
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
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 ... ...
9
votes
1
answer
976
views
Is there a mathematical explanation for the Aharonov-Casher effect?
Recall that the Aharonov-Bohm effect can be interpreted mathematically as follows.
Consider an electromagnetic field A on some smooth manifold M, i.e., A is an element in the first differential ...
- 37.8k
8
votes
2
answers
1k
views
Going further on How sections of line bundles rule maps into projective spaces
My question is located in trying to follow the argument bellow.
Given a normal algebraic variety $X$, and a line bundle $\mathcal{L}\rightarrow X$ which is ample, then eventually such a line bundle ...
- 2,132
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
1
vote
0
answers
70
views
Moving curves and small transformations
Let $f:X\dashrightarrow Y$ be an isomorphism in codimension one between smooth projective varieties. Let $C\subset X$ a curve generating an extremal ray of the cone of moving curves $Mov_1(X)$, and ...
- 141
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 ...
4
votes
0
answers
179
views
How the existence of holomorphic sections depends on the choice of complex structure
In this Mathoverflow question it is asked how many invariant complex structures exist on the full flag manifold of $SU(m)$. In this question it is asked when a line bundle over a flag manifold has ...
- 443
2
votes
0
answers
160
views
Universal property of limits of invertible sheaves
Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...
- 2,032
0
votes
2
answers
3k
views
Line bundles with complex connection
Suppose that we have a complex manifold $X$, and a line bundle $L$ over $X$. It is known that the line bundles over $X$ are parametrized by their Chern class, the Chern class being the cohomology ...
- 1,025
1
vote
0
answers
177
views
Line bundles with vanishing cohomology on Calabi-Yau manifold
Suppose we have some line bundle $L(D)$ on Calabi-Yau threefold. Let's call this line bundle "rigid" if $H^0(X,L(D)) \simeq \mathbb{C}$ and $H^i(X,L(D))=0$ for $i=1,2,3$.
Is anything known about such ...
- 39
0
votes
2
answers
293
views
Restriction of a line bundle to a two-cycle
I am reading a paper on Chiral Differential Operators
http://arxiv.org/pdf/hep-th/0604179v3.pdf
and it says on page 23 that a line bundle over a manifold C can be characterized completely by its ...
- 17
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
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 ...
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
0
votes
2
answers
435
views
Isomorphism of connections on a complex line bundle
Reading an article I faced with the following theorem, please give me a reference to a proof of the fact which is stated without any reference in the article. Is it a well-known fact?
Theorem. Let $E ...
- 1,329
0
votes
1
answer
353
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
4
votes
2
answers
825
views
finite-dimensionality of cohomology groups on compact riemann surfaces
does the finite dimensionlity of the first cohomology group ($ H^1 $) of the sheaf of meromorphic sections of a holomorphic line bundle on a compact riemann surface follow easily from the finite ...
- 73
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
4
votes
2
answers
1k
views
For a line bundle L on a smooth projective variety X, what is meant by Pic^L(X)
Hi everyone,
Let $X$ be a smooth projective variety over a field $k$ and let $L$ be a line bundle on $X$. I'm reading the article Heights for line bundles on arithmetic varieties and there one ...
- 9,497
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
1
vote
0
answers
152
views
Are two line bundles with the same ramification type necessarily isomorphic?
I have no motivation for the following problem, I am just curious if it is true or not. Here it is:
If $l_1$ and $l_2$ are two complete $g^r_d$'s on a smooth curve $C$ such that the vanishing ...
- 325
5
votes
2
answers
720
views
Relationship between Line Bundles with isomorphic ring of sections
Suppose two positive holomorphic line bundles $L_1 \to X_1, L_2\to X_2$ over two projective complex manifold $X_1, X_2$ have isomorphic ring of sections $R=R_1=R_2$ where $R_i=\oplus_{m=0}^\infty\...
user2529
4
votes
1
answer
1k
views
Cohomology theory for symplectic manifolds
Suppose I have a symplectic manifold $(M,\omega)$ and a line bundle $\mathcal L$ with a connection with curvature $\omega$ (or perhaps it's more standard to say $\frac i{2\pi}\omega$; anyway, the ...
- 18.7k
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
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
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
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
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
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
0
votes
1
answer
265
views
Trivial Line Bundle-Riemann surfaces
What are the Hermitian metrics in a trivial line bundle on a Riemann surface X?
I read that a Hermitian metric in the trivial line bundle is equivalent to a $\mathcal{C}^{\infty}$ weight function $\...
- 59