All Questions
Tagged with ac.commutative-algebra schemes
78 questions
1
vote
0
answers
69
views
Descent of $G$-invariant formal system of parameters using GAGF
Let $R=(R,\mathfrak{m})$ be a comm local regular ring of char $\neq 2$ (ie $2 \neq 0$ in $R$) with maximal ideal $\mathfrak{m}$ of (Krull) dimension $2$, ie $R$ admits system of parameters $x,y \in \...
- 6,018
3
votes
1
answer
190
views
Irreducibility under etale ring map
Let $A\rightarrow B$ be a etale ring map between finite type algebra over algebraically closed field $k$.
If $A$ is one dimensional integral domain, is $B$ direct product of finite type integral ...
- 328
2
votes
0
answers
169
views
Principle of degeneration as precursor of Zariski's connectedness theorem (geometric intuition)
I have following question about so-called "principle of degeneration"
in algebraic geometry (which in modern terms is an immediate consequence
of Zariski's main theorem and goes in it's ...
- 6,018
1
vote
1
answer
364
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,018
1
vote
0
answers
52
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
- 1,343
2
votes
1
answer
185
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 3,472
0
votes
0
answers
109
views
Affine scheme over ring of meromorphic functions with finite poles on unit circle
I am looking into the set $S$ of meromorphic functions with a finite number of poles on the unit circle (i.e., rational functions with poles on the unit circle). I assume that any $h\in S$ has the ...
- 91
0
votes
0
answers
329
views
Smooth morphisms under base change, Qing Liu's proposition 4.3.38
I have a concern about the first assertion in the proof of proposition 4.3.38 of Qing liu's "Algebraic Geometry and Arithmetic Curves". Referring to smooth morphisms, he says "The ...
- 149
4
votes
0
answers
396
views
Non-Noetherian (classical) algebraic geometry
My starting point for this question is that, in a very classical sense, algebraic geometry is the study of solution spaces of systems of polynomial equations over an algebraically closed field. It is ...
- 365
10
votes
1
answer
599
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
- 223
1
vote
1
answer
691
views
Under what conditions is an open subscheme of an affine scheme affine and what ring corresponds to it?
It is well known that an open subscheme of an affine scheme is not necessarily an affine one. But what are (if possible the most general) sufficient conditions for its affinity? And is it known how, ...
- 6,962
6
votes
0
answers
190
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 605
0
votes
0
answers
267
views
completion and tensor product
Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers?
If $A$ is noetherian, it is clear because one has for $k$ a residue ...
- 3,472
0
votes
0
answers
130
views
Is a closed subsecheme contained in a Cartier divisor?
Let $X$ be a variety over a field $k$. For a closed subscheme $Z\hookrightarrow X$ and a closed point $x\in X$ such that $\text{codim}_XZ \geq 1$ and $x\notin |Z|$, is there an effective Cartier ...
- 349
2
votes
1
answer
177
views
Constructibility of the locus of points where the fiber is an isomorphism modulo nilpotents
Let $f: X \rightarrow S$ be a finitely presented morphism of schemes and let $$E = \{s \in S \mid \text{ $X_s$ is a point with residue field $\kappa(s)$ } \}$$
Is $E$ a constructible set?
The basic ...
- 938
10
votes
1
answer
265
views
Finite coverings by closed subschemes
Let $X$ be a scheme. Assume we have two closed subschemes $Y_1$, $Y_2$ that cover $X$ set-theoretically. Are there closed subschemes $Y'_1$, $Y'_2$ with the same underlying sets, such that the ...
- 19.6k
1
vote
0
answers
330
views
Meaning of "cut out (scheme-theoretically)"
Let $V$ be a projectively normal closed subvariety of some projective space over an algebraically closed field $\mathbb{K}$. Let $R$ be the local ring at the vertex of the affine cone over $V$ ($R$ is ...
- 839
2
votes
0
answers
730
views
What algebraic condition corresponds to injectivity of a morphism of varieties?
$\DeclareMathOperator{\Spec}{Spec}$
Let $X = \Spec A$, $Y = \Spec B$ be affine complex varieties, that is reduced $\mathbb{C}$-schemes of finite type. Equivalently we can say that $A$ and $B$ are ...
- 1,141
2
votes
1
answer
437
views
Extending functors between K-algebras to schemes
Assume we have $K$ and $L$ (comm.) rings, and we have a functor $F$ from the category of $K$-Algebras to the category of $L$-Algebras (I work only with commutative rings). What conditions need to ...
- 608
4
votes
1
answer
385
views
Vector bundles on complete rings
Given a ring $A$ and an ideal $I$, consider the completion $\hat{A}$. What does usually mean by a vector bundle on $\hat{A}$? One way is to consider projective $\hat{A}$-modules. Another one is a ...
- 5,901
1
vote
1
answer
1k
views
Finiteness of the integral closure of an integral domain in its field of fractions
I've just started reading John Milne's book ''Etale Cohomology". Prop. 1.1 of Sec 1 in Ch1 reads as
follows: If $X$ is a normal scheme and $X'\to X$ is its normalization in a certain finite ...
1
vote
0
answers
71
views
Gluing categorical limit over subgraphs
Let $C$ be a category, and $\Gamma$ a graph in $C$. Under good conditions it makes sense to talk about the limit $\lim \Gamma$ of $\Gamma$ in $C$.
Suppose $\Gamma$ is the union of two subgraphs $\...
- 5,230
2
votes
0
answers
148
views
etale locally infinitesimal lifting property
For a morphism $X\rightarrow Y$ of qcqs schemes, one has the usual notion of formal smoothness which says that for a pair $(R,I)$ with $I^2=0$, if there is a point $y\in Y(R)$ such that $y_{\vert R/I}$...
- 3,472
1
vote
0
answers
189
views
Existence of integral extension of DVR satisfying some conditions
Let $X^{\prime}$ and $X$ be integral noether schemes over $\mathbb{C}$, and $p:X^{\prime}\rightarrow X$ be a surjective morphism.
Let $R$ be any discrete valuation ring over $\mathbb{C}$ with its ...
- 297
7
votes
2
answers
327
views
How to understand the "boundary" of subscheme, as defined in "An elementary characterisation of Krull dimension"
In An elementary characterisation of Krull dimension and A short proof for the Krull dimension of a polynomial ring, Coquand, Lombardi, and Roy give an elementary characterization of Krull dimension, ...
- 1,142
2
votes
1
answer
350
views
Base change of normalization map and scheme-theoretic surjectivity
Let $C$ be an affine, integral curve and $f: \widetilde{C} \to C$ be its normalization. Let $g:D \to C$ be a finite, affine, surjective morphism (note $D$ need not be reduced, but can assume ...
- 2,022
3
votes
0
answers
347
views
Sections of non-reduced schemes
Let $X$ be an affine, irreducible (complex), generically reduced, scheme containing an embedded point, say at $x \in X$. Suppose further dimension of $X$ is strictly positive (can assume to be one ...
- 2,022
2
votes
0
answers
231
views
Necessary condition to extend a morphism of schemes
Consider two schemes $X,Y$ over a locally noetherian scheme $S$. Let $p \in X$ and assume that $X$ is irreducible and not affine spectrum of a semilocal ring.
We assume moreover we have a morphism $...
- 6,018
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
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
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
2
votes
0
answers
416
views
Henselization and completions of local rings & schemes
That's the second part of my coarse becoming acquainted with Henselizations of fields and local rings. (in this question we focus on local rings as it is more algebro geometric motivated). So let $(R,...
- 6,018
3
votes
0
answers
155
views
Bass theorem on non-affine scheme
A famous theorem of Bass tells that over a noetherian ring $A$, with $\operatorname{Spec}(A)$ connected, every projective module of infinite type is free.
Now, consider a connected noetherian scheme $...
- 3,472
6
votes
1
answer
434
views
Regular morphisms and formal power series
Let $A$ be a local noetherian ring. When (besides when $A$ is excellent) do we have that $\operatorname{Spec}(A[[t]])\rightarrow \operatorname{Spec}(A[t])$ is regular?
- 3,472
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
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
7
votes
2
answers
1k
views
Beauville-Laszlo for schemes
For a commutative ring $A$ and $f\in A$ a non-zero divisor, the Beauville-Laszlo theorem gives a gluing statement for vector bundles on $A$ in terms of a vector bundle on $A\big[\frac{1}{f}\big]$, a ...
- 3,472
1
vote
1
answer
646
views
Affine cone example
Consider the complete intersection ideal ${\displaystyle (f,g_{1},g_{2},g_{3})\subset \mathbb {C} [x_{0},\ldots ,x_{n}]}$ and let $X$ be a projective variety defined by the (product) ideal sheaf ${\...
- 6,018
1
vote
2
answers
530
views
Equivalence between categories of affine schemes over $X$ and representable functors $\operatorname{Points}(x) \to \operatorname{Sets}$
I am reading Strickland - Formal schemes and formal groups. For a functor $X\colon \operatorname{Rings}\to \operatorname{Sets}$, he defines (2.14) the category of $\operatorname{Points}(X)$ in the ...
- 455
3
votes
0
answers
240
views
Smallest non-vanishing index of Local-Cohomology and Ext functor, as in the definition of depth, for not necessarily affine schemes
Let $(Z,\mathcal O_Z)$ be a closed subscheme of a Noetherian scheme $(X,\mathcal O_X)$. Then there is an ideal sheaf $\mathcal J$ on $X$ such that $i_*(\mathcal O_Z) \cong \mathcal O_X/\mathcal J$ , ...
- 642
0
votes
0
answers
153
views
Locus of trivialization of an extension of a vector bundle
Let $X$ be a normal noetherian affine scheme. Let $j:U\rightarrow X$ be a codimension two open of $X$ and $\mathcal{E}$ a vector bundle on $U$.
We assume that $j_*\mathcal{E}$ is a vector bundle. In ...
- 3,472
6
votes
0
answers
111
views
Relation between $\mathrm{Proj}(A[tI])$ and $\mathrm{Proj}(A[tJ])$ for ideals $I$ and $J$ of $A$ with $I^2 \subset J \subset I$
Let $k$ be a field and $A$ a noetherian local $k$-algebra.
Let $I$ and $J$ be two ideals of $A$ with $I^2 \subset J \subset I$.
Let $A[tI] = \bigoplus\limits_{i\geq 0} t^i I^i$ and $A[tJ] = \...
- 523
2
votes
0
answers
114
views
Noetherian affine schemes for which localization computes the values of the structure sheaf
Is there a non-tautological characterization of the class of commutative unital Noetherian rings satisfying the following property: for any open subset $U$ of the topological space of $\mathrm{Spec}\,...
user138661
1
vote
0
answers
96
views
depth and extension of sections
Let $S$ be an affine scheme, $X$ smooth affine over $S$ and $U$ an open subset of $X$, fiberwise of codimension at least two.
Suppose that we have a function on $U$, can we extend it to $X$?
- 3,472
3
votes
1
answer
282
views
Separable extensions & topology vs inseparable extensions and algebra
In the note Properties of fibers and applications, Osserman writes above Definition 1.5:
Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, ...
- 10.5k
11
votes
2
answers
2k
views
Is a scheme Noetherian if its topological space and its stalks are?
Is a scheme being Noetherian equivalent to the underlying topological space being Noetherian and all its stalks being Noetherian?
- 564
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
4
votes
1
answer
259
views
Embedding a finite morphism into a finite morphism of smooth varieties
Let $f\colon X\to Y$ be a finite morphism of quasiprojective varieties (I’m most interested in the case that $f$ is normalization and the varieties are over $\Bbb C$). Is the following statement true (...
- 3,079
9
votes
1
answer
1k
views
Picard group and reduced schemes
$\DeclareMathOperator\Pic{Pic}$If $A$ is a ring, then we know that $\Pic(A)=\Pic(A_\text{red})$, but for a scheme $X$ it is false in general.
On the other hand, we have that $\Pic(X)=H^{1}_{et}(X,\...
- 3,472
4
votes
0
answers
833
views
When spreading out a scheme, does the choice of max ideal matter?
I'm looking at Serre's paper How to use Finite Fields for Problems Concerning Infinite Fields. Specifically I'm trying to use the techniques in the proof of Theorem 1.2 to write out the details of the ...
- 1,161