The tag has no wiki summary.

learn more… | top users | synonyms

21
votes
0answers
2k views

Sums of injective modules, products of projective modules?

Under what assumptions on a noncommutative ring R does a countable direct sum of injective left R-modules necessarily have a finite injective dimension? Analogously, under what assumptions on R does ...
15
votes
0answers
258 views

Are dualizable modules finitely generated?

Let $A$ be a commutative noetherian ring, and assume that $A$ has a dualizing complex $R$. Let $D(-) := \operatorname{RHom}_A(-,R)$ be the associated dualizing functor, and let $M$ be an $A$-module. ...
15
votes
0answers
346 views

Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...
14
votes
0answers
738 views

Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split

Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$ Actually this ...
14
votes
0answers
356 views

Refinement of concept of support of a module

My rings are commutative and noetherian. The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...
13
votes
0answers
465 views

When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy. ...
12
votes
0answers
672 views

Homotopy flat DG-modules

A right DG-module $F$ over an associative DG-algebra (or DG-category) $A$ is said to be homotopy flat (h-flat for brevity) if for any acyclic left DG-module $M$ over $A$ the complex of abelian groups ...
12
votes
0answers
492 views

References for a certain generalization of Hochschild cohomology?

Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C ...
11
votes
0answers
359 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
11
votes
0answers
285 views

Bar construction vs. twisted tensor product

One may study the cohomology of a space $E$ expressed as a homotopy pullback of $X$ and $Y$ over $Z$ using either the Eilenberg-Moore spectral sequence or the Serre spectral sequence for the fibration ...
11
votes
0answers
1k views

Idea of presheaf cohomology vs. sheaf cohomology

Let $X$ be a topological space and $U$ an open cover of $X$. In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology: The zeroth Cech ...
9
votes
0answers
158 views

Is it possible to take “limits up to homotopy”?

Before I begin, an apology: it's been a while since I've done much analysis, so I might be misusing (or just missing) terminology. I have a chain complex $(V_\bullet,\partial)$ of topological vector ...
9
votes
0answers
172 views

The global dimension of fields

In the absence of the Axiom of Choice, it is not necessarily true that all vector spaces over a field have bases. What are the possible global dimensions of fields in a model of ZF in which AoC ...
9
votes
0answers
236 views

Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if (i) $R$ has finite left and right injective dimension (in which case it turns out ...
9
votes
0answers
367 views

Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules. Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...
9
votes
0answers
716 views

Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...
8
votes
0answers
203 views

(Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...
8
votes
0answers
472 views

Who proved the exactness of Amitsur's complex ?

A foundational result in Grothendieck's descent theory and in his ├ętale cohomology is the exactness of Amitsur's complex. More precisely, suppose we have an $A$-algebra $A\to B$; then there is a ...
7
votes
0answers
361 views

Grothendieck trace on local cohomology?

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol: $$Res: H^n_m(\Omega^n) \to k$$ If $k=\mathbb{C}$ and $R$ is affine space, ...
7
votes
0answers
242 views

Do the Adeles Split?

I asked this question about a week ago here http://math.stackexchange.com/questions/288955/splitting-the-exact-sequence-of-the-idele-class-group, but got no answer so I thought I'd aske here and see ...
7
votes
0answers
142 views

Depth for non-commutative rings

The depth of a ring or module is one of the most basic invariants in commutative ring theory. Q1: Is there also a powerful notion of depth for non-commutative rings ? By a search in mathscinet, I ...
7
votes
0answers
283 views

Reference/ elementary proof of a result about projective dimension in group rings

Hello- I've had to use a result that sounds like it should be well-known, but I couldn't find any references, and my proof is rather unsatisfactory. I was hoping someone here could help! The problem ...
6
votes
0answers
124 views

Coherent sheaves and Mitchell's embedding theorem

Let $S$ be a scheme. By Freyd-Mitchell's theorem the category of (quasi)coherent sheaves of $\mathcal{O}_S$-modules is equivalent to a full subcategory of the category of left $R$-modules for some ...
6
votes
0answers
63 views

Injective dimension over enveloping algebra

Let $k$ be a field, and let $A$ be a commutative noetherian $k$-algebra. If a finitely generated $A$-module $M$ has finite injective dimension over $A$, does this imply that $M\otimes_k M$ has finite ...
6
votes
0answers
120 views

Split exact categories arising naturally

If you're interested in the $K$-theory of rings, a useful feature of the exact category of finitely generated projective (or free) modules is that it is split exact, i.e. every short exact sequence is ...
6
votes
0answers
290 views

Lyndon-Hochschild-Serre spectral sequence and cup products

First here is my setup: Let $W$ be some group, and $C$ a normal subgroup of finite index, and let $W/C=G$. Now let $L$ be a a $G$-module on which $C$ acts trivially, so in particular we get on action ...
6
votes
0answers
162 views

Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...
6
votes
0answers
255 views

homotopy pullbacks of tensor product chain complexes (towards Kunneth formula in diff cohomology)

I have editted this question from the previous version which did not obtain much attention. Suppose I have two diagrams of chain complexes: $A^* \rightarrow C^* \leftarrow B^*$ $\tilde{A}^* ...
6
votes
0answers
159 views

The meaning of a “subcomplex” of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex $(\wedge^{\cdot} \mathfrak{g}^* ...
6
votes
0answers
320 views

Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...
5
votes
0answers
102 views

Vanishing of Andre-Quillen homology and injective dimension

Let $(A,m,k)$ be a commutative local ring. Assume that for all $n\ge 3$, the Andre-Quillen homology modules $H_n(A,k,k)$ vanish. Does this imply that $A$ has finite injective dimension over itself? ...
5
votes
0answers
218 views

Sign problem for the shift functor on DG modules

Let $\mathcal{A}$ be a Differential graded $k$ category, where $k$ is a commutative ring. I want to extend the shift functor $[1]$ on chain complexes to dg modules over $\mathcal{A}$. Now a right dg ...
5
votes
0answers
210 views

Extension to a right exact functor

Setup. Let $k$ be a field, $\mathcal{C}$ be a $k$-linear abelian category, $\mathcal{D}$ an arbitrary $k$-linear category. Let $\mathcal{C}'$ be a full subcategory of $\mathcal{C}$ with the following ...
5
votes
0answers
232 views

Exactness is often an open condition. How often?

Let $\mathcal C$ denote an abelian category. Consider a formal $\mathbb Z$-graded object $V_\bullet$ in $\mathcal C$, by which I simply mean a $\mathbb Z$-indexed list $n\mapsto V_n$ of objects. A ...
5
votes
0answers
186 views

Not isomorphic varieties with isomorphic tilting algebras

Let $X$ be a smooth projective variety over a field, than tilting object $T$ on $X$ is a perfect complex that is a compact generator of the derived category $\operatorname{D}(QCoh(X))$ and satisfies ...
5
votes
0answers
244 views

Fourier-Mukai bimodule

Let $X$ and $Y$ be two smooth varieties over some field, and let $E$ be a perfect complex on $X \times Y$. It looks like it is not possible to define a DG-functor $F_E : Perf(X) \to Perf(Y)$ such ...
5
votes
0answers
363 views

Alternative approaches to the universal coefficient theorem

Let $A$ be a chain complex of free $R$-modules over a PID $R$, and let's assume $A$ has finite cohomological type, by which I mean $H^\ast(A)$ is finitely generated in each dimension and $0$ for large ...
5
votes
0answers
462 views

On the multiplicative structure in spectral sequences.

Let $f\colon X \rightarrow Y$ be a continuous map of sufficiently nice topological spaces (say, smooth manifolds). Let ${\cal F}=(\dots\rightarrow F_i \rightarrow F_{i+1}\to \dots)$ be a bounded ...
5
votes
0answers
299 views

Pullbacks of Abelian Categories and their Ext-Groups

Let $\mathcal{A}$, $\mathcal{B}$ and $\mathcal{C}$ be abelian categories and $F: \mathcal{A} \to \mathcal{C}$ and $G: \mathcal{B} \to \mathcal{C}$ be functors between them. It is then possible to ...
4
votes
0answers
208 views

Cohomological dimension of the category of sheaves

Let $X$ be an $n$-dimensional manifold. Then for any sheaf $\mathcal{F}$ on $X$, the cohomology $H^i(X; \mathcal{F})$ vanishes for $i > n$. Let $k$ be a field, and let $\mathrm{Shv}_k(X)$ be the ...
4
votes
0answers
108 views

interpretation of homology of “non-commutative Koszul complex”

Let $A = Sym^*(V)$ be a polynomial ring. The Koszul complex $\cdots \to \wedge^2 V \otimes A \to V \otimes A \to A$ gives a resolution of the residue field $k$, so for any $A$-module $M$, the ...
4
votes
0answers
77 views

bialgebra cohomology

It seems that the Gerstenhaber-Schack (bi)complex of an associative bialgebra carries a homotopy e_3-algebra structure and a degree 2 Lie algebra bracket, up to homotopy. Does anyone know about a ...
4
votes
0answers
174 views

Lagrangian (classical) BRST cohomology groups

I'm trying to understand BRST complex in its Lagrangian incarnation i.e. in the form mostly closed to original Faddeev-Popov formulation. It looks like the most important part of that construction ...
4
votes
0answers
219 views

Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and $\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$ respectively. I ...
4
votes
0answers
160 views

What is known about this short exact sequence in Lie algebra cohomology?

In its most general form, I look at the following. Let $g$ be a dg Lie algebra and $Z$ be its center. The sequence $ Z \to g \to g/Z $ gives me a short exact $ 0\to C(g,Z) \to C(g,g) \to C(g,g/Z) \to ...
4
votes
0answers
158 views

Homotopy unites of a differential graded algebra

I apologize in advance if the question is too basic. Let $A$ be a differential graded algebra and $H^{0}A$ the 0-cohomology of $A$ (which is an ordinary ring) and $A^0$ is the 0-level of $ A$ . An ...
4
votes
0answers
210 views

Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...
4
votes
0answers
174 views

Computation of Ext(Z^N,Z)

What is $Ext_{\mathbb Z}^1 (\mathbb Z^{\mathbb N},\mathbb Z)$, where $\mathbb Z^{\mathbb N}$ stands for the infinite product $\prod_{n \in \mathbb N} \mathbb Z$?
4
votes
0answers
309 views

an exercise in the Rotman book

I read the following exercise in the book of Rotman: "an introduction to homological algebra" 9.21: In the situation $(_RA, _SB_R, _SC)$ with $B$ $R$-projective, use the adjoint isomorphism to obtain ...
4
votes
0answers
197 views

Formality of $A_\infty$-category vs formality of its total algebra

Let $\cal C$ be an $A_\infty$-category and $A$ its total algebra (elements in $A$ are formal linear combinations of arbitrary morphisms in $\cal C$ and multiplications of arrows which can't be ...