All Questions
Tagged with ac.commutative-algebra ag.algebraic-geometry
2,098 questions
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?
- 6,262
3
votes
3
answers
517
views
Cohen-Macaulay property for reducible schemes
I have the following question about certain schemes being Cohen-Macaulay.
Let $X$ be the union of all coordinate $k$-planes in
${\mathbb A}^N$. Is it CM?
Let $R$ be a collection of $k$-element ...
- 3,065
1
vote
0
answers
130
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 839
11
votes
1
answer
2k
views
geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings
Let $R$ be a local Noetherian ring.
What is the geometric interpretation of:
1- Gorenstein rings
2- Complete intersections
3- Regular rings?
and how can I realize differences by geometric ...
- 103
1
vote
0
answers
87
views
Factorial surfaces and smoothness
It is well-known that normal curves are smooth. Moreover, a UFD of Krull dimension one is regular. Is there any higher-dimensional analog?
For example, given a normal projective surface $S$ over $\...
- 389
5
votes
0
answers
107
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
- 10.5k
5
votes
2
answers
1k
views
Surjectivity of the natural map of injective module to its localization
Lemma 3.3 page 214 in Hartshorne's Algebraic Geometry book states: "If $I$ is an injective module over a Noetherian ring $A$. Then for any $f\in A$, the natural map of $I$ to its localization $...
- 12.9k
2
votes
0
answers
157
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 889
4
votes
1
answer
273
views
Height of a conductor ideal
We say an extension of Noetherian rings $R\subset S$ is elementary subintegral if $S=R[b]$ for some $b\in S$ with $b^2,b^3\in R$. The conductor ideal is defined to be $\operatorname{Ann}_R(S/R)$. What ...
- 6,262
13
votes
4
answers
2k
views
Does smoothness descend along flat morphisms?
Suppose $f:X\to Y$ is a flat morphism of schemes. If $X$ is smooth at $x$, must $Y$ be smooth at $f(x)$?
If $f$ is locally finitely presented, then it is open (using EGA IV 1.10.4), so after ...
- 761
2
votes
2
answers
1k
views
when tensor complex resolves S/I+J?
Assume that $I\subset k[x_1,\ldots,x_n]$ and $J\subset k[y_1,\ldots,y_m]$ are monomial ideals in different rings, and the minimal free resolution of $S/I$ and $S/J$, say $F_\cdot$ and $G_\cdot$, are ...
CommunityBot
- 1
21
votes
6
answers
3k
views
A ring such that all projectives are stably free but not all projectives are free?
This question is motivated by this recent question. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and ...
- 187
1
vote
0
answers
85
views
Regarding the common zeros of the system of equations
Consider the following two systems of n homogeneous polynomials in n variables of degree $d$ with complex coefficients:
System 1 ($S_1$):
$f_1(x_1,\dots,x_n) = 0$,
$f_2(x_1,\dots,x_n) = 0$,
$\vdots$
$...
- 1,269
0
votes
1
answer
177
views
On the solutions of system of homogeneous polynomials of degree $d$ in $n$ variables
Consider the following two system of n homogeneous polynomials in n variables of degree $d$ with complex coefficients:
System 1 ($S_1$):
$f_1(x_1,\dots,x_n) = 0$,
$f_2(x_1,\dots,x_n) = 0$,
$\vdots$
$...
- 1,269
1
vote
0
answers
374
views
Amitsur's theorem for generalized Severi–Brauer varieties
Let $k$ be a field of characteristic zero and assume that $A$ is a central simple algebra of index $2^n > 2$. We denote by $\operatorname{SB}_i(A)$ the $i$-th (generalized) Severi–Brauer variety of ...
4
votes
0
answers
302
views
What is known about the number of elements needed to generate a given ideal in $k[X_1,\dots,X_n]$?
In Algebraic Geometry by J.S. Milne, after he proves Hilbert's Basis Theorem, he makes the following aside:
One may ask how many elements are needed to generate a given a given ideal $\mathfrak a$ in ...
- 961
1
vote
1
answer
463
views
Vector bundles on $\mathbb{P}^1$
I am considering an alternative proof of Grothendieck's classification of vector bundles on $\mathbb{P}^1$. Given a vector bundle $E$ on $\mathbb{P}^1$ one can associate a graded module $\Gamma(E)$ ...
- 21
0
votes
0
answers
60
views
Symbolic polyhedron of a monomial ideal
$\DeclareMathOperator\maxAss{maxAss}\DeclareMathOperator\conv{conv}$Let $I$ be a non-zero monomial ideal and $P$ $\subseteq$ $\mathbb R_+ ^ {n+1}$ be its symbolic polyhedron: then
$$
\alpha(P)= \min \{...
- 12.9k
2
votes
1
answer
363
views
Is the completed tensor product (over a complete dvr) of two reduced complete Noetherian local rings again reduced?
To be more specific, Let $\mathcal{O}$ be a finite extension of $\mathbb{Z}_{p}$. Let $A=\mathcal{O}[[X_{1},\ldots, X_{n}]]/\left( f_{1},\ldots,f_{r}\right) $ and $B=\mathcal{O}[[Y_{1},\ldots, Y_{m}]]/...
- 783
4
votes
1
answer
669
views
Coherent sheaves, Serre’s theorem and ext groups
Let $X$ be a smooth projective variety over an algebraically closed field $k$ (if necessary we assume that $\operatorname{ch}(k)=0$).
Let $O_X(1)$ be a very ample invertible sheaf on $X$.
Then, the ...
- 889
8
votes
1
answer
639
views
A question on algebraic independence
Let $f_1,f_2,\ldots,f_n, g \in \mathbb{F}_q[x_1,...,x_m]$. Assume that $f_1,\ldots,f_n$ vanish at $0$, so that $\mathbb{F}_q[[f_1,...,f_n]]$ is a subring of $\mathbb{F}_q[[x_1,...,x_n]]$. Suppose that ...
- 28.7k
3
votes
1
answer
148
views
Formal étaleness along Henselian thickenings
Assume that $f:X\to Y$ is an étale map between smooth varieties and $(S,I)$ is a Henselian pair. Let $\alpha\in X(S/I)$. Can we say that the lifts of $\alpha$ to $X(S)$ are in bijection with the lifts ...
- 921
1
vote
2
answers
558
views
Extension of the radical and radical of the extension of an ideal
If $A$ is a commutative ring, $I \subset A$ an ideal and $f:A \rightarrow B$ a ring homomorphism, then the extension of $I$, $I^e = \langle f(a): a \in I \rangle$ does not commute with the radical, I ...
- 1
8
votes
1
answer
1k
views
Why is $\operatorname{Spec}(\mathbb Z)$ supposed to lie over $\operatorname{Spec}(\mathbb F_1)$ rather than the other way around?
$\DeclareMathOperator\Spec{Spec}$I understand that one major motivation for the field with one element is supposed to be that there should be a map $\Spec(\mathbb Z) \to \Spec(\mathbb F_1)$, which has ...
- 32.5k
2
votes
1
answer
138
views
height of sum of prime ideals
Suppose $R$ is a Cohen-Macaulay local ring and $P,Q$ are prime ideals in $R$. Let the height of $P$ and $Q$ be $m$ and $n$ respectively. Then is it true that the height of $P+Q$ is at most $m+n$?
- 38k
6
votes
1
answer
367
views
Do groups of units change base nicely, assuming the fields are algebraically closed?
Let $K$ be an algebraically closed field. Let $X$ be an irreducible affine algebraic variety over $K$. Let $L/K$ be a field extension, where $L$ is also algebraically closed. Suppose the group of ...
- 148k
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 ...
- 6,367
4
votes
1
answer
173
views
If $\pi$ is a prime of a UFD $A$, is $\text{Spec }A$ a coproduct of $\text{Spec }A[\pi^{-1}]$ and $\text{Spec }A_{(\pi)}$ over $\text{Spec Frac }A$?
Let $A$ be a UFD (unique factorization domain) with fraction field $K$. Let $\pi\in A$ a prime. Let $A_{(\pi)}$ be the localization at the ideal $\pi$, and let $A[\pi^{-1}]$ be the localization w.r.t. ...
- 15.5k
1
vote
0
answers
166
views
Reference request showing that a very general Abelian variety $ A $ of genus $ g>1 $ has cyclic class group with ample generator
In Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM I asked for an example of a Cohen Macaulay, normal, ...
- 912
15
votes
1
answer
777
views
comparison of completion and Henselization in class field theory
Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...
- 781
0
votes
0
answers
71
views
"Approximating" ring of semi-invariants
I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the ...
- 839
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
2
votes
1
answer
134
views
An etale cover of a semiperfect ring
Assume that $R$ is a semiperfect ring in characteristic $p$, i.e the frobenius is surjective on $R$. I think one can prove that an etale cover of $R$ should again be semiperfect by considering the ...
- 2,806
0
votes
1
answer
186
views
Does going-down theorem hold for local homomorphism of finite flat dimension?
Let $f:(A,m)\rightarrow (B,n)$ be a local homomorphism of Noetherian local rings of finite flat dimension. Does the going-down theorem hold for $f$?
If yes, then by Theorem 15.1 in Matsumura’s ...
- 658
1
vote
0
answers
103
views
Reference for a clear version of multigraded Serre-Grothendieck-Deligne correspondence local cohomology
The Grothendieck-Serre-Deligne correspondence states the following. Let $ R $ be a Noetherian, graded ring and let $ T $ be $ \operatorname{Proj}(R) $. If $ \mathcal{F} $ is a coherent sheaf on $ T $...
- 912
1
vote
0
answers
126
views
Is there any sufficient or equivalent condition for the invertibility of a regular map, i.e. a self map of $\mathbb{R}^m$ with polynomial components?
Let $P:\mathbb{R}^m\to \mathbb{R}^m$ be a regular map, i.e. a map whose components are polynomials. I was wondering whether we can say anything about the the component polynomials, their degrees or ...
- 1,467
4
votes
1
answer
167
views
Does local homomorphism of finite flat dimension preserve Krull dimension?
Let $f:A\rightarrow B$ be a local homomorphism of Noetherian local rings, such that the $A$-module $B$ has finite flat dimension. Is it true that the Krull dimensions of $A$ and $B$ agree? If yes, ...
- 531
2
votes
0
answers
92
views
Are covering families of localizations stable under pushouts?
For a commutative ring $A$, we call a finite family of localizations $A \to A_{S_i}$ (where $S_i$ are some subsets of $A$) a covering if the canonical morphism $A \to \prod A_{S_i}$ is an effective ...
- 6,962
1
vote
0
answers
127
views
A Weierstrass product theorem for invertible formal Laurent series over local Artinian rings?
Let $(A,\mathfrak{m},\kappa)$ denote a commutative local Artinian ring. Somewhat by accident, I've stumbled across the following interesting decomposition:
$$
A(\!(t)\!)^\times = t^\mathbb{Z} \cdot (1 ...
- 63.9k
1
vote
1
answer
609
views
The Krull dimension of the tensor product of rings
The Krull dimension of a ring $R$ is defined as the length of the longest chain of prime ideals in it. Let $R_i$, for $i\in\mathbb{N}$ denote a sequence of commutative Noetherian rings of Krull ...
- 542
2
votes
0
answers
154
views
Existence of a hyper plane
I am very new to algebraic geometry, and self-studying varieties. I have the following question.
Suppose $Y$ is a variety of dimension $r$ and degree $d>1$ in $\mathbb{P}^n$. Let $P$ be a ...
- 613
12
votes
1
answer
1k
views
A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?
One can argue that commutative algebra is affine algebraic geometry. However, a great deal of commutative algebra generalizes to non-commutative algebra, and in that setting there is little geometry, ...
- 26.5k
2
votes
0
answers
73
views
Example of a ruled, CM, $ \mathbb{Q} $-factorial, normal, Mori dream space whose Cox ring is integral but not CM,
This question is related to one I asked here in Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM. In ...
- 912
1
vote
0
answers
106
views
Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM
Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
- 912
2
votes
1
answer
151
views
For an element in the integral closure of an ideal $I$ - which power is in $I$?
Consider an ideal $I$ in a ring $R$. If $f \in R$ belongs to the integral closure of $I$, then there is $k_0 \geq 0$ such that $f^k \in I^{k-k_0}$ for all $k \geq k_0$. Are there any known upper ...
- 1,457
1
vote
1
answer
346
views
Cohomology of the general linear group on punctured spectra of 2-dimensional power series rings
$\DeclareMathOperator\Spec{Spec}\DeclareMathOperator\Quot{Quot}\DeclareMathOperator\GL{GL}\DeclareMathOperator\char{char}$Let $(A,\mathfrak{m})=k[[x,y]]$ with $\char(k)=0$ and $K=\Quot(A)$. Set $X=\...
- 63.9k
6
votes
2
answers
1k
views
Prove that $\Bbb C[x,y]/(x^3+y^3-1)$ is not a UFD
I am posting this question on MO since I haven't received any answers on MSE.
Below is my (very elementary) attempt. Feel free to post a solution using facts in algebraic geometry and facts about ...
- 4,985
2
votes
1
answer
184
views
Lazard module structure of rings with formal elliptic curve
Recently in algebraic topology I was working with a certain graded ring $R$ equipped with an elliptic curve $C$. Now completion at the identity gives a 1-dimensional formal group $G$. This induces a ...
- 8,945
5
votes
0
answers
1k
views
The group of automorphisms of a polynomial ring in two variables over an integral domain
It is well-known that the group of automorphisms of a polynomial ring
$k[x,y]$, $k$ is any field, is a free product of $A(2)$ and $J(2)$
amalgamated along their intersection,
where $A(2)$ is its ...
0
votes
0
answers
177
views
Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced
I have a question about correctness of following statement claimed here in $\boxed{2} \ $:
Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
- 6,018