Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
2 answers
1k views

Galois invariant Picard group elements

Let $X$ be a smooth variety over a perfect field $k$ with $X(k) \neq \emptyset$. Then is the natural map \begin{equation} \mathrm{Pic}(X) \to (\mathrm{Pic}(X_{\bar{k}}))^{\mathrm{Gal}(\bar{k}/k)} \...
Daniel Loughran's user avatar
3 votes
0 answers
172 views

Explicit algebraic cycles

Fix a smooth sextic curve curve $C = \{f_6(x,y,z) = 0\}$ in $\mathbb{P}^2$, and consider the double cover $X_{f_6}$ defined by $z^2 = f_6$ in the appropriate weighted projective space. This is known ...
Freja's user avatar
  • 31
5 votes
0 answers
679 views

Picard group of normalization

Let $X$ be a projective variety with at worst (analytic) normal crossings singularities and $\pi:\tilde{X} \to X$ be the normalisation. Is there a "nice" description relating the picard group of $X$ ...
Ron's user avatar
  • 2,126
9 votes
1 answer
499 views

Pic^0 and H^0(K,Pic^0)

Let $K$ be a field and $C$ a smooth and projective curve over $K$. Then the kernel $Pic^0(C)$ of the degree map injects into $H^0(K,Pic^0_C)$, where $Pic_C^0$ is the connected component of the Picard ...
Thomas Geisser's user avatar
1 vote
0 answers
52 views

Connection on line bundle over general simplicial toric variety

In https://arxiv.org/pdf/hep-th/0005247.pdf, on page 60 and 61, it is mentioned that the connection of $\mathcal{O}(-n)$ over a (simplicial) toric variety of the form $$ (\mathbb{C}^N \backslash U)/(\...
Mtheorist's user avatar
  • 1,155
2 votes
0 answers
304 views

Surjectivity of map of Picard schemes implies abelian

Note: This question was asked on MSE first, but got zero reactions. So I deleted it there, and am now posting it here. I am looking for a reference or explanation of the fact that is used in Mumford'...
rollover's user avatar
  • 203
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,155
4 votes
1 answer
249 views

Is the class (resp. Picard) group of a $G$-variety generated by invariant divisors?

Let's work over the complex numbers. Let $S$ be a normal surface, $\mathrm{A}^1(S)$ the class group of divisors on $S$ and $\mathrm{Pic}(S)$ its Picard group. Let $G$ be a reductive group acting on $S$...
Qfwfq's user avatar
  • 23.4k
3 votes
0 answers
148 views

Given an embedding of $X$ into $\mathbb{P}^n_K$, do you get an induced embedding of any twist of it into $\mathbb{P}^n_K$?

Let $X$ be a projective algebraic curve over some number field $K$, and let $\varphi:X\hookrightarrow \mathbb{P}^n_K$ be an embedding of it (defined over $K$) into some projective space. Now let $X'$ ...
Quinlan Aktaş's user avatar
7 votes
1 answer
454 views

Galois invariant line bundles on a product of varieties

Let $k$ be a field with separable algebraic closure $k^{\rm s}$ and corresponding absolute Galois group $\varGamma={\rm Gal}(k^{\rm s}/\,k)$ and let $X$ and $Y$ be geometrically connected and ...
Cristian D. Gonzalez-Aviles's user avatar
6 votes
1 answer
1k views

Picard groups and birational morphisms

Let $f:X\rightarrow Y$ be a birational morphism of projective varieties. Assume that $Pic(X)$ is a free abelian group generated by $n$ divisors $D_1,...,D_n$. Under which hypothesis on $X$ and $Y$ is ...
user avatar
3 votes
1 answer
600 views

Why is it useful for the (relative) Picard functor to be representable?

I have been studying Chapter 8 of Neron models by Bosch et al. The first part deals with the relative Picard functor. A lot of work is done to make it representable. My question would be why this work ...
user8329099's user avatar
5 votes
1 answer
707 views

Cohomological interpretation of G-equivariant line bundles

In the theory of reductive algebraic groups, there is the following map (notation: $G$ reductive over an algebraically closed field, $T$ a maximal torus, $B$ a Borel, $X(T)$ the characters of $T$, $...
Jakob's user avatar
  • 2,040
6 votes
0 answers
129 views

Center Picard group non-commutative algebra

I am wondering if there is a way to describe the center of the Picard group of a non-commutative algebra. Namely, let $A$ be a finitely generated algebra over a field $k$. Denote by $\mathrm{Pic}(A)$...
Libli's user avatar
  • 7,320
11 votes
1 answer
1k views

Restriction of the Picard group of a surface to a curve

In a paper by Griffiths and Harris on the Noether-Lefschetz theorem, they use the following fact which they don't comment as if it is obvious: For a general (smooth) surface $S$ in $\mathbb{P}^3$ ...
kostya's user avatar
  • 111
3 votes
1 answer
927 views

Proper pushforward of algebraic cycles

Let $f:X\to Y$ be a finite surjective morphism of smooth integral projective varieties over an algebraically closed field $k$ of characteristic 0. Denote by $CH_i(W):=Z_i(W)/\sim$ the Chow group of $i$...
Jamie's user avatar
  • 31
6 votes
1 answer
882 views

Are Picard stacks group objects in the category of algebraic stacks

I've been wondering about what a "group algebraic stack" should be, and ran into the notion of a Picard stack. I'm slightly confused by the terminology here. Given an algebraic stack $\mathcal X$ ...
Christian's user avatar
  • 193
2 votes
0 answers
507 views

Fiber of the specialization map of Picard groups

Let $R$ be a Henselian discrete valuation ring with residue field $k$ of positive characteristic and fraction field $K$ of characteristic zero. Let $\pi:X_R \to \mathrm{Spec}(R)$ be flat, projective ...
user45397's user avatar
  • 2,323
3 votes
3 answers
755 views

Is $Pic^0(X)$ of a curve of genus $\geq 1$ over a non-algebraically closed field still non-finitely generated?

Qing Liu's "Algebraic Geometry and Arithmetic Curves" page 299 COrollary 7.4.41 gives the following result. Let $X$ be a smooth, connected, projective curve over an algebraically closed field $k$, of ...
Zhaoting Wei's user avatar
  • 9,019
8 votes
2 answers
814 views

Are there varieties with non finitely generated Picard group and vanishing irregularity?

Let $X$ be a smooth projective variety over an algebraically closed field $k$. Can it happen that $q(X) := \dim H^1(X,\mathcal O_X) =0$ and $\textrm{Pic} \,X$ is not finitely generated? Certainly, ...
Pitcher's user avatar
  • 83
4 votes
1 answer
896 views

Picard groups, ample cones, and proper birational maps

Let $f:Y\to X$ be a proper birational map of normal varieties over an algebraically closed field which is an isomorphism over the regular locus. Q1: Is it the case that the pullback $f^*\...
Nicholas Proudfoot's user avatar
2 votes
2 answers
322 views

Normalization of a Noetherian local domain and line bundles on the punctured spectrum

Let $A$ be a Noetherian local domain ($2$-dimensional if needed) such that its punctured spectrum $U$ is regular, and let $A'$ be the normalization of $A$. 1) Is it possible for $A'$ to have ...
O-Ren Ishii's user avatar
1 vote
0 answers
203 views

Twisting locally free sheaves in characteristic $p$

Let $X$ be an irreducible nodal projective curve over an algebraically closed field of characteristic $p>0$. Denote by $\pi:\tilde{X} \to X$ the normalization of $X$. Recall, the short exact ...
user43198's user avatar
  • 1,981
4 votes
1 answer
819 views

Picard groups of Fano varieties in positive characteristic

Let $k$ be an algebraically closed field of characteristic $p \geq 0$. Let $X$ be a smooth Fano variety over $k$ and let $\ell \neq p$ be a prime. Is the natural morphism $\mathrm{Pic}(X) \otimes \...
Daniel Loughran's user avatar
1 vote
0 answers
132 views

Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...
user052715's user avatar
6 votes
1 answer
416 views

Severi's theorem of base and Hilbert polynomial

Let $X$ be a smooth projective variety over $\mathbb{C}$ satisfying $H^1(\mathcal{O}_X)=0$. Fix $i:X \to \mathbb{P}^n$ a closed immersion and let $\mathcal{O}_X(1)$ be the corresponding very ample ...
Ron's user avatar
  • 2,126
18 votes
1 answer
802 views

Relative Picard functor for the Zariski topology

I'm trying to understand better the relative Picard functor, as defined, for example, in Kleiman's article. Let $X \to S$ be a smooth projective morphism of schemes whose geometric fibres are ...
Daniel Loughran's user avatar
2 votes
1 answer
1k views

Picard group of classifying stack

Suppose $S$ is a scheme, and $G$ a smooth $S$-group scheme. Then there exists an algebraic stack BG called the classifying stack of $G$, defined as the quotient stack $[S/G]$ where $G$ acts trivially ...
Bear's user avatar
  • 845
1 vote
1 answer
201 views

Does a line bundle on a normal Noetherian algebraic space come from a Weil divisor?

Let $X$ be a normal Noetherian algebraic space and $\mathscr{L}$ a line bundle on $X$. If $X$ is a scheme, then there is locally principal Weil divisor on $X$ that gives rise to $\mathscr{L}$. Is the ...
Question Mark's user avatar
9 votes
1 answer
491 views

Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that $f$ is proper, flat, and of finite presentation; The ...
Question Mark's user avatar
4 votes
1 answer
430 views

Jacobian of a semistable curve

My question is about the proof of Example 8 in section 9.2 of the book "Neron models." There we have a semistable curve $X$ over an algebraically closed field $K$ and we let $\pi\colon \widetilde{X} \...
Question Mark's user avatar
3 votes
1 answer
644 views

Fiberwise vanishing of $H^2$ and formal smoothness of the Picard functor

My question is about the proof of 8.4/2 in "Neron models." The claim is that if $f\colon X \rightarrow S$ is a proper flat morphism of finite presentation such that $H^2(X_s, \mathscr{O}_{X_s}) = 0$ ...
Question Mark's user avatar
1 vote
0 answers
780 views

Picard functor of an algebraic group

Let $K$ be a field, $G$ a $K$-group scheme of finite type, and $X$ a $G$-torsor. Is the Picard functor $\mathrm{Pic}_{X/K}$ representable? I recall that $\mathrm{Pic}_{X/K}$ is the fppf sheafification ...
Question Mark's user avatar
21 votes
1 answer
1k views

Does every relative curve have a Picard scheme?

More precisely: Let $X \to S$ be a smooth proper morphism of schemes such that the geometric fibers are integral curves of genus $g$. Must the fppf relative Picard functor $\operatorname{\bf ...
Bjorn Poonen's user avatar
  • 23.8k
7 votes
0 answers
294 views

Picard scheme of varieties over imperfect fields

Let $k$ be a field and $X$ a proper $k$-scheme. It is a theorem of Murre and Oort that the Picard functor is representable by a $k$-group scheme $\operatorname{Pic}_{X/k}$ which is locally of finite ...
Lars's user avatar
  • 4,450
2 votes
1 answer
438 views

On a property of the Grothendieck group of a smooth projective curve

Let $K$ be a complete DVR of characteristic $0$, $X$ a smooth projective curve over $K$. Denote by $K^0(X)$ the Grothendieck group of locally free sheaves on $X$ and by $\mbox{det}$ the natural group ...
user43198's user avatar
  • 1,981
1 vote
2 answers
325 views

Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...
Kali's user avatar
  • 503
5 votes
2 answers
984 views

Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...
Kali's user avatar
  • 503
10 votes
1 answer
857 views

Picard group generated by effective divisors: counterexample?

Let $X$ be an integral variety defined over an algebraically closed field $k$ of characteristic 0 with finitely generated Picard group $Pic(X)$ and such that $k[X]^\times=k^\times$ (i.e. the only ...
Marta's user avatar
  • 101
6 votes
2 answers
400 views

adjacency matrix of a graph and lines on quartic surfaces

Suppose you are given a smooth quartic surface $X$ in $\mathbb P^3$. I would like to find an upper bound for the number of lines on $X$ in the case that there is no plane intersecting the curves in ...
Davide Cesare Veniani's user avatar
2 votes
1 answer
336 views

Picard group of infinite direct product of DVRs trivial

Let $R = \prod_{n\in\mathbf{N}}R_n$ be an infinite direct product of discrete valuation rings $R_n$. Why is $\mathrm{Pic}(R) = 0$?
user avatar
1 vote
1 answer
145 views

divisors on $\overline{\mathcal{M}}_{g,n}$ that are trivial on certain $F$-curves

Inside the moduli space of curves $\overline{\mathcal{M}}_{g,n}$ one can distinguish two classes of $F$-curves isomorphic to $\mathbb{P}^1$: those of type $\overline{\mathcal{M}}_{0,4}$, and those of ...
IMeasy's user avatar
  • 3,779
1 vote
0 answers
213 views

Elegant definition for the scheme parametrizing $g_d^r$'s on a curve

Let $X$ be a smooth projective curve over $k=\bar{k}$, and $Pic^d$ the $d$-part of the Picard group of $X$ (isomorphism classes of line bundles of degree $d$ on $X$). I'd like to define a scheme $G_d^...
Abramo's user avatar
  • 251
0 votes
0 answers
382 views

Hypersurfaces with Picard group generated by classes of lines on the same plane

For which values of $d$ is the following possible: There exist a smooth hypersurface $X$ in $\mathbb{P}^3$ of degree $d$ with Picard number $d$, containing $d-1$ lines $l_1,...,l_{d-1}$ on the same ...
Naga Venkata's user avatar
  • 1,070
9 votes
2 answers
839 views

$Pic$ of the stack of elliptic curves vs. $Pic$ of the coarse space

There's a natural map $f:\overline{\mathcal{M}}_{1,1}\to \overline{M}_{1,1}\cong \mathbb{P}^1$ from the stack of elliptic curves to the coarse space. Both spaces have $Pic=\mathbb{Z}$ hence $f^*:\...
IMeasy's user avatar
  • 3,779
6 votes
1 answer
868 views

Relatively numerically trivial divisor

Hi, Let $f : X \rightarrow Y$ a projective morphism of quasi-projective algebraic varieties over $\mathbb{C}$. Assume that $X$ is smooth, that $Y$ is normal and that: $$\textbf{R} f_* \mathcal{O}_X ...
Johan's user avatar
  • 213
9 votes
0 answers
3k views

Definition of relative Picard functor

Let $X \to S$ be a morphism of schemes. The relative Picard functor from schemes over $S$ to abelian groups is usually defined by the formula $T \mapsto \text{Pic}(X \times_S T)/p^{*}\text{Pic}(T)$, ...
Justin Campbell's user avatar
3 votes
1 answer
577 views

Line bundles on a pointless curve

Let $X$ be a smooth projective curve over a field $k$. In chapter 8 of the book Neron Models by Bosch et al., there is a general result (namely Proposition 4) which implies that if $X$ admits a ...
Justin Campbell's user avatar
3 votes
2 answers
275 views

$Pic(X)/l=0$ in terms of $H^*_{et}(X,\mu_{l^n})$?

I would like to calculate Picard groups of certain schemes over fields; I'm mostly interested in the question whether $Pic(X)$ is infinitely $l$-divisible, i.e. whether $Pic(X)/l=0$, $l$ is a prime ...
Mikhail Bondarko's user avatar
2 votes
2 answers
1k views

Blowing down -1 curves

After a good look for anything in the way of an explicit example, and harassing the algebraic geometers in the department, I still am unable to find an answer to my question, so any light will be very ...
philiph's user avatar
  • 153