All Questions
123 questions
3
votes
0
answers
197
views
Topological properties of Noetherian affine schemes that do not hold for general Noetherian spectral spaces
I used to think that the only reason why an affine scheme with a Noetherian space can fail to be Noetherian is nilpotents. It turns out that this is not true.
This leads me to the following question: ...
user139949
3
votes
1
answer
517
views
Classical $k$-prevarieties vs reduced $k$-schemes of finite type. What happens when $k$ is not algebraically closed?
$\def\cpvar{\mathsf{CPVar}}
\def\spvar{\mathsf{SPVar}}
\def\Spec{\operatorname{Spec}}
\def\class{\mathrm{class}}
\def\sO{\mathcal{O}}
\def\Hom{\operatorname{Hom}}$Let $k$ be a field. By classical $k$-...
3
votes
0
answers
94
views
Dimension of a kernel of a cocycle map
Inspired by a previous question (Dimension of a kernel of a linear map) and some of the answers I was given I thought wheter I can generalize the question to the following:
Compute the kernel (or at ...
- 911
3
votes
1
answer
419
views
Affine hulls and base change
Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...
- 6,700
2
votes
1
answer
257
views
Are the fibers of this morphism geometrically regular?
Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
- 255
2
votes
2
answers
575
views
Infinitesimal deformations of a fibration
Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers.
Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...
user68440
2
votes
0
answers
285
views
infinite dimensional germs of schemes and tangent spaces
(The question of the type "how to define?")
Let $(R,\mathfrak{m})$ be a local ring over a field $k$ of zero characteristic. Consider the matrices over this ring, $Mat(m,R)$. I think of $Mat(m,R)$ as ...
- 2,232
2
votes
0
answers
216
views
On an application of the going-down theorem of Cohen-Seidenberg in Mumford
There is a following result in Mumford's red book of schemes (Chapter II Section 8). Here $R$ is a valuation ring with algebraically closed fraction field $k$.
Let $Z \subset \mathbb{P}^n_k$ be an ...
- 3,625
2
votes
0
answers
136
views
Size of the ring of functions on open subschemes
This question consists of two related sub-questions.
Let $X$ be a Noetherian integral affine scheme. Under what assumptions on $X$ does every open subscheme of $X$ have a Noetherian ring of global ...
user138661
2
votes
1
answer
206
views
Quasi-compactification of locally spectral spaces
Let $X$ be a locally spectral topological space (i.e. a space admitting an open cover by spectral spaces). Does there necessarily exist a quasi-compact locally spectral space $Y$ and an injective ...
user138661
2
votes
1
answer
465
views
Non-flat locus for smooth schemes
Let $X$, $Y$ be connected smooth schemes of finite type over an algebraically closed field of characteristic $0$. Let $f:X\rightarrow Y$ be a non-birational morphism surjective on the underlying ...
user137767
1
vote
1
answer
211
views
Characterize descents of geometric finite étale cover by means of homotopy exact sequence
Let $X/k$ be a geometrically connected $k$-variety (=separated of finite type, esp quasi-compact; the base field $k$ assumed to be separable, so $\overline{k}=k^{\text{sep}}$), $\overline{X} := X \...
- 5,996
1
vote
0
answers
219
views
Quotient of K3 surfaces by non-symplectic automorphism of finite order
Let $X$ be a $K3$ surface and $f: X \to X$ a non-symplectic morphism (ie non symplectic in sense of that that the induced action on $H(X,K_X=H^0(X, \Omega_X^2)$ is not trivial) of finite order.
...
- 5,996
1
vote
0
answers
161
views
Special elliptic pencil of an Enriques surface (arguments in a proof)
I have a couple of questions about arguments in the proof of Lemma 2.6 (see absol page 199, rel p 9) from Shigeyuki Kondo's paper Enriques surfaces with finite automorphism groups:
The setup: Let $Y$ ...
- 5,996
1
vote
0
answers
188
views
Affine scheme as algebraic space
We working in the following with Knutson's definition of an algebraic space
(ie via equivalence relation; there is also another equivalent def via
sheaves but let us work here with the following one):
...
- 5,996
1
vote
0
answers
165
views
Discriminant ideal in a member of Barsotti-Tate Group
Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$
is an inductive system
...
- 5,996
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
1
vote
0
answers
137
views
Locus where a family of cycles is rationally trivial is closed?
Let $B$ be a smooth quasi-projective variety over a field of characteristic zero.
Let $\pi\colon \mathcal{X} \rightarrow B$ be a smooth and projective morphism with geometrically integral fibres. Let $...
- 984
1
vote
0
answers
299
views
Application of Galois descent
I not understand an assumption done at the beginning of the proof of Rigidity lemma in Moonens and van der Geers book about Abelian variaties (page 12). Here is it:
Question: Why the assumption $k= \...
- 5,996
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
0
votes
1
answer
131
views
curve through a point avoiding an hypersurface
Let $H$ be a closed hypersurface in $\mathbb{A}^{n}$, $n$ big enough over $\mathbb{C}$. Let $U$ be the complementary open subset.
Let $x\in H$, Is it possible to find an curve $C\subset\mathbb{A}^{...
- 3,472
0
votes
1
answer
271
views
Proof of rigidity lemma
I have problems to understand a proof in this paper by Pierrick Dartois on Abelian varieties:
Theorem 1.13 (rigidity lemma). Let $ \varphi: X \times_k Y \to Z$ be a morphism of $k$-schemes. Assume ...
- 5,996
0
votes
0
answers
163
views
Question about the statement of the going-down theorem of Cohen-Seidenberg in Mumford
In Mumford's red book the statement of the Going-Down Theorem (Chapter II Section 8) is as follows.
Let $f: X \to Y$ be a finite morphism. Assume that $Y$ is an irreducible normal scheme. Assume that ...
- 3,625