Questions tagged [frobenius-splitting]
The frobenius-splitting tag has no usage guidance.
6 questions with no upvoted or accepted answers
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
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
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
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