All Questions
25 questions
0
votes
0
answers
48
views
Integral graded algebra of finite type is approximable
The following is the definition of approximable algebra.
An integral graded $K$-algebra $\oplus_{n\geqslant 0}B_n$ is said to be approximable if
1.$$rk_K(B_n)<+\infty,\forall n\in \mathbb{N}, $$and ...
- 1
1
vote
0
answers
166
views
Reference request showing that a very general Abelian variety $ A $ of genus $ g>1 $ has cyclic class group with ample generator
In Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM I asked for an example of a Cohen Macaulay, normal, ...
- 912
2
votes
0
answers
73
views
Example of a ruled, CM, $ \mathbb{Q} $-factorial, normal, Mori dream space whose Cox ring is integral but not CM,
This question is related to one I asked here in Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM. In ...
- 912
1
vote
0
answers
106
views
Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM
Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
- 912
8
votes
1
answer
333
views
Alterations and smooth complete intersections
Let $k$ be an algebraically closed field, and $X$ a projective variety over $k$. Let $i : X\subset \mathbf{P}^d_k$ be a closed immersion into a projective space of high enough dimension.
Is there a ...
user501361
2
votes
1
answer
191
views
Cohen-Macaulay fiber products
Let $R$ be a regular local ring, $X$ and $Y$ smooth $R$-schemes, $T\to Y$ a regular closed immersion over $R$ with $T$ smooth over $R$, and $f: X\to Y$ an $R$-morphism.
Is the fiber product scheme $...
user501361
2
votes
1
answer
290
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
user501361
1
vote
0
answers
55
views
Blow-ups of $ F $-regular varieties at points in general position and finite generation of the Cox ring
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
- 912
1
vote
0
answers
274
views
Does analytic isomorphism imply local isomorphism?
If $ \mathfrak{p} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(A) $, and $ \mathfrak{q} $ is a (not necessarily closed) point of a variety $ \operatorname{Spec}(B) $ such ...
- 912
2
votes
1
answer
307
views
Construction of Jacobian Ideal
In Qing Liu's Algebraic Geometry and Arithmetic Curve, we have the following proposition(6.3.13):
Let $S$ be a locally Noetherian scheme. Let $X$, $Y$ be smooth schemes over $S$. Then any immersion $f:...
user294943
8
votes
1
answer
319
views
An invariance property of rational singularities
Let $X$ be a normal variety over a field of characteristic zero with rational singularities.
If $\pi:Y \to X$ is a birational proper morphism with $Y$ also normal, then does $Y$ also have rational ...
- 10.5k
4
votes
1
answer
176
views
Certain endomorphisms of $\mathbb{C}(x,y)$
Let $f: (x,y) \mapsto (p,q)$ be a $\mathbb{C}$-algebra endomorphism of $\mathbb{C}(x,y)$
satisfying the following two conditions:
(i) $\operatorname{Jac}(p,q):=p_xq_y-p_yq_x \in \mathbb{C}-\{0\}$.
(...
- 2,837
1
vote
0
answers
84
views
Concerning $\mathbb{C}(s_1,s_2,s_3,y)=\mathbb{C}(x,y)$, where $s_1,s_2,s_3$ are symmetric
Perhaps the following question is not in the level of MO questions, but it has not received comments in MSE, so I ask it here also:
Let $\beta: \mathbb{C}[x,y] \to \mathbb{C}[x,y]$ be the involution ...
- 2,837
1
vote
0
answers
89
views
Characterizing subfields $\mathbb{C}(u,v) \subseteq \mathbb{C}(x,y)$ invariant under an involution
Let $\iota$ be an involution on $\mathbb{C}(x,y)$, namely, a $\mathbb{C}$-algebra automorphism of $\mathbb{C}(x,y)$ of order two.
Examples of involutions: $\alpha: (x,y) \mapsto (y,x)$, $\beta: (x,y) ...
- 2,837
9
votes
1
answer
313
views
Concerning $k \subset L \subset k(x,y)$
The following is a known result in algebraic geometry:
Let $k$ be an algebraically closed field of characteristic zero (for example, $k=\mathbb{C}$).
Let $L$ be a field such that $k \subset L \subset ...
- 2,837
3
votes
2
answers
363
views
When is a monomial rational map on the projective space birational?
Let $k$ be an algebraically closed field of characteristic $0$.
For $\alpha :=(a_1,\dots,a_{n+1})\in \mathbb N^{n+1}_{\ge 0}$ , let $\bar x^{\alpha}:= x_1^{a_1} \dots x_{n+1}^{a_{n+1}} \in k[x_1,\...
- 642
2
votes
1
answer
450
views
Tie-Breaking Trick for Log Canonical Pairs and F-pure pairs in Positive Characteristic
Let $X$ be a projective 3-fold in characteristic $p>0$. Let $(X, D)$ be a klt pair, and $D'$ a $\mathbb{R}$-Cartier divisor such that $D'=A'+B'$, where $A\geq 0$ is an ample $\mathbb{Q}$-divisor ...
- 303
4
votes
1
answer
362
views
Two bivariate polynomials (or rational functions) that generate $\mathbb{C}(x,y)$
Let $f=f(x,y),g=g(x,y) \in \mathbb{C}[x,y]$, each of degree $\geq 1$, and $f,g$ are algebraically independent over $\mathbb{C}$ (= their Jacobian $\in \mathbb{C}[x,y]-\{0\}$).
(1) Is there a ...
- 2,837
5
votes
0
answers
209
views
Description of flop as graded algebra
I am looking for an example of a flop $Y \to X \leftarrow W$, possibly with exceptional locus at least a $\mathbb{P}^2$, where $X = \text{Spec } A$ is affine and $Y,W$ can be described as explicit ...
- 1,889
3
votes
1
answer
510
views
How can every divisor be reached by a sequence of blow-ups?
The following is a result of Zariski [cf. Lemma 2.45 of Birational Geometry of Algebraic Varieties].
$X$ : an algebraic variety over a field $k$.
$(R,m)$ : a DVR of the quotient field $K(X)$ ...
- 53
2
votes
0
answers
504
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 ...
- 661
2
votes
1
answer
266
views
On Non F-pure ideal and Sharp F-Purity for a pair $(X, \Delta)$ where $K_X+\Delta$ is NOT $\mathbb{Q}$-Cartier
Suppose $(X,\Delta\ge 0)$ is a pair such that $(p^g-1)(K_X+\Delta)$ is an Integral Weil Divisor for some $g>0$ and $X$ is a normal variety. Define $\mathcal{L}_{e,\Delta} = \mathcal{O}_X( (1-p^g)(...
- 165
7
votes
2
answers
482
views
Hn(X, OX) = 0 for X birational to a regular affine variety?
It is a basic fact that $H^n(X, F) = 0$ if $X$ is noetherian affine, $n > 0$, and $F$ a quasi-coherent sheaf.
If $Y \to X$ is a blow-up of a smooth variety in a smooth center, then then ...
- 73
2
votes
1
answer
307
views
On a Strongly F-regular Pair (X, \Delta)
Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
- 165
7
votes
1
answer
1k
views
How to construct log-canonical (or Calabi-Yau), non-Cohen-Macaulay singularities of low codimensions?
(EDIT 07/06/11: although the question has not been settled definitely, Sándor's excellent answer and the comments by Angelo and ulrich have highlighted many potential obstructions to the constructions ...
- 30.5k