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
22 votes
5 answers
9k 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 ...
Greg Muller's user avatar
  • 12.7k
21 votes
3 answers
7k 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 ...
Klim Puhov's user avatar
21 votes
3 answers
3k 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 ...
Theo Johnson-Freyd's user avatar
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 ...
solbap's user avatar
  • 3,938
20 votes
1 answer
2k 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?...
Dan Petersen's user avatar
  • 39.3k
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 ...
user avatar
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,124
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
17 votes
3 answers
3k 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$...
John Pardon's user avatar
  • 18.3k
17 votes
2 answers
991 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 ...
J.C. Ottem's user avatar
  • 11.5k
17 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 ...
Ben Webster's user avatar
  • 44k
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 (...
Dmitri Pavlov's user avatar
12 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?
Chris Schommer-Pries's user avatar
12 votes
1 answer
741 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 ...
Puzzled's user avatar
  • 8,852
12 votes
3 answers
589 views

Modern treatment of Dirac monopoles and related topics

I know that the topic is classical and even "folklore", but many treatments make use of local coordinates and such treatments are rather messy. Could somewhere maybe provide some reference(s)...
Malkoun's user avatar
  • 5,011
10 votes
4 answers
3k 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 ...
Piotr Achinger's user avatar
10 votes
0 answers
520 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 ...
Oren Ben-Bassat's user avatar
9 votes
3 answers
660 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$...
Ulrich Pennig's user avatar
9 votes
2 answers
376 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,472
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 ...
Michael Albanese's user avatar
9 votes
1 answer
950 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 ...
Dmitri Pavlov'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
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 $\...
Jean Delinez's user avatar
  • 3,359
8 votes
1 answer
561 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|...
Qfwfq's user avatar
  • 22.7k
8 votes
1 answer
383 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 ...
Charles Siegel's user avatar
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 ...
Csar Lozano Huerta's user avatar
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
7 votes
5 answers
3k 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 ...
Jean Delinez's user avatar
  • 3,359
7 votes
1 answer
898 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^*...
Oren's user avatar
  • 195
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
7 votes
1 answer
418 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
7 votes
2 answers
593 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 ...
Drew's user avatar
  • 1,469
6 votes
6 answers
5k 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?
user avatar
6 votes
3 answers
579 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$?
The Chopper's user avatar
6 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 ...
Blake's user avatar
  • 1,025
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
6 votes
1 answer
631 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 ...
diverietti's user avatar
  • 7,852
6 votes
1 answer
503 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 ...
George's user avatar
  • 113
6 votes
1 answer
2k 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 ...
Saul Glasman's user avatar
  • 2,148
6 votes
1 answer
313 views

Construction of a line bundle from a class $[\alpha] \in H^1(X, \mathcal{O}_X^{\times})$ as $\mathcal{O}_X^{\times}$-Torsor

Let $X$ be a complex compact manifold, and write $\mathcal{O}_X$ for the sheaf of holomorphic functions on $X$. Let $\mathcal{O}_X^{\times}$ be the subsheaf consisting of holomorphic functions. These ...
user267839's user avatar
  • 6,000
6 votes
0 answers
207 views

Mumford's definition of an abelian variety's $Pic^0$

I'm not sure whether this is a research-level question, but upon skimming through Mumford book of Abelian Varieties I noticed he gives this definition $$ \begin{equation} \label{eq} \text{Pic}^0(A)=\{\...
Basil's user avatar
  • 61
6 votes
0 answers
179 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
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
6 votes
0 answers
367 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 ...
Anton Geraschenko's user avatar
5 votes
1 answer
3k views

What can be said about a pullback of a very ample line bundle w.r.t birational maps?

Let $X$ be a smooth projective variety and $\phi: X \to \mathbb P^n$ be a map. If $\phi$ is an embedding then $E=\phi^*(O(1))$ is very ample. But can one say something if $\phi$ is birational (but not ...
Rami's user avatar
  • 2,581
5 votes
2 answers
696 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\...
user avatar
5 votes
1 answer
380 views

Compact complex non-Kähler manifolds with nef canonical bundle

Are there examples of compact complex manifolds $X$ with $K_X$ nef, but $X$ is not Kähler? Perhaps even non-Moishezon examples? Here, nef can be defined as follows: For any $\varepsilon>0$ there is ...
ABBC's user avatar
  • 265
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
5 votes
2 answers
801 views

What kind of line bundles have Chern class of Hodge type (2,0) or (0,2)?

If $L$ is a complex line bundle on a topological space $X$, let $c_1(L)$ denote the image of its Chern class in $H^2(X;C)$. A complex manifold structure on $X$ [ok which is also compact and say ...
David Treumann's user avatar
5 votes
1 answer
249 views

Extension of first order deformations of a line bundle

Let $X$ be a smooth complex algebraic variety with $H^0(X,\mathcal{O}_X) = \mathbb{C}$ and $V \subset X$ an open subvariety whose complement has codimension two. Now, let $L_{\varepsilon}$ be a line ...
Javier Gargiulo's user avatar

1
2 3 4 5