Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,495 questions
0
votes
0
answers
172
views
When does this commutative non-associative algebra have nilpotent elements?
Consider a non-associative commutative unital algebra of finite dimension where the product is defined by a Cayley table such that elements are generated with real number coefficients
$(a_0, \dotsc, ...
- 763
1
vote
0
answers
162
views
Difficulty understanding a step in the proof of multiset version of Cauchy-Davenport Theorem
In a paper "G. Kós, L. Rónyai, Alon’s Nullstellensatz for multisets, Combinatorica, 32(5) (2012) 589-605", the authors prove a multiset version of the Cauchy-Davenport Theorem (please see ...
- 167
3
votes
3
answers
1k
views
Formal power series vs localization at non-constant polynomials
Let $A$ be a commutative ring.
On one hand we have the completion $ A[\![ x ]\!]$, given by the ring of formal power series. Elements are of the form $\sum_k a_kx^k$. The Jacobson radical of $ A[\
- 44.7k
3
votes
1
answer
284
views
Is this functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$ a sheaf?
Consider the functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$, defined by sending a scheme $X$ with coordinate ring $\mathcal{O}(X)$ to the set of orbits $B(\mathcal{O}(X))\...
- 156k
1
vote
0
answers
159
views
Cohomology of modular curve
(A follow-up on this). Consider the modular curve $X_0(N)$. I'm trying to make the jump from understanding the cohomology $H^1(X_0(N), \mathbb{Z})$ to understanding $H^1(X_0(N), \mathcal{O})_\mathfrak{...
- 223
2
votes
0
answers
232
views
Context for Wiles defect criterion and patching
This is not a homework or a project question, just me trying to get acquainted to the subject: I am an MSc student who recently came across the Wiles defect numerical criterion (see, for example, ...
- 223
6
votes
1
answer
288
views
What is the right level of generality for $(R/a) \times (R/b) \cong (R/\gcd(a,b)) \times (R/\operatorname{lcm}(a,b))$?
Let $R$ be a principal ideal domain. Let $a$ and $b$ be two elements of $R$. Let $g$ be a greatest common divisor of $a$ and $b$, and let $\ell$ be a least common multiple of $a$ and $b$. (Of course, ...
- 28.7k
2
votes
0
answers
108
views
Deformation to normal cone of the exception divisor of a log-resolution
I am reading the paper Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink due to G. Guibert, F. Loeser, and M. Merle. The main tool, like a lot of papers in ...
- 883
2
votes
1
answer
640
views
How to show that the intersection of two certain affine varieties is reduced?
$\DeclareMathOperator\codim{codim}$Let $X=V(I)$, $Y=V(J)$ be two affine varieties. I'd like to know possibile strategies to understand when their schematic intersection, i.e. $X\cap Y=V(I+J)$, is ...
- 12.9k
1
vote
0
answers
116
views
Inclusion between rings after localization
Let $\phi:A \to B $ an injective finite ring map between two noetherian integral domains $A,B$. Let $ C \subset B$ a subring of $B$ and assume that there exist a prime ideal $\mathfrak{p} \subset A$ , ...
- 6,038
4
votes
1
answer
947
views
Tensor product and homomorphism
Let $A$ be a commutative ring, and $M$ be an $A$-module, and $M^*$ be $\mathrm{Hom}_A(M,A)$. Let $f$ be the map from $M \otimes_A M^*$ to $\mathrm{Hom}_A(M,M)$, such that, for all $x=\sum_i a_i \...
- 63.1k
8
votes
2
answers
2k
views
Is being reduced a generic property of schemes?
(Naive formulation:) Let $X$ be an (irreducible) affine variety (over an algebraically closed field $k$) and $I$ be an ideal of the coordinate ring $R$ of $X$. Assume $Y = V(I)$ is equidimensional. ...
- 42.9k
5
votes
3
answers
508
views
Absolute integral closure of local UFD
Let $R$ be a Nagata Noetherian local UFD, and $K$ be its fraction field. I wonder if its absolute integral closure $R^+$, which is the integral closure of $R$ in $K^\text{sep}$, is flat over $R$. Let $...
1
vote
1
answer
120
views
How to compute the associated reduced ring for this finitely generated algebra?
Let $k$ be a field, $m$ be a positive integer and $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,y]$. Let $B$ be the quotient ring $R/xR$. Then $B$ is the finitely generated $k$-...
- 6,262
1
vote
0
answers
132
views
A question concerning cancellation of ideals
I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
- 11
1
vote
2
answers
301
views
Completions of non-Noetherian rings with respect to finitely generated ideal
All the standard counterexamples to flatness that I have seen involve completions with respect to non-finitely generated ideals.
I am interested in the following two cases:
Let $A$ be a local ring ...
- 38k
1
vote
1
answer
133
views
Whether equality of two sections of an integral affine scheme can be check fiberwise?
If $X\rightarrow S$ is a morphism between two integral affine schemes, and $a,b\in X(S)$ are two sections. Assume that $a$ and $b$ agree after base change to each geometric point of $S$, are they the ...
- 2,665
2
votes
1
answer
288
views
When a sum of the ideals is radical
Let $X,Y$ be algebraic subsets of $\mathbb A^n.$ I would like to show that if $X$ and $Y$ intersect "transversely" then $I(X)+I(Y)$ is radical (so $I(X\cap Y)=I(X)+I(Y)$).
How to prove it?
&...
- 6,237
0
votes
1
answer
88
views
Proving finite presentation [closed]
Let $R$ be an integral domain, $S$ be a finitely presented $R$ algebra. Then for a flat $R$ module $M$ which is also a finitely generated $S$ module I need to show that $M \otimes_{R}T$ is a fintely ...
- 56
1
vote
0
answers
111
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
- 494
3
votes
1
answer
193
views
Characters of algebra of Schwartz functions
Consider the (non-unital) $\mathbb{C}$-algebra (point-wise multiplication) of $\mathcal{S}$ of Schwartz functions on $\mathbb{R}$.
Question: Does there exist some character (non-zero multiplicative ...
CommunityBot
- 1
1
vote
0
answers
55
views
Blow-ups of $ F $-regular varieties at points in general position and finite generation of the Cox ring
A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
- 912
3
votes
1
answer
382
views
What is the name for algebras generated by elements, all of whose cubes vanish?
Given a ring $R$ with identity $1$, we can define the exterior algebra of order $k$ over $R$ to be the algebra over $R$, generated by elements $x_1, \dots, x_k$ satisfying $x_i^2 = 0$ for each index $...
- 63.1k
1
vote
1
answer
155
views
Invariant ring of the subvariety
Let $G$ be a linearly reductive algebraic group and $X$ be an affine $G$-variety over an algebraically closed field $\mathbb{K}$. Let $Y\subset X$ be a (closed) affine subvariety of $X$ which is also $...
- 12.9k
1
vote
1
answer
161
views
Spectral theorem for unital $C^{*}$-algebras
Let $A$ be a unital $C^{*}$-algebra and $a \in A$ be normal, with spectrum $\sigma(a)$. Let $B = C^{*}(a)$ be the $C^{*}$-algebra generated by $1$ and $a$, which is abelian. Let $\hat{B}$ be the space ...
- 37.8k
2
votes
0
answers
147
views
completed tensor products and filtered limit
Let's start with two inverse systems $\{A_p\}_{p \in \mathbb{Z}}$, and $\{B_p \}_{p \in \mathbb{Z}}$ of $C$ modules. Give each $A_p$, $B_p$, and $C$ discrete topology. Consider inverse limit topology ...
- 21
4
votes
1
answer
259
views
On inverse limits of $\pi$-adically complete algebras
Consider the following situation, let $\mathcal{R}$ be a discrete valuation ring with uniformizer $\pi$ (say the valuation ring of a finite extension $K$ of $\mathbb{Q}_{p}$. Let $\{ A_{n}\}_{n\in\...
- 63.9k
1
vote
1
answer
692
views
Under what conditions is an open subscheme of an affine scheme affine and what ring corresponds to it?
It is well known that an open subscheme of an affine scheme is not necessarily an affine one. But what are (if possible the most general) sufficient conditions for its affinity? And is it known how, ...
- 28.7k
15
votes
6
answers
1k
views
Conjugacy for $p$-adic matrices of finite order
$\DeclareMathOperator\GL{GL}$Say $p$ is an odd prime, and take two matrices $A,B\in \GL_n({\mathbb Z}_p)$ of finite order $m$. Is it true that they are conjugate in $\GL_n({\mathbb Z}_p)$ if and only ...
- 12.9k
5
votes
1
answer
368
views
Topological Hochschild homology of Azumaya algebra
Let $R$ be a commutative ring, let $A$ be an Azumaya algebra over $R$, does its topological Hochschild homology coincide with that of $R$? For example, let $\mathbb{H}$ be the quaternion algebra over ...
- 15.9k
4
votes
2
answers
308
views
Level of a commutative ring and its quotient field
Reading Lam's Introduction to Real Algebra, he remarks that:
For a Dedekind domain $A$ with quotient field $F$, then $s(A)$ is either $s(F)$ or $s(F) + 1$. Furthermore, $s(A)$ is either $\infty$, $2^{...
- 2,928
22
votes
3
answers
2k
views
Nice algebraic statements independent from ZF + V=L (constructibility)
Background and motivation
I've always been fascinated about algebraic statements independent from ZFC set theory. One such fascinating example comes from considering $\rm{Ext}^1_\mathbb{Z}(A,\mathbb{Z}...
- 63.9k
4
votes
2
answers
463
views
Hilbert-Kunz multiplicity of Cohen-Macaulay local domains
Is there an example of a Cohen-Macaulay local domain $R$ of characteristic $p>0$ for which the Hilbert-Kunz multiplicity $e_{HK}(R)$ is not equal to its Hilbert-Samuel multiplicity $e(R)$? If no ...
- 2,821
2
votes
0
answers
111
views
When does a local Cohen–Macaulay ring admit a non-zero finitely generated maximal Cohen–Macaulay module of finite injective dimension?
Let $(R,\mathfrak m)$ be a local Cohen–Macaulay ring. Then, it is well- nown that there exists a non-zero finitely generated $R$-module of finite injective dimension; for instance $\operatorname{Hom}...
- 12.9k
0
votes
1
answer
295
views
Depth of almost complete intersection rings
Let $R$ be a regular local ring and let $I \subset R$ be an almost complete intersection ideal, that is, $\mu(I)=\text{ht}(I)+1$ where $\mu(I)$ is the number of minimal generators of $I$ and $ht(I)=\...
- 6,262
11
votes
2
answers
1k
views
Tensor rank of anti-symmetric tensor
Let $V$ be a vector space of dimension $n$. Let us consider $V^{\otimes n}=V\otimes V \ldots \otimes V$. This vector space contains one dimentional vector space $\wedge^n V$. My question is does it ...
- 2,896
4
votes
0
answers
162
views
Definitions of torch ring
Well, I find myself in a tangled web of references, definitions and doubt. How do I get myself into these things? Get ready for a rollercoaster of definitions.
An FGC ring is a commutative ring whose ...
- 1,507
3
votes
1
answer
115
views
Analogue of Kock-Lawvere axiom for power series rings?
The Kock-Lawvere axiom for a topos $\mathcal{E}$ states that given a specified commutative ring object $R \in \mathcal{E}$, for all local Artinian $R$-algebra objects $A \in \mathcal{E}$, the morphism
...
- 1,110
1
vote
0
answers
55
views
If $ n \in \mathbb{N} $, then does the Reynolds operator of $ \mathbb{G}_{m}^{n} $ commute with the Frobenius endomorphism?
If $ n \in \mathbb{N} $, then $ \mathbb{G}_{m}^{n} $ is linearly reductive. Let $ \beta: \mathbb{G}_{m}^{n} \to \operatorname{GL}(\mathbf{V}) $ where $ \mathbf{V} $ is a vector space over an ...
- 912
2
votes
0
answers
67
views
$M^\wedge_I \to N^\wedge_I$ an isomorphism if $S_P^{-1}M^\wedge_P \to S_P^{-1}N^\wedge_P$ is an isomorphism for all primes $P$ containing $I$
Let $R$ be a Noetherian ring, $I \subseteq R$ an ideal, and $S \subseteq R$ a multiplicative set.
Lemma 2.3 of Adam, Haeberly, Jackowski, and May's paper A generalisation of the Segal conjecture ...
- 293
74
votes
3
answers
7k
views
Is there a "purely algebraic" proof of the finiteness of the class number?
The background is as follows: I have been whittling away at my commutative algebra notes (or, rather at commutative algebra itself, I suppose) recently for the occasion of a course I will be teaching ...
- 50.6k
6
votes
0
answers
629
views
On the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties"
I am trying to understand section (3) of the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties" in detail. In particular, there is the following sentence on page ...
- 507
1
vote
2
answers
333
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
- 431
3
votes
1
answer
496
views
Regular ring is smooth when the field is perfect
Take $A$ a (not necessarily local) commutative algebra over a field $k$ which is essentially of finite type (i.e. a localization of a finitely generated algebra). In simple words, I just want to know ...
- 28.7k
3
votes
0
answers
173
views
Intersection theory on schemes with Gorenstein singularities
Is there a good reference/book on Intersection theory on schemes with Gorenstein singularities? Does the construction of the intersection of cycles discussed in Fulton's book also hold for schemes ...
CommunityBot
- 1
7
votes
2
answers
917
views
Is this exact sequence known?
$\newcommand{\Tors}{{\rm Tors}}
\newcommand{\tf}{{\rm\, t.f.}}
\newcommand{\Gt}{{\Gamma\!,\,\Tors}}
\newcommand{\Gtf}{{\Gamma\!,\tf}}
\newcommand{\Q}{{\mathbb Q}}
\newcommand{\Z}{{\mathbb Z}}
\...
- 12.9k
0
votes
2
answers
389
views
Torsion of modules
Given a left module $M$ over a domain $R$, I am interested in irreducible elements $r\in R$ such that $r\cdot m=0$ for some $m\in M-\{0\}.$ I think "torsors" would be perfect name for such $...
- 42.9k
6
votes
1
answer
533
views
Construction of a symmetric polynomial in the roots that acts like the discriminant
The discriminant $\Delta(P)$ of a monic polynomial $P(x)=x^n + a_{n-1} x^{n-1} + \dotsb + a_0$ of degree $n$, when expanded (using elementary symmetric polynomials), is a symmetric polynomial of ...
- 12.9k
6
votes
0
answers
190
views
Computing the automorphism scheme of projective space
$\newcommand{\Spec}{\operatorname{Spec}}$I'm trying to understand why $PGL_{n}$ is the automorphism scheme of $\mathbb{P}^{n-1}_{\mathbb{Z}}$.
In Conrad's Reductive Group Schemes, the following ...
- 605
1
vote
0
answers
317
views
Extending automorphisms from $\mathbb{A}^1$ to $\mathbb{P}^1$ over general rings
Over an algebraically closed field any automorphism of the affine line will extend uniquely to an automorphism of the projective line. Will that still be true if we work over a general (potentially ...
- 834