The tag has no wiki summary.

learn more… | top users | synonyms

9
votes
1answer
415 views

Why is proving fully-faithfulness of an integral functor locally analytically sufficient?

More than once I've come across a statement in a paper about derived categories in which it says something to the effect of "in order to prove that $\Phi:D^b(X)\rightarrow D^b(Y)$ is fully-faithful we ...
10
votes
0answers
535 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 ...
7
votes
0answers
179 views

Projectivity of flops

Say I have a projective (smooth, compact) irreducible symplectic variety $X$ over $\mathbb{C}$ and I perform a Mukai flop. It is well known that if the resulting variety $\widetilde{X}$ is Kahler, it ...
5
votes
0answers
498 views

Semistable sheaves on rationally connected manifolds

Let $(X,H)$ be a polarized projective manifold of dimension $n$ defined over $\mathbb C$, and let $\mathcal E$ be a reflexive sheaf on $X$. If for every subsheaf $\mathcal F \subset \mathcal E$ the ...
3
votes
0answers
225 views

Adjunction Formula for Weil Divisors on a Normal Variety X

Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
2
votes
0answers
100 views

Global sections of exceptional divisor in normalized blow-up

Let $(R, \mathfrak{m})$ be a Noetherian normal local domain and $I$ an $R$-ideal. Write $X$ for the normalization of $\mathrm{Proj}(R[It])$ and $E$ for the effective Cartier divisor defined by the ...
2
votes
0answers
210 views

Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces

Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
2
votes
0answers
145 views

Is there an example of index 1 picardnumber 1 Fano 4-fold with h^{21}\neq0

Are there any known examples of index 1 smooth Fano 4-folds X with $\mathsf{Pic}(X)\cong\mathbb{Z}$ with $h^2(\Omega^1_X)\neq0$?
1
vote
0answers
58 views

How to Calculate Minimal Log Discrepancy on a Toric Variety?

Let $\sigma$ be a $3$ dimensional strongly convex rational polyhedral cone on $\mathbb{R}^3$ and $X_\sigma$, the corresponding affine toric $3$-fol. Also, assume that $\Delta$ is an anti-boundary ...
1
vote
0answers
74 views

Can discrepancy change after pseudo isomorphisms?

Let $X$ and $Y$ be two projective irreductive algebraic varieties of dimension $3$ and let $f:X\dashrightarrow Y$ be a pseudo isomorphism, i.e. a birational map which restricts to an isomorphism ...
1
vote
0answers
67 views

invariance of the dimension of severi varieties of surfaces

Suppose I have a smooth projective surface $S\subset P^n$ embedded by a very ample linear system $|L|$. Consider now the generalized Severi varieties that parametrize curves on $S$ belonging to $|L|$, ...
1
vote
0answers
103 views

stably birational abelian varieties are isomorphic

Can anybody help me to prove the following result: Proposition. Let $A$ and $B$ be abelian varieties over a field $k$ of characteristic zero. Assume that $A \times \mathbb{P}_k^n$ and $B \times ...
1
vote
0answers
64 views

K-equivalence does not depend on the choice of the third variety

By K-equivalent of two smooth varieties $X,Y$, we mean there exist a smooth variety $Z$, and birational morphism $q: Z \to X,\quad p: Z \to Y$ , such that $q^* \omega_X \cong p^* \omega_Y$. Suppose ...
1
vote
0answers
116 views

Is always a Crepant birational map between smooth varieties a small modification

Lemma: A crepant birational map between quasi-projective normal varieties with only terminal singularities is in fact small modifitacions, i.e. isomorphism in codimension 1. So, if ...
1
vote
0answers
146 views

Fields over which cubic hypersurfaces are rational

All cubic hypersurfaces having at least one double point are birational to some $P^n$ over an algebraically closed field. How does the statement change as I pass to non alg closed fields? Does it hold ...
1
vote
0answers
313 views

birational equivalence and mirror CYs

If a CY X is a mirror to Y then any CY Z which is birational to X is also a Mirror of Y. This is the motivation for the Kawamata's "moveable Kahler cone" which includes the Kahler cones of all the CYs ...
0
votes
0answers
60 views

Compactification of the affine space with a del Pezzo surface

Is there some nice compactification of the affine space with a del Pezzo surface of degree $\le 4$ (for example with a cubic surface) ? More precisely, I would like a projective algebraic variety $X$ ...
0
votes
0answers
115 views

birational invariants of projective surfaces

I am studying Castelnuovo's rationality criterion for surfaces. Let $S$ be a projective surface and $K$ a canonical divisor on $S$. Let's use the notation ...
0
votes
0answers
171 views

How to Construct a ''Nice'' Birational Model in Characteristic p>0

Let $X=Spec\ A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ be a prime Weil-divisor on $X$. Now, I ...
0
votes
0answers
168 views

Numerical dimension of nef divisors

Let $D$ be a nef divisor (moreover suppose it is effective if you prefer) on a normal projective variety of dimension $n$. Let $k\in[1,n-1]$. If $D^k\cdot V=0$ for generic subvarieties $V\subseteq X$ ...