Questions tagged [picard-group]
The picard-group tag has no usage guidance.
134
questions
3
votes
0
answers
50
views
Automorphisms of matrix algebras and Picard group
This is a repost of https://math.stackexchange.com/questions/4692364/automorphisms-of-matrix-algebras-and-picard-group (asked on MSE).
Notation. In what follows, $R$ is a commutative ring with $1$, $n\...
- 1,529
1
vote
0
answers
21
views
Stable Picard group of the tensor product of two Hopf algebras
Suppose we know the stable Picard groups (=Picard group of the stable module category) of two cocommunicative Hopf $k$-algebras $G$ and $H$. Is it possible to deduce the stable Picard group of $G\...
- 415
1
vote
0
answers
134
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 ...
- 231
3
votes
0
answers
103
views
Picard group of a cusp
$\DeclareMathOperator\Pic{Pic}$For a commutative ring with unity $R$, if $R_{\mathrm{red}}$ is semi-normal then we have an equivalent criterion which states that $\Pic(R) \cong \Pic(R[t])$. Here $\Pic(...
- 93
0
votes
1
answer
129
views
Picard group of a normal conical affine variety
Let $k$ be an algebraically closed field. Let $X\subset \mathbb{A}^n_{k}$ be a conical closed subvariety. In other words,
$\mathcal{O}(X)=k[x_1,\cdots, x_n]/I$, where $I$ is generated by homogeneous ...
- 33
12
votes
2
answers
948
views
Why are ordinary spheres not strictly invertible?
Introduction
This question is about Picard spectra for the symmetric monoidal $\infty$-category of spectra. We say that a spectrum $X$ is invertible if there is another spectrum $Y$ such that $X\...
- 52.5k
2
votes
1
answer
138
views
Reference for torsion-freeness of the group of correspondences on a smooth projective variety
In Beauville's "Variétés de Prym et jacobiennes intermédiaires", Proposition 3.5, it is claimed that $\textrm{Corr}(T)$ is torsion-free for a smooth projective variety $T$. Here $$\textrm{...
- 381
2
votes
1
answer
519
views
Proposition 1.5 in Mumford's Geometric Invariant Theory
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\pr{pr}$I have some problems to understand the proof of Proposition 1.5 from Mumford's ...
- 4,994
1
vote
1
answer
90
views
Homogeneous components of Cox RIngs
Let $X$ be an irreducible smooth projective variety over a field $k$ (algebraically closed and of characteristic zero if needed). Let $U \subseteq X$ an affine open such that $O_X(U)$ is factorial and ...
2
votes
0
answers
159
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$.
...
- 215
4
votes
0
answers
139
views
A map between Brauer groups
Let $R$ be a henselian dvr over $\mathbb{C}$ and $A$ be a flat $R$-algebra of finite type. Suppose $\hat{R}$ is the completion of $R$ and $\hat{A}:=A\otimes_R \hat{R}$. For an ideal $I\subseteq A$, ...
- 156
10
votes
1
answer
410
views
Class numbers of functions fields and spanning trees
In Discrete groups, expanding graphs, and invariant measures (in the notes at the end of Chapter 7), Lubotzky mentions that certain estimates for the number of spanning trees $\kappa(G)$ of a $k$-...
- 2,402
2
votes
1
answer
360
views
Does the Grothendieck group detect the Picard group?
Let $C$ be a curve (=smooth projective curve) of genus $g$ over an algebraic closed field $\mathbb{k}$.
It is well known that the Grothendieck group $K_0(\operatorname{coh} C)$ of the category of ...
- 363
2
votes
0
answers
71
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 ...
- 428
3
votes
0
answers
96
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 (...
- 1,052
3
votes
0
answers
83
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)$ ...
- 486
5
votes
1
answer
647
views
Reference request: Generic k3 surface has Picard number 1
I keep running into the statement that "the generic k3 surface has Picard rank 1".
For instance the answer of this question (end) and this paper (following Example 1.1) or this paper (proof ...
- 101
1
vote
0
answers
54
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 ...
- 323
3
votes
1
answer
341
views
A question on effective divisors
Let $X$ be a projective variety with two morphisms $f:X\rightarrow Y$ and $g:X\rightarrow Z$ with irreducible fibers of positive dimension. Assume that $Pic(X) = f^{*}Pic(Y)\oplus g^{*}Pic(Z)$. Then ...
- 351
2
votes
1
answer
185
views
Picard group of moduli of principal bundles
I am looking for the Picard group of the moduli space of principal $G$-bundles for a connected reductive complex algebraic group $G$.
Is it isomorphic to $\mathbb{Z}$? If not, what can we say when $G=\...
- 185
2
votes
2
answers
288
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 ...
- 7,312
3
votes
1
answer
349
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 ...
- 589
1
vote
1
answer
195
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} &...
user124234
3
votes
1
answer
147
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}$. ...
user114666
4
votes
1
answer
368
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 ...
- 1,894
2
votes
1
answer
365
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\...
user168611
10
votes
2
answers
1k
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\...
user168611
2
votes
0
answers
77
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{...
- 323
2
votes
1
answer
227
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 ...
- 2,721
5
votes
1
answer
596
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 ...
- 439
2
votes
1
answer
301
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 ?
- 21
7
votes
2
answers
1k
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$ ...
- 40k
11
votes
1
answer
172
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 ...
- 26.6k
9
votes
1
answer
310
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 ...
- 9,217
6
votes
0
answers
173
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 ...
- 6,737
1
vote
0
answers
179
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 ...
- 19.4k
2
votes
0
answers
96
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$ ...
- 2,013
5
votes
2
answers
472
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,780
15
votes
1
answer
706
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 ...
- 20.6k
2
votes
1
answer
296
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$...
- 2,721
3
votes
1
answer
197
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-...
- 16.1k
5
votes
0
answers
188
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 $\...
- 1,403
9
votes
1
answer
484
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 ...
- 928
2
votes
0
answers
1k
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'$ ...
- 155
1
vote
0
answers
159
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)$?
- 2,013
9
votes
2
answers
601
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)...
- 49.7k
3
votes
0
answers
487
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 ...
user139860
6
votes
1
answer
403
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.
...
user138661
2
votes
1
answer
921
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$...
- 503
2
votes
0
answers
136
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) ...
- 7,312