Questions tagged [picard-group]

The tag has no usage guidance.

37 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8 votes
0 answers
153 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)...
user avatar
  • 625
8 votes
0 answers
2k 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)$, ...
user avatar
7 votes
0 answers
259 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 ...
user avatar
  • 4,300
6 votes
0 answers
147 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 ...
user avatar
  • 6,507
6 votes
0 answers
1k 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 ...
user avatar
  • 1,033
6 votes
0 answers
126 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)$...
user avatar
  • 6,158
5 votes
0 answers
168 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 $\...
user avatar
5 votes
0 answers
469 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$ ...
user avatar
  • 2,046
3 votes
0 answers
62 views

Detecting non-principal Weil divisors on normal varieties using curves

Let $X$ be a normal projective variety over an algebraically closed field $k$. Given any morphism $f:Y\to X$, there is a pullback homomorphism $f^*:\text{Cl}(X)\to\text{Cl}(Y)$, where $\text{Cl}(X)$ ...
user avatar
3 votes
0 answers
434 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 ...
user avatar
3 votes
0 answers
161 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 ...
user avatar
  • 31
3 votes
0 answers
138 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'$ ...
user avatar
3 votes
0 answers
220 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 ...
user avatar
  • 3,665
3 votes
0 answers
559 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 ...
user avatar
  • 91
2 votes
0 answers
64 views

Map to study $K(n)$-local Picard Group

Let $R$ be an $E_{\infty}$-ring. There's a fiber/cofiber sequence $S$: $gl_1 R \to \text{Pic}(R) \to H(\text{Pic}(R))$, where $\text{Pic}(R) =\pi_0 \text{Pic}(R)$ is the Picard group of $R$. Rotating ...
user avatar
  • 423
2 votes
0 answers
74 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 (...
user avatar
2 votes
0 answers
64 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{...
user avatar
  • 323
2 votes
0 answers
83 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$ ...
user avatar
  • 1,939
2 votes
0 answers
859 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'$ ...
user avatar
  • 155
2 votes
0 answers
133 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) ...
user avatar
  • 6,834
2 votes
0 answers
260 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'...
user avatar
  • 193
2 votes
0 answers
380 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 ...
user avatar
  • 1,939
2 votes
0 answers
180 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 ...
user avatar
  • 3,798
2 votes
0 answers
479 views

A motivic complex

By definition, Voevodsky's motivic complex (an object of his $DM^{eff}_-$) is a complex of sheaves with transfers whose cohomology sheaves are homotopy invariant. Now, I consider the complex (of ...
user avatar
1 vote
0 answers
52 views

Class groups and zeta functions for maximal orders in CSAs

I'm looking for references for certain algebraic objects in the context of maximal orders in (finite dimensional) central simple algebras over algebraic number fields. Does anyone know of any good ...
user avatar
  • 221
1 vote
0 answers
161 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 ...
user avatar
1 vote
0 answers
137 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)$?
user avatar
  • 1,939
1 vote
0 answers
50 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)/(\...
user avatar
  • 1,033
1 vote
0 answers
47 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}M_L(...
user avatar
1 vote
0 answers
200 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 ...
user avatar
  • 1,899
1 vote
0 answers
106 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 ...
user avatar
1 vote
0 answers
761 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 ...
user avatar
1 vote
0 answers
210 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^...
user avatar
  • 241
1 vote
0 answers
175 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$-...
user avatar
1 vote
0 answers
321 views

Abel-Jacobi map for regular fibered surfaces.

Let $f:C\to S$ be a regular fibered surface where $S=Spec(R)$, $R=dvr$. Assume $C$ has smooth geometrically integral generic fibre $C_K$. We also assume the existence of a section $x\in C(S)$. Let $...
user avatar
  • 11
0 votes
0 answers
67 views

The Anderson dualizing spectrum and $E$-theory

Hopkins-Lurie have shown that the fiber of $gl_1 E \to L_n gl_1 E$ (shown by Ando-Hopkins-Rezk to be coconnected and torsion) looks very very similar to a shift of the Anderson dual of the sphere (in ...
user avatar
  • 423
0 votes
0 answers
330 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 ...
user avatar
  • 1,000