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.
78 questions with no upvoted or accepted answers
10
votes
0
answers
526
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 ...
7
votes
0
answers
242
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)=\{\...
6
votes
0
answers
204
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 ...
6
votes
0
answers
185
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 ...
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 ...
5
votes
0
answers
321
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 ...
5
votes
0
answers
232
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 ...
5
votes
0
answers
711
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 ...
4
votes
0
answers
1k
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 ...
4
votes
0
answers
142
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 ...
4
votes
0
answers
101
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 ...
4
votes
0
answers
191
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 ...
4
votes
0
answers
172
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 ...
4
votes
0
answers
179
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 ...
3
votes
0
answers
208
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 ...
3
votes
0
answers
218
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.
...
3
votes
0
answers
265
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 \...
3
votes
0
answers
136
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 (...
3
votes
0
answers
195
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)},$ ...
3
votes
0
answers
164
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\...
3
votes
0
answers
225
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 ...
2
votes
0
answers
128
views
Nonabelian Hodge correspondence for $\mathbb{G}_m$
Please excuse me if this question is too naive. I know very little about the nonabelian Hodge correspondence but I am trying to understand how the correspondence works in the simplest case of the ...
2
votes
0
answers
68
views
On spin structure for Kähler manifolds and square roots of $\det (TX)$
I'm stuck on the proof that for a (compact) Kähler manifold $X$ (of complex dimension $n$), a spin structure on the tangent bundle $TX$ is equivalent to a line bundle $L$ together with an isomorphism $...
2
votes
0
answers
134
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 ...
2
votes
0
answers
242
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$.
...
2
votes
0
answers
92
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 $...
2
votes
0
answers
56
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{...
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$ ...
2
votes
0
answers
677
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}_{...
2
votes
0
answers
164
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$ ...
2
votes
0
answers
158
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 ...
2
votes
0
answers
341
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 ...
2
votes
0
answers
200
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.
...
2
votes
0
answers
241
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 ...
2
votes
0
answers
160
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$, ...
2
votes
0
answers
251
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 ...
1
vote
0
answers
81
views
Is every homogeneous line bundle pulled back from the quotient stack?
Let $G= \mathbb{G}_m^k$ act on a variety $X$.
Let $\mathcal{L}$ be a line bundle on $X$ and assume that for each $g \in G$ the pullback $g^\star \mathcal{L}$ is isomorphic to $\mathcal{L}$.
Does it ...
1
vote
0
answers
105
views
Isomorphism between spectrum of $\mathcal{O}_{\mathbb{P}^1_{[y_0:y_1]}}[y_0^2t,y_0y_1t,y_1^2t]$ and the line bundle $\mathcal{O}_{\mathbb{P}^1}(2)$
Let $\mathbb{P}^1$ be the projective line over a base field $k$, with homogeneous coordinates $[y_0 : y_1]$. Consider the sheaf of $\mathcal{O}_{\mathbb{P}^1}$-algebras $\mathcal{A} = \mathcal{O}_{\...
1
vote
0
answers
47
views
Positivity of self-intersection of dicisor associated to meromorphic function
In the book "Holomorphic Vector Bundles over Compact Complex Surfaces" by Vasile Brînzănescu, in the proof of theorem 2.13 there is the following claim
Let $X$ be a compact non-algebraic ...
1
vote
0
answers
146
views
Compact complex manifolds with nef canonical bundle have nonnegative Kodaira dimension
Let $X$ be a compact Kähler manifold with nef canonical bundle. The (Kähler extension of the) abundance conjecture asserts that $K_X$ is semi-ample, and thus $K_X^{\otimes m}$ admits a section for ...
1
vote
0
answers
277
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 ...
1
vote
0
answers
330
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 ...
1
vote
0
answers
200
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$-...
1
vote
0
answers
86
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)$ ...
1
vote
0
answers
151
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 ...
1
vote
0
answers
177
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 ...
1
vote
0
answers
164
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 ...
1
vote
0
answers
255
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}(...
1
vote
0
answers
255
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 ...
1
vote
0
answers
469
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 ...