All Questions
6,056 questions
2
votes
0
answers
78
views
Localization of Bernstein center
Let $C$ be a $k$-linear category ($k$ an algebraically closed field) and $Z$ its Bernstein center (the ring of endomorphisms of the identity functor of $C$).
Are there natural assumptions that ...
- 689
3
votes
1
answer
240
views
Split monomorphisms of modules - does the finite case imply the infinite case?
Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Further $X\subseteq M$ and for ...
- 63.9k
13
votes
1
answer
1k
views
For what sets $X$ do there exist a pair of functions from $X$ to $X$ with the identity being the only function that commutes with both?
It is not too difficult to show that if $X$ is an infinite set, then there exists a two-element subset of the group $\operatorname{Sym}(X)$ with trivial centralizer iff $\lvert X\rvert \leq \lvert\...
- 32.5k
4
votes
1
answer
1k
views
Is the "space of physical quantities" a field of transcendence degree $6$ or $7$ over the rationals?
Excuse my naive question and please let me explain it:
In everyday life we experience 3 spatial "dimensions" + time etc.
Usually the 3 dimensions are represented by a coordinate system and ...
- 40.2k
32
votes
3
answers
2k
views
Is the hierarchy of relative geometric constructibility by straightedge and compass a dense order?
Consider the hierarchy of relative geometric constructibility by
straightedge and compass. Namely, given a geometric figure $B$, a
set of points in the plane, we define that geometric figure $A$ is
...
- 18.7k
1
vote
1
answer
113
views
A question about finding a system of invariants for a subgroup $H$ of the symmetric group $S_n$
If $H = S_n$ then then the fundamental symmetric polynomials allow to write any $S_n$-invariant polynomial $f$ as a polynomial expression of these elementary symmetric functions. In other words, $\...
- 133
3
votes
0
answers
216
views
Radical of an ideal in the polynomial ring with reducible generators
To find the radical of an ideal can be a very complicate task. Considering ideals in the polynomial ring, I am wondering if this task can be simplified in the case the generators of the ideal have the ...
- 1,207
1
vote
0
answers
51
views
For any initial ideal $I$ of the ideal of maximal minors, is it true that $I^n = I^{(n)}$?
Let $X$ denote a generic $n \times m$ (with $n \leq m$) matrix and $R = k[X]$, where $k$ is any field. Let $J := I_n (X)$. It is well-known that $J^t = J^{(t)}$ for all $t$ (where $-^{(t)}$ denotes ...
- 553
3
votes
1
answer
177
views
Quiver and relations for ADE singularities in dimension one
Let $A$ be an ADE-hypersurface singularity in dimension one.
For example in Dynkin type $A_n$, A is given by $K[[x,y]]/(x^2+y^{n+1})$.
Then $A$ is CM-finite and let $M$ be the direct sum of all ...
- 26.5k
3
votes
1
answer
262
views
Symbolic powers of a prime ideal of height one
Can someone please give me an example of a Noetherian normal local domain of dimension two such that there exists a prime ideal $P$ of height one having the property $P^{(n)}$ is not a principal ideal ...
- 20.5k
3
votes
1
answer
213
views
Flatness of finitely presented algebras
Let $R$ be a commutative (noetherian, if needed) ring, let $f_1，\ldots，f_r\in R[x_1，\ldots，x_n]$ and $A=R[x_1，…，x_n]/(f_1，\ldots，f_r)$, when is $A$ flat over $R$?
I found a nice answer for the case $n=...
- 921
12
votes
2
answers
333
views
Easy way to understand theta basis for X-cluster algebras of finite type?
For $\mathcal A$-cluster algebras of finite type, it is very easy to describe the theta-basis: it consists of the cluster monomials. Is there any similarly easy way to describe the theta-basis for $\...
- 306
3
votes
1
answer
174
views
Characterized maximal ideal [closed]
$\DeclareMathOperator\Alg{Alg}$Let $A$ be a commutative associative algebra with $1$ over $\mathbb{C}$. We define $\Alg(A,\mathbb{C}) $ to be the set of $\mathbb{C}$-algebra maps from $A$ to $\mathbb{...
- 3,645
46
votes
4
answers
8k
views
What does "linearly disjoint" mean for abstract field extensions?
All definitions I've seen for the statement "$E,F$ are linearly disjoint extensions of $k$" are only meaningful when $E,F$ are given as subfields of a larger field, say $K$. I am happy with the ...
- 35.5k
5
votes
0
answers
93
views
Structure of finitely generated $\mathbb{Z}/p^n\mathbb{Z}[[S,T]]$-modules
Let $\Omega=\mathbb{Z}/p\mathbb{Z}[[S,T]]$. $\Omega$ is a commutative, Noetherian and integrally closed domain of Krull dimension 2. According to Bourbaki's commutative algebra VII $\S 4$, if $M$ is a ...
- 429
5
votes
2
answers
243
views
Restricting maps between strict henselisations
$\require{AMScd}$I am currently thinking about (strict) henselisations but I don't know too much literature about the topic. So I am wondering if there is a natural way to restrict maps between strict ...
- 321
7
votes
1
answer
206
views
$2$-dimensional complete local normal domain with rational singularity that has exactly one exceptional curve
Let $(R, \mathfrak m)$ be a complete local normal domain of dimension $2$ with residue field $R/\mathfrak m$ algebraically closed and characteristic $0$. Assume Spec$(R)$ has rational singularity, let ...
- 66.3k
3
votes
1
answer
420
views
Vanishing of $\operatorname{Ext}_R(\operatorname{Tr} M,N)$ and freeness criteria
$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Tr{Tr}\DeclareMathOperator\coker{coker}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Tor{Tor}$I am investigating the interplay between freeness ...
- 642
13
votes
2
answers
2k
views
Why doesn't local cohomology seem to be used as much in algebraic geometry?
In algebraic topology, relative (co)homology is very useful. For example, we have a long exact sequence which is often helpful for lots of calculations.
In algebraic geometry, we have local cohomology,...
- 7,300
2
votes
0
answers
73
views
Nonzero idempotents in compact semitopological semigroups with zero
Let $S$ be a compact semitopological semigroup. Then, $S$ contains minimal idempotents by Ellis' theorem.
Ellis' Theorem: In a compact left-topological (resp. right-topological) semigroup, every ...
- 2,605
4
votes
0
answers
79
views
Possible number of zeros of a stable perturbation of a germ $(\mathbb{R}^n, 0) \to (\mathbb{R}^n, 0)$
Let $f:(\mathbb{R}^n, 0) \to (\mathbb{R}^n, 0)$ be an analytic germ. Assume that it has isolated zero at 0, that is, $f^{-1}(0)=\{0\}$, what is more, assume that the dimension of the local algebra* $Q(...
- 63.9k
2
votes
0
answers
145
views
Semigroup ideals of a ring or an algebra
Let $R$ be a ring or an algebra. Suppose $B\subseteq R$ satisfies the property $BR \subseteq B$ and $RB\subseteq B$. Is there a general theory of subsets with this property in a ring (resp. algebra) ...
- 63.9k
2
votes
0
answers
119
views
The "matrix direct sum" monoid modulo unitary equivalence
Given a commutative $*$-ring $(R,*)$, let $M(R,*)$ be the monoid whose elements are matrices over $R$ of all possible shapes and entries, including those that have $0$ columns or $0$ rows. Let the ...
- 4,943
7
votes
0
answers
194
views
Factoring a function from a finite set to itself
Let $S$ be a finite set and $f: S \to S$ be a function. Let $k = |f(S)|$ and let $\alpha$ be the partition of $S$ into $f$-fibers, i.e. $\alpha = \{ \alpha_t \}_{t \in f(S)}$ where $\alpha_t = f^{-1}(\...
- 695
3
votes
1
answer
211
views
Alternative definitions of étale and formally unramified in Wraith
I have stumbled upon the following definitions in a paper by Gavin Wraith.
Definition 1. Say a ring morphism $A\overset \varphi \to B$ is formally unramified if every $b\in B$ admits:
$b_0\in B$ ...
- 321
8
votes
0
answers
293
views
Image of multiplication map in tensor powers of finite-dimensional ring
Let $R$ be a (commutative, unital) ring of dimension $n$ over a field $k$. Assume the characteristic of $k$ is greater than $n$.
Then $R^{\otimes n}$ has a natural ring structure, together with an $...
- 149k
4
votes
0
answers
169
views
Separable algebras and separably closed local rings (a.k.a strictly Henselian local rings)
Let $A$ be a local ring. Say a monic $f\in A[x]$ is unramifiable if it admits a simple root in its universal splitting algebra (equivalently, it admits a simple root in any ring over which it splits). ...
- 10.5k
4
votes
1
answer
446
views
What is a "cusp" ("кусок") in relation to Guba's embedding theorem?
I'm confused by the definition of a "cusp" as found in
V.S. Guba, Conditions for the embeddability of semigroups into groups, Math. Notes 56 (1994), Nos. 1-2, 763-769 (link).
In the words of Mark ...
- 10.5k
8
votes
2
answers
759
views
Can any countably generated k-algebra occur as the ring of global sections of some variety?
In the answer to this question we saw that there exists a nonsingular quasi-projective threefold over a field with non-finitely generated global sections.
I was talking about this previous ...
- 35.5k
2
votes
0
answers
118
views
Localization of the injective hull of a commutative non-Noetherian ring
Let $R$ be a commutative non-Noetherian ring and $m$ a maximal ideal. My question is whether the localization $E(R)_m$ of the injective hull $E(R)$ of $R$ is an injective $R_m$-module. This is true in ...
- 21
6
votes
1
answer
422
views
Constant term extraction using combinatorial Nullstellensatz
$\DeclareMathOperator\CT{CT}$Given a Laurent polynomial $g$, let $\CT(g)$ denote its constant term.
Consider the specific Laurent polynomial
$$f_n(x_1,\dots,x_r)=\left(1+\prod_{j=1}^r(1+x_j)+\prod_{j=...
- 109k
1
vote
0
answers
163
views
Existence of a finite resolution
I have tried to formulate a question in which I was very curious, any hints suggestions are also welcomed. Thanks in advance.
Let $M$ be an $R$ module ($R$ commutative ring with unity). It is given ...
- 63.9k
0
votes
0
answers
538
views
Is being finitely generated module a local property?
There is this result on stack project, saying that let $S$ be a $R$-module and $f_1,...,f_n \in R$ that generates $R$, if $S_{f_i}$ is finitely generated $R_{f_i}$-module then $S$ is a finitely ...
- 241
4
votes
1
answer
462
views
Quotients and associated graded
$\DeclareMathOperator\gr{gr}$Let $A = \cup_{i=0}^\infty F_i A$ be a filtered commutative ring, $I \subseteq A$ an ideal. Then we have a canonical surjection
$$ \gr(A)/\gr(I) \to \gr(A/I).$$
Under what ...
- 2,368
3
votes
1
answer
157
views
Is it true that the structure of a commutative ordered semiring is unique on a commutative ordered monoid?
Is it true that the structure of a commutative ordered semiring with identity is unique on a commutative ordered monoid (i.e., the structure of the monoid and the order are consistent)? I am not ...
- 18.7k
2
votes
1
answer
394
views
When the annihilator of each nonzero submodule is prime
Let $M$ be a fixed faithful $R$-module over integral domain $R$. Is there any equivalent condition (on $R$ or on $M $) under which the annihilator of any nonzero submodule of $M$ to be a prime ideal ...
- 21
4
votes
2
answers
520
views
Quasi-compact surjective morphism of smooth k-schemes is flat
I have precedently posted the same question on Math.Stackexchange (https://math.stackexchange.com/questions/4277856/quasi-compact-surjective-morphism-of-smooth-k-schemes-is-flat), but to no avail; I ...
1
vote
0
answers
45
views
A "spectral theorem" to SVD reduction for every commutative *-ring
Given any commutative $*$-ring $R$ of uneven characteristic, is it true that for every square matrix $M$ and unitary matrix $W$, if $W^* \begin{bmatrix} 0 & M \\ M^* & 0 \end{bmatrix} W$ is ...
- 4,943
4
votes
1
answer
398
views
Does irreducible polynomial remain reduced by pre-composition?
Let $f(x),g(x)$ be polynomials in $\mathbb{Q}[x]$. If $\mathrm{deg}(f)\geq2$ and $f$ irreducible, is the composition $f(g(x))$ always reduced (has no repeated irreducible factors)?
(If we do not ask $\...
- 109k
9
votes
1
answer
698
views
Hensel's lemma, Bezout's identity, and the integers
Factorization in the ring $\mathbb{Z}[x]/(x^2+1)\mathbb{Z}[x]\cong \mathbb{Z}[i]$ is well known. For instance, $5$ and $13$ (and any prime $\equiv 1\pmod{4}$) are no longer prime.
The factorization ...
- 18.7k
5
votes
1
answer
235
views
Concept of an exact ideal of a module category
Let $R$ be a ring and $\text{Mod}\,R$ the category of (left) $R$-modules. Consider an ideal $\mathcal{I}$ of $\text{Mod}\,R$. For $R$-modules $X$ and $Y$ let $\mathcal{I}(X,Y)$ be the collection of ...
- 356
6
votes
4
answers
2k
views
Is a torsion-free abelian group finitely generated, if all of its localizations at primes $p$ are finitely generated over $\mathbb{Z}_p$?
Background: When proving that the group of $k$-isogenies $\mathrm{Hom}_k(A,B)$ between two abelian varieties is finitely generated, one first shows that the Tate map $$\mathbb{Z}_\ell\otimes_{\mathbb{...
- 63.9k
0
votes
0
answers
229
views
Coordinate ring of a flag variety
Edited:
[If G here is a simply connected semismple complex algebraic group.
A partial flag variety $G/P$ can be naturally embedded as a closed subset of $\prod_j \mathbb{P} (L(\omega_j)^*)$.
The ...
- 201
0
votes
0
answers
44
views
Polynomial representation with shared root
Let $R$ be a polynomial quotient ring of the form $F_3[x_1,x_2,...,x_n]/\langle \{x_i^3-x_i\}_{1\le i\le n} \rangle$ and $\{f_i\}_{1\le i \le m}$ be elements of $R$, where $m > n$. We know that the ...
53
votes
9
answers
13k
views
Is there a preferable convention for defining the wedge product?
There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find $\alpha\wedge\beta:=\frac{(k+l)...
- 167
2
votes
0
answers
204
views
Ideal generated by a regular sequence
In Boocher and Grifo - Lower bounds on Betti numbers, in example 2.2 they say that if $R=k[x_1,\dotsc,x_n]$ is a polynomial ring and $M=R/(f_1,\dotsc,f_c)$ where $f_i$ form a regular sequence, then ...
- 12.9k
0
votes
0
answers
151
views
zero divisors of group ring when the group is abelian
Let G be an abelian group with torsion and C[G] be the group ring over complex numbers C. Is there a clear description or classification of zero divisors of C[G]?
- 63.9k
1
vote
0
answers
72
views
Equivalence between smoothly regular and analytically regular
I think the following statement is true.
Let $M$ be a real analytic manifold. Let $S \subset M$ be an analytic or semianalytic subset. A point $p \in S$ is called smoothly regular resp. analytically ...
- 803
5
votes
0
answers
87
views
Reference request: Étale base change of differential-graded algebras
I've asked this question on Math.StackExchange, but didn't receive an answer, so I'd like to try my luck here.
I'm looking for a reference for the following fact, which I've recently stumbled upon:
...
- 171
7
votes
0
answers
284
views
Generic behavior of "polynomialish" models of $\mathsf{Q}$
(This question was originally asked and bountied at MSE - with different notation, some more explicit arguments, and topology in place of forcing.)
Suppose $\mathcal{R}=(R_i)_{i\in\mathbb{N}}$ is a ...
- 20.5k