All Questions
6,053 questions
2
votes
1
answer
152
views
A commutative ring with unity which does not have relatively pseudo-injective ideals with zero intersection
Let $R$ be a ring with $1$ and $M$ and $N$ be any right $R$-modules. We say that $M$ is pseudo-$N$-injective if every $R$-monomorphism $f:X \to M$ from a submodule $X_R$ of $N_R$ can be extended to $N$...
- 324
3
votes
0
answers
114
views
English translation of Borel-Serre's "Théorèmes de finitude en cohomologie galoisienne"?
Is there an English translation of this text, or at least some English language paper that proves the same results?
I especially need a proof of the following fact which is in this paper: Say $k$ is a ...
- 31
1
vote
0
answers
142
views
Explicit computation of Čech-cohomology of coherent sheaves on $\mathbb{P}^n_A$
$\newcommand{\proj}[1]{\operatorname{proj}(#1)}
\newcommand{\PSP}{\mathbb{P}}$These days I noticed the following result of (constructive) commutative algebra, which I think is probably well known ...
- 708
2
votes
0
answers
75
views
Sum of Betti numbers and certain short exact sequence of modules of finite length over regular local ring
Let $N$ be a module of finite length over a regular local ring $R$ of characteristic $0$. Let $M$ be an $R$-module which fits into a short exact sequence $0\to N^{\oplus a}\to M \to N^{\oplus b}\to 0$ ...
- 480
2
votes
2
answers
416
views
Tensor product over $\mathbb{Z}$ and p-adic integer ring $\mathbb{Z}_p$
Thanks for your reading. Suppose we have two $\mathbb{Z}_p$-modules $A,B$. Do we always have $A \otimes_{\mathbb{Z}} B \simeq A \otimes_{\mathbb{Z}_p} B$, as abelian groups or $\mathbb{Z}_p$-modules? ...
- 319
3
votes
1
answer
260
views
Cancellation in polynomial composition
Let $k$ be a field. Suppose $P,Q,R\in k[x]$ satisfy $P\circ Q=P\circ R$. What can we conclude about $Q$ and $R$?
It may not be the case that $Q=R$; for example, if $P=x^2$, any polynomials $Q,R$ with $...
- 545
1
vote
2
answers
831
views
Books one can read for 2nd course in Commutative Algebra ( Self Study)
I am a student who has completed master's but couldn't take admission to a PhD program due to some unfortunate reasons.
I have done 1 course in Commutative Algebra where I followed the book " ...
0
votes
0
answers
97
views
Algebraic independence and substitution for quadratics
Let $f_{1},...,f_{n-1} \in \mathbb{F}[x_1,...,x_n]$ such that $\{ f_1,..., f_{n-1},x_n \}$ is algebraically independent over $\mathbb{F}$. Let $G \in \mathbb{F}[x_1,...,x_n,y_1,...,y_{n-1}]\...
- 341
5
votes
0
answers
288
views
Picard group of almost module category
I am very new to the world of almost mathematics and I am curious about the following:
Fix an almost mathematics situation $(R,I)$ throughout. Very generally, the almost module category comes with a ...
- 51
2
votes
1
answer
181
views
Is the derived support $\{x\in X\:|\: \mathsf{L}x^* M\neq 0\}$ closed?
Let $X$ be a scheme and consider an object $M$ of its derived category $\mathsf{D}_\text{qc}(X)$, defined as the full subcategory of $\mathsf{D}(\textsf{Mod}(\mathcal{O}_X))$ consisting of the ...
- 711
3
votes
0
answers
93
views
When can $RHom^\bullet_{A}(B/I^k\overset{L}{\otimes}_B A, A)$ be computed using formal completions?
Let $\varphi:B\to A$ be a ring homomorphism between Noetherian rings. Let $I\subset B$ be an ideal. Let $B^{\wedge}=\varprojlim_n B/I^n$ be the $I$-adic completion of $B$, and $A^{\wedge}=\...
- 367
1
vote
0
answers
37
views
Bounding the length of an R-module of matrices
Loosely related to this: Bounding the length in a module of evaluated skew polynomials
Let $C$ be an $\mathbb{F}_q$-vector subspace of $m \times n$ matrices over $\mathbb{F}_q$. Assume WLOG that $m \...
- 223
2
votes
0
answers
117
views
A very specific quotient of a determinantal variety
I'm interesting in knowing whether a certain variety defined by maximal minors is irreducible. The specific construction is as follows: let $n \geq 2$ and let $R = \mathbb{C}[a_1,b_1,c_1,d_1,e_1,f_1,...
- 185
1
vote
0
answers
120
views
Normalization and ordinary double points
Let $X$ and $Y$ be two integral projective complex varieties and $f:X\to Y$ be a finite morphism. I assume that
(1) $X$ is smooth,
(2) $f$ is the normalization morphism of $Y$, and
(3) each fiber of $...
- 389
0
votes
0
answers
76
views
Largest set of monomials whose span is "co-prime" to a given polynomial
Let $K$ be a number field, and let $F \in K[x_1, \cdots, x_n]$ be a polynomial. For a positive integer $d \geq 3$, define $M(F;d)$ to be the largest positive integer such that there exists a set $S$ ...
- 26.9k
5
votes
2
answers
280
views
Freeness of a quotient module over a regular local ring
Let $R$ be a regular local ring with maximal ideal $m$. Let $t\in m\setminus m^2$. Let $N$ be a submodule of a finitely generated free $R$-module $M$ satisfying
$$ tM \subseteq N \subseteq M.$$
...
- 429
0
votes
0
answers
113
views
Relation between minimality and algebraic independence for binomials?
$\DeclareMathOperator\supp{supp}$Given $f_1,...,f_n \in \mathbb{F}[x_1,...,x_n]$ such that
$f_1 = x_1 + q_1$
$f_2 = x_2 + q_2$
$\cdot \cdot \cdot$
$f_{n-1} = x_{n-1} + q_{n-1}$
$f_{n} = q_n$
such that ...
- 341
5
votes
2
answers
199
views
Determining the multiplication via addition and some unary operation
It is known that the addition operation in a skew-field $F$ (more generally, in a quasifield) is uniquely determined by the multiplication operation and the unary involutive operation $1_{-}:F\to F$, ...
- 41.9k
4
votes
0
answers
174
views
Centers and conjugacy classes of groups relative to a pair of group homomorphisms
$\newcommand{\defeq}{\mathbin{\overset{\mathrm{def}}{=}}}$Given a group $G$, its center $\mathrm{Z}(G)$ and set of conjugacy classes $\mathrm{Cl}(G)$ are defined by
\begin{align*}
\mathrm{Z}(G) &\...
- 11.8k
2
votes
0
answers
148
views
Nilpotent polynomial matrices over $F_q$ - polynomial count variety ? ( Nilpotent cone for Hitchin-Gaudin like integrable system)
Context: Number of nilpotent $n\times n $ matrices over $F_q$ is $q^{n(n-1)}$ classical result due to Ph.Hall, M.Gerstenhaber (see very nice exposition by T.Leinster at n-cat-cafe/arxiv) which have ...
- 24.9k
2
votes
1
answer
210
views
Minimality implies algebraic independence?
$\DeclareMathOperator\supp{supp}$Given $f_1,...,f_n \in \mathbb{F}[x_1,...,x_n]$ such that
$f_1 = x_1 + q_1$
$f_2 = x_2 + q_2$
$\cdot \cdot \cdot$
$f_{n-1} = x_{n-1} + q_{n-1}$
$f_{n} = q_n$
such that ...
- 341
7
votes
0
answers
131
views
When is a degree-$n$ homogeneous polynomial in $\mathbb{C}[x_1, x_2, \ldots , x_m ]$ the product of $n$ one-forms?
When is a degree-$n$ homogeneous polynomial in $\mathbb{C}[x_1, x_2, \ldots , x_m ]$ the product of $n$ one-forms?
Is there any simple algorithm or criterion to check it?
I have chosen the complex ...
- 171
1
vote
0
answers
77
views
$M^2=0$ defines a Koszul algebra ? What if $M$ is Manin's endomorphism's of Koszul $A$ ? (Here $M^2=\sum_k M_{ik}M_{kj}$ - resembles $d^2=0$).)
Consider a matrix $M$ which elements $M_{ij}$ are generators of some algebra $K$,
impose new relations: $M^2=0$ and get a new algebra $K_{2}$.
Question 1: Is it true that $K_2$ is Koszul algebra when ...
- 24.9k
1
vote
0
answers
60
views
Bounding the length in a module of evaluated skew polynomials
Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
- 223
4
votes
2
answers
227
views
Maximal subgroups of finite abelian $2$-groups
Suppose $G$ is a finite abelian $2$-group, and $S$ is a subset of $G$, $\langle S\rangle=G$,$S^{-1}=S$,$e\notin S$. How to determine whether there exists a maximal subgroup $M$ of $G$, such that $S$ ...
- 173
4
votes
1
answer
267
views
A particular morphism being zero in the singularity category
Let $R$ be a commutative Noetherian ring and $D^b(R)$ be the bounded derived category of finitely generated $R$-modules. Let $D_{sg}(R)$ be the singularity category, which is the Verdier localization $...
- 361
6
votes
1
answer
272
views
Ideals of functions whose zero locus is a submanifold
Let $M$ be a smooth $m$ dimensional manifold. Suppose that $f_1,\dots,f_k\in C^\infty(M)$ are smooth functions such that the zero locus $$N:=Z_f=\lbrace p\in M:\ f_i(p)=0,\ \forall i=1,2,\dots,k\...
- 2,792
6
votes
0
answers
151
views
On dual notions of morphisms of algebraic structures obtained by replacing equaliser with coequalisers
This question is based on this discussion from the Category Theory Zulip. See also the earlier question Natural cotransformations and "dual" co/limits.
Let $G$ and $H$ be groups. We define ...
- 11.8k
13
votes
2
answers
875
views
Given an irreducible polynomial over $\mathbb{Z}$, how often is it irreducible modulo a prime?
Given a monic irreducible polynomial $f\in\mathbb{Z}[x]$, I'd like to know for how many primes p we have that $f \bmod p$ is irreducible.
In the link: How many primes stay inert in a finite (non-...
- 133
10
votes
0
answers
190
views
Is every UFD a filtered colimit of Noetherian UFDs?
I'm wondering how one could prove or disprove that any non-Noetherian UFD is a filtered colimit of Noetherian UFDs. This would allow for some absolute Noetherian approximation to be applied for ...
- 804
0
votes
0
answers
82
views
Integer valued polynomials and divided power algebra
Let $T\subset \mathbb Q[x]$ be the ring of integer valued polynomials, i.e. the polynomials $f$ with $f(\mathbb Z)\subset \mathbb Z$. In his wonderful book ”Commutative algebra with a view toward ...
- 1,907
2
votes
0
answers
75
views
When is a finitely generated commutative algebra a projective module over its invariant subalgebra?
For the sake of simplicity, I will work over the complex numbers.
Let $A$ be a finitely generated algebra and $G$ any finite group of algebra automorphisms. Then, by Noether's Theorem, $A^G$ is also a ...
- 3,318
2
votes
1
answer
423
views
Conjecture about semigroups
Let $G$ be a finite semigroup with order $n$ odd. Let $S_i \in G, i=1,\ldots,\binom{n}{(n+1)/2}$ be all the subsets of $G$ of size $(n+1)/2$.
Let $E(S_i)$ be the set obtained "expanding" $...
- 1,000
2
votes
0
answers
171
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 ...
- 6,028
1
vote
1
answer
155
views
Convergence of a product in $\mathbb Q_2[[X]]$
I thought it would be very easy to prove, but in fact, I did not manage to prove or disprove this fact:
the sequence of polynomials $$\left(\prod_{j=0}^k\big(1-2^{2^j}X\big)\right)_{k\in\mathbb N}$$
...
- 3,998
5
votes
1
answer
248
views
On the bounded derived category of sheaves with coherent cohomology
Let $(X,\mathcal{O}_X)$ be a locally ringed space such that $\mathcal{O}_X$ is locally notherian, and let $\operatorname{Coh}(\mathcal{O}_X)$ be the category of coherent $\mathcal{O}_X$-modules. The ...
- 541
1
vote
1
answer
364
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,028
13
votes
0
answers
260
views
Big list of Hochster dual concepts
Let $X$ be a spectral space. Then there is a canonical space $X^\vee$ with the same points, same constructible topology, and the opposite specialization order. This is known as “Hochster duality”, and ...
3
votes
1
answer
164
views
Minimality of the Koszul resolution
Let $R = \mathbb{C}[x,y]$ and $V = \mathbb{C}x\oplus\mathbb{C}y$. Then, the Koszul resolution of $R$ (as an $R$-bimodule) is given by
\begin{align*}
0\to R\otimes_{\mathbb{C}}\wedge^2V\otimes_{\mathbb{...
- 985
2
votes
1
answer
241
views
Sheaves which are locally free on subschemes of dimension zero
Let $\mathscr{F}$ be a coherent sheaf on a scheme $X$ with reasonable assumptions.
Obviously if I restrict to any point $x \in X$, the restriction $\mathscr{F}|_x$ is free over $x$.
I am interested in ...
- 635
0
votes
0
answers
95
views
Which algebraic structure characterizes the set of non-trivial qudratic residues in a finite field?
I understand this question may be too naive to ask, but I am unable to figure it out.
Suppose, $\mathbb{QR^*}$ denotes the set of all quadratic residues in a finite field except the identity element $...
4
votes
0
answers
119
views
Adjoining new factors for primes in UFDs
It is well-known that if we pass from a UFD to a new ring where we have factored one of the primes, it does not need to stay a UFD. The classic example is passing from $\mathbb{Z}$ to $\mathbb{Z}[\...
- 18.7k
1
vote
0
answers
119
views
Monomorphism which is locally of finite presentation
$\DeclareMathOperator\Spec{Spec}$Let $X$ be an affine scheme of finite type over a field. Let $Y\to X$ be a monomorphism of schemes, which is locally of finite presentation. Is it true that $f$ is ...
- 11
2
votes
1
answer
158
views
How to decompose a given polynomial by ideal generators
Given a finite set of polynomials $f_1, f_2,..., f_n$ of variables $x_1,...,x_m$, generating the ideal $I$, suppose that we have one more polynomial $g\in I$.
What is the algorythm for decomposing $g$ ...
- 728
0
votes
0
answers
57
views
Reference for packing property and König property
Can someone please suggest reference material to study about the packing property and König property of ideals and some examples?
- 21
0
votes
0
answers
100
views
Shedding faces and decomposability in simplicial complexes
Definition:
A pure d-dimensional complex
$\Delta$ is $k$-decomposable if either $\Delta$ is a $d-$simplex or $\Delta$ contains a face $F$ such that
$\dim(F) \leq k$
both $\Delta \setminus F$ and $\...
- 381
2
votes
0
answers
100
views
Koszul cohomology associated with a regular sequence
Let $A$ be a local Noetherian ring and $M$ be an $A$-module. Let $\mathfrak{a}$ be an ideal of $A$ generated by a regular $M$-sequence $s_1,\cdots,s_r$. Let $K_\bullet(s_1,\cdots,s_r;M)$ be the Koszul ...
- 439
5
votes
0
answers
187
views
Isbell duality for monoids and groups
Isbell Duality
$\newcommand{\IsbellSpec}{\mathsf{Spec}}\newcommand{\IsbellO}{\mathsf{O}}\newcommand{\Sets}{\mathsf{Sets}}\newcommand{\rmL}{\mathrm{L}}\newcommand{\rmR}{\mathrm{R}}\newcommand{\B}{\...
- 11.8k
5
votes
2
answers
754
views
A version of Hilbert's Nullstellensatz for real zeros
$\newcommand\R{\Bbb R}$Let $Q(x_1,\dots,x_n)\in\R[x_1,\dots,x_n]$ be an irreducible polynomial such that the dimension of the set $Z:=\{(x_1,\dots,x_n)\in\R^n\colon Q(x_1,\dots,x_n)=0\}$ (defined, say,...
- 128k
8
votes
1
answer
236
views
Quiver and relations for a monoid related to Catalan numbers
Let $C_n$ be the monoid consisting of monotone maps $\{1,...,n\} \rightarrow \{1,...,n\}$ with $f(i) \leq i$ for all $i$.
The cardinality of $C_n$ is given by the Catalan numbers.
Consider $A_n= \...
- 26.5k