All Questions
5,984 questions
1
vote
1
answer
99
views
Is decomposability of polynomials ∈ℤ[𝑋] over ℚ 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 $\...
- 250
1
vote
0
answers
93
views
Derived tensor products and regular sequences
Let $R \to A$ be a homomorphism of commutative rings, and let $x\in R$ be an element (or a sequence of elements in $R$, if you prefer) that is both $R$-regular and $A$-regular. Then we have
$$
A\...
- 115
1
vote
0
answers
28
views
Integral hull of a polyhedron Q is polyhedron
Let $Q \subseteq R^n$ be a rational polyhedron and let $Q_I=Convexhull(Q \cap Z^n)$. By finite basis theorem, we have $Q=P+C$ for some rational polytope $P$ and finitely generated cone $C$ where $C=R_+...
- 21
2
votes
1
answer
135
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
- 542
-1
votes
0
answers
41
views
Is it possible to backtrack an optimization solver? [closed]
I have an optimization problem and was using a linear programming optimizer to find solutions. However, I find that past a certain size, the problem becomes "infeasible" and has no solutions....
3
votes
0
answers
169
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 ...
2
votes
0
answers
59
views
Tensor product of two transcendental flat algebras is not a field?
I'm considering the correctness of the following assertion, which is related to linear disjointness (I'm trying to generalize it to subalgebras), What does "linearly disjoint" mean for ...
- 173
9
votes
1
answer
262
views
What are the points of the algebra of polynomial functions on an arbitrary vector space?
Let $V$ be an arbitrary vector space over some field $\mathbb{K}$, $V^*=\mathrm{Hom}(V,\mathbb{K})$ its linear dual. Let $\mathrm{Sym}_\mathbb{K}(V^*)$ be the free commutative $\mathbb{K}$-algebra on $...
- 478
5
votes
1
answer
128
views
Relation between Tor amplitude and $p$-complete Tor amplitude for a ring of characteristic $p$
Fix a prime number $p$. Let $A$ be a commutative ring, and consider an $A$-algbera $B$ of characteristic $p$. So we have a sequence of ring homomorphisms
$$
A \to A/pA \to B.
$$
Assume that we want to ...
- 115
0
votes
0
answers
91
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 ...
5
votes
1
answer
320
views
Non-negative coefficients polynomials
Let $n \in \mathbb N$ and $P,Q \in \mathbb R_+[x]$.
Is it true that $(x+1)^n\neq (x-2)^2 \times P(x)+(x-4)^2 \times Q(x)$ ?
I have asked, this question here (*), two weeks ago, but no answers.
(*) ...
- 4,074
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 \...
- 21
0
votes
0
answers
21
views
Easy instance of set cover
I am trying to prove that a natural greedy algorithm solves the following instance of the set cover problem: for a set of elements $e\in U$ with a set of weights $w_e$, we define the cost of a subset ...
- 4,049
4
votes
1
answer
356
views
When do algebraic elements form a subalgebra?
If $R$ is a commutative ring and $A$ is a commutative $R$-algebra, we say that an element $x\in A$ is algebraic over $R$ if $x$ is a root of a nonzero polynomial $f \in R[X]$, or equivalently, if the &...
- 844
5
votes
1
answer
265
views
UFD property for power series in characteristic 0
Samuel famously produced an example of a UFD, namely $S = R_{(x,y,z)}$, where $R = K[x,y,z]/(x^2+y^3+z^7)$ and $K$ has characteristic 2, such that the power series extension $S[[ x ]]$ is not a UFD. ...
4
votes
1
answer
227
views
Literature Request: The derived category is Krull-Schmidt
I am looking for literature where it is proven that the derived category of bounded complexes over a finite-dimensional algebra is Krull-Schmidt. I found this question
Literature request: $K^b(\text{...
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 \...
- 5,998
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
214
views
Derived completeness of the inverse perfection
Fix a prime number $p$, and let $R$ be a ring of positive characteristic $p$. Consider the inverse perfection of $R$, which is defined as the inverse limit
$$
R^\flat = \varprojlim(\cdots \xrightarrow{...
- 115
4
votes
2
answers
377
views
Witt coordinates vs Joyal coordinates on the ring of Witt vectors
I am learning about Witt vectors following [K, Ch. 3], but I am having trouble with the presentation of his material (see (Q1) below).
Kedlaya's definition for ring $W(A)$ of the Witt vectors on a ...
9
votes
0
answers
273
views
What is known about vector subspaces of polynomial rings closed under factors?
Let $R$ be a commutative ring. Call a nonempty subset $F$ of $R$ a factroid if it is closed under sums and factors. That is:
If $a,b \in F$, then $a+b \in F$, and
If $a,b \in R$ with $a\in R$ ...
- 1,802
12
votes
0
answers
254
views
When do (or don't) residue fields generate the derived category of a ring?
Let $R$ be a commutative ring, and $D(R)$ its derived category of unbounded chain complexes. I'm interested in when the residue fields $k(\mathfrak{p}) = \mathrm{Frac}(R/\frak p)$ for $\mathfrak p \in ...
- 3,785
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
7
votes
2
answers
242
views
Prove that $ n \leq d+1 $ under ordering constraints in $\mathbb{R}^d$
Let $x_1, \dotsc, x_n \in \mathbb{R}^d$ and $\theta_1, \dotsc, \theta_n \in \mathbb{R}^d$ be vectors such that for every $k \in [n]$, the following inequality holds:
$$
\langle x_k, \theta_k \rangle &...
3
votes
0
answers
154
views
Colimits in commutative Banach algebras?
Let $K$ be a complete non-Archimedean field. It is known that the category $\mathrm{Ban}_K$ of $K$-Banach spaces with bounded linear maps does not have infinite colimits. The usual argument for $\...
- 426
3
votes
1
answer
219
views
Weak approximation in Krull domains
Suppose $R$ is a Krull domain with the field of fraction $K$. To every prime ideal $P$ of $R$ of height $1$, one can associate a $ \mathbb{Z}$-valued discrete valuation which we denote by $v_P$.
...
- 6,214
2
votes
0
answers
66
views
Projective cover (minimal) for (derived)complete modules over Noetherian local rings exist?
Let $(R,\mathfrak m)$ be a commutative Noetherian local ring. Let $M$ be an $R$-module which is $\mathfrak m$-adically derived complete. Then, does there exist a free $R$-module $F$ and a surjective $...
- 412
1
vote
1
answer
217
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
7
votes
2
answers
290
views
Finding prime ideals for ideal classes in arbitrary Dedekind domains
Let $R$ be an algebraic number ring with class group $C(R)$, and let $x : C(R)$. Then there exists a prime ideal $P$ in $R$ such that the ideal class $[[P]] = x$, and in fact there are infinitely many ...
- 171
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{...
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 \...
3
votes
1
answer
189
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
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]\...
- 93
9
votes
0
answers
188
views
Surjectivity of a bilinear map $A^m\times A^n\to A$ for a polynomial ring $A$
Let $k$ be a field and $A:= k[x_1, \dots, x_d]$.
Question: Suppose $M$ is an $m\times n$ matrix over $A$. If the entries of $M$ generate the unit ideal of $A$, must there exist $a\in A^m, b\in A^n$ ...
- 191
2
votes
1
answer
337
views
Application of the adjoint functor theorem to get the right adjoint of the forgetful functor from $\delta$-rings to rings (the Witt vectors)
I am studying $\delta$-rings and Witt vectors from [K] (the definition of $\delta$-ring is [K, 2.1.1]), and I am having trouble verifying that everything in Kedlaya's definition for the Witt vectors ...
5
votes
1
answer
200
views
Computing the Second Exterior Power of Certain Ideals in $\mathbb{Z}[\sqrt{-5}]$ and $\mathbb{Z}[\sqrt{5}]$ as Modules
I'm working on a problem involving the computation of the second exterior power of certain ideals within the rings $R_1 = \mathbb{Z}[\sqrt{-5}]$ and $R_2 = \mathbb{Z}[\sqrt{5}]$. The problem is as ...
- 93
4
votes
2
answers
284
views
Does $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commute with co-products?
Let $(R, \mathfrak m, k)$ be a commutative Noetherian local ring. Then, is it true that $\mathbf R\text{Hom}_R(k, -)\otimes_R^{\mathbf L} k$ commutes with arbitrary co-products?
- 412
1
vote
0
answers
58
views
Universal formulas for polynomials with prescribed jets
Let $A$ be a commutative ring and $f\in A[x]$ a split monic. When $f$ is separable with roots $\mathrm Z(f)= \{ a_1,\dots ,a_k \}$, the Chinese remainder theorem (CRT) ensures that evaluation is an $A$...
- 10.5k
5
votes
1
answer
248
views
Integral closure in characteristic 0
Let A be a Noetherian domain of characteristic 0, K be its field of fractions. Is the integral closure of A in K always finitely generated as A-module?
- 51
4
votes
0
answers
211
views
When does a short exact sequence of abelian groups with $B\cong A\oplus C$ split?
$\hspace{20pt}$Duplicate on stackexchange.
This question, in a way, extends this one. The question is what are some sufficient conditions on the abelian group $B$ so that if $B\cong A\oplus C$ and a ...
- 171
4
votes
0
answers
140
views
Can an ideal in the ring of holomorphic functions on the complex plane be non-finitely generated?
Let $( I )$ be an ideal in the ring $( R )$ of all holomorphic functions of a single complex variable on the complex plane. I am interested in understanding whether it is possible for $( I )$ to be ...
- 93
1
vote
1
answer
73
views
In a ring with a $p$-derivation every $p$-power-torsion element is nilpotent
Let $p$ be a prime. The definition of $p$-derivation on a ring (aka $\delta$-ring structure) can be read in [K, Definition 2.1.1]. In short, a $\delta$-ring is a commutative ring with unity $A$ plus a ...
3
votes
1
answer
165
views
Finite flat maps
Let $f : A \to B$ be a finite, finitely presented, flat map of (commutative) rings. It is a known consequence of Chevalley's theorem (on constructible sets) that the induced map $Spec B \to Spec A$ is ...
- 2,040
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 ...
- 119
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 ...
- 1
2
votes
0
answers
128
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 ...
- 9,009
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,...
- 2,837
2
votes
4
answers
212
views
Efficient algorithm for graph problem
Let $D=(V,E)$ be a directed graph, $S,T\subset V$ and $f:V\rightarrow \{1,\ldots, k\}$ a positive, bounded weight-function and $l\in \mathbb{N}$, find a path $v_1,\ldots, v_l\in V$ with $v_1\in S$ and ...
- 157
3
votes
0
answers
180
views
Levelled trees and the homotopy transfer theorem
In section 10.3.12 of Loday-Vallette's book "Algebraic operads", given a $P_\infty$-algebra $(A,d,\alpha)$ the Homotopy Transfer Theorem applied to $H_*(A,d)$ is studied. There, because the ...
- 215