All Questions
1,159 questions
5
votes
1
answer
710
views
Log resolutions on surfaces and 3-folds in characteristic p
If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...
- 2,215
5
votes
2
answers
556
views
Existence of certain identities involving characteristic 2 "thetas"
Let l=2m+1 be prime. In my previous MO question, "What are the polynomial relations between these characteristic 2 thetas?", I defined a subring of Z/2[[x]] as follows:
The subring, S, is generated ...
- 5,422
5
votes
1
answer
568
views
Dualizing sheaf of nodal curve
Let $C$ be a connected, nodal (I'm working with definition from Alper's notes on Stacks & Moduli, see p 210), projective curve over an alg closed field $k$, beeing everywhere smooth except at a ...
- 6,016
5
votes
1
answer
351
views
Dévissage of stratified structures in Grothendieck's "Esquisse d’un programme"
I have a question about the intuition behind Grothendieck's proposed notion of so called "Tame topology" in his Esquisse d’un programme. Grothendieck insisted that theory should admit “...
- 6,016
5
votes
1
answer
268
views
Some questions on derived pull-back and push-forward functors of proper birational morphism of Noetherian quasi-separated schemes
Let $f: X \to Y$ be a proper birational morphism of Noetherian quasi-separated schemes. We have the derived pull-back $Lf^*: D(QCoh(Y))\to D(QCoh(X))$ (https://stacks.math.columbia.edu/tag/06YI) and ...
- 361
5
votes
1
answer
420
views
Lifting $\mathfrak{sl}_2$-triples
Let
$k$ be an algebraically closed field,
$G$ a (smooth, connected) reductive algebraic group over $k$,
$H$ a (smooth, connected) reductive group of semisimple rank 1, and
$T$ a maximal torus in $H$.
...
- 13k
5
votes
2
answers
382
views
Obstructions to abelian sheaf being quasi-coherent
Let $X$ be a Noetherian spectral topological space. A necessary condition for an abelian sheaf on $X$ to be quasi-coherent with respect to some affine scheme structure on $X$ is that its higher ...
user137767
5
votes
1
answer
386
views
Theorem on formal functions and cohomological flatness
Let $f:X\rightarrow S$ be a proper morphism of schemes with Noetherian target. The theorem on formal functions says that for any point $s\in S$ there is an isomorphism between inverse limits of $(f_*...
user137400
5
votes
1
answer
529
views
Evaluation maps for moduli of stable maps
Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$.
Consider the product of the evaluation ...
user58604
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
- 477
5
votes
1
answer
773
views
Compact quasi-coherent sheaves
Let $X$ be a scheme. What are the compact objects in the category of quasi-coherent $\mathcal{O}_X$-modules? All references seem to discuss the derived category but I need the abelian category.
user139947
5
votes
2
answers
505
views
Finite maps and jacobian condition
Let $k$ be an algebraically closed field and take $f_{1}, ..., f_{n} \in k[X_{1},..., X_{n}]$ with the jacobian condition: $\det J_{f} = 1$. Let $A:= k[X_{1},...,X_{n}]/(f_{1},...,f_{n})$ and ...
- 348
5
votes
1
answer
208
views
A generalization of Witt's theorem for quaternion algebra isomorphism
Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra).
Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
- 375
5
votes
1
answer
307
views
The stack of group algebraic spaces
The fibred category $\mathcal A$ of algebraic spaces over a scheme $S$ is a stack (over the category of affine schemes with the etale topology). This is proved in Laumon and Moret-Bailly's book (see (...
5
votes
2
answers
586
views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
- 14.2k
5
votes
2
answers
1k
views
Map of coherent sheaves inducing isomorphism on the stalks at the generic point
Let $f:X\rightarrow Y$ be a finite morphism between Noetherian integral schemes that is surjective on the underlying topological spaces. Does there exist an integer $n>0$ and a coherent $O_X$-...
user138661
5
votes
1
answer
446
views
More questions involving characteristic 2 theta series identities
In my answer to my earlier question, "Existence of certain identities involving characteristic 2 thetas", I established some curious identities when the thetas have prime "level" congruent to 1 mod 4 ...
- 5,422
5
votes
1
answer
461
views
Given a branched cover with branch cycle description $(g_1,...,g_r)$, does $g_i$ generate some decomposition group?
Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so $\alpha_1...\...
- 5,929
5
votes
1
answer
506
views
Schemes over (locally) ringed spaces: working over complex-analytic spaces, rigid-analytic spaces, formal schemes, etc
Monique Hakim developed in her doctoral thesis [1] the theory of relative schemes. These comprise, as a special case, the theory of schemes over (locally) ringed spaces. What makes the study of these ...
- 11.8k
5
votes
1
answer
291
views
The Idea of Kroneckerian geometry
Let $X$ be a complex, projective algebraic variety and assume that $X$ has a model $X_0$ over $\mathbb Z$ i.e. $X\cong X_0\times_{\operatorname{Spec }\mathbb Z}\operatorname{Spec }\mathbb C$.
Let's ...
5
votes
1
answer
323
views
Locally affine varieties and du Val singularities
Let me start with an apologetic disclaimer: I am very far from an algebraic geometer, so this question might be crudely formulated.
I have a specific question about du Val singularities, but while ...
- 390
5
votes
1
answer
1k
views
Excellent schemes
I noticed that many results in positive characteristic assumes that the object of the theorem is excellent. I have looked up the definition of excellent and have tried to get a feeling for it, but all ...
- 53
5
votes
0
answers
166
views
Galois ascent - When is a variety a Weil restriction?
Let $L|K$ be a finite Galois extension of degree $d$ and $X$ be a variety over $K$.
Is there a simple criterion, similar to Galois descent, allowing to determine whether $X$ is the Weil restriction (...
- 413
5
votes
0
answers
221
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
- 605
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
5
votes
0
answers
274
views
How can we generalize the finite type property so that global sections still have the same property?
Motivation: When I was young(er), I was once shocked to learn that, for $X$ a scheme of finite type, $\Gamma(X,\mathscr{O}_X)$ can fail to be of finite type. Now that I am no longer so young and ...
- 32.5k
5
votes
0
answers
257
views
Colimit of nilpotent thickenings in the category of schemes
This question is highly related to this and this one.
Given a ring $A$ and an ideal $I$, the direct system of schemes $\text{Spec}(A/I)\rightarrow \text{Spec}(A/I^2)\rightarrow \ldots$ has a colimit ...
- 5,901
5
votes
0
answers
151
views
Reduction theory of higher dimensional algebraic varieties
If $X$ is a nonsigular curve over a number field $K$, one can obtain several arithmetic models of $X$. Namely, we can construct an arithmetic surface $\mathcal X\to\operatorname{spec} O_K$, such that $...
- 1,237
5
votes
0
answers
154
views
Curves of genus 0 over a DVR determined by fibers?
Closely related is this question.
Suppose $R$ is a DVR with fraction field $K$ and residue field $k$ (say finite), and $S = \mathrm{Spec}(R)$.
I am interested in regular, proper, flat schemes $X \to S$...
- 1,338
5
votes
0
answers
148
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
- 1,142
5
votes
0
answers
208
views
Use of Flattening Stratification part 2 (Nitsure's construction of Hilbert and Quot schemes)
I study Nitin Nitsure's paper Construction of Hilbert and Quot Schemes (arXiv:math/0504590) and have some problems with the content of imposed universal property (F) in the section "Use of ...
- 6,016
5
votes
0
answers
349
views
Algebraic spaces as quotients of schemes (Definition from wikipedia)
I think that wikipedia article on Algebraic spaces contains a serious content error in the part on the definition of Algebraic spaces as quotients of schemes and I would like to discuss if it is ...
- 6,016
5
votes
0
answers
195
views
Algebraic Space: Two equivalent constructions
According to Wikipedia
there are two common ways to define algebraic spaces:
they can be defined as either quotients of schemes by étale
equivalence relations,
or as sheaves on a big étale site that ...
- 6,016
5
votes
0
answers
166
views
When do the spectra of overrings glue to a proper morphism?
This question is motivated by the construction of blowups.
Let $A \subset K$ be a commutative domain and its fraction field, and let $\{A_i\}$ be some finite collection of overrings in between.
Let $X ...
- 1,338
5
votes
0
answers
217
views
Exact differential forms in characteristic $p>0$
Let $k$ be an algebraically closed field of characteristic $p>0$. Suppose $1< e_i <p$ for $i=1,2, \ldots, n$ are integers ($n \ge 2$). What are the conditions on the $e_i$'s so that the ...
- 245
5
votes
0
answers
493
views
Schemes admitting a cover by isomorphic affine opens
Let $X$ be a Noetherian integral scheme. When does $X$ have a cover by affine open subschemes that are isomorphic as abstract schemes?
Does there exist an example when we have a cover by $n$ ...
user140076
5
votes
0
answers
241
views
Schemes monomorphing into affine scheme of dimension 1
Let $Y$ be an affine scheme of Krull dimension 1. Let $X\rightarrow Y$ be a monomorphism in the category of schemes. If $X$ is connected, is $X$ necessarily affine? What if we assume that $Y$ is a ...
user137767
5
votes
0
answers
238
views
Cohomology groups on small fppf site and small etale site are not the same
Let $F$ be a quasi-coherent sheaf on a scheme $X$. Is there an example where cohomology groups of $F$ on small fppf site of $X$ and small etale site of $X$ are not isomorphic?
- 723
5
votes
0
answers
537
views
Basic questions about crystals and Grothendieck connections
I have a few basic questions about Grothendieck connections and crystals. I know it's bad practice to ask a bunch of different questions at once, however I feel they naturally come bundled together. ...
- 10.5k
5
votes
0
answers
197
views
Semisimplicity of the p-adic étale Tate module over $F_p(t)$
Let $k$ be a finitely generated field of positive characteristic p.
Let $A$ be an abelian variety over $k$ and write $T_p(A)$ for the $p$-adic étale Tate module of $A$. Is it known if the natural ...
- 728
5
votes
0
answers
1k
views
Base change of integral scheme of finite type over a field
Let $X$ be an integral scheme of finite type over a field $k$. If $k'\supseteq k$ is a field extension, then $X' = X\otimes_k k'$ is not necessarily integral.
Why does each irreducible component of ...
5
votes
0
answers
243
views
Map associated to linear system onto curve is morphism
In Mumford's first paper on Surfaces in char $p$ [1], part 2 Step (II), he wants to show that, given an indecomposable curve of canonical type $D$ on a smooth projective surface $F$ with $p_g(F)=0, ...
- 61
5
votes
0
answers
568
views
Eisenbud-Goto conjecture in Positive Characteristic
Eisenbud-Goto conjecture predicted that the Castelnuovo-Mumford regularity
${\rm reg}(X)$ of a non-degenerate projective variety $X\subset \mathbb{P}^N$
is bounded by the $\deg(X)-{\rm codim}(X,\...
- 1,595
5
votes
0
answers
907
views
Injective sheaf of $\mathcal{O}_X$ modules
I am trying to verify that:
A sheaf of $\mathcal{O}_X$ modules $\mathcal{F}$ is an injective object in the category of $\mathcal{O}_X$ modules iff its local rings $\mathcal{F}_x$ are injective $\...
user37663
5
votes
0
answers
3k
views
Geometry of schemes by Eisenbud and Harris
I have some background of algebraic geometry.
I am now trying to study schemes from book Geometry of schemes by Eisenbud and Harris.
I was checking recommendations for books on algebraic geometry ...
user37663
5
votes
0
answers
2k
views
A course on modern algebraic geometry from "The Stacks Project"
I hope this question is viable for this site. I'm sincerely sorry, if you think it isn't.
For a lot of time, "EGA" by Alexander Grothendieck and Jean Dieudonne was "the" reference on the basics of ...
- 59
5
votes
0
answers
336
views
Which locally ringed spaces are schemifiable?
(most of this question is re-asking Schemification (schematization?) of locally ringed spaces, which did not get answered)
Given a locally ringed space $X$, say that a schemification of $X$ is a ...
- 2,130
5
votes
0
answers
257
views
Symplectic leaves in positive characteristic
I am currently considering a family of filtered algebras over an algebraically closed field of positive characteristic with the property that the associated graded algebra is a finitely generated ...
- 599
5
votes
0
answers
1k
views
Equivalent definitions of the Hasse invariant
As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant.
Let me start by recalling one definition:
Let $E\to S$ be an elliptic curve in ...
- 845
5
votes
0
answers
224
views
Comparison of sheaves of modular forms
Let $\pi:E\to X$ the universal generalized elliptic curve over the compactified modular curve, with zero section $e: X\to E$. Now consider the following two sheaves on $X$:
$e^*\Omega^1_{E/X}$ and $\...
- 845