All Questions
Tagged with ac.commutative-algebra ag.algebraic-geometry
2,098 questions
3
votes
1
answer
215
views
Finite generativity of algebra with valuation
Let $C$ be a commutative finitely generated algebra with no zero divisors. If necessary, we can assume it to be graded and a unique factorization domain. Let $a\in C$ be a prime element.
Let's also ...
- 12.9k
4
votes
1
answer
531
views
Is decomposability of integer polynomials over the rational numbers an undecidable problem?
By a decomposition of a polynomial $F(x)$ over a field $K$ we mean writing $F(x)$ as
$$
F(x)=G(H(x)) \quad(G(x), H(x) \in K[x]),
$$
which is nontrivial if $\operatorname{deg} G(x)>1$ and $\...
- 12.9k
0
votes
0
answers
92
views
Length of generic intersection in local ring
Let $(R, \mathfrak{m})$ be a regular local ring and let $I\subset R$ be an ideal of coheight 1. Let $a \in \mathfrak{m}\setminus \mathfrak{m}^2$.
If $a$ that is not a zero divisor of $R/I$ we have ...
2
votes
0
answers
124
views
Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?
Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex:
$0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
- 63.9k
5
votes
1
answer
278
views
Set-theoretic generation by circuit polynomials
Let $P$ be a prime ideal in $S=\mathbb{C}[x_1,\ldots , x_n],$ and write $[n] = \{ 1, \ldots , n \}.$ The algebraic matroid of $P$ can be defined according to circuit axioms as follows: $C\subset [n]$ ...
- 1,046
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
1
vote
0
answers
97
views
Cohen-Macaulayness of the homogeneous coordinate ring of projective monomial curves
Let $A = \{a_0, a_1, \ldots, a_{n-1}\} \subset \mathbb{N}$ be a set of non-negative integers where we assume that $a_0 < \cdots < a_{n-1}$ and set $d := a_{n-1}$. For every $s \in \mathbb{N}$, ...
- 21
1
vote
1
answer
218
views
What is the fastest known algorithm for evaluating a homogeneous binary polynomial?
This question was initially posted on math.stackexchange.com, but there is no appropriate answer, hence I have the right to publish it here again.
Let $f(x,y) = \sum_{i = 0}^d f_i x^i y^{d-i}$ be a ...
- 1,833
2
votes
0
answers
133
views
Dual of finite reflexive modules
Let $A$ be a commutative ring and $M$ be a finite reflexive $A$-module, i.e. the natural map $M\to (M^{\vee})^{\vee}$ is an isomorphism. Can we deduce that the dual $M^{\vee}$ is also finite?
- 151
0
votes
0
answers
48
views
Integral graded algebra of finite type is approximable
The following is the definition of approximable algebra.
An integral graded $K$-algebra $\oplus_{n\geqslant 0}B_n$ is said to be approximable if
1.$$rk_K(B_n)<+\infty,\forall n\in \mathbb{N}, $$and ...
- 1
1
vote
0
answers
96
views
Weil restriction of cycles and norm algebra
This question is on a concrete descrption of weil restricton of an affine algebra.
Let L/K be a Galois extension. Since I only care about the quadratic case, we may assume that $\Gamma:=\operatorname{...
- 63.9k
0
votes
0
answers
168
views
Theorems related to Chevalley's theorem
Recently I have read Chevalley's theorem of a complete local ring which basically says that if $(R,\mathfrak{m})$ is a complete local ring and if $\{b_n\}$ be a sequence of ideals such that $b_n \...
- 63.9k
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 ...
- 10.7k
9
votes
2
answers
802
views
Explanation for Lurie's SAG Remark 25.1.3.7
I am trying to understand the theory of simplicial commutative rings or animated rings. I just find a remark in Lurie's book Spectral Algebraic Geometry:
Remark 25.3.1.7. Let $f : R[x_1,\ldots ,x_n]\...
- 56.9k
2
votes
1
answer
191
views
Does Serre's condition $S_k$ depend only on codimension $\leq k$ points?
Recall a locally Noetherian scheme $X$ has Serre's condition $S_k$ if for every $x\in X$ we have $\mathrm{depth}(\mathcal{O}_{x,X})\geq \mathrm{min}(k,\mathrm{dim}(\mathcal{O}_{x,X}))$.
Let $X$ be a ...
- 4,111
2
votes
1
answer
505
views
Family of curve singularities whose generic members are smooth
Let $f: (X,x)\rightarrow (\mathbb C,0)$ be a deformation of a curve singularity $(X_0,x)$, and let $f: X \rightarrow T$ be a sufficiently small representative. Assume that $(X,x)$ is reduced and pure ...
CommunityBot
- 1
0
votes
0
answers
95
views
Conditions for regularity in a covering
Let $V$ be a DVR of mixed characteristic, whose residue field is a finite field of characteristic $2$. Let $R$ be a flat, finitely generated algebra over $V$, which is regular. Let $a\in R^*$ be an ...
- 4,713
2
votes
0
answers
129
views
Is the deformation of a $C^{\infty}$-manifold over Artin local algebra trivial?
$\DeclareMathOperator\Spec{Spec}$Let $X$ be a compact $C^{\infty}$-manifold without boundary. Let $(A,m)$ be a Artin local $\mathbb{C}$-algebra such that $A/m\cong \mathbb{C}$. Intuitively, a ...
- 63.9k
2
votes
1
answer
198
views
Maximal sub-$\mathbb{C}$-algebras of $\mathbb{C}[x,y]$
After asking this question and finding this relevant paper, I would like to ask the following question:
For every $a,b \in \mathbb{C}$, denote:
$A_{a,b}=\mathbb{C}[(x-a)(x-b),x(x-a)(x-b),y]$
and
$B_{a,...
- 148k
0
votes
1
answer
362
views
Derivations and ideals
Let $R$ be a regular local ring and $I$ and ideal of $R$. If $D$ is a derivation of $R$, let
$$\lambda_D:I/I^2\to R/I$$
be the composition of the restriction of $D$ to $I$ and the quotient map $R\to R/...
CommunityBot
- 1
4
votes
0
answers
267
views
If $\mathbb{C}[a,b,c] \subsetneq \mathbb{C}[x]$, then there exist $f,g$ s.t. $\mathbb{C}[a,b,c] \subseteq \mathbb{C}[f,g] \subsetneq \mathbb{C}[x]$
I ran into this MSE question and would like to ask about its answer and plausible generalizations.
The quoted MSE question asks if the following claim is true or false and why:
Claim: Let $a,b,c \in \...
- 2,837
5
votes
0
answers
216
views
Lifting a morphism between quasi-projective varieties
Let $\mathcal{V}$ be an affine algebraic variety over $\mathbb{R}$, $G$ be a finite group acting freely on $\mathcal{V}$. Consider the quotient space $Y:=\mathcal{V}/G$, which itself is a quasi-...
- 364
2
votes
1
answer
327
views
Completion of a local ring is noetherian (under some hypothesis)
I was reading the proof of Lemma 10.12 in this paper. In the second sentence, the following fact is used implicitly:
Let $(R,\mathfrak{m})$ be a commutative local ring. Let $\widehat{R}$ be its $\...
- 148k
0
votes
1
answer
372
views
The growth of the Hilbert function of a graded ring
Let $A=\bigoplus A_i$ be a finitely generated commutative unital graded algebra over a field $k$. Let $d(i)=\dim A_i$.
In general $d(i)$ is not a polynomial in $i$ (even not eventually polynomial). ...
- 413
3
votes
1
answer
3k
views
Tensor product of field extensions
Let $K$ be a field of characteristic 0 and $L$ a finite extension of $K$. Denote by $m$ the natural multiplication map from $L \otimes_K L$ to $L$. Denote by $I$ the kernel of the morphism $m$. Is $I$ ...
- 3,432
7
votes
0
answers
202
views
Finite generation and finite presentation over a truncated valuation ring: is there an easier proof?
Let $K^+$ be a valuation ring which is $\pi$-adically complete for some pseudouniformizer $\pi$.
Nagata 053E proved that every finitely generated and flat (equivalently, torsion-free) $K^+$-algebra is ...
- 16.1k
4
votes
0
answers
175
views
What is the equivalent of Artin gluing for quasicoherent sheaves?
Given a topological space or locale $X$ and an open $j : U \hookrightarrow X$ with closed complement $i : K \hookrightarrow X$, the inverse image functor $\langle i^*, j^* \rangle : \textbf{Sh} (X) \...
- 15.9k
6
votes
1
answer
306
views
Hochschild cohomology and differential operators
The Hochschild-Kostant-Rosenberg theorem says, that for a commutative algebra $R$ over a field $k$ with certain smoothness and finiteness, we have an identification $\mathrm{HH}^\bullet(R)\cong \...
- 55.9k
3
votes
2
answers
271
views
Orbits under the automorphism group of projective space
Let $\mathbb{P}^d_K$ be projective space of dimension $d\geq 1$ over an infinite field $K$. Let $x\in\mathbb{P}^d_K$ with $\dim\overline{\lbrace x\rbrace}=n\leq d-1$.
My question: is the set $\lbrace ...
- 21
5
votes
1
answer
264
views
Non-existence of power divided structure on a maximal ideal of truncated polynomial rings (example from Koblitz)
In 3.3 of Berthelot-Ogus's book Notes on Crystalline Cohomology, an example from Koblitz is exhibited without proof.
Let $k$ be a field (or a commutative ring) with characteristic $p>0$, $$A:=k[x_1,...
- 7,377
3
votes
1
answer
180
views
How to find equations of $\mathbb{C}^*$-curves
Fix positive integers $t_1,t_2,t_3$.
Suppose we have a $\mathbb{C}^*$ action on $\mathbb{C}^3\setminus\{0\}$ defined by
$$\mathbb{C}^* \times \mathbb{C}^3 \setminus \{0\} \to \mathbb{C}^3 \setminus \{...
4
votes
0
answers
180
views
Deminormal and Gorenstein
Let X be an irreducible deminormal variety such that the normalisation is Gorenstein. Does it follow that X is also Gorenstein?
for deminormal definition, see https://arxiv.org/pdf/1506.02002.pdf
- 131
5
votes
1
answer
151
views
Dimension from Hilbert series with variable-weighted grading?
Suppose $R = F[x_1,...,x_n]/I$ is a finitely generated ring over the field $F$, and suppose there is a function $d:[n] \to \mathbb{Z}$ such that defining the degree of a monomial $x_1^{e_1} ... x_n^{...
- 16.2k
1
vote
0
answers
104
views
Is a normal domain a filtered colimit of Noetherian normal domains?
As described in the title, is any normal domain a filtered colimit of Noetherian normal domains? It will be great if one can show this, even with additional conditions, or if one can provide a ...
- 1,024
1
vote
0
answers
216
views
Dimension under change of ground field
I apologize if this question is "too elementary" - I am not an algebraic geometer. Are the following statements true?
Let $k\subset K$ an extension of algebraically closed fields of ...
- 19
2
votes
1
answer
262
views
Randomly fixing elements and transcendence degree
Given $f_1,\ldots,f_n \in \mathbb{F}_q[x_1,\ldots,x_m]$ such that $\deg(f_i) \leq d < q$. Suppose we have for some $1 \leq j \leq m$
$$ \operatorname{trdeg}_{\mathbb{F}(x_1,\ldots,x_j)}\{f_1,\ldots,...
- 341
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 ...
CommunityBot
- 1
3
votes
4
answers
944
views
What conditions are needed for $-\otimes_A B$ to be faithful?
For $A$ a (commutative) ring, $f:A\to B$ an $A$-algebra, what conditions do we need on $A$ and $B$ (and $f$) for the functor $-\otimes_A B:A-mod\to B-mod\quad$ to be faithful (i.e. injective on $Hom$-...
3
votes
0
answers
181
views
Conditions for an open mapping between spectra
Let $(A,\mathfrak{m})$ be a Locally Noether Ring, and $\hat{A} = \varprojlim A/ \mathfrak{m}^{n}$ .Furthermore, let $f : A \to \hat{A}$ be a canonical morphism, and consider the mapping $f^{*} : Spec(\...
- 912
13
votes
2
answers
1k
views
When does a quasicoherent sheaf vanish?
Let $F$ be a quasi-coherent sheaf on a scheme $X$. To check that $F$ vanishes it suffices to check that all the stalks of $F$ vanish. I would like to know whether it suffices to check that all the ...
- 2,806
9
votes
1
answer
325
views
Nonzero module with vanishing derived fibers
What's an example of a nonzero $R$-module with vanishing derived fibers at all points of $\mathrm{Spec}(R)$?
This was asked in When does a quasicoherent sheaf vanish?
but the answer there only says ...
- 2,346
2
votes
1
answer
181
views
Idempotent algebras over absolutely flat ring
Is it possible to classify all idempotent algebras over an absolutely flat ring? Are there any idempotent $E_{\infty}$ algebras which are not discrete?
I am particularly interested in the special case ...
- 2,346
3
votes
1
answer
168
views
Does there exists a "local slice" for an action $ \widehat{\mathbb{G}}_a $ on $ \operatorname{Spf}(\widehat{A}) $ (char zero)?
Every action $ \beta $ of $ \mathbb{G}_a $ on a variety $ \operatorname{Spec}(A) $ over a field of characteristic zero is obtained from a locally nilpotent derivation $ \delta $ via $ f(t_0 \ast x) = \...
- 912
3
votes
1
answer
242
views
Points of multiplicative groups
Let $R$ be a discrete valuation ring with residue field $k$. Denote by $\mathbb G_m:= R[x,1/x]$ the multiplicative group over $R$ and $\mathbb G_{m,k}:= k[x,1/x]$. If $B$ is a flat local $R$-algebra, ...
- 542
0
votes
0
answers
176
views
$\mathbb{C}(x,f,g)=\mathbb{C}(x,y)$, with each pair of $\{f,g,x\}$ not generating $\mathbb{C}(x,y)$
Let $f,g \in \mathbb{C}[x,y]$ with total degrees $\deg_{1,1}(f),\deg_{1,1}(g) \geq 1$.
Write,
$f=a_ny^n+a_{n-1}y^{n-1}+\cdots+a_1y^1+a_0$
and
$g=b_my^m+b_{m-1}y^{m-1}+\cdots+b_1y^1+b_0$,
for some $n,m ...
- 2,837
14
votes
0
answers
602
views
Is the Zariski density proof of Cayley-Hamilton circular?
This old MO thread and its comments contains a discussion of the Zariski density proof of Cayley-Hamilton (I have also asked a separate question about the proof Victor gives in the comments here). ...
CommunityBot
- 1
0
votes
0
answers
53
views
A question on bounding the size of the polynomial
Suppose we are given the following n polynomials in $\bar{\mathbb{F}}_2[x_1,...,x_n]$:
$f_1 = x_1 + x_n^2$
$f_2 = x_2 + x_1^2$
$\cdot$
$\cdot$
$f_{n-3} = x_{n-3} + x_{n-4}^2$
$f_{n-2} = x_{n-2} + x_{n-...
- 341
2
votes
0
answers
213
views
Open problems in differential algebra and affine algebraic geometry
I am currently doing a PhD in differential algebra and affine algebraic geometry at the University of Buenos Aires. I've been struggling to find a list of interesting and big open problems in these ...
- 869
1
vote
1
answer
149
views
$F=\mathbb{C}(u,v)$ satisfying: For every $a,b \in \mathbb{C}[y],c,d \in \mathbb{C}[x]$: $\mathbb{C}(x,y)=F(ax+b)=F(cy+d)$
Let $u,v \in \mathbb{C}[x,y]$, where $u$ and $v$ are algebraically independent over $\mathbb{C}$ and $F=\mathbb{C}(u,v)$. Of course, $d:=[\mathbb{C}(x,y):F] < \infty$.
Denote the following ...
- 2,837
1
vote
0
answers
59
views
If $E \subseteq F=k(x_1,\ldots,x_r)$, satisfies $E(x_1^{i_1},\ldots,x_r^{i_r})=F$, for every $(i_1,\ldots,i_r) \neq (0,\ldots,0)$, then $[F:E] \leq 2$
For $r \geq 2$, let $A_r=\mathbb{C}[x_1,\ldots,x_r]$,
$F_r=\mathbb{C}(x_1,\ldots,x_r)$ the field of fractions of $A_r$, and $E_r \subseteq F_r$ an arbitrary subfield of $F_r$ with $[F_r:E_r] < \...
- 2,837