All Questions
6,057 questions
2
votes
1
answer
539
views
Varieties with everywhere good reduction that are isomorphic over every completion have isomorphic generic fibers
Let $R$ be the ring of integers in a number field. Let $X$ and $Y$ be smooth and proper schemes over $R$. For a maximal ideal $\mathfrak{m}\subset R$ denote the completion of the localization at $\...
- 23k
6
votes
0
answers
205
views
Automorphisms of $\mathbb{C}[x, y, z]$ over $\mathbb C[x]$
What are the automorphisms of $\mathbb{C}[x, y, z]$ fixing $\mathbb{C}[x]$? I.e. those automorphisms $\phi:\mathbb{C}[x, y, z]\to\mathbb{C}[x, y, z]$ s.t. $\phi(x) = x$. I am interested in a complete ...
- 63.9k
3
votes
0
answers
347
views
Sections of non-reduced schemes
Let $X$ be an affine, irreducible (complex), generically reduced, scheme containing an embedded point, say at $x \in X$. Suppose further dimension of $X$ is strictly positive (can assume to be one ...
- 2,032
3
votes
3
answers
714
views
Cohomology of elementary abelian $p$-groups, i.e. $H(G,{\mathbb F}_p)$ with $G\cong{\mathbb F}_p^r$
I have two questions.
$\bf 1.$ First, a reference request. Let $G\cong{\mathbb F}_p^r$ for some integer $r\geq 0$ and let $V=G^*={\rm Hom}(G,{\mathbb F}_p)$. Then $(H(G,{\mathbb F}_p),+,\cup )$ is a ...
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
4
votes
1
answer
180
views
Categorical Kähler differentials and the Leibniz rule
From nlab, the module of Kähler differentials over some category $\mathcal{C}$ is the free functor:
$$\Omega: \mathcal{C} \to \mathsf{Mod_{\mathcal{C}}}$$
left-adjoint to the (forgetful) embedding:
$$...
- 37.8k
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
8
votes
0
answers
220
views
Finitely generated commutative rings with the same profinite completion
Let $R_1$ and $R_2$ be two finitely generated commutative rings. Assume that their profinite completions are isomorphic: $\widehat{R_1}\cong \widehat{R_2}$.
Suppose that $R_1$ is a domain. Does ...
- 63.9k
6
votes
2
answers
544
views
Rings $R$ such that every [regular] square matrix with entries in $R$ is equivalent to an upper triangular matrix
Let $\text{M}_n(R)$ be the ring of $n$-by-$n$ matrices with entries in a commutative unital ring $R$. Theorem III in
C.R. Yohe, Triangular and Diagonal Forms for Matrices over Commutative ...
CommunityBot
- 1
9
votes
2
answers
3k
views
Localization and intersection
It is very well known that if $\mathfrak p_1, \ldots,\mathfrak p_n$ are prime ideal of an integral domain $A$, then we have the equality$$S^{-1}A=\bigcap_{i=1}^n A_{\mathfrak{p}_i},$$ where $S:=A\...
CommunityBot
- 1
5
votes
1
answer
804
views
When is the module of Kahler differentials free?
As the title says, when is the module of Kahler differentials a free module? In particular, are there known conditions or criterions that could be met that ensures that it will be free?
For example, ...
- 6,262
3
votes
0
answers
151
views
Question about polynomials in $\mathbb{C}[x, y, z]$
What can be said about pairs of polynomials $P, Q\in\mathbb{C}[x, y, z]$, such that $\frac{\partial P}{\partial y}\frac{\partial Q}{\partial z} - \frac{\partial P}{\partial z}\frac{\partial Q}{\...
- 329
6
votes
0
answers
89
views
Maximal number of commuting functions of a finite set
Let $S$ be a finite set with $n$ elements and let $F_S$ denote the set of functions from $S$ to $S$. I wonder whether anything is known about the maximal cardinality of a commuting subset of $F_S$? A ...
- 23.2k
8
votes
2
answers
2k
views
Ideals generated by regular sequences
In Vasconcelos' paper (Ideals generated by R-sequences), he proved
If $R$ is a local ring, $I$ an ideal of finite projective dimension, and $I/I^2$ is a free $R/I$ module, then $I$ can be ...
- 719
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
5
votes
0
answers
106
views
Can the conductor of a local, unramified, Cohen-Macaulay domain ever be contained in a parameter ideal?
Let $(R, \mathfrak m)$ be a local Cohen-Macaulay domain which is analytically unramified (i.e. the $\mathfrak m$-adic completion of $R$ is reduced). Let $\bar R$ be the integral closure of $R$ in the ...
- 63.9k
6
votes
2
answers
421
views
Does the category of local rings with residue field $F$ have an initial object?
Let $F$ be a field. Does the category $C_F$ of local rings $R$ equipped with a surjective morphism $R\longrightarrow F$ have an initial object?
This is, for instance, true if $F=\mathbb{F}_{p}$ for ...
- 42.4k
9
votes
2
answers
572
views
Decomposing a polynomial ring into Specht Modules
Let $S_{\pi}$ where $\pi$ is an integer partition of $n$, denote the Specht module corresponding to $\pi$.
I am trying to decompose the set of all homogeneous polynomials in $x_1,x_2,...,x_n$ ...
- 261
0
votes
1
answer
200
views
The rank of a semigroup
Let $S$ be a finite noncommutative semigroup(without identity) with a subset $M$ such that $\langle M \rangle =S$. If every element of $M$ is indecomposable in $M$, i.e. for any $a \in M$, there are ...
- 38.6k
11
votes
1
answer
579
views
Are projective modules over a certain localised Laurent polynomial ring free?
Let $R=\mathbb{Z}[t^{\pm 1}]$ be the ring of Laurent polynomials, and let $S \subset R$ be the multiplicative subset generated by the polynomial $t-1$. I am interested in the ring $S^{-1}R=\mathbb{Z}[...
- 6,262
12
votes
0
answers
321
views
Combinatorial proof of invertibility of a symmetric matrix associated to the ring of matrices over a finite field
Let $F$ be a finite field of $q$ elements with characteristic $p$. Let $M_n(F)$ be the ring of $n\times n$ matrices over $F$. We define a $q^{n^2}\times q^{n^2}$ symmetric matrix $L$ over the ...
- 38.6k
31
votes
1
answer
2k
views
Are Conway's omnific integers the Grothendieck group of the ordinals under commutative addition?
This is a question in two parts.
Say that $\mathbf{On}$ is the proper class of all ordinal numbers in ZFC. We can define a binary operator over $\mathbf{On}$ which corresponds to the commutative ...
- 53.3k
3
votes
1
answer
282
views
Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface
Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...
- 1,823
12
votes
2
answers
449
views
When are MCM ideals principal?
Suppose $(R,\mathfrak m, k)$ is a $d$-dimensional Cohen-Macaulay local ring with canonical module $\omega_R$ and $d>1$. Suppose $I\subset R$ is an ideal which is MCM (=maximal Cohen-Macaulay, i.e.,...
- 30.6k
6
votes
0
answers
114
views
Hilbert series of special linear sections of Grassmannian $Gr(2,n)$
Consider the Grassmannian $\operatorname{Gr}(2,n)$. I want to know Hilbert series of $H_1 \cap H_2 \dots \cap H_m \cap \operatorname{Gr}(2,n)$ in the Plücker embedding of $\operatorname{Gr}(2,n)$, ...
- 63.9k
2
votes
0
answers
166
views
Do Poincaré duality algebras need to be defined over a field?
I asked the below question here on MSE, but after some time and a bounty offering I have not received an answer.
A graded commutative, connected $\mathbb{k}$-algebra $A$ is called a Poincaré duality ...
- 208
2
votes
0
answers
188
views
Is there any precedent in mathematics where closed-form relations between trigonometric and inverse trigonometric functions arise?
This question is connected to my current research where unexpectedly there arise connections between trigonometric/hyperbolic functions and their inverses.
In short, if we introduce some element $\...
- 4,713
2
votes
0
answers
274
views
Algebraic analog of a geometric result
There is a famous topological result:
Let $X$ be a smooth manifold of dimension $n$, $E$ be a vector bundle of rank $k > n$, then $E$ contains a trivial line bundle.
So, I guess that (...
- 171
5
votes
2
answers
434
views
Do there exist general conditions for cyclicity of unit groups of quotient rings (generalizations of the primitive root theorem)?
Let $R$ by a commutative ring with $1$, and $I \subset R$ a non-zero integral ideal in $R$. When $R$ has finite quotients, and $I = P$ is prime in $R$, the group of units $(R/P)^{\times}$ of the ...
CommunityBot
- 1
7
votes
1
answer
430
views
Correspondence between persistence module and graded module over $R[t]$
In the paper "Computing Persistent Homology" by Zomorodian and Carlsson, it is stated as Theorem 3.1 that:
The correspondence $\alpha$ defines an equivalence of categories between the category of ...
- 63.9k
1
vote
1
answer
379
views
Splitting of short exact sequence in the category of finitely generated modules over a commutative Noetherian ring
In the category of finitely generated modules over a commutative Noetherian ring, the splitting of a short exact sequence can be checked locally at the maximal ideals of the ring. One reference for ...
- 2,928
5
votes
0
answers
247
views
Constructing non-trivial epimorphisms from commutative rings
As the title suggests, I wonder if anyone can share some techniques or references for constructing interesting epimorphisms from generic commutative rings. Generic is largely open to interpretation, ...
- 938
2
votes
1
answer
93
views
Extension of Dedekind domains and their codifferent
Let $A\subset B$ be a finite extension of Dedekind domains. Let $0\neq b\in B$ and $0\neq a\in A$ such that $(a)=(b)\cap A$. In particular, we have $a=b\cdot c$ for some $c\in B$. Now for any $A$-...
- 6,262
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}_{...
1
vote
1
answer
161
views
Geometric meaning of colocalization of modules?
Let $A$ be a commutative ring and $S\subset A$ a subset. A localization of $A$ at $S$ is defined as a ring morphsim $A\to A[S^{-1}]$ which is initial with respect to inverting $S$. Similarly, a ...
- 30.3k
3
votes
1
answer
203
views
Centralizer of a single element in the monoid of self-maps of a set
This is a follow-up to this question: 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?
Let $X$ be a set, and $X^...
- 328
5
votes
1
answer
280
views
What Stanley-Reisner rings are $\mathbb{Q}$-Gorenstein?
Let $\Delta$ be a simplicial complex and let $R$ be the associated Stanley-Reisner ring. We can characterize when $R$ is Cohen-Macaulay or when $R$ is Gorenstein in terms of the topology of $\Delta$ (...
- 30.6k
4
votes
1
answer
468
views
Relationship between the notions of "excellent ring" and "universally catenary Nagata ring"
Every excellent ring is both universally catenary and Nagata. How "close" is a universally catenary Nagata ring to being excellent?
Context: I have not worked very much with the notions described ...
- 2,821
5
votes
1
answer
190
views
Adjunctions capturing duality between ideals and saturated monoids in a commutative ring?
Let $R$ be a commutative ring. A saturated monoid in $R$ is a multiplicative submonoid $S\subset R$ which is closed under divisors, i.e $xy\in S\implies x\in S$. This is the converse of the analogous ...
- 10.5k
2
votes
0
answers
46
views
intersection of left and right orthogonals of a module
$\DeclareMathOperator\Ext{Ext}$Let $(R, m)$ be a commutative Noetherian Gorenstein local ring and let $M$ be an $R$-module. Let
${^\perp M}$ and $M^\perp$ be respectively the left and the right ...
- 12.9k
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
16
votes
1
answer
1k
views
What is a module over a Boolean ring?
Recall that a (unital) Boolean ring is a (unital) commutative ring $A$ where every element is idempotent; it follows that $A$ is of characteristic 2. There is an equivalence of categories between ...
- 64k
13
votes
3
answers
8k
views
$fgf = f$, $gfg = g$, $fg$ not necessarily identity, what is this called?
A very simple question, I just totally forgot how it was called, and Google is not helping.
There's a pair of functions $f:X\to Y$, $g:Y\to X$.
$fgf = f$, $gfg = g$, but $fg$ and $gf$ don't need to ...
- 63.9k
4
votes
2
answers
365
views
General linear inverse monoid
Let $V$ be a finite dimensional vector space over some field (say, $\mathbb C$). Consider the set $\operatorname{GLI}(V)$ of all linear isomorphisms between subspaces of $V$. This is a monoid under ...
- 63.9k
0
votes
1
answer
454
views
Conjugacy in the quaternion group
Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...
- 3,009
2
votes
0
answers
231
views
Necessary condition to extend a morphism of schemes
Consider two schemes $X,Y$ over a locally noetherian scheme $S$. Let $p \in X$ and assume that $X$ is irreducible and not affine spectrum of a semilocal ring.
We assume moreover we have a morphism $...
- 5,429
5
votes
1
answer
339
views
Can completely multiplicative functions be extended to $\overline{\mathbb{Q}}$ or further?
I'm looking for a subject of study that handles the following question. I'm not the most familiar with algebra; I have a strong working knowledge and that's about it, but I've been considering ...
- 348
2
votes
1
answer
511
views
Structure theorem for non-Noetherian local rings
Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings?
I am adding what I am looking for as someone asked in the comment.
If $R$ is a local domain (not ...
3
votes
1
answer
282
views
Separable extensions & topology vs inseparable extensions and algebra
In the note Properties of fibers and applications, Osserman writes above Definition 1.5:
Intuitively, the point is that phenomena relating to topology
can only change under separable extensions, ...
- 7,962