Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
15 votes
6 answers
2k views

Seeking Noetherian normal domain with vanishing Picard group but not a UFD

Once again, the question says it all. My motivation is the article on factorization I am writing. I want to explain (as well as to understand!) why for normal Noetherian domains of dimension greater ...
Pete L. Clark's user avatar
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\...
user avatar
8 votes
0 answers
167 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)...
Stefano's user avatar
  • 625
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
5 votes
2 answers
492 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 $...
Puzzled's user avatar
  • 8,998
5 votes
0 answers
686 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 ...
Fei's user avatar
  • 111
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
1 answer
248 views

A question on "Ample subvarieties of algebraic varieties"

Corollary 3.3 in Chapter IV of "Ample subvarieties of algebraic varieties" by R. Hartshorne asserts the following: Let $X$ be a smooth projective variety and $Y\subset X$ a smooth subvariety ...
Puzzled's user avatar
  • 8,998
3 votes
1 answer
160 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}$. ...
user avatar
3 votes
0 answers
121 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)$ ...
Jonathan Love's user avatar
2 votes
1 answer
411 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 ...
Dmitry Kerner's user avatar
2 votes
1 answer
398 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\...
user avatar
2 votes
1 answer
487 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 ...
Puzzled's user avatar
  • 8,998
2 votes
1 answer
158 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{...
TCiur's user avatar
  • 679
2 votes
0 answers
242 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$. ...
Puzzled's user avatar
  • 8,998
2 votes
0 answers
515 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 ...
Mikhail Bondarko's user avatar
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
1 vote
1 answer
119 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 ...
Luca Francone's 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