All Questions
6,056 questions
1
vote
0
answers
90
views
Automorphisms of the completion of a strict henselian local ring $R$ which come from automorphisms of $R$
Let $A\rightarrow R$ be a local homomorphism of Noetherian strict henselian local rings with completions $\hat{A},\hat{R}$.
Let $u\in R^\times, x\in R$ be such that there is a unique $\hat{A}$-linear ...
- 7,527
1
vote
0
answers
243
views
Non-zero divisors on an $I$-completely flat module
Let $A$ be a commutative ring (not necessarily Noetherian), $I=(f_1, f_2, \dots, f_n) \subseteq A$ a finitely generated ideal that is generated by a regular sequence. Let $M$ be an $A$-module, and ...
- 1,052
1
vote
0
answers
146
views
A series that is algebraic?
This question is a follow-up of question A series that is rational? . Let $k=\mathbb F_q(T)$. Can one prove (or disprove) that the series $\sum_{n\ge0}(1-TX^{q^n})Y^{q^n}\in k[[X,Y]]$ is algebraic ...
- 3,998
1
vote
0
answers
164
views
When every localization of the polynomial ring over a ring has finitely many idempotents
Let $R$ be a commutative ring such that every localization ring $R_r$ has finitely many idempotents for each non nilpotent element $r\in R$. Why dose every localization ring $R[x]_{f(x)}$ have ...
- 11
1
vote
0
answers
102
views
Notation question: bigraded direct sum of graded objects
In some work I'm doing I have two graded modules $M$ and $N$ (graded on $\mathbb Z$, say) and need to take, not the usual direct sum, but the bigraded sum consisting of all $M_p \oplus N_q$ (so graded ...
- 2,062
1
vote
0
answers
70
views
Constructive factorisation of null-homology map through acyclic complex
Let $f: C \rightarrow D$ be a maps of chain complexes on an idempotent complete additive category with all kernel or cokernel (or chain complexes on abelian category).
If $f$ induces a null map in ...
- 69
1
vote
0
answers
89
views
Commutative square of module of differential is cartesian?
Is it true that the following square is Cartesian? $\require{AMScd}$
\begin{CD}
R @>{d}>> \Omega^{1}_{R} \\
@VVV @VVV\\
\widehat{R} @>{ \widehat{d}}>> \Omega^{1}_{\widehat{R}}
\end{...
- 629
1
vote
0
answers
78
views
When minimal prime ideals are maximal with respect to not containing an element
Let $\{ P_i \}$ be the set of all minimal prime ideals of a commutative ring $R $. Is there any conditions on $R $ under which there exists an element $x\in R $ such that $P_i $ is an ideal of $R $ ...
- 11
1
vote
0
answers
28
views
Modified straightline complexity of almost square of sums
Assume every linear operation (such as inner product with constant vector) can be performed in one step and multiplication by variables (quadratic operation) can be performed in one step.
We know the ...
- 1,826
1
vote
0
answers
167
views
When localization is indecomposable
We know that if $R $ is a domain then any localization of $R $ at any multiplicative subset of $R $ is indecomposable, that is, has no non trivial idempotents. Now let $R $ be a commutative ring with ...
- 29
1
vote
0
answers
120
views
Self-intersecting irreducible real projective elliptic surface
I will say that a homogeneous polynomial $P(X)\in\mathbb{R}[X]$ ($X=(X_1,\ldots,X_n)$) is elliptic if its zero locus in $\mathbb{R}^n$ is $\{0\}$.
I will say that the zero locus of a homogeneous ...
- 1,959
1
vote
0
answers
102
views
Meaning and/or source of polynomials residually of the form $x^n(x-1)$ in Gabber's characterization of Henselian pairs?
Lemma 09XI in the stacks project includes a characterization (#5) by Gabber of Henselian pairs $(A,I)$: first, $I\leq \mathrm J(A)$ is contained in the Jacobson radical and second, every monic $f\in ...
- 10.5k
1
vote
0
answers
392
views
Kähler differential of completion of algebra
Let $(R, \mathfrak{m}) $ be a local $k$- algebra and $\Omega^{1}_{R}$ denote the module of Kahler differential. Does the canonical map $ \Omega^{1}_{R} \otimes_{R} \hat{R} \rightarrow \Omega^{1}_{...
- 629
1
vote
0
answers
53
views
On a structural decomposition of polynomials based on integral roots
Given an irreducible polynomial of structure $$f(x,y)=\sum_{\substack{i,j\in\{0,1,2\}\\i+j\leq3}}a_{i, j}x^iy^j\in\mathbb Z[x,y]$$ with $a_{2,1}a_{1,2}a_{1,1}a_{1,0}a_{0,1}a_{0,0}\neq0$ if $f(m,n)=0$ ...
- 1,826
1
vote
0
answers
77
views
Compatibility with multiplication of a cyclic order on a ring
I am copying my question from here: https://math.stackexchange.com/q/3233462/427611.
Is it correct that $\mathbb Z/3\mathbb Z$ and $\mathbb Z/4\mathbb Z$ are the only rings with three or more ...
- 133
1
vote
0
answers
972
views
Intersection of principal ideals
Let $x,y$ be nonzero elements in a commutative ring $R$. Is $(x)\cap (y)$ always finitely generated?
What if we further assume that $R$ is an integral domain? Can we construct non-Noetherian non-local ...
1
vote
0
answers
96
views
Degree reduction in decompositions of multivariate polynomials
Is the following statement true?
Let $m,n,d$ be natural numbers. Then there exists a natural number $D=D(d,m,n)$ with the following property: If a polynomial $P(x_1,\dots,x_n)$ of total degree $d$ ...
- 3,599
1
vote
0
answers
153
views
A structure on the groupoid of algebraic closures
Given a field $k$ let $\Omega(k)$ be the set of algebraic closures of $k$.
$\Omega(k)$ is obviously a groupoid. At each element $\bar{k}$ of $\Omega(k)$ we have its automorphism group over $k$, ...
- 11
1
vote
0
answers
102
views
Exactness of a certain sequence
Let $R$ be a commutative unitary ring and $I_1,..., I_n$ ideals in $R$. For each $p\in\{0,...,n-1\}$ consider the direct sums $\bigoplus_{i_0<...<i_p} I_{i_0}\cap...\cap I_{i_p}$ and define an $...
- 183
1
vote
0
answers
235
views
Categorical view of Hilbert’s Nullstellensatz, and Zariski topology
Let k be algebraic closed field. then $\mathbb{A}_n(k)$ as $\operatorname{Hom}(k_n,k)$ and $V(\alpha)$ as $\operatorname{Hom}(k_n/\alpha,k)$ which is true by using noether normalization theorem. so ...
- 39
1
vote
0
answers
84
views
Concerning $\mathbb{C}(s_1,s_2,s_3,y)=\mathbb{C}(x,y)$, where $s_1,s_2,s_3$ are symmetric
Perhaps the following question is not in the level of MO questions, but it has not received comments in MSE, so I ask it here also:
Let $\beta: \mathbb{C}[x,y] \to \mathbb{C}[x,y]$ be the involution ...
- 2,837
1
vote
0
answers
89
views
Characterizing subfields $\mathbb{C}(u,v) \subseteq \mathbb{C}(x,y)$ invariant under an involution
Let $\iota$ be an involution on $\mathbb{C}(x,y)$, namely, a $\mathbb{C}$-algebra automorphism of $\mathbb{C}(x,y)$ of order two.
Examples of involutions: $\alpha: (x,y) \mapsto (y,x)$, $\beta: (x,y) ...
- 2,837
1
vote
0
answers
105
views
formal smoothness and McQuillan formal schemes
Let $k$ be an algebraically closed field, $A\rightarrow B$ be a continuous map of weakly admissible topological $k$-local algebras.
We assume that it is formally smooth and topologically of finite ...
- 3,472
1
vote
0
answers
61
views
powers of linear forms in projections of complete intersections in codimension 3
Let $I\subset \mathbb{C}[x_0,x_1,x_2]=:A$ be a complete intersection, $I=(p_1,p_2,p_3)$, $p_i$ homogeneous all of the same degree d
for some $d>2$.
Let $l$ be a general linear form and let $J$ ...
- 41
1
vote
0
answers
126
views
Algebraic structures on graphs
There are many algebraic structures linked to graphs.
For example one can find zero divisor graphs $[1]$, $[2]$ and many other graphs.
Does there exist any survey paper which characterizes all the ...
- 444
1
vote
0
answers
116
views
How to obtain a linear basis from a Groebner basis?
Let $A$ be a finite dimensional algebra generated by $x_1, \ldots, x_n$ subject to certain relations $I_1, \ldots, I_m$. Could we obtained a linear basis $B$ consisting of monomials in $x_1, \ldots, ...
- 6,201
1
vote
0
answers
229
views
Ax theorem for separably closed fields
For the algebraically closed fields a theorem of Ax states that any injective polynomial map from $K^n$ to $K^n$ where $n\in \mathbb{N}$ and $K$ an algebraically closed field, is bijective.
Is there ...
- 11
1
vote
0
answers
179
views
Matrix factorizations over $GL_2$ of a real quadratic ring of integers
tl;dr: The groups $GL_2(K)$, or $SL_2(K)$, where $K = \mathbb{C,R}$ admits several factorizations (the polar decomposition,
the KAN decomposition, the Schur triangular form, etc). Those
...
- 1,090
1
vote
0
answers
124
views
Relation between Betti Numbers and Chromatic Number of a simple graph
Is there a relation between the betti numbers of a graph considered as a simplicial complex and its chromatic number?
Typically the first Betti number is said to be the cyclomatic number of the graph....
- 2,089
1
vote
0
answers
267
views
Find a generator of a field extension defined by an f-d algebra
Here's my problem: I have a commutative $n$-dimensional finite algebra over a field $K$, with the elements represented as vectors in $K^n$ and a set of $n$ $nxn$ matrices that define how to multiply ...
- 415
1
vote
0
answers
246
views
Frobenius twist of a field
Let $k$ be a field of characteristic $p>0$ (not necessarily perfect). Consider the Frobenius endomorphism $F : k \to k$, $x \mapsto x^p$. I am curious about what happens when we take $k$ as a $k$-...
1
vote
0
answers
150
views
Formal group as a limit of its finite subgroups
I'm reading Manin's article on formal groups and I have a problem with Lemma 1.1.
Consider $k$ a prefect ring of characteristic $p$ and $(A,m,k)$ a noetherian complete local ring of the same ...
- 1,093
1
vote
0
answers
88
views
Infinitesimal neighbourhoods and simultaneous normalization
Let $B$ be a local, complete, integral $\mathbb{C}$-algebra of Krull dimension $1$ and $n:B \to \mathbb{C}[[t]]$ the normalization map. Given any local artinian $\mathbb{C}$-algebra $A$, we say that ...
- 2,126
1
vote
0
answers
85
views
Galois orbit of a $k_{s}$ - torus
I have some trouble while reading a proof of a lemma in the book
Conrad, Brian; Gabber, Ofer; Prasad, Gopal, Pseudo-reductive groups., New Mathematical Monographs 26. Cambridge: Cambridge University ...
- 11
1
vote
1
answer
266
views
Integral closure of affine domains
Let $A\subset B$ Be affine domains over a field of characteristic zero, say k. We know that the integral closure of $A$ in any finite extension of $Q(A)$ is a finite $A$ module. My question is why the ...
- 13
1
vote
0
answers
94
views
Generators for Ideals in ring of multivariate Laurent Polynomials
Consider the following problem:
Find an ideal $I \subset \mathbb{Q}[x^{\pm}_1,x^{\pm}_2,x^{\pm}_3]$ such that $I_{aff} \subset \mathbb{Q}[x_1, x_2, x_3] = I \cap k[x_1, x_2, x_3]$ requires more ...
- 11
1
vote
0
answers
214
views
Shape of possible counterexamples to the Jacobian and Dixmier Conjectures
Let $k$ be a field of characteristic zero.
It is well-known, see for example Corollary 10.2.21, that if $(x,y) \mapsto (p,q) \in k[x,y]^2$ is a counterexample to the two-dimensional Jacobian ...
- 2,837
1
vote
0
answers
301
views
Automorphisms of rational functions of two variables
Let $k$ be a field. In 1941, Jung showed that all polynomial $k$-algebra automorphisms of the rational (polynomial) functions in two variables, denoted by $k(x,y)$ can be written as compositions of ...
- 777
1
vote
0
answers
76
views
Infinitely generated modules with weirdly jumping ranks
Assume we have a commutative Noetherian ring $R$ with a unit and a connected spectrum and a module $M$ over it. The following is known:
$\mathrm{Spec}(R)$ has a finite stratification (in the sense of ...
- 31
1
vote
0
answers
224
views
The dimension of the Zariski tangent space is bounded for a finitely generated algebra
Can anyone suggest a published reference for the following fact:
For a given finitely generated algebra over an algebraically closed field, the dimension of the Zariski tangent space at maximal ...
- 11
1
vote
0
answers
120
views
Question about Local Henselian Rings
I have a question regarding properties/characterizations of local Henselian rings exploited in M. Artin's article "On Isolated Rational Singularities of Surfaces":
Here the relevant excerpt:
Remark: ...
- 6,038
1
vote
0
answers
65
views
Non-minimal Krull associated primes of a PF-ring
A commutative ring $R$ is said to be a PF-ring if every principal ideal of $R$ is a flat $R$-module. Also, a prime ideal $P$ of $R$ to be a Krull associated prime of $R$ if
for every element $x\in P$ ,...
- 51
1
vote
0
answers
295
views
Proper ideals are invertible
I am reading through Cox's book Primes of the form $x^2+ny^2$ and I am stuck with some proofs in Chapter 7 (I have the 2nd edition). There, the author presents the following Lemma:
Lemma 7.5: Let $...
- 545
1
vote
0
answers
89
views
Etale algebra whose local rank is constantly zero is the zero algebra
While working through a proof of this paper, at the middle of page 46, the author seems to claim the following is true:
Let $A\rightarrow B$ be an etale map of rings. Suppose that for every prime $...
- 87
1
vote
0
answers
165
views
Structure of Complete Local Rings
Let $X$ be a proper $n$-dimensional $k$-scheme and $x \in X$ a closed point. Consider the stalk $\mathcal{O}_{X,x}$. We consider now it's completion $O_{X,x}^{\wedge}$ wrt it's maximal ideal $m_x$.
...
- 6,038
1
vote
0
answers
69
views
How exactly to adapt Brown's collapse from monoids to algebras?
In The Geometry of Rewriting Systems (Springerlink behind paywall), Kenneth Brown describes a method to collapse the bar resolution of a monoid. Roughly:
Given a simplicial set $X$ equipped with a ...
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
1
vote
0
answers
202
views
What is the normalized complex of a simplicial set with a monoid action?
This question is a follow up to this question I posted on Math.SE. I will make this question self-contained, though.
In a certain point on the paper The Geometry of Rewriting Systems, Kenneth Brown ...
1
vote
0
answers
132
views
Is the Upper Banach density always zero with respect to some sequence of Finite subset
The following question came to me while reading the paper 'Density in Arbitrary Semigroups' by Hindman and Strauss.
Question: Given an infinite subset $A$ of $\mathbb{N}$ such that $A^c$ is also ...
- 73
1
vote
0
answers
138
views
Power series ring $R[[X_1,\ldots,X_d]]$ over a domain $R$
Let $R$ be a domain and
\begin{align*}
T \,\colon= R[[X_1,\ldots,X_d]].
\end{align*}
Suppose that we have $d$ elements $f_1,\ldots,f_d \in T$ and let us consider an ideal $J$ of $T$ such that $(f_1,\...
- 563