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
0
votes
1
answer
389
views
Holomorphic sections to anti-holomorphic sections
Let $X$ be a compact Kähler manifold and $L$ be a holomorphic line bundle on $X$ with a Hermitian metric $h$. I am trying to give a norm preserving isomorphism between the space of holomorphic ...
- 954
17
votes
2
answers
2k
views
Square root of the determinant line
Let $\Sigma$ be a compact Riemann surface equipped with a spin structure (a square root of $\Omega^1_\Sigma$, denoted $\Omega^{1/2}_\Sigma$).
Let $\Gamma(\Omega^1_\Sigma)$ be the space of holomorphic ...
- 43.2k
2
votes
0
answers
92
views
Linear system of a relative effective divisor on an arithmetic surface contains vertical divisors
I am puzzled by the behavior of some divisors in my attempt to understand the relative Picard functor $\mathrm{Pic}_{X/S}$ of an arithmetic surface $\pi:X\to S$. This is defined by relative divisors $...
- 1,142
2
votes
1
answer
145
views
Grassmannian of line subbundle of a stable rank 2 vector bundle on a smooth projective curve
Let $X$ be a smooth projective curve of genus $g\geq 2$. Given a rank two, degree $d=0$ vector bundle $\mathcal{F}$ on $X$, we consider the grassmannian of sub-line bundles of $\mathcal{F}$ of degree $...
- 333
3
votes
1
answer
529
views
Weak Lefschetz theorem for Lef line bundles
I'm studying
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
The premises are the following....
- 828
23
votes
5
answers
10k
views
Maps to projective space determined by a line bundle
The following should be pretty standard for any algebraic geometer.
Let $X$ be a compact complex variety, and let $L$ be a line bundle on $X$. We say $L$ is 'generated by global sections' if for ...
- 13k
2
votes
0
answers
56
views
Conditions for long exact sequence for line bundles on curve to degenerate?
Let $\varphi:X\to Y$ be a morphism of schemes of relative dimension 1, and $\mathcal{L}' \xrightarrow{g} \mathcal{L}$ an injection of line bundles on $X$.
The sequence
$$0\to \mathcal{L}' \xrightarrow{...
- 1,338
7
votes
1
answer
253
views
The set of isomorphism classes of Z/nZ-equivariant line bundles over a 2 dimensional Z/nZ-CW complex
Suppose I wish to find the set of isomorphism classes of $\mathbb{Z}/n\mathbb{Z}$-equivariant line bundles over a 2-dimensional, compact $\mathbb{Z}/n\mathbb{Z}$-CW-complex $X$, i.e. $\mathrm{Vect}^{1}...
- 85
13
votes
3
answers
3k
views
What is the Theorem of the Cube?
What is the "theorem of the cube" for abelian varieties? What is the statement and how should I think about it?
- 27.5k
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
1
vote
1
answer
303
views
(Bridgeland stability conditions)How to get the heart of a bounded t-structure on $D^b(P^1 \times P^2)$?
I have already known how to get the heart of a bounded t-structure on $D^b(P^n)$ by Macri`s paper,
https://arxiv.org/abs/math/0411613.
However I cannot purpose analogously on $D^b(P^1 \times P^2)$.
...
- 63
1
vote
0
answers
255
views
Construction of the Hilbert Scheme
I am reading the book "Rational Curves on Algebraic Varieties" of János Kollár. Definition-Proposition 1.2, begin like this:
Let $g:Y\rightarrow Z$ be a projective morphism and $\mathcal{O}(...
- 519
1
vote
0
answers
177
views
Restriction of a line bundle on $G/B$ to a fibre which is isomorphic to $\mathbb{P}^1$
Let $G$ be a reductive group over a field $k$ of characteristic zero with maximal split torus $T$, Borel $B \supset T$ and Weyl group $W$. Set $X:=G/B$ and $C_w:=BwB/B \subset X$ for $w \in W$ the ...
- 473
7
votes
1
answer
506
views
Multiplication maps for big line bundles
In Birational Geometry of Algebraic Varieties, Kollar and Mori write that for a line bundle "being big is essentially the birational version of being ample" (page 67). Recall that a line ...
20
votes
2
answers
10k
views
does a line bundle always have a degree
For curves there is a very simple notion of degree of a line bundle or equivalently of a Weil or Cartier divisor. Even in any projective space $\mathbb P(V)$ divisors are cut out by hypersurfaces ...
- 3,968
2
votes
0
answers
677
views
Embeddings of Hirzebruch surfaces $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(n))$
Let $X_n=\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(n))$ be the $n-$th Hirzebruch surface. We know that for $d>0$ and higher $k>>0$ the linear system $$\mathcal{L}_{...
- 1,343
5
votes
1
answer
127
views
Identity relating iterated determinant line bundles
Suppose that $R$ is a (commutative, unital) ring and that $A$ is a (commutative, unital) $R$-algebra that is projective of constant rank $n$ as an $R$-module. Then $A$ has a "determinant line ...
- 2,356
1
vote
0
answers
164
views
From a factor of automorphy on an abelian variety to a divisor
Given a complex abelian variety $A = V/\Gamma$ (for $\Gamma$ being a lattice in the complex vector space $V$), one knows how to describe a holomorphic line bundle in terms of factors of automorphy: By ...
- 12.1k
5
votes
1
answer
443
views
Line bundle on product scheme
Let $k$ be a field, $X$ be a complete variety over $k$, $V$ be an open subvariety of $X$, $Y$ be a scheme over $k$. Suppose $L$ is a line bundle on $V\times Y$. If $L|_{V\times\lbrace y\rbrace}$ ...
- 51
1
vote
0
answers
469
views
Dimension of global holomorphic sections of a line bundle
Let $K$ be the canonical line bundle of a compact Riemann surface $M$ of genus $g$. Consider the pull back of $K$ on $M \times M$ via projection on the first factor. What is the dimension of the space ...
- 35
8
votes
2
answers
1k
views
Is a torsion free sheave of rank one on a reducible curve the pushforward of a line bundle on a normalization?
Let $X$ be a nodal curve, possibly reducible. Then can any torsion free sheaf of rank one on $X$ be expressed as $\pi_*(L)$, where $L$ is a line bundle on a partial normalization of $X$? This looks ...
- 129
1
vote
1
answer
373
views
Flat connection of a degree zero line bundle on curve
The question is clear from the title. Suppose we have a line bundle on a compact smooth complex curve $X$, and a line bundle $\mathcal{L}=\mathcal{O}_X(p-q)$, where $p$ and $q$ are divisors, then what ...
- 93
1
vote
0
answers
255
views
Proof of uniqueness in the universal property of Poincaré line bundles
My question concerns the proof of a part of Lemma IV.2.2 (pag. 168) of the book Geometry of Algebraic Curves. vol. I by Arbarello, Cornalba, Griffiths and Harris. In order to state my problem, let me ...
- 55
3
votes
1
answer
168
views
Weights on the linearization
Consider, just as an example, an action of $\mathbb{C}^*$ on $\mathbb{P}^2$ of the form
$$t\cdot p=[p_0:tp_1:t^2p_2]$$
There are $3$ fixed points, namely $e_1,e_2,e_3$. If I consider a $\mathbb{C}^*$-...
- 133
3
votes
2
answers
312
views
Line bundles trivial outside of codimension 3
Let $X$ be a CW complex (possibly a topological/smooth manifold) of dimension $n$, $L\to X$ a complex line bundle and $Y\subset X$ a subcomplex (possibly a submanifold) contained in the codimension 3 ...
- 988
8
votes
1
answer
575
views
Pushforward of line bundle under "toric isogeny"
Let $(X,T)$ be a smooth complex toric variety of dimension $d$ with torus $T$ and toric boundary $D=X\setminus T$. Let $\phi : X\to X$ be a finite endomorphism of $X$ such that the restriction
$$\phi|...
- 23.4k
4
votes
2
answers
307
views
Existence of a connection $A$ on a holomorphic line bundle $L$, s.t $F(A)=(\deg L)\omega$
I'm reading this paper and at page 67, he states that for any line bundle $L$ over a Rieman surface there is a connection $A$ whose curvature is
$$
F(A)=(\deg L)\omega,
$$
where $\omega$ is a positive ...
- 311
3
votes
2
answers
968
views
Rationality of conic bundles
Let $\pi:X\rightarrow\mathbb{P}^2$ be a $3$-fold conic bundle, and let $\Delta\subset\mathbb{P}^2$ be its discriminant. Assume that both $X$ and $\Delta$ are smooth and that $deg(\Delta)\geq 6$.
Can ...
- 8,998
2
votes
0
answers
152
views
What is $f^*TX$ for a general morphism $f\colon\mathbb{P}^1\to X$?
Let $X$ be a projective homogeneous space over $\mathbb{C}$, i.e. $G/P$ where $G$ is a simple, simply connected linear algebraic group and $P$ is a parabolic subgroup. Let $f\colon\mathbb{P}^1\to X$ ...
- 1,066
3
votes
1
answer
276
views
Polarization of an abelian variety made by the sum of two divisors
Let $X$ be an abelian variety of dimension $n$, and let $L$ be a polarization, that is, an ample line bundle on $X$, with $\chi(L)=3$.
In my specific case, I have that $L=\mathcal{O}_X(\Theta + D)$, ...
4
votes
0
answers
142
views
Classification of square roots of line bundles and metalinear/metaplectic structures
Reading some books and articles about geometric quantization I got confused about the classification of square roots of complex line bundles over a manifold. Consider the group of isomorphism classes ...
0
votes
0
answers
120
views
Sections of vector bundles interpreted as sections of line bundles
Let $X$ be a smooth projective curve of genus $g$ over $\mathbb{C}$, $K_{X}$ be a cononical sheaf on $X$ and $\mathcal{E}$ be a locally free sheaf on $X$ s.t. $H^{0}(X,\mathcal{E}^{*})=\operatorname{...
- 297
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
725
views
Questions on Néron–Severi group
$\DeclareMathOperator\NS{NS}\DeclareMathOperator\Pic{Pic}$I have two questions on a comment from Daniel Hyubrechts's Complex Geometry on pages 133/134.
Let $X$ be a compact Kähler manifold. Consider ...
- 5,966
1
vote
0
answers
409
views
Splitting principle in algebraic geometry and ample line bundles
Splitting theorem in algebraic geometry claims that if we have a vector bundle $V$ on $X$ (we consider a smooth projective variety for this question), if we pull-back $V$ to $\mathbb{P}(V)$, we get a ...
- 5,901
6
votes
0
answers
185
views
Arnold's theorem on small denominators and holomorphic tubular neighborhoods
By a theorem of Grauert, along a curve with negative self-intersection a complex surface is locally biholomorphic to a neighborhood of the zero section of that curve inside its normal bundle. For ...
- 427
1
vote
0
answers
124
views
Vector bundle defined by using divisors of very ample line bundle
Let $X$ be a smooth projective curve. Suppose that $L_1$ and $L_2$ are line bundles on $X$, and $L_1$ is very ample.
$\operatorname{Div}(s)$ denotes a divisor defined by a global section $s\in H^0(X,L)...
- 297
1
vote
0
answers
99
views
Discriminant divisor $\mathcal{D}_{r} \subseteq H^{0}(X,K_{X}^{\otimes r})$ is irreducible
Let $X\colon$ smooth projective curve over $\mathbb{C}$, $K_{X}\colon$ canonical line bundle over $X$, and $W_{r}$ denotes $H^{0}(X,K_{X}^{\otimes r})$.
I'm trying to prove the following proposition,
...
- 297
4
votes
0
answers
101
views
Isometries of fiber bundles
Let $F\to S\overset{\pi}{\to} B$ a Riemannian submersion with totally geodesic fibers.
Question: How much information about the isometries of $S$ we have if we know the isometries of $F$ and $B$? For ...
- 223
5
votes
1
answer
265
views
The existence of the extension of a non-trivial line bundle
In Three Dimensional Gravity Revisted, Witten studied the Abelian Chern-Simons theory in three dimensions.
Let $W$ be a three dimensional manifold. Let $\mathcal{L}$ be a non-trivial line-bundle over ...
- 615
10
votes
3
answers
695
views
line bundles and universal covers
When dealing with some lifting problems, I came across the following problem, which probably has a well-known answer, but anyway:
Suppose I have a (locally contractible) connected topological group $G$...
- 7,637
21
votes
3
answers
8k
views
Total space of the line bundle $\mathcal{O}(1)$ over $\mathbb{P}^n$
It is well known that total space of the tautological line bundle $\mathcal{O}(-1)$ over projective space $\mathbb{P}^n$ is closed subvariety of $\mathbb{P}^n\times\mathbb{A}^{n+1}$. My question is ...
- 525
1
vote
0
answers
182
views
Problem regarding existence of a divisor representing line bundle
We consider a normal irreducible variety $X$ and a line bundle $L$. The question is when $L$ is induced by a Cartier divisor $D$. We know that if $s$ is a rational section of $O_X(D)$, where $D$ is a ...
1
vote
0
answers
229
views
The group of global sections of the automorphism bundle of the tangent bundle on a Grassmannian
Let $X={\rm Gr}(k,n)$ denote the Grassmannian of $k$-dimensional subspaces in ${\Bbb C}^n$.
We regard $X$ as an algebraic variety over $\Bbb C$.
Let ${T_X} \to X$ denote the tangent bundle on $X$. For ...
- 14.2k
17
votes
2
answers
1k
views
Line bundles vs. Cartier divisors on a non-integral scheme
It is well-known that if $X$ is an integral scheme, then there is an isomorphism $CaCl(X)\to Pic(X)$ taking $[D]$ to $[\mathcal{O}_X(D)]$. Does anyone know any simple examples where the above map ...
- 11.6k
3
votes
0
answers
195
views
Is Wronskian a line bundle for Riemann surfaces?
Suppose $f_1,\dots,f_g$ are holomorphic functons on a domain $U\subset\mathbb{C}$. By the Wronskian determinant $f_1,\dots,f_g$ one means the determinant of the matrix of derivatives $f_k^{(m)},$ ...
- 954
1
vote
0
answers
159
views
Ample line bundle gives alternative description of a variety
Let $X$ be a (smooth) projective variety (over $\mathbb{C}$), and $\mathcal{L}$ an ample line bundle on $X$. I have heard that then
$$ X \cong \mathrm{Proj} \left( \bigoplus_{k \ge 0} H^0(X,\mathcal{...
- 533
2
votes
0
answers
164
views
A question on Okounkov bodies
Let $X$ be an irreducible $n$-dimensional projective variety, and
$$Y_n\subset Y_{n-1}\subset\dots\subset Y_1\subset X$$
a flag of irreducible subvarieties such that $Y_i$ has codimension $i$ in $X$ ...
user125056
2
votes
1
answer
160
views
Sections of Cartier divisors on toric varieties
Let $X_{\Sigma}$ be a projective toric variety. Consider the total coordinate ring
$$S = \mathbb{C}[x_{\rho}\: | \: \rho\in\Sigma(1)]$$
Define $\deg(x_{\rho}) = D_{\rho}$.
Now, take a divisor $D = \...
user75933
6
votes
2
answers
360
views
The kernel of a nef line bundle
Let $V$ be a complex projective variety and $L$ a nef line bundle on $V$ (i.e., $L$ is non-negative on every curve in $V$). Denote, as usual, $\deg_LX = c_1(L)^{\dim{X}}.[X]$ for $X$ a subvariety of $...
- 13.8k