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
107 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 ...
ABBC's user avatar
  • 265
4 votes
1 answer
226 views

Question regarding the definition of linearization of line bundles

I'm reading Dolgachev's book 'Lectures on invariant theory'. In Chapter 7, the linearization of a group action is discussed. Let $G$ be a linear algebraic group acting on a quasi-projective variety $X$...
Hajime_Saito's user avatar
1 vote
1 answer
122 views

Are horizontal divisors on abelian fibered hyperkähler manifolds proportional in $NS(X)$ up to vertical divisors?

Oguiso writes[1] Theorem 1.1 Let $f: X \to \mathbf P^n$ be an abelian fibered HK [hyperkähler] manifold. Let $K = \mathbf C(\mathbf P^n)$ and let $A_k$ be the generic fiber of $f$. Then, $\rho(A_K)= ...
red_trumpet's user avatar
  • 1,071
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
3 votes
1 answer
224 views

A question on "Ample subvarieties of algebraic varieties"

Corollary 3.3 in Chapter IV of "Ample subvarieties of algebraic varieties" by R. Hartshorne asserts the following: Let $X$ be a smooth projective variety and $Y\subset X$ a smooth subvariety ...
Puzzled's user avatar
  • 8,852
2 votes
0 answers
131 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
0 votes
1 answer
249 views

Universal covering of symmetric product

Let $C$ be a 1-dimensional complex manifold whose universal covering is provided by the half-plane $\mathcal{H}=\{z \in \mathbb{C} \mid \operatorname{Im}z>0\}$. The symmetric product $C^{(n)} = C^n ...
KuSi's user avatar
  • 53
1 vote
0 answers
196 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
3 votes
0 answers
141 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
4 votes
1 answer
317 views

One-point compactification of ample line bundle

Given a smooth complex projective variety with an ample line bundle $L$, it seems to be folklore that one can get a one-point compactification of the total space $\mathbb{V}(L)$ of $L$ such that ...
Oromis's user avatar
  • 151
3 votes
0 answers
196 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
1 vote
0 answers
240 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
3 votes
1 answer
400 views

What are meromorphic line bundles?

Initially I wanted to call this question "Categorification of meromorphic functions?" but discovered so many questions about categorification that I became scared and decided to replace it ...
მამუკა ჯიბლაძე's user avatar
2 votes
1 answer
148 views

Linear system giving the projective embedding of the tangential variety

I was looking for a detailed explanation of a standard construction involving the projective tangential variety but I'm not able to find it anywhere, so maybe here some expert can enlight me on this ...
gigi's user avatar
  • 1,333
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
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
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$-...
user avatar
1 vote
0 answers
200 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,852
1 vote
1 answer
154 views

Semistable pure dimension one sheaves of rank 1 and degree 0 on a singular curve

We are working on a problem about semistable pure dimension one sheaves of rank $1$ and degree $0$ on a singular curve $C$ (for example, the Kodaira fiber of type $I_2$, i.e. $C=C_1\cup C_2$ where $...
Ruoxi Li's user avatar
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
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
3 votes
0 answers
242 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
1 vote
0 answers
136 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
2 votes
0 answers
85 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
1 answer
183 views

Morphism attached to a big and globally generated line bundle

Let $X$ be a smooth projective variety over a field $k$. Let $L$ be an invertible sheaf on $X$. Suppose that $L$ is big and globally generated. Can one conclude that the associated morphism $\phi_L : ...
Maqui's user avatar
  • 63
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
1 vote
1 answer
153 views

Arithmetic ampleness and scalings of the metric

Let $\overline L= (L, h)$ be a hermitian $C^ \infty$ line bundle on an arithmetic variety $X\to\operatorname{Spec }\mathbb Z$ (I am reasoning in terms of higher Arakelov geometry, like in Gillet & ...
manifold's user avatar
  • 299
4 votes
1 answer
208 views

Existence of non-trivial "line-symplectic" manifolds

One way to view a symplectic manifold $(M,\omega)$ is as a real line bundle $\pi_1: M\times \mathbb{R}\to M$ equipped with a flat connection $d: \Omega^{k}(M, M\times\mathbb{R})\to \Omega^{k+1}(M, M\...
J.V.Gaiter's user avatar
3 votes
0 answers
117 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
4 votes
0 answers
826 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,124
3 votes
1 answer
259 views

When is a sheaf $\mathcal{L}_1 \subset \mathcal{F} \subset \mathcal{L}_2$ sandwiched between two line bundles also a line bundle?

This question is in the interest of answering one part of this question, but I think it is distinct enough to warrant a separate question. Let $X$ be a regular 2-dimensional Noetherian scheme, for ...
PrimeRibeyeDeal'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
4 votes
1 answer
304 views

Type vs degree of a polarized abelian variety

Let $(A,L)$ be a polarized abelian variety. I know that the degree of the polarization is the Euler characteristic of $L$, so that $d = \chi(L) = \dim H^0(A,L)$ since $L$ is ample. I've read in a lot ...
TartagliaTriangle's user avatar
3 votes
1 answer
228 views

Global choice of eigenvectors on an open surface

Let $(M^2,g)$ be a noncompact orientable Riemannian surface without boundary. Let $A \in \Gamma(\operatorname{Sym}(TM))$ be a section of the bundle of symmetric endomorphisms of $TM$, that is, for ...
Eduardo Longa's user avatar
5 votes
0 answers
269 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
2 votes
1 answer
119 views

Grassmannian of line subbundle of a stable rank 2 vector bundle on a smooth projective curve

Let $X$ be a smooth projective curve of genus $g\geq 2$. Given a rank two, degree $d=0$ vector bundle $\mathcal{F}$ on $X$, we consider the grassmannian of sub-line bundles of $\mathcal{F}$ of degree $...
hennlu's user avatar
  • 323
1 vote
1 answer
244 views

Riemannian vector bundle [closed]

I'm trying to show the curvature of a one dimensional vector bundle with a Riemannian metric vanishes, no matter what the connection is. I found this can be done for orientable bundles, because an ...
chan's user avatar
  • 21
3 votes
1 answer
288 views

Galois invariant line bundle and base change

Let $K$ be a number field and consider a finite Galois extension $L|K$. Moreover let $X$ be a projective, regular, integral variety over $K$. After a base change we obtain a morphism of varieties $f:...
manifold's user avatar
  • 299
1 vote
0 answers
165 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
3 votes
2 answers
348 views

Character which defines canonical bundle on flag variety

Let $G$ be a reductive group over a field $k$ of characteristic zero with maximal split torus $T$ and Borel $B \supset T$ defining a set of simple roots $\Delta$. Additionally let $\rho$ be the half ...
KKD's user avatar
  • 463
1 vote
0 answers
139 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
1 answer
399 views

Making a vector bundle ample by twisting with ample line bundle

Let $X$ be a projective algebraic variety over some field (I am happy to add some more assumptions if necessary). A vector bundle $E$ is ample if the relative twisting sheaf $\mathcal{O}_{\mathbf{P}(E)...
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
0 votes
1 answer
337 views

Holomorphic sections to anti-holomorphic sections

Let $X$ be a compact Kähler manifold and $L$ be a holomorphic line bundle on $X$ with a Hermitian metric $h$. I am trying to give a norm preserving isomorphism between the space of holomorphic ...
Partha's user avatar
  • 853
4 votes
0 answers
125 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
1 vote
1 answer
306 views

Flat connection of a degree zero line bundle on curve

The question is clear from the title. Suppose we have a line bundle on a compact smooth complex curve $X$, and a line bundle $\mathcal{L}=\mathcal{O}_X(p-q)$, where $p$ and $q$ are divisors, then what ...
MKR's user avatar
  • 93
1 vote
1 answer
288 views

(Bridgeland stability conditions)How to get the heart of a bounded t-structure on $D^b(P^1 \times P^2)$?

I have already known how to get the heart of a bounded t-structure on $D^b(P^n)$ by Macri`s paper, https://arxiv.org/abs/math/0411613. However I cannot purpose analogously on $D^b(P^1 \times P^2)$. ...
H.S. Kim's user avatar
4 votes
0 answers
92 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
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
5 votes
1 answer
122 views

Identity relating iterated determinant line bundles

Suppose that $R$ is a (commutative, unital) ring and that $A$ is a (commutative, unital) $R$-algebra that is projective of constant rank $n$ as an $R$-module. Then $A$ has a "determinant line ...
Owen Biesel's user avatar
  • 2,336

1
2 3 4 5