Questions tagged [frobenius-splitting]
The frobenius-splitting tag has no usage guidance.
8 questions
2
votes
1
answer
160
views
Finding the mistake in an argument concerning $F$-finite $F$-split local Cohen--Macaulay ring of dimension $1$
Let $R$ be a commutative Noetherian ring, and $\phi: R \to R$ be a ring homomorphism. For an $R$-module $M$, let $^{\phi}M$ be the $R$-module defined via restriction of scalars via $\phi$, i.e., as ...
- 412
1
vote
1
answer
235
views
Is the Cox ring of a Mori dream space $ Z $ which is of globally $ F $-regular type Cohen Macaulay?
A variety $ X $ over a field of characteristic zero is of globally $ F $-regular type if there is a ring $ A $ which is a finitely generated $ \mathbb{Z} $-algebra, a flat family
$ \mathcal{X} $ over $...
- 912
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
2
votes
0
answers
70
views
Is the Cox ring of a $ \mathbb{Q} $-factorial, $ F $-regular, Mori dream space $ F $-regular?
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
106
views
Example of projective, $ F $-regular variety $ X $ and smooth sub-variety $ Y $ such that $ \operatorname{Bl}_{Y}(X) $ is not $ F $-regular?
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
1
answer
69
views
Does there exist a point $ x $ of an affine toric variety $ U_{\sigma} $ such that $ x $ is not compatibly split?
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
2
votes
0
answers
92
views
When is a smooth point of a projective, simplicial, toric variety $ X_{\Sigma} $ compatibly $ F $-split?
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
2
votes
0
answers
164
views
Does anyone know an example of a non-singular, globally $ F $-regular variety $ X $ for which generic smoothness does not hold?
Let us denote the Frobenius endomorphism of a variety $ X $ by $ F $. A variety $ X $ over a field $ k $ of positive characteristic is globally $ F $-regular if for every effective Weil divisor $ D $,...
- 912