Questions tagged [picard-group]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
2answers
157 views

Galois stable elements of the Picard group of a curve and the rational divisors

Let $C$ be a (smooth,proper) curve over a field $k$. Let $\operatorname{Div}_C(k)$ be the free abelian group generated by the closed points of $C/k$ and $k(C)^\times$ be the group of rational ...
3
votes
1answer
250 views

Specializing p-torsion in a family of elliptic surfaces

Let $R$ be a DVR of mixed characteristic, with algebraically closed residue field of characteristic $p$ and fraction field $K$. Let $Y\longrightarrow \operatorname{Spec} R$ be a smooth projective ...
2
votes
1answer
134 views

Picard groups of determinantal varieties

Consider a general $4\times 4$ matrix: $$ X:=\left( \begin{array}{cccc} X_0 & X_1 & X_2 & X_3 \\ X_4 & X_5 & X_6 & X_7 \\ X_8 & X_9 & X_{10} & X_{11} \\ X_{12} &...
4
votes
1answer
120 views

Picard group of $(SL(n)\times SL(m))$-orbits

Let $\mathbb{P}^N$ be the projective space of $n\times m$ matrices with complex entries modulo scalar. Consider the $(SL(n)\times SL(m))$-action on $\mathbb{P}^N$ given by $((A,B),Z)\mapsto AZB^{T}$. ...
4
votes
1answer
262 views

p-torsion in the Picard group of a regular projective curve

Let $K$ be a field of characteristic $p>0$ and $C$ a regular projective geometrically integral curve over $K$. If $C$ is smooth, then the connected component ${\rm Pic}^0_C$ of the Picard scheme of ...
3
votes
1answer
298 views

Picard group of $\mathrm{GL}(n)$-orbits

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Mat{Mat}$Consider the general linear group $$ \GL(n) = \left\lbrace \left(\begin{array}{cc} A & C \\ M & B \end{array}\right) \text{ with } A\...
9
votes
2answers
572 views

Picard group of a cubic hypersurface

Consider the following cubic hypersurface in $\mathbb{P}^5$: $$ X = \{z_0z_3z_5-z_1^2z_5-z_0z_4^2+2z_1z_2z_4-z_2^2z_3 = 0\}\subset\mathbb{P}^5 $$ The singular locus of $X$ is the Veronese surface $V\...
2
votes
0answers
56 views

Map from the stack of coherent sheaves on a curve to the Grothendieck group

Let $X$ be a smooth, projective curve. We let $Coh(X)$ be the stack of coherent sheaves on $X$. Its Grothendieck group is $Pic(X)\times\mathbf{Z}$. Is the map $$ Coh(X)\rightarrow Pic(X)\times \mathbf{...
2
votes
1answer
144 views

Very general quartic hypersurface in $\mathbb{P}^3$ has Picard group $\mathbb{Z}$

I am looking for a reference from which I can cite the following statement: The Picard group of a very general quartic hypersurface $X\subset\mathbb{P}^3$ is generated by the class of a hyperplane ...
5
votes
1answer
421 views

Picard group of connected linear algebraic group

Here's a statement: Suppose $G$ is a connected linear algebraic group over a field $k$, then $Pic(G)$ is a finite group. I know this is true when $k=\mathbb{C}$. My question is does this true for ...
2
votes
1answer
141 views

Picard group of a cone over the elliptic curve

Let E be an smooth elliptic curve in a projective plane. Suppose that X is the projective cone over E in a projective space of dimension three. What is the Picard group of X ?
6
votes
2answers
452 views

Picard group vs class group

The question. Let $R$ be a commutative ring. Let $M$ be an $R$-module with the property that there exists an $R$-module $N$ such that $M\otimes_R N\cong R$. Does there always exist an ideal $I$ of $R$ ...
11
votes
1answer
136 views

Are algebras with invertible linear duals always Frobenius?

Let $A$ be a finite dimensional algebra over a ground field $k$. The linear dual $A^* = Hom_k(A,k)$ is naturally an $A$-$A$ bimodule. I am interested in those algebras such that $A^*$ is an invertible ...
8
votes
1answer
252 views

Picard-surjectivity and Morita-equivalence

Let us say that an algebra $A$ over a field $k$ is Picard-surjective if the canonical map $$ \mathrm{Aut}(A) \rightarrow \mathrm{Pic}(A)$$ is surjective. Here $\mathrm{Pic}(A)$ denotes the group of ...
6
votes
0answers
126 views

Albanese morphism induces an isomorphism on global $1$-forms

Let $X$ be a smooth projective variety over a field $k$ of characteristic zero equipped with a point $e\in X(k)$. There is Albanese morphism $a:X\to \mathrm{Alb}\,X$ which is initial among pointed ...
1
vote
0answers
146 views

Picard scheme of family of quartic surfaces

Recall that a quartic surface in $\mathbb{P}^3_\mathbb{C}$ has $N = 35$ coefficients. Let $U$ be the open subset of $\mathbb{P}^{N-1}$ parametrising smooth quartic surfaces and let $Q \to U$ be the ...
2
votes
0answers
74 views

Compactification of Picard variety over normal, projective varieties

Let $X$ be a normal, projective, integral variety (over $\mathbb{C}$) and $P$ be the Picard variety parametrizing invertible sheaves on $X$. Does there exist a compactification $\overline{P}$ of $P$ ...
5
votes
2answers
396 views

Picard group of symplectic group modulo orthogonal group

Let $Sp(2n)$ be the group of complex symplectic $2n\times 2n$ matrices, and $O(2n)$ the group of complex orthogonal $2n\times 2n$ matrices. Consider $Sp(2n)\cap O(2n)\subset Sp(2n)$ and the quotient $...
6
votes
0answers
122 views

Lefschetz type theorems for linear sections

Let $X\subset\mathbb{P}^n$ be e normal variety, $L\subset\mathbb{P}^n$ a linear subspace, and $Y = X\cap L$ a linear section. Assume that $Y$ is also normal. In particular, we have that $Sing(X)$ has ...
15
votes
1answer
596 views

Postnikov invariants of the Brauer 3-group

Given a commutative ring $k$ there is a bicategory with algebras over $k$ as objects, bimodules as morphisms, bimodule homomorphisms as 2-morphisms. This is a monoidal bicategory, since we can ...
2
votes
1answer
197 views

Picard group modulo codimension 2

Let $X$ be a normal (possibly singular) projective surface over $\mathbb{C}$. Consider the set $M_X$ of all coherent sheaves $F$ on $X$ such that there exists a finite subset $Y\subset X$ such that $F$...
3
votes
1answer
153 views

Do Neron-Severi groups of smooth projective unirational varieties contain $\ell$-torsion?

Let $X$ be a smooth projective unirational variety over an algebraically closed field of characteristic $p>0$, and $\ell\neq p$ a prime. My question: can the Neron-Severi group of $X$ contain (non-...
5
votes
0answers
150 views

Picard group of a normal crossing scheme

I would like to know if someone has an explicit example for the rank of the Neron-Severi group of a normal crossing scheme (proper over a field) being different from the rank of the kernel of $\...
9
votes
1answer
374 views

Bézout ring with non-trivial Picard group?

[I asked this on stackexchange here a few weeks ago to no response] A ring is called Bézout when its finitely generated ideals are principal. Q: Is there a nice example of a Bézout ring $R$ with ...
2
votes
0answers
486 views

Picard group of blowup

Let $Y$ be a nonsingular subvariety of a normal, Cohen-Macaulay variety $X$. Further, let $\pi:X'\to X$ be the blowup of $X$ along $Y$. Question: Is there a formula for the Picard group of $X'$ ...
1
vote
0answers
124 views

Hypersurfaces with maximal Picard rank

Is it true that for any $d \ge 4$, there exists a smooth, degree $d$ surface $X$ in $\mathbb{P}^3$ with maximal Picard rank i.e., Picard rank of $X$ equals $h^{1,1}(X)$?
9
votes
2answers
500 views

On a morphism from the Brauer group to the Picard group

Suppose that $k$ is a commutative ring and that $A$ is an Azumaya $k$-algebra. Then there is a well-known morphism from $Aut_{Alg_k}(A)$, the group of algebra automorphisms, to the Picard group $Pic(k)...
2
votes
0answers
393 views

Finite Picard group

Does there exist a connected scheme, smooth, proper, and positive-dimensional over $\mathbb{C}$ with finite Picard group? Note that Picard group has cardinality$>1$. Also note that this can not ...
6
votes
1answer
370 views

Proper scheme such that every vector bundle is trivial

It is claimed here that there exist proper schemes (probably over a field but not explicitly stated) with trivial Picard group. This means that every locally free $O_X$-module of rank 1 is trivial. ...
2
votes
1answer
423 views

Extension of line bundle defined over an open subscheme

Let $X$ be a normal projective (or, quasi-projective) variety over $\mathbb{C}$. Let $U \subset X$ be an open subscheme whose complement $Z = X \setminus U$ has codimension at least $2$ in $X$. Let $L$...
2
votes
0answers
129 views

The growth of class number in $\mathbb{Z}_p$-extensions of function fields

Let $X$ be a curve (proper, smooth, ...) over a finite field $\mathbb F_q$ where $q$. Suppose also that $\mathbb F_q$ contains the $p$-th roots of unity, in this case we have the following (unique) ...
8
votes
1answer
419 views

Del Pezzo surfaces and Picard-Lefschetz theory

Let $X$ be a smooth compact del Pezzo surface. For instance, one can consider the most classical case of a cubic surface. It is well known that the Picard lattice of $X$ is related to a root system (...
3
votes
1answer
199 views

Invertible bimodules which are isomorphic in the stable module category

I'm in the following situation. I have a self-injective finite-dimensional basic algebra $\Lambda$ (hence Frobenius) over a perfect field and two finite-dimensional invertible $\Lambda$-bimodules $M$ ...
9
votes
1answer
648 views

Picard group and reduced schemes

$\DeclareMathOperator\Pic{Pic}$If $A$ is a ring, then we know that $\Pic(A)=\Pic(A_\text{red})$, but for a scheme $X$ it is false in general. On the other hand, we have that $\Pic(X)=H^{1}_{et}(X,\...
4
votes
1answer
263 views

Examples of smooth projective varieties with “nice” Picard group

I am looking for examples of smooth projective varieties $(X,H)$ with $H$ a polarization on $X$, $\dim \mbox{Pic}^0(X)=0$, $\mbox{Pic}(X) \not= \mathbb{Z}$ satisfying the property: for any two line ...
8
votes
0answers
143 views

On a smooth curve $C$, when is $K_C \sim_\mathbb{Q} (2g-2)P$?

Let $C$ be a smooth curve of genus $g$ over $\mathbb{C}$. I am interested in the following property: There exists a point $P \in C$ such that $K_C \sim_\mathbb{Q} (2g-2)P$. Equivalently, $K_C - (2g-2)...
8
votes
2answers
708 views

Picard group of a finite type $\mathbb{Z}$-algebra

Let $A$ be a finitely generated $\mathbb{Z}$-algebra. Is $\operatorname{Pic}(A)$ finitely generated (as an abelian group)? Thoughts: We may assume that $A$ is reduced since $\operatorname{Pic}(A) = \...
9
votes
1answer
330 views

Why is the theorem of the base mostly cited only for smooth proper varieties

This is a very soft question, and I'm not sure what I expect as an answer. In SGA6, Expose XIII, Theoreme 5.1 it is proven that, if $X$ is a proper scheme over a field $k$, then $NS(X)$ is finitely ...
9
votes
2answers
761 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)} \...
3
votes
0answers
158 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 ...
5
votes
0answers
396 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$ ...
9
votes
1answer
448 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 ...
1
vote
0answers
48 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)/(\...
2
votes
0answers
241 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'...
6
votes
0answers
819 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 ...
4
votes
1answer
184 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$...
3
votes
0answers
137 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'$ ...
7
votes
1answer
377 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 ...
6
votes
1answer
271 views

Picard group of derived category of sheaves

Let $X$ be a topological space and $R$ be a commutative ring with unit, $D(X,R)$ is the derived category of unbounded complexes of sheaves of $R$-modules. Moreover we suppose that $X$ is a stratified ...
7
votes
1answer
562 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 ...