# 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.

178
questions

**21**

votes

**5**answers

6k 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 ...

**20**

votes

**1**answer

1k 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?...

**19**

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 ...

**18**

votes

**3**answers

5k 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 ...

**17**

votes

**2**answers

1k 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 ...

**17**

votes

**1**answer

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 ...

**17**

votes

**3**answers

2k 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$...

**17**

votes

**2**answers

7k 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 ...

**15**

votes

**5**answers

2k views

### What do gerbes and complex powers of line bundles have to do with each other?

We all know how to take integer tensor powers of line bundles. I claim that one should be able to also take fractional or even complex powers of line bundles. These might not be line bundles, but ...

**15**

votes

**2**answers

741 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 ...

**12**

votes

**2**answers

2k 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 ...

**12**

votes

**1**answer

673 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 ...

**12**

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
(...

**10**

votes

**4**answers

2k 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 ...

**10**

votes

**0**answers

498 views

### Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles.
I will ...

**9**

votes

**3**answers

2k 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?

**9**

votes

**1**answer

207 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 $...

**9**

votes

**1**answer

838 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 ...

**9**

votes

**1**answer

844 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 ...

**8**

votes

**1**answer

372 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 ...

**8**

votes

**2**answers

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 ...

**7**

votes

**5**answers

2k views

### Indexing the line bundles over a Grassmannian.

As is well known, the line bundles over *CP*$^1$ are indexed by the integers. My question is how are the line bundles over *CP*$^n$, $n > 1$, and *Gr*$(n,k)$ indexed? Moreover, do there exist any ...

**7**

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 $\...

**7**

votes

**2**answers

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 ...

**7**

votes

**3**answers

507 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) topological group $G$, such ...

**7**

votes

**2**answers

906 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 ...

**7**

votes

**1**answer

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}...

**7**

votes

**1**answer

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 ...

**6**

votes

**6**answers

4k views

### What does the ample cone look like?

For a variety $X/k$, consider the monoid $A$ of classes of ample line bundles in $NS(X)$. What does $A \otimes_\mathbf{Z} \mathbf{R} \subset NS(X)_\mathbf{R}$ look like?

**6**

votes

**4**answers

2k 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(...

**6**

votes

**3**answers

476 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$?

**6**

votes

**2**answers

326 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 $...

**6**

votes

**1**answer

570 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 ...

**6**

votes

**1**answer

374 views

### Lifting line bundles

Let $X$ be a smooth proper geometrically integral scheme over $\overline{\mathbb F_p}$. Assume $X$ is the specialization of a smooth proper scheme over $\mathbb Z_p^{nr}$. Let $L$ be an ample line ...

**6**

votes

**1**answer

643 views

### volume of big line bundles under finite morphisms

Let $X$, $Y$ be complex projective varieties of dimension $n$, let $f:X \rightarrow Y$ be a surjective finite morphism of degree $d$ and let $B$ be a big line bundle on $Y$.
Is that true that vol($f^*...

**6**

votes

**1**answer

1k views

### Line bundles: from transition functions to divisors

Recently I was thinking about how local systems are the same thing as vector bundles with flat connection, and how representations of the fundamental group gave rise to vector bundles. This got me ...

**6**

votes

**2**answers

432 views

### Will (general points + small number of arbitrary points) impose independent condtions on plane curves?

It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known that a small number ($\le d+1$) points always impose ...

**6**

votes

**0**answers

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 ...

**6**

votes

**0**answers

338 views

### Do line bundles which divide the canonical bundle lift

Let $S $ be the spectrum of a complete dvr with algebraically closed residue field. Let $\eta$ be its generic point and let $s$ be its closed point with $k(s)$ of positive characteristic. Let $X\to S$ ...

**6**

votes

**0**answers

360 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 ...

**5**

votes

**1**answer

2k views

### Connections on line bundles over the torus

If I understand correctly, every line bundle $L$ over the (2-dim) torus can be obtained from a quotient of $\mathbb{R}^2 \times \mathbb{C}$ by a $\mathbb{Z}^2$ lattice action. Different line bundles ...

**5**

votes

**1**answer

409 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|...

**5**

votes

**1**answer

172 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 ...

**5**

votes

**1**answer

442 views

### graded ring associated to a line bundle in a tensor category

Let $\mathcal{A}$ be an abelian tensor category with unit $\mathcal{O}$. An object $\mathcal{L}$ is called invertible or a line bundle if there is some $\mathcal{L}^{-1}$ such that $\mathcal{L} \...

**5**

votes

**1**answer

559 views

### Line bundles in abelian $\otimes$-categories

By an abelian $\otimes$-category I mean a symmetric monoidal category $(\mathcal{A},\otimes,\mathcal{O})$, such that $\mathcal{A}$ also is an abelian category and for every $M \in \mathcal{A}$ the ...

**5**

votes

**4**answers

547 views

### Sections of a divisor on elliptic curve

I'm interested in producing explicit bases for the sections of a line bundle on an embedded genus 1 curve. Let me restrict to the first case that I don't know how to do, so that I can be as concrete ...

**5**

votes

**1**answer

324 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}$ ...

**5**

votes

**0**answers

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 ...

**5**

votes

**0**answers

173 views

### In search for examples concerning pushforward of nef divisors and lc-trivial fibrations

My question is motivated by ideas around the moduli b-divisor of an lc-trivial fibration (see for instance the following paper by Ambro https://arxiv.org/pdf/math/0308143.pdf).
In such a setup, one ...

**4**

votes

**2**answers

2k views

### Is the double-twisted Moebius strip isotopic to the trivial strip?

Abstractly, on the topological circle $S^1$ there are only two real line bundles, up to isomorphism: the trivial one $\mathcal{O}$ and the Moebius strip $\mathcal{O}(1)$ (thinking of $S^1$ as $\mathbb{...