All Questions
1,159 questions
7
votes
0
answers
680
views
Artin's "On isolated rational singularities of surfaces"
My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt:
The Setting: Let ...
- 6,016
4
votes
0
answers
318
views
Is the restriction of an injective sheaf on a closed subscheme still injective?
Let $X$ be a Noetherian scheme, and let $i:Z\to X$ be the inclusion of a closed subscheme $Z$. Let $\mathcal{I}$ be an injective sheaf of modules on $X$.
Question. Is $i^*\mathcal{I}$ still an ...
- 1,479
2
votes
0
answers
411
views
Equidimensional Morphism
I am reading the paper "Relative Cycles and Chow Sheaves" due to Suslin and Voevodsky. Here we have the following definition:
Definition 2.1.2.
A morphism of schemes $p:X\rightarrow S$ is ...
- 519
2
votes
3
answers
1k
views
Weil restriction
I've already asked a similar question in SE, without success, so I've decided to post here a more general version of my question.
Let $f: Y \to X$ be a finite étale morphism of smooth proper varieties ...
- 21
12
votes
2
answers
883
views
Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$
This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...
- 245
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
0
votes
0
answers
91
views
Closed algebraic subset dominating a curve
In the book "C. Voisin. Hodge Theory and Complex Algebraic Geometry. Volume II. Cambridge
studies in advanced mathematics 76 (2002)" page 228 says:
Let $X$ be a smooth projective variety. If ...
- 519
1
vote
2
answers
788
views
Defining algebraic manifold without referring to schemes
Let $M$ be a complex manifold admitting an atlas with each chart biholomorphic to $\mathbb{C}^n$ and transition maps being rational functions.
Is it true that there exists a smooth integral ...
- 125
3
votes
1
answer
480
views
Arc space & formal loops in motivic integration
One of the most essential ingredients in the theory of motivic integration are the space of arcs of a given $k$-variety
$X$. This is a scheme, whose $k$-rational points are the $k[[t]]$-valued points ...
- 6,016
15
votes
2
answers
596
views
When is the etale cohomology of $\mathrm{Sym}^n(X)$ isomorphic to the $\Sigma_n$-invariants in the étale cohomology of $X^n$?
Suppose $X$ is a smooth projective variety defined over an arbitrary algebraically closed field $k$, and consider the action of $\Sigma_n$ on the $n$-fold product $X^n$. Is it true that $H_{\acute{e}t}...
- 233
0
votes
0
answers
231
views
Transversally intersecting divisors $C$ and $D$ in a Hartshorne's AG lemma
Question about proof of lemma V.1.3 in Robin Hartshorne's
Algebraic Geometry on page 358.
Let $X$ be surface. That's for us a nonsingular projective
surface over an algebraically closed field $k$ and ...
- 6,016
15
votes
6
answers
3k
views
Characteristic zero and characteristic $p$ in algebraic geometry
Are there non-trivial (i.e. excluding concepts that can be defined only for $p>0$) statements in algebraic geometry that hold for all fields of characteristic $p$ for all prime $p$ but are known ...
user16974
3
votes
1
answer
444
views
Projection formula for flat morphisms
Let $f\colon X\to Y$ be a flat morphism between two smooth projective varieties. Let $L$ be a locally free sheaf on $X$ and $\mathcal{F}$ a coherent sheaf on $Y$. How to prove $f_*(L\otimes f^*\...
- 91
4
votes
1
answer
269
views
Fourier transform on finite groups in characteristic $p>0$
Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...
- 41
3
votes
2
answers
390
views
The underlying space of an affine open dense subscheme
Let $X$ be a Noetherian scheme, $U\subset X$ be an affine open dense subscheme. Is the underlying space of $U$ necessarily homeomorphic to the underlying space of $X$?
user140689
3
votes
1
answer
212
views
Algebraic spaces in the étale topology (proof from Stacks project)
I have a question about the proof of Lemma 78.12.1 from Stacks Project. The aim of the last paragraph of the proof is to verify that the map of sheaves in the étale topology $F \to U/R$ is an ...
- 6,016
2
votes
0
answers
151
views
Colimits of the infinitesimal neighborhoods of symmetric product in the category of schemes
This problem is highly related to this one and in fact it is the same question applied to a very specific situation.
Given a smooth projective curve $C$, let $\text{Sym}^i(C)$ be the $i$-th symmetric ...
- 5,901
2
votes
1
answer
656
views
Closed points of a closed subscheme of $\mathbb{P}^n$ over the residue field and the fraction field of a valuation ring $R$
Let $(R, M)$ be a valuation ring with algebraically closed fraction field $k$. Let $L = R/M$ be the residue field of $R$; it follows that $L$ is algebraically closed. I would like to understand the ...
- 3,625
3
votes
0
answers
197
views
How to write down an explicit equation of given degree yielding a smooth hypersurface in a projective space?
Let F be a field of positive characteristic $p$ and let $d,n$ be two positive integers.
Can we explicitly write down an equation defining a smooth hypersurface $X_d⊂\mathbb P^n_F$ of degree d ?
This ...
- 417
3
votes
1
answer
282
views
Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface
Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...
- 642
6
votes
0
answers
201
views
Is an algebraic space having a monomorphism to an affine scheme a scheme?
Definition
An algebraic space is a functor $X$ from the opposite of the category of commutative rings to the category of sets satisfying the following conditions:
The functor $X$ is a (large) etale ...
- 368
54
votes
2
answers
4k
views
Connections between various generalized algebraic geometries (Toen-Vaquié, Durov, Diers, Lurie)?
As far as I know, there are four possible ways to generalize algebraic geometry by 'simply' replacing the basic category of rings with something similar but more general:
$\bullet$ In the approach by ...
- 63.1k
48
votes
5
answers
15k
views
Algebraically closed fields of positive characteristic
I'm taking introductory algebraic geometry this term, so a lot of the theorems we see in class start with "Let k be an algebraically closed field." One of the things that's annoyed me is that as far ...
- 12.6k
8
votes
1
answer
387
views
Are schemes obtained from reduced schemes by gluing infinitesimal stuff along a reduced closed subscheme?
Let $X$ be a scheme of finite type (say over the complex numbers). The set of points for which the local ring is reduced is then an open subset $U\subseteq X$.
Is it true that there is a closed ...
- 23.4k
3
votes
1
answer
634
views
Given a semi-abelian scheme, is the set of points such that the fibres are abelian varities open?
Let $\pi:\mathcal{A}\rightarrow C$ be a semi-abelian scheme, i.e. $\mathcal{A}$ is a smooth separated commutative group scheme over $C$ via $\pi$ with geometrically connected fibres, such that each ...
- 452
1
vote
1
answer
1k
views
Injectivity of the cohomology map associated to the pullback of line bundles
Let $f:X\to Y$ be a flat, surjective, smooth morphism between smooth algebraic varieties (over $\mathbb C$). We assume that $f$ has relative dimension $n$ and we assume also that $\dim Y\ge 2$ (just ...
- 321
4
votes
0
answers
130
views
Castelnuovo–Mumford regularity and wedge powers in positive characterisitc
A vector bundle on $\mathbb{P}^n$ is said to be $r$-regular if
$$H^i(\mathbb{P}^n,F(r-i))=0$$ for all $i>0$.
It is always true that if $F$ is $r$-regular and $G$ is $s$-regular (both vector bundles)...
- 2,356
5
votes
1
answer
690
views
Gluing two points in an affine algebraic variety
Let $k$ be an algebraically closed field, $A$ a finitely generated $k$-algebra. Let $x,y$ be two distinct closed points of $\mathrm{Spec}(A)$. Is there an affine $k$-scheme of finite type obtained ...
- 796
18
votes
3
answers
2k
views
Can $\mathcal O_X$ be recognized abstract-nonsensically?
This question has been asked by Teimuraz Pirashvili many years ago. I forgot about it after a while and remembered only now by accident. He probably knows the answer by now, but I still don't.
In the ...
- 18.4k
2
votes
1
answer
413
views
Galois action on morphism between $\overline{k}$ schemes
I have a question on a certain property of morphisms between schemes endowed with Galois action. The motivation arises from a comment by Phil Tosteson on this question.
Phil wrote: "If the map ...
- 6,016
3
votes
0
answers
83
views
Do rationally contractible presheaves have rationally contractible injective resolution
Given a presheaf $\mathcal{F}: Sm/k\rightarrow Ab$ we define a new presheaf $C\mathcal{F}= \varinjlim\limits_{X\times \{0,1\}\subset U \subset X\times \mathbb{A}^1}\mathcal{F}(U)$. The presheaf $\...
- 5,901
1
vote
0
answers
105
views
Interesting property of a divisor contained in special fiber
Let $(A, \mathfrak{m}, \kappa=A/\mathfrak{m})$ be a local ring and $f:X \to \operatorname{Spec} (A)$
a scheme. Let $D \subset X$ a divisor on $X$ contained in special fiber $D \subset f^{-1}(\sigma_{\...
- 6,016
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
3
votes
1
answer
325
views
vector bundles over projective line over an affine line
Let $k$ be a field and $E$ be a vector bundle over $\mathbb{P}_{k}^{1}\times\mathbb{A}_{k}^{1}$, does it extend to
$\mathbb{P}_{k}^{1}\times\mathbb{P}_{k}^{1}$?
- 3,472
6
votes
1
answer
826
views
Formal Schemes Methods: Applications
Possibly this question is bit too broad but up to now I was not able to find a satisfying answer.
Let $X$ be a locally
Noetherian scheme and $X' \subset X$ be a closed subscheme of $X$ which is ...
- 6,016
0
votes
1
answer
554
views
Completed stalks of the pushforward of the structure sheaf
Let $\pi:X\to S$ be a proper morphism of Noetherian schemes. Is it possible that $\pi_*\mathcal{O}_X\neq \mathcal{O}_S$ but the natural map $\mathcal{O}_s^\wedge\to (\pi_*\mathcal{O}_X)_s^\wedge$ is ...
user158636
4
votes
1
answer
980
views
Geometric interpretation of sections $H^0(\Theta_X, X)$ of the Tangent sheaf over curve
I'm reading Mumford's & Oda's Algebraic Geometry II and I'm confused about explanations on geometric intuition of sections $H^0(\Theta_X, X)$ of the tangent sheaf on page 287:
Let $X$ a ...
- 6,016
2
votes
0
answers
405
views
Cohomology of a family of twisted cubic curves (Hartshorne III, 12.9.2)
I'm trying to understand following Example in Hartshorne (Chapter III, Example 9.8.2
& Example 12.9.2):
Let $X_1 \subset \mathbb{P}^{3}$ be a twisted cubic curve not containing the point
$(0:...:1)...
- 6,016
2
votes
1
answer
632
views
Formal neighbourhood of a closed subscheme
Let $X$ be a variety and $Y \subset X$ a closed subvariety.
Edit: Assume they are both smooth.
Denote $N_{Y / X}$ the normal bundle of $Y$ in $X$. The formal neighbourhood of $Y$ in $X$ is the ...
- 1,325
-2
votes
1
answer
901
views
One-dimensional scheme with no closed points
Can someone give a reasonably explicit example of an irreducible one-dimensional scheme with no closed points?
user137767
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
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
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
1
vote
2
answers
619
views
A curve is proper iff the space of global sections is finite-dimensional
Let $k$ be a field, $X\rightarrow \mathrm{Spec}\,k$ be a separated morphism of finite type of relative dimension$\leq 1$ (as defined here). Is it true that $f$ is proper iff $f_* \mathcal{O}_X$ is ...
- 11
42
votes
6
answers
6k
views
Arbitrary products of schemes don't exist, do they?
Thinking of arbitrary tensor products of rings, $A=\otimes_i A_i$ ($i\in I$, an arbitrary index set), I have recently realized that $Spec(A)$ should be the product of the schemes $Spec(A_i)$, a ...
- 47.5k
9
votes
2
answers
868
views
Nakano vanishing in positive characteristic
Let $X$ be a smooth projective variety defined over a field $k$.
In characteristic zero, the following is a special case of the (Kodaira-Akizuki-)Nakano vanishing theorem:
$(\ast) \quad$ $\mathrm H^...
- 1,072
7
votes
1
answer
916
views
Are relative curves $X \to S$ determined by their fibers?
Consider relative curves $X \to S$, defined to be flat, integral, projective schemes of relative dimension 1 over $S$. When are these objects determined by their fibers?
So if $X,Y$ are $S$-schemes ...
- 1,338
2
votes
1
answer
605
views
What are the sections of an ideal sheaf on a scheme?
Suppose $X$ is a scheme and $f_1,...,f_n\in \Gamma(X,\mathcal O)$ are global sections.
One often reads about the ideal sheaf $\mathcal I=\mathcal (f_1,...,f_n)\subset \mathcal O$, but I have never ...
- 417
6
votes
1
answer
304
views
Irreducible of finite Krull dimension implies quasi-compact?
Let $X$ be the underlying space of a scheme.
If $X$ is irreducible of finite Krull dimension, is it necessarily
quasi-compact?
Is it necessarily Noetherian?
What if we assume not
only that Krull ...
3
votes
1
answer
317
views
What is known about lower etale cohomology of unirational varieties?
Which information is currently known about $H^1_{et}(X,\mathbb{Z}_l)$ and $H^2_{et}(X,\mathbb{Z}_l)$, where $X$ is a smooth unirational variety over an algebraically closed field of finite ...
- 16.9k