Questions tagged [ac.commutative-algebra]

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

Filter by
Sorted by
Tagged with
1 vote
0 answers
24 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{...
  • 483
1 vote
1 answer
107 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 $...
  • 533
2 votes
0 answers
61 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
1 vote
1 answer
95 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 ...
  • 973
1 vote
0 answers
65 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}...
  • 137
4 votes
1 answer
125 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\...
0 votes
1 answer
166 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)=\...
0 votes
0 answers
48 views

Definition of presheaf, given in Basic Algebraic geomerty 2 Shafarevich [migrated]

I was reading Basic Alegbraic geomerty 2 by Shafarevich, In the definition of presheaf, $\mathscr F(\emptyset)=1$ To illustrate this definition they have given an following example: suppose first ...
3 votes
0 answers
134 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,448
1 vote
0 answers
49 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 ...
  • 483
3 votes
1 answer
89 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 ...
2 votes
0 answers
63 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 ...
  • 233
0 votes
0 answers
85 views

Rings of weak dimension ≤ 1 vs. semihereditary rings?

Rings in this question are assumed to be commutative. I am asking "natural" examples of rings of weak dimension $\le1$ which are not semihereditary. It would be better if there are integral ...
  • 1,299
18 votes
1 answer
447 views

Grothendieck group of the Fibonacci monoid

Let's denote the Fibonacci numbers by $F_0=0,F_1=1,F_{n+2}=F_{n+1}+F_n \; \forall n \ge 0$. According to Zeckendorf's theorem, every positive integer can be represented uniquely as the sum of some (at ...
  • 902
5 votes
0 answers
432 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 ...
3 votes
0 answers
148 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 ...
user avatar
0 votes
0 answers
45 views

A smooth algebra over a $K_i$-regular ring is $K_i$-regular?

Let $A$ be a smooth algebra over a commutative ring $R$. If we assume that $R$ is $K_i$-regular for any $i\geq 0$, then $A$ is also $K_i$-regular?
  • 91
1 vote
1 answer
196 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, ...
0 votes
2 answers
297 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 $...
  • 2,284
6 votes
1 answer
424 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 ...
0 votes
0 answers
40 views

Homomorphism group of the additive group of rational numbers $\mathbb{Q}$ into quasi-cyclic group $\mathbb{Z}(p^\infty)$ [duplicate]

I read somewhere that the group of homomorphisms from the additive group of rational numbers $\mathbb{Q}$ into the quasi-cyclic group $\mathbb{Z}(p^\infty)$ is isomorphic to the additive group of ...
  • 1
3 votes
1 answer
332 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 $...
  • 300
6 votes
0 answers
137 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 ...
  • 273
1 vote
0 answers
242 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 ...
  • 437
1 vote
2 answers
294 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 ...
3 votes
1 answer
212 views

Why is Fontaine's infinitesimal period ring $A_{\text{inf}}$ complete?

Fix a perfectoid field $K$ in mixed characteristic with ring of integers $\mathcal{O}$ and pseudo-uniformizer $\varpi$. Its tilt is the fraction field of $\mathcal{O}^{\flat}=\varprojlim_{x\mapsto x^{...
4 votes
0 answers
221 views

Are smooth irreducible affine varieties set theoretical complete intersection?

I'm trying to prove a lemma, so I wanted to use the next claim (which I do not know if it is true or if there is a counter example): every smooth irreducible affine variety is set theoretical complete ...
2 votes
1 answer
258 views

Example showing that $\mathbb{P}^1$ does not preserve monics

Is there an injective homomorphism of commutative rings $A \to B$ such that the induced map $\mathbb{P}^1(A) \to \mathbb{P}^1(B)$ is not injective? Here, $\mathbb{P}^1(A) = \mathrm{Hom}(\mathrm{Spec}(...
6 votes
0 answers
196 views

Is there a relevant universal property for Fitting ideals?

Let $S$ be a scheme and $\mathscr F$ a quasi-coherent sheaf on $S$, locally finitely presented. Set $S_{-1}=S$ and for all $n\geqslant 0$, let $S_n$ be the closed subscheme of $S$ defined by the $n$-...
3 votes
1 answer
235 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 ...
2 votes
0 answers
70 views

How to decompose a matrix over a ring $F[X_1,\ldots,X_k]$ as a product of two matrices

Let $F$ be a field. Assume any reasonable conditions if needed, such as $F=\mathbb R$, $F=\mathbb C$, $F$ is a finite field, or $F$ has a specific characteristic, etc. Let $C$ be an $n\times1$ matrix ...
  • 121
7 votes
2 answers
653 views

Classfication of vector bundles on projective line over a local ring

Let $R$ be a local ring. Let $\mathbb{P}^1_R=\rm{Proj}~R[x_0, x_1]$ be the Projective line over $R$. Is there a classification of vector bundles of rank $n$ on $\mathbb{P}^1_R$ in terms of splitting ...
6 votes
0 answers
113 views

Rings with epimorphism from a finitely generated ring

For a commutative ring with unit $R$ let's say it has property $(*)$ if there is an epimorphism in the category of rings ${\mathbb Z}[X_1,\dots,X_n]\to R$, where the former is the polynomial ring in $...
  • 630
2 votes
1 answer
119 views

Adjacent reducible polynomials

Let $P[X_1, X_2, \ldots, X_N]$ be a reducible polynomial in $\mathbb{Z}[X_1, X_2, \ldots, X_N]$ such that $P[X_1, X_2, \ldots, X_N] + 1$ is also reducible. What (if anything) can we say about $P$? One ...
  • 1,673
0 votes
0 answers
131 views

completion and tensor product

Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers? If $A$ is noetherian, it is clear because one has for $k$ a residue ...
  • 3,223
0 votes
0 answers
97 views

Example of a periodic free resolution over a hypersurface

I'm reading "HOMOLOGICAL ALGEBRA ON A COMPLETE INTERSECTION, WITH AN APPLICATION TO GROUP REPRESENTATIONS" by David Eisenbud I'm wondering what would be a nice example illustrating Theorem 6....
  • 533
2 votes
0 answers
41 views

Derivation of positively graded domain

We know that if $f\in k[X_1,{...},X_n]$ is quasi-homogeneous polynomial and $R :=k[X_1,{...},X_n]/(f)$, then any minimal generating set of $\operatorname{Der}_k(R)$ contains the Euler derivation. Is ...
5 votes
0 answers
186 views

Cyclic homology can be recovered from topological cyclic homology?

Let $R$ be a commutative ring, $S$ a $R$-algebra of finite type. By an equivalence of ring spectra $$ \operatorname{HH}(S/R) \simeq \operatorname{THH}(S)\otimes_{\operatorname{THH}(R)} HR, $$ ...
  • 107
0 votes
0 answers
45 views

Let $g$ be regular in $A$, when do we have $(gx_i-f_i)_{A[\underline{x}]}=A[\underline{x}]\cap (gx_i-f_i)_{A_g[\underline{x}]}$

Also asked in stackexchange. Let $A$ be a commutative unital ring. Let $g$ be a regular element of $A$. Let $A_g$ be the localization of $A$ at the set $\{g^n:n\geq 0\}$, then we have an injection $A\...
  • 299
3 votes
0 answers
129 views

Frobenius and mixed characteristic valuation rings

Let $R$ be an $\mathbf{F}_p$-algebra. Kunz's theorem says that if $R$ is Noetherian, then the Frobenius of $R$ is flat iff $R$ is regular. Following the philosophy that valuation rings often behave ...
  • 5,318
1 vote
2 answers
179 views

When an element of a ring that is divisible by a finite set of elements is necessarily divisible by their product?

In a commutative ring $R$, when does the assumption $r_i\mid r$ for $1\le i\le n$ imply $\prod_{1\le i\le n} r_i\mid r$ (when $r_i$ are fixed)? Does there exist any criterion for this implication that ...
3 votes
0 answers
80 views

Quantum version of Kostant's basis of ℤ-form of U(𝔤)

Kostant showed that the subring of $\mathcal U(\mathfrak{sl}_2)$ generated by the divided powers $e^c/c!$ and $f^a/a!$ has a $\mathbb Z$-basis given by the elements $\frac{f^a}{a!}\binom hb \frac{e^c}{...
  • 61
5 votes
0 answers
95 views

A profinite group such that any deformation has finite image

Let $p$ be a fixed prime and $n\geq 2$ a fixed integer. Suppose that $ G $ is a profinite group such that any continuous homomorphism $ \rho:G\to {\rm GL}_{n}(F) $ has finite image for all non-...
  • 533
0 votes
0 answers
53 views

Testing whether a finite dimensional algebra is a complete intersection with QPA

Let $A$ be a local commutative finite dimensional $K$-algebra for a field $K$. We can thus assume that $A$ is given by quiver and admissible relations $KQ/I$. It is easy to check when $A$ is ...
  • 22.9k
4 votes
1 answer
180 views

For a local complete intersection ring $(R,\mathfrak m)$ with $\mathfrak m^3=0\ne \mathfrak m^2$, $\mathfrak m$ can be generated by two elements

Let $(R,\mathfrak m,k)$ be a local complete intersection ring with $\mathfrak m^3=0\ne \mathfrak m^2$. As $0\ne \mathfrak m^2 \subseteq \text{soc}(R)$ and $R$ is Gorenstein, so we get $\mathfrak m^2 =\...
  • 63
7 votes
1 answer
317 views

Has anyone attempted to generalize the notion of a higher differential of $ A $ and the sheaf of differentials $ \Omega_{A/k} $?

Over a field $ k $ of characteristic zero, actions of $ \widehat{\mathbb{G}_{a}} $ on a variety $ \operatorname{Spec}(A) $ are obtained from $ A $-derivations $ \delta $ of $ A $ over $ k $ via the co-...
  • 483
0 votes
0 answers
64 views

f.g. module $M$ over a complete local CM ring of dimension 1 such that $M, \text{Hom}_R(M,M), \text{Ext}^1_R(M,M)$ have finite injective dimension

Let $(R,\mathfrak m)$ be a local, $\mathfrak m$-adically complete, Cohen-Macaulay ring of dimension $1$. Assume that there exists a finitely generated $R$-module $M$ of depth $0$ such that $M$, $\text{...
  • 63
12 votes
1 answer
301 views

Are algebras of smooth functions formally smooth?

Let $M$ be a manifold. Then is the ring of smooth functions $C^\infty(M,\mathbb{R})$ formally smooth over $\mathbb{R}$? If it helps, feel free to assume that $M$ is compact. (This is not a joke ...
  • 4,563
0 votes
1 answer
87 views

On $\text{depth}_S\left(\dfrac {S}{JS+xS}\right)$, when $\text{depth}_R(R/J)=0$, and $R\to S$ is a certain flat map of local rings

Let $(R, \mathfrak m) \xrightarrow{\phi} (S,\mathfrak n) $ be a flat homomorphism of local rings such that $\mathfrak n=\mathfrak m S +xS$ for some $x\in \mathfrak n \setminus \mathfrak n^2$. Let $J$ ...
  • 63
2 votes
0 answers
141 views

Commutative local rings which satisfy Krull-Remak-Schmidt

Question 1: Can the class of local (always noetherian and commutative) rings be classified for which the Krull-Remak-Schmidt theorem (KRS) holds for finitely generated modules? They contain for ...
  • 22.9k

1
2 3 4 5
100