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
1 vote
0 answers
418 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 ...
Roch's user avatar
  • 35
1 vote
0 answers
94 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, ...
Aoki's user avatar
  • 297
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$ ...
Christoph Mark's user avatar
9 votes
2 answers
369 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 ...
Tobias Diez's user avatar
  • 5,442
1 vote
0 answers
120 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)...
Aoki's user avatar
  • 297
7 votes
1 answer
250 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}...
Time suspect's user avatar
2 votes
0 answers
580 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}_{...
gigi's user avatar
  • 1,333
7 votes
1 answer
406 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 ...
Roberto Nunez's user avatar
5 votes
1 answer
432 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}$ ...
Parkey's user avatar
  • 51
3 votes
1 answer
145 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}^*$-...
konoa's user avatar
  • 133
3 votes
1 answer
474 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....
Armando j18eos's user avatar
1 vote
0 answers
160 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 ...
Federico Fallucca's user avatar
1 vote
0 answers
198 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 ...
Mikhail Borovoi's user avatar
2 votes
1 answer
256 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)$, ...
TartagliaTriangle's user avatar
1 vote
0 answers
371 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 ...
user127776's user avatar
  • 5,831
1 vote
0 answers
612 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 ...
user267839's user avatar
  • 5,948
1 vote
0 answers
147 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{...
57Jimmy's user avatar
  • 533
2 votes
0 answers
160 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$ ...
user avatar
3 votes
0 answers
191 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)},$ ...
Partha's user avatar
  • 759
6 votes
0 answers
178 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 ...
Armando j18eos's user avatar
1 vote
1 answer
152 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,...
user267839's user avatar
  • 5,948
2 votes
1 answer
157 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 = \...
user avatar
1 vote
0 answers
256 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 ...
user127776's user avatar
  • 5,831
3 votes
2 answers
293 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 ...
Arkadij's user avatar
  • 914
4 votes
2 answers
263 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 ...
Leonardo Schultz's user avatar
6 votes
0 answers
179 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 ...
Rodion N. Déev's user avatar
2 votes
0 answers
148 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 ...
Alex M.'s user avatar
  • 5,207
18 votes
1 answer
2k 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 ...
Kim's user avatar
  • 4,034
5 votes
1 answer
254 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 ...
Valac's user avatar
  • 615
2 votes
1 answer
145 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)\...
Manoel's user avatar
  • 530
4 votes
0 answers
180 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 ...
A. Haydys's user avatar
  • 246
4 votes
3 answers
2k 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}...
Praphulla Koushik's user avatar
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 ...
shang's user avatar
  • 129
0 votes
0 answers
85 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=...
Stefano's user avatar
  • 625
0 votes
1 answer
252 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$ ...
Kim's user avatar
  • 4,034
2 votes
2 answers
635 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 ...
Ritwik's user avatar
  • 3,235
1 vote
1 answer
296 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}$-...
Stefano's user avatar
  • 625
1 vote
0 answers
212 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 $...
user43198's user avatar
  • 1,949
1 vote
0 answers
205 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 ...
user43198's user avatar
  • 1,949
3 votes
1 answer
855 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 ...
Marion's user avatar
  • 577
2 votes
1 answer
203 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 ...
user avatar
3 votes
0 answers
149 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\...
Z.A.Z.Z's user avatar
  • 1,871
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)/(\...
Mtheorist's user avatar
  • 1,135
8 votes
1 answer
2k 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 ...
Mtheorist's user avatar
  • 1,135
1 vote
0 answers
131 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 ...
Mtheorist's user avatar
  • 1,135
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 ...
André Henriques's user avatar
1 vote
0 answers
68 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 ...
Melvin's user avatar
  • 11
6 votes
2 answers
354 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 $...
Vesselin Dimitrov's user avatar
2 votes
1 answer
171 views

Anti-canonical divisorial contractions of weak Fano $3$-folds

Let $X$ be a smooth weak Fano but not Fano $3$-fold ($-K_X$ is nef and big but not ample). Then the anti-canonical morphism $\phi:X\rightarrow W$ (the morphsim induced by the linear system $|-mK_X|$ ...
user avatar
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. ...
shamovic's user avatar
  • 431