# Tagged Questions

For questions related to divisors in the sense of algebraic geometry (Cartier divisors, Weil divisors and so on). For question on divisors in the number theoretic sense please use the tag divisors-multiples.

809 views

### Relative canonical divisors

Suppose that $X$ is a Gorenstein variety and that $\pi : Y \to X$ is a birational map of varieties with normal $Y$. In this case the relative canonical divisor is defined to be $K_Y - \pi^*K_X$ (if ...
1k views

### Ample divisors on projective surfaces

Question: If $X$ is a projective surface and $U$ is an open affine subset of $X$, then is it true that $X \setminus U$ is the support of an (effective) ample divisor on $X$? Background: I was reading ...
60 views

### Psi-classes on moduli spaces of weighted curves

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the stack of weighted genus $g$ curves with weights $A[n]=(a_1,...,a_n)$, and let $\pi:\mathcal{C}\rightarrow \overline{\mathcal{M}}_{g,A[n]}$ be the universal ...
191 views

### Hypersurfaces with Gorenstein singular loci

Recall that a hypersurface $D$ in a complex manifold $X$ is called a free divisor if the Lie algebroid $\mathcal{T}_X(-\log D)$ of vector fields tangent to $D$ is locally free. This condition is ...
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 ...
135 views

### Ricci flat metric on pair (X,D)

Let $(X,\omega)$ be a Calabi-Yau variety and $D$ be a simple normal crossing divisor on $X$ with conic singularities with cone angle $2\pi\theta$, $0<\theta<1$ such that $K_X+D>0$, then is ...
108 views

### On triviality and numerical triviality of (classes of) divisors

Let $X$ be a smooth irreducible threefold, and let $H$ be an ample divisor on $X$. Assume that $D$ is a divisor on $X$ such that $D\cdot H^2=D^2\cdot H=D^3=0$. Question 1: Is $D$ numerically trivial?...
147 views

### A nice way to verify whether the Neron-Severi group of a smooth affine variety is zero

Let $S$ be a smooth affine variety over an algebraically closed field (this could be the field of complex numbers). Is there an 'easy' way to verify whether $NS(S)=0$? Unfortunately, I don't know how ...
529 views

### Riemann-Roch for ARBITRARY Function Fields

I know that on an algebraic function field in one variable over any base field, there is a good divisor theory for it and a Riemann-Roch Theorem; in particular, there is a 'good' notion of 'genus'. (...
363 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 ...
248 views

### Proof of Saito criterion

Does it exist another proof of saito's criterion for free divisors, other than the one in "K. Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo ...
57 views

### Polarization of the Prym variety

Let $X\rightarrow Y$ a ramifield double cover of curves, $J_X, J_Y$ their jacobians, $P\subset J_X$ the Prym variety, for any line bundle $L$ on $X$ of degree $g_X-1$, denote by $\Theta_L$ the ...
181 views

### Family $(X_y,D_y)$ with trivial canonical bundles

Let $i:D\hookrightarrow X$ and $f : X \to Y$ be holomorphic mappings of complex manifolds such that $i$ is a closed embedding and $f$ as well as$f \circ i$ are proper and smooth and $D$ is a divisor. ...
173 views

### A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
213 views

### Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...
66 views

### lift sections on a thickened curve

Let $X$ a curve over an algebraically closed field $k$ and $D$ a divisor on X. Fix an integer $N$ and a closed point $x$ on $X$, we assume that $\deg(D)$ is big enough such that we have a surjective ...
169 views

78 views

### sections of vector bundles transversal to a divisor

Let $X$ a smooth projective curve over $\mathbb{C}$, $S$ a finite subscheme of $X$. $E$ a vector bundle over $X$ with a divisor $D$. We look at the sections $A:=H^{0}(X,E)$ with $\deg E$ big enough. ...
Let $X \hookrightarrow \mathbb{P}^n$ be a hypersurface of degree $d$. I am trying to prove that $\mathcal{O}_{\mathbb{P}^n}(X)=\mathcal{O}(d)$. My idea is the following: if one considers the $d$-uple ...