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.

72 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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
6 votes
0 answers
206 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
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
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
0 answers
264 views

Non-trivial line bundle on $\mathbb{C}^{\ast} \times \mathbb{C}^{\ast}$

A line bundle is a holomorphic complex-dimension-one bundle on a complex manifold. The complex manifold $X = \mathbb{C}^{\ast} \times \mathbb{C}^{\ast}$ admits a non-trivial line bundle for the ...
ugosugo's user avatar
  • 103
5 votes
0 answers
222 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 ...
Stefano's user avatar
  • 625
4 votes
0 answers
798 views

Is there any relation between the pushforward of a divisor and the pushforward of its line bundle?

Given a morphism between normal varieties $f: X \to Y$, we can push forward a Cartier divisor $D$ to get a cycle $f_* D$. On the other hand, we can form the line bundle $\mathscr{L}(D)$ and push that ...
Kim's user avatar
  • 4,034
4 votes
0 answers
122 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 ...
GabrieleBenedetti's user avatar
4 votes
0 answers
91 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 ...
Dinisaur's user avatar
  • 213
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
0 answers
171 views

How close is $h^0(mD)$ to be a polynomial?

Let $X$ be a normal (or smooth if it helps) projective variety over an algebraically closed field $k$. Fix a Cartier divisor $D$: I am interested in knowing how $h^0(mD)$ behaves as $m$ varies. At ...
Stefano's user avatar
  • 625
4 votes
0 answers
168 views

How the existence of holomorphic sections depends on the choice of complex structure

In this Mathoverflow question it is asked how many invariant complex structures exist on the full flag manifold of $SU(m)$. In this question it is asked when a line bundle over a flag manifold has ...
Han Jin Ma's user avatar
4 votes
0 answers
674 views

Ample Line Bundles on Algebraic Spaces

The sources known to me (Knutson's Algebraic Spaces and Pascual-Gainza's Ampleness criteria for algebraic spaces) define a line bundle $L$ on an algebraic space $X$ (over a base scheme $S$) to be ...
Lennart Meier's user avatar
3 votes
0 answers
129 views

Metric on line bundle defined fiberwise

Let $(X,\mathcal{O}_X)$ be an analytic space, and let $L$ be a line bundle on $X$. Intuitively, a metric $||\cdot||$ is a continuous choice of a metric for each fiber of the line bundle, which is a ...
Lorenzo Andreaus's user avatar
3 votes
0 answers
194 views

Line bundles with meromorphic transition functions

I have the following situation: let $X$ be a projective complex manifold and let $f \in H^1(X,\mathcal{M}^{\times})$. So $f$ defines something like a line bundle with meromorphic transition functions. ...
KuSi's user avatar
  • 53
3 votes
0 answers
239 views

Ample divisor of degree two on a blow-up of $\mathbb P^2$ at nine points

Let $\pi:S \rightarrow \mathbb P^2$ be a blow-up at nine points in general position. I am finding an ample divisor $L$ on $S$ of degree two ($L^2=2$). Since $Pic(S) = \mathbb Z h \oplus \mathbb Z e_1 \...
Basics's user avatar
  • 1,821
3 votes
0 answers
116 views

Relation between $\mathrm{Pic}^\natural_{X/S}$ and two notions of rigidification

Let $X/S$ be a relative curve (perhaps with more adjectives). I have come across a few instances of rigidifying and rigidificators, which I would like to understand better. In Liu-Lorenzini-Raynaud (...
Somatic Custard's 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
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
3 votes
0 answers
222 views

How can one check that two line bundles on $\overline{M}_{0,n}$ coincide?

Let $X$ be the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$. Suppose I have two (big) line bundles $L$ and $L'$ on $X$ and that I want to show that they are the same element of $Pic(X)$. Of ...
IMeasy's user avatar
  • 3,717
2 votes
0 answers
130 views

Symmetric group-cocycle descends to symmetric product

Let $C$ be a complex curve with universal covering $\tilde{C}$ (which in my case is the upper half plane). Any group-cocylce $e \in H^1(\pi_1(C^n),H^0(\tilde{C}{}^n,\mathcal{O}^{\times}))$ defines a ...
KuSi's user avatar
  • 53
2 votes
0 answers
84 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 $...
Somatic Custard's user avatar
2 votes
0 answers
52 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{...
PrimeRibeyeDeal's user avatar
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
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
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
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
2 votes
0 answers
333 views

Lefschetz type theorems for big and nef divisors

Let $X$ be a smooth projective variety, and $D\subset X$ a smooth nef and big divisor. Assume that the restriction map $Pic(X)\rightarrow Pic(D)$ is an isomorphism over $\mathbb{Q}$. Under which ...
user avatar
2 votes
0 answers
185 views

Top intersections on the Hilbert scheme of points on a surface

The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism. ...
Drew's user avatar
  • 1,469
2 votes
0 answers
230 views

Moment map of equivariant line bundles

I'm reading Szabo's `Equivariant Cohomology and Localization of Path Integrals'. I've stumbled upon an equation I can't make sense of, in the discussion about $G$-equivariant line bundles on ...
Meer Ashwinkumar's user avatar
2 votes
0 answers
159 views

Universal property of limits of invertible sheaves

Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...
Jana's user avatar
  • 2,022
2 votes
0 answers
231 views

Computing Euler Charactistics of Line bundles on Hilbert Schemes of points on Surfaces

Let $S^{[2]}$ be the Hilbert scheme of two points on a smooth projective surface (actually, right now I am particularly interested in del Pezzo surfaces). Let $B$ be the exceptional divisor of the ...
Drew's user avatar
  • 1,469
1 vote
0 answers
185 views

How to define Cartier divisor and Weil divisor on algebraic stack?

How to define Cartier divisor and Weil divisor on algebraic stack? Do they correspond to line bundles on stack like the case of schemes? In case of a Deligne-Mumford stack, can we have a simpler ...
user124771's user avatar
1 vote
0 answers
237 views

Computing Picard groups of arbitrary quadric hyperplane

I know the Picard group of a smooth two dimensional quadric surface is $\mathbb Z^2$, but I am wondering if the computation can be generalized to higher dimension? In particular, is the Picard group ...
JKDASF's user avatar
  • 231
1 vote
0 answers
193 views

Bundles vs. line bundles

Let $K$ be an algebraically closed field and consider the category $\text{Bun}$ of (finite dimensional) vector bundles over a $K$-variety $X$. Consider also the category of $\mathbb{G}^\times$-...
Ronald J. Zallman's user avatar
1 vote
0 answers
199 views

Semi-continuity of the Picard number

Let $f:X\rightarrow S$ be a family of smooth projective varieties. For $s\in S$ set $X_s := f^{-1}(s)$, and let $\rho(X_{s})$ be the Picard number of the fiber over $s\in S$. Fix a point $s_0\in S$. ...
Puzzled's user avatar
  • 8,842
1 vote
0 answers
75 views

Representatives of line bundle cohomology over tori

Let $V^n$ a be a $\mathbb{C}$-vector space. For $U\subset V$ a complete lattice, the holomorphic line bundles over $V/U$ are classified (see e.g. `Abelian varieties', D. Mumford) by data $(H,\alpha)$ ...
R. González Molina's user avatar
1 vote
0 answers
132 views

Extension of a section of a line bundle on a family of curves to the central fibre

I will fix notation: $\Delta = \mathrm{Spec} R$ denotes a discrete valuation ring and $\Delta^*=\mathrm{Spec} K$ for $K=\mathrm{Frac}(R)$. Suppose we are given a curve $\pi:C\to \Delta$ and a line ...
Alekos Robotis's user avatar
1 vote
0 answers
164 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 ...
KKD's user avatar
  • 463
1 vote
0 answers
135 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 ...
Lennart Meier's user avatar
1 vote
0 answers
242 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}(...
Roxana's user avatar
  • 519
1 vote
0 answers
238 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 ...
Vanni's user avatar
  • 55
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
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
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
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