The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
20 views

Reference needed for exact sequence of ACM curves with homogeneous coordinate ring.

Let $C\subset\Bbb{P}^n$ be an ACM (arithmetically Cohen-Macaulay) curve with homogeneous coordinate ring $R$. Then there is an exact sequence $$0\to \text{Tor}_i(R,\Bbb{C})_k\to H^1(C,\wedge^{i+1}...
6
votes
0answers
79 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)$...
7
votes
1answer
241 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$ ...
3
votes
1answer
190 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$...
6
votes
1answer
217 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$ ...
1
vote
0answers
89 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 ...
3
votes
3answers
238 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 ...
8
votes
2answers
347 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, ...
3
votes
1answer
249 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^*\...
2
votes
2answers
172 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 ...
1
vote
0answers
130 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 ...
8
votes
1answer
152 views

Obstructions to Picard-graded groups of maps

Suppose $(C,\odot,\Bbb I)$ is an additive category with a compatible symmetric monoidal structure and $Pic(C)$ is the group of isomorphism classes of objects which have an inverse under $\odot$. For $\...
4
votes
1answer
286 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 \...
1
vote
0answers
61 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 ...
5
votes
1answer
274 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 ...
11
votes
1answer
289 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 ...
2
votes
1answer
236 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 ...
1
vote
1answer
150 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 ...
9
votes
1answer
386 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; ...
4
votes
1answer
217 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} \...
3
votes
1answer
563 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$ ...
1
vote
0answers
717 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 ...
18
votes
1answer
522 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 ...
6
votes
0answers
126 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 ...
2
votes
1answer
312 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 ...
1
vote
2answers
179 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 ...
3
votes
2answers
308 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 ...
6
votes
1answer
296 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 ...
6
votes
2answers
275 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 ...
2
votes
1answer
228 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$?
6
votes
0answers
154 views

Picard group of Drinfeld upper half space

Let $K$ be a $p$-adic field and $\Omega^{(n)}_K$ the $n$-dimensional Drinfeld upper half space over $K$ (which is a rigid analytic space over $K$). Is the Picard group of $\Omega^{(n)}_K$ known? ...
1
vote
1answer
126 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 ...
1
vote
0answers
194 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^...
0
votes
0answers
180 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 ...
7
votes
2answers
554 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^*:\...
6
votes
1answer
339 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 ...
7
votes
0answers
868 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)/\text{Pic}(T)$ (e.g. ...
3
votes
1answer
415 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 ...
3
votes
2answers
232 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 ...
3
votes
2answers
642 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 ...
9
votes
1answer
870 views

Picard group of a singular projective curve

Let $X$ be a singular irreducible projective curve over an algebraically closed field and $\pi : \widetilde{X} \to X$ the normalization morphism. In the book on Neron models by Bosch et al. (I have ...
2
votes
1answer
296 views

Picard/cohomology lattice of surfaces of low degree in $\mathbb P^3$

Let $S_{d>3}\subset\mathbb{P}^3_{\mathbb{C}}$ be a smooth surface of degree $d$. What is known (where to read?) about the Picard/cohomology lattice for small d? e.g. for $d=4$ the cohomology ...
2
votes
0answers
171 views

Is Pic( G((z)) ) = $\mathbb{Z}$?

There are a fair number of papers by Beauville, Laszlo, Sorger, Kumar and others on the geometry of $LG/L^+G = G((z))/G[[z]]$ where $G$ is a simply connected and simple group over $\mathbb{C}$. In ...
2
votes
1answer
221 views

$\psi$ class in $\overline{M}_{0,n}$

Basic question, but I found no reference. Is the $\psi$ class the only one which is not a boundary class in the PIcard group of the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$? Or can it ...
3
votes
0answers
209 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 ...
7
votes
1answer
433 views

Picard group of $\mathcal{M}_{0,n}$

Let $\mathcal{M}_{0,n}$ be the complement of the boundary of the Mumford-Knudsen compactification of the moduli space of genus zero, n-pointed curves. Is $Pic(\mathcal{M}_{0,n})$ trivial?
3
votes
0answers
316 views

On generators of the Picard group of a projective smooth surface over a finite field

Let $X$ be a smooth projective surface over a finite field $k=\mathbb{F}_q$. Let us first review the proof of the finite generation of $Pic(X)$ (notice that the proof is valid for any smooth ...
5
votes
1answer
421 views

What is the Picard group of a Schubert variety in the affine Grassmannian?

I'm not sure I have a lot more to say than the title. Let $G$ be your favorite simple algebraic group over $\mathbb{C}$, and let $$\overline {\mathrm{Gr}}_\lambda= \overline{G(\mathbb{C}[[t]])\cdot t^...
7
votes
6answers
3k views

Picard group, Fundamental group, and deformation

One of the most elementary theorems about Picard group is probably $\mathrm{Pic} (X \times \mathbb{A}^n) \cong \mathrm{Pic} X$ and $\mathrm{Pic} (X \times \mathbb{P}^n) \cong \mathrm{Pic} X \times \...
1
vote
0answers
153 views

$G_m$-cohomology of a motif (that corresponds to a stack?)

As in the question For a G-variety, what could one say about the motif of the corresponding simplicial variety I am in the following situation: $G$ is an algerbraic group, and X is a smooth $G$-...