All Questions
73 questions
2
votes
0
answers
124
views
Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?
Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex:
$0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
- 21
0
votes
0
answers
168
views
Theorems related to Chevalley's theorem
Recently I have read Chevalley's theorem of a complete local ring which basically says that if $(R,\mathfrak{m})$ is a complete local ring and if $\{b_n\}$ be a sequence of ideals such that $b_n \...
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
1
vote
1
answer
609
views
The Krull dimension of the tensor product of rings
The Krull dimension of a ring $R$ is defined as the length of the longest chain of prime ideals in it. Let $R_i$, for $i\in\mathbb{N}$ denote a sequence of commutative Noetherian rings of Krull ...
- 35
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
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
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 ...
0
votes
0
answers
132
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....
- 839
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
4
votes
1
answer
357
views
Surjectivity of natural map of rings
$\DeclareMathOperator\Hom{Hom}$Let $A$ be an integral domain and $P$ be a prime ideal in $A$. We denote $B=A/P$ then is the following natural map
$$\Hom_A(P,A)\otimes_A B\to \Hom_A(P,B)$$ surjective?
...
- 585
5
votes
1
answer
317
views
Localization of a ring and the Hom functor
Let $R=\mathbb{Z}[x,x^{-1}]$ be the ring of Laurent polynomials in $x$, $\mathfrak{p}=(1-x)$ be an ideal in $R$ and $R_\mathfrak{p}$ be the localization. I want to know what $\text{Hom}_R(R_\mathfrak{...
user340793
2
votes
2
answers
417
views
Transition maps in trivial direct limit
If $\{X_i, i\in I\}$ is a directed system of abelian groups such that we have
$$\varinjlim_{i\in I}X_i = 0$$
is it true that for every $i$ and large enough $j\ge i$ the transition map $f_{i,j} : X_i\...
user290895
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 ...
- 183
3
votes
1
answer
260
views
K-projectivity for rings of finite homological dimension
Let $R$ be a Noetherian commutative ring. A complex of $R$-modules $P^{\bullet}$ is K-projective if for any acyclic complex $A^{\bullet}$, the complex of abelian groups $ Hom(P^{\bullet}, A^{\bullet})$...
- 959
2
votes
0
answers
173
views
de Rham cohomology of a specific ring
I'm running into a certain algebraic de Rham cohomology computation I could use some help with. Specifically, what is the algebraic de Rham cohomology of:
$$
\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n,(r^...
- 1,077
2
votes
1
answer
231
views
Lifting of flat lci maps
Suppose $R$ is a Noetherian ring and $I$ a nontrivial ideal of $R$, and $A_0\to B_0$ a finite faithfully flat lci map of smooth $R_0 := R/I$-algebras.
We fix a smooth $R$-algebra $A$ lifting $A_0$ and ...
user315884
3
votes
1
answer
509
views
Quotients of Gorenstein rings
Let $R$ be a reduced Noetherian ring. Assume $R$ is quasi-excellent and Cohen-Macaulay.
Is $R$ the quotient of a Gorenstein ring?
If the answer is yes, then $R$ has a dualizing complex. The question ...
user322153
5
votes
1
answer
408
views
On universally closed morphisms of reduced schemes
In this question I'd like to examine some properties of universally closed morphisms.
The question is self-contained. It can also be seen as a follow-up to this question.
Let $R$ be a discrete ...
user315884
4
votes
1
answer
327
views
Detecting closed immersions on fibers
Let $R$ be a dvr and $f : X\to S$ a universally closed morphism of $R$-schemes.
Assume $X$ and $S$ are $R$-flat and universally closed.
If the special fiber of $X\to S$ is a closed immersion, is $X\...
user315884
2
votes
2
answers
961
views
Characterization of projective modules in terms of Ext groups
This is from Hartshrone exercise 6.6 part (a).
Let $A$ be a regular local ring and $M$ be a finitely generated $A$-module, prove the following
$M$ is projective $\iff$ $\operatorname{Ext}^{i}(M,A)=\{...
- 395
3
votes
0
answers
271
views
Explanation for devissage argument
Let $K$ be a local field of characteristic $0$ with the ring of integers $\mathcal{O}_K$ and uniformizer $\pi$. Let $k$ be the residue field of $K$ with $\text{card}(k)=q$. Let $\mathcal{O}_\mathcal{E}...
- 101
3
votes
0
answers
204
views
Yoneda extension and splittings
Let $X$ be a non-singular algebraic variety and $F$ be a coherent sheaf defined over $X$. Suppose that we have a locally free resolution
$$0 \to L_n \xrightarrow{f_n} L_{n-1} \to ... \to L_0 \to F \to ...
- 2,126
6
votes
1
answer
395
views
Tor functor and invertible elements
Let $A$ be a commutative ring, $a \subset A$ be an ideal. For $A$-module $M$ let $S \subset A$ be the set of elements, which are invertible in $M$, so $M$ is actually a $S^{-1}A$-module. It is not ...
- 332
2
votes
0
answers
833
views
Applications of Jordan-Holder theorem in an abelian category
The Jordan-Holder theorem says that any chain of subobjects of a finite length object can be refined to a composition series, and that any composition series has the same length.
This theorem holds ...
- 129
4
votes
1
answer
244
views
Boundness of torsion in $R^i\pi_*\mathcal F$ for a smooth $\pi:X\rightarrow S$
Let $\pi:X\rightarrow S$ be a smooth scheme over $S$ and let's assume for simplicity that $S=\mathrm{Spec} R$ is affine, Noetherian and regular. Let $\mathcal F$ be a coherent sheaf on $X$ and let's ...
- 790
14
votes
0
answers
1k
views
Is there a slick proof of the fundamental theorem of dimension theory?
The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
- 1,514
3
votes
0
answers
240
views
Smallest non-vanishing index of Local-Cohomology and Ext functor, as in the definition of depth, for not necessarily affine schemes
Let $(Z,\mathcal O_Z)$ be a closed subscheme of a Noetherian scheme $(X,\mathcal O_X)$. Then there is an ideal sheaf $\mathcal J$ on $X$ such that $i_*(\mathcal O_Z) \cong \mathcal O_X/\mathcal J$ , ...
- 642
31
votes
0
answers
1k
views
On the definition of regular (non-noetherian, commutative) rings
All rings are commutative with unit. A ring $R$ is called regular if it satisfies
(Reg) Every finitely generated ideal of $R$ has finite projective dimension.
Clearly this gives the usual ...
- 19.6k
8
votes
1
answer
979
views
Koszul-Tate Resolution for Subvarieties of $\mathbb P^n$
All varieties appearing below are assumed smooth projective over $\mathbb C$ and all vector bundles, sections etc are assumed to be algebraic/holomorphic. We use the word resolution to mean quasi-...
- 1,761
3
votes
1
answer
238
views
commutative ring satisfying descending chain condition on radical ideals
Let $R$ be a commutative ring with unity which satisfies d.c.c. on radical ideals. then does $R$ satisfy a.c.c. on radical ideals ? If this is not true in general, then what happens if we also assume $...
- 1,209
0
votes
1
answer
269
views
Valuation ring satisfying either a.c.c. or d.c.c. on prime ideals
If a commutative ring with unity has finite Krull dimension, then it satisfies a.c.c. and d.c.c. on prime ideals. The converse is not true in general, as can be seen from here An infinite dimensional ...
- 1,209
1
vote
0
answers
140
views
On finite dimensional commutative algebras and regular sequences
Let $\mathbb{C}[u]:= \mathbb{C}[u_1,...,u_n]$ the algebra of polynomial functions on $\mathbb{C}^n$. I consider two ideals $I$, and $J$, where $I$ is the ideal generated by the polynomials vanishing ...
- 1,227
4
votes
0
answers
218
views
derived symmetric powers of an ideal
Let $R$ be the polynomial algebra in $n$ variables over a field $F$ of characteristic $0$. Let $m$ be the ideal of the origin: $m=(x_1,...,x_n)$.
We have a canonical map $Lsym^k(m)\to m^k$ from the ...
- 4,189
1
vote
0
answers
74
views
On some finiteness properties of cohomological algebras of complex tori
Denote by $A := \mathbb{C}[u,u^{-1}]$, $u = (u_1,...,u_n)$, the algebra of polynomial functions on the complex torus $(\mathbb{C} \setminus \{ 0 \})^n$, which we consider as a $\mathbb{C}[u]$-module.
...
- 1,227
15
votes
0
answers
720
views
If a polynomial ring is a finite flat module over some subring, is that subring itself a polynomial ring?
A question motivated by If a polynomial ring is a free module over some subring, is that subring itself a polynomial ring? and If a polynomial ring is finite free over a subring, is the subring ...
- 6,622
3
votes
1
answer
247
views
Support of cohomology of a dualizing complex
Let $A$ be a commutative noetherian local ring, and let $D$ be a dualizing complex over $A$. Let $i$ be the minimal integer such that $H^i(D) \ne 0$ (I am assuming cohomological grading, so the ...
- 33
4
votes
1
answer
694
views
Proper mapping theorem
Let $Z\to X$ be a closed immersion of schemes. Assume $\mathcal{O}_Z$ and $\mathcal{O}_X$ both are coherent sheaves of $\mathcal{O}_Z$, resp. $\mathcal{O}_X$-modules.
In particular, the coherent ...
user120812
2
votes
0
answers
325
views
A question on direct limits of rings, and descent of ideals
Motivated by an étale cohomology calculation I am going to do, here is a question that should have positive and not too hard answer.
Let $A$ be a ring, $A_0$ a ring such that $A_0$ is equipped with ...
user92332
3
votes
0
answers
175
views
Geometric interpretation of homological quantities in Artinian local Gorenstein algebras
By corollary 3.5. of http://www.ams.org/journals/tran/2012-364-09/S0002-9947-2012-05430-4/S0002-9947-2012-05430-4.pdf the classification of local artinian Gorenstein algebras (all algebras here are ...
- 26.5k
3
votes
1
answer
243
views
Few commutative algebra questions
A few commutative algebra questions for which I have no reference
For $P$ = "catenarian", "coherent", " Jacobson":
1- is an arbitrary product of rings satisfying $P$, a ring satisfying $P$?
2- if a ...
user95222
10
votes
2
answers
1k
views
periodic cyclic homology and tilting in the sense of Scholze
Suppose $R$ is a perfectoid ring in mixed characteristic, and $R'$ its characteristic-$p$ tilt. Scholze's results on tilting say that the étale theories over $R$ and $R'$ are equivalent in an almost ...
- 7,952
1
vote
0
answers
113
views
Reference request. The adjunction $\hom_{CDGA}(\Omega^\bullet(A),B^\bullet)\cong\hom_{CA}(A,B^0)$
We have the adjunction
$$\hom_{CDGA}(\Omega^\bullet(A),B^\bullet)\cong\hom_{CA}(A,B^0)$$
where $CDGA$ is the category of commutative diffferential graded algebras and $CA$ is the category of ...
- 1,615
7
votes
2
answers
2k
views
Local property of split exact sequence
In the module category of a ring $A$, is a short exact sequence split if and only if the localization of this sequence is split for every prime ideal?
Thanks!
- 496
4
votes
0
answers
74
views
self-cogenerator rings
Let $\mathbb{U}$ be a non-empty set (class) of objects of a
category $C$. An object $B$ in $C$ is said to be cogenerated by
$\mathbb{U}$ or $\mathbb{U}$-cogenerated if, for every pair of
distinct ...
- 41
5
votes
2
answers
387
views
The flat support of a module
Let $R$ be a Noetherian commutative ring and $M$ a finitely generated $R$-module.
What is known about the following subset of $ \mathrm {Spec}(R)$:
$$\mathrm{supp}_{fl}(M)=\{P\in \mathrm {Spec}...
- 1,418
2
votes
0
answers
868
views
depth of ideal in polynomial ring
Let $R$ be a Noetherian local ring. Then the "depth" of an ideal $I$ measures the maximal length of regular sequence inside $I$. And $depth (R/I)$ measures the maximal length of regular sequence in ...
- 183
8
votes
1
answer
1k
views
Is the sheaf of smooth functions flat?
Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?
- 338
1
vote
0
answers
135
views
Relation of primary decomposition of two ideals
I have a simple question: Let $R=\mathbb{C} \lbrace t,u \rbrace$ be the ring of formal series in two variables. Let $I,J \subset R$ ideals of heigth one, and $I \subset J$. What is the relation of the ...
5
votes
1
answer
649
views
How to compute this $\mathrm{Ext}^1$?
Let $A$ be a regular local $\mathbb{C}$-algebra of dimension $2$, such as the localization of $\mathbb{C}[x,y]$ at $(x,y)$, and let $\nu=(\nu_1\geq\nu_2\geq\cdots\geq\nu_{\ell}\geq0)$, $\mu=(\mu_1\geq\...
- 23.3k