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.

Filter by
Sorted by
Tagged with
3
votes
0answers
39 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 ...
1
vote
0answers
109 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 ...
4
votes
1answer
91 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 ...
0
votes
0answers
107 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{...
0
votes
0answers
138 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 ...
1
vote
0answers
69 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, ...
2
votes
0answers
137 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$ ...
8
votes
2answers
246 views

Differential refinement of homology

Differential cohomology is a refinement of ordinary cohomology by differential data. It's construction comes down to the observation that $H^2(M, \mathbb{Z})$ is isomorphic to the space of isomorphism ...
1
vote
0answers
78 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)...
7
votes
1answer
188 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}...
1
vote
0answers
122 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}_{...
0
votes
0answers
52 views

Natural correspondence between the set of morphisms and the set of global sections

I'm trying to prove the following claim. Let $X$ : smooth projective scheme over $\mathbb{C}$, $L$ : line bundle over $X$ and $A$ : $\mathbb{C}$-algebra. $X_A=X\times_{\mathbb{C}} \operatorname{Spec}A$...
7
votes
1answer
178 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 ...
5
votes
1answer
326 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}$ ...
3
votes
1answer
98 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}^*$-...
3
votes
1answer
195 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....
1
vote
0answers
103 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
0answers
89 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 ...
2
votes
1answer
191 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)$, ...
1
vote
0answers
185 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 ...
0
votes
0answers
216 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 ...
1
vote
0answers
129 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{...
3
votes
0answers
107 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$ ...
3
votes
0answers
129 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)},$ ...
5
votes
0answers
104 views

Does there exist a notion of Chern classes in intersection cohomology?

First of all: I apologize for my mistakes, I'm a freshman in intersection cohomology. Let $X$ be a (compact) complex analytic space, let $L$ be a line bundle over $X$. Can one define a notion of ...
1
vote
1answer
115 views

Generators of a graded algebra defining bundle over elliptic curve

I have a question about a statement from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 425): We consider an elliptic curve $X$ and a line bundle (=invertible sheaf) $L$ on $X$. Then,...
3
votes
1answer
126 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 = \...
1
vote
0answers
133 views

Are torsion-free rank 1 modules over integral schemes line bundles?

How far away are torsion-free rank 1 sheaves from the line bundles? Is there any condition that makes sure they are same? (for dimensions higher than 1). It is known that for a regular scheme of ...
3
votes
2answers
243 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 ...
3
votes
2answers
183 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 ...
4
votes
0answers
104 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 ...
2
votes
0answers
75 views

The dual of the space of continuous sections in a vector bundle

If $X$ is a compact Hausdorff space, one may view the space of complex, continuous functions on it as the space of continuous sections in the trivial Hermitian bundle $X \times \mathbb C$. By the ...
17
votes
1answer
881 views

Embedding abelian varieties into projective spaces of small dimension

Given a (complex) abelian variety $A$ of a fixed dimension $g$, let $d(A)$ be the dimension of the smallest complex projective space it embeds into. Is $d(A)$ uniform over all abelian varieties of a ...
5
votes
1answer
174 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 ...
2
votes
1answer
109 views

Pull-back of polarization

Let $(X, L)$ and $(Y, M)$ be two polarized abelian varieties . According to Birkenhake C. and Lange H. in Complex Abelian Varieties a homomorphism of polarized abelian varieties $f:(Y, M)\...
4
votes
0answers
154 views

Does there exist a preferred trivialization of a trivial line bundle?

Let $L\to M$ be a topologically trivial complex Hermitian line bundle (over a manifold of dimension three, if this is of any importance). I assume that $L$ admits a trivialization, however, I do not ...
2
votes
3answers
1k views

Classification of line bundles by second cohomology of a manifold

In the book Loop spaces, Characteristic classes and geometric quantization by Brylinski I see following result when trying to motivate geometric description of $H^3(M,\mathbb{Z})$. $H^2(M,\mathbb{Z}...
7
votes
2answers
549 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 ...
0
votes
0answers
77 views

$H$ very ample, $f$ finite, is there uniform $C=C(\mathrm{deg}(f))$ for $C f^* H$ very ample?

Let $X$ and $Y$ be normal projective varieties over $\mathbb{C}$ of dimension $n$. Let $f: X \rightarrow Y$ be a finite morphism. Also, let $H$ be a very ample divisor on $Y$. Is there a constant $C=...
0
votes
1answer
183 views

Do line bundles with enough sections on surfaces have generic divisors which are irreducible?

Let $L$ be a line bundle on a smooth connected complete complex algebraic surface $X$. Assume that $L$ has enough sections i.e. that $H^0(L,X)$ has dimension $> 1$. A nonzero section $s$ of $L$ ...
2
votes
2answers
317 views

When is the space of holomorphic sections of the tensor product of two line bundles given by the span of the tensor product of the basis?

Let $S$ be a compact complex manifold and $L_1, L_2 \longrightarrow S$ be two holomorphic line bundles. Under what conditions (hopefully something that is easy to check) on $L_1$ and $L_2$ is the ...
1
vote
1answer
221 views

Reference request: $f^*D$ semi-ample, then $D$ semi-ample

I am looking for a suitable reference to put in a bibliography for the following fact: Let $f: X \rightarrow Y$ be a surjective morphism between normal projective varieties. Let $D$ be a $\mathbb{Q}$-...
1
vote
0answers
156 views

Torsion line bundle on hyperelliptic curves and Weierstrass points

Let $C$ be an hyperelliptic curve of genus $g$ and let $f:C\rightarrow \mathbb{P}^1$ be the corresponding 2 to 1 covering ramified in $2g+2$ points. Let $L$ be a line bundle on $C$ such that either $...
1
vote
0answers
107 views

Twisting a line bundle with the zero section

Let $X$ be a smooth projective curve and $L$ be an invertible sheaf on $X$. Denote by $\mathbb{L}$ the line bundle associated to $L$, $\pi:\mathbb{L} \to X$ the natural morphism and $0_\pi$ the zero ...
3
votes
1answer
535 views

Isomorphism classes of line bundles with connections

Isomorphism classes of line bundles over a scheme $X$ are described by the Picard group $Pic(X)$. Now there is a paper that describes the moduli space of line bundles with connections. This paper is ...
3
votes
1answer
166 views

Curves contracted by a rational map

Let $D$ be a big but not nef divisor on a normal $\mathbb{Q}$-factorial projective variety. Assume that the section ring $$R(D) = \bigoplus_{n\in\mathbb{N}}H^0(X,nD)$$ is finitely generated and ...
3
votes
0answers
141 views

Determinant of the universal bundle

Let $M$ be the moduli space of semistable vector bundles of fixed determinant $L$ and rank $r$ over a smooth curve $X$. Assume that $gcd(r,deg(L))=1$. Let $\mathcal U$ be the universal bundle over $M\...
1
vote
0answers
47 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)/(\...
6
votes
0answers
749 views

Picard group of toric varieties

I am trying to understand how to obtain the Picard group for general toric varieties. So far, I have been using information found in https://arxiv.org/pdf/1003.5217.pdf . Here, a toric variety has ...
1
vote
0answers
110 views

Holomorphic line bundles associated to multiple U(1) groups, defined over toric manifolds

The sections of the holomorphic line bundle $\mathcal{O}(n)$ are acted on by the covariant derivative $$ d+nA, $$ where $A$ is the connection on the $U(1)$ bundle to which $\mathcal{O}(n)$ is ...