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 ...
17
votes
0answers
370 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). ...
15
votes
0answers
290 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. ...
14
votes
0answers
764 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
370 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
491 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
398 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 ...
12
votes
0answers
719 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
499 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
352 views

Lifting DG-categories to characteristic zero

The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...
11
votes
0answers
339 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 ...
10
votes
0answers
764 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 ...
9
votes
0answers
260 views

Homological algebra is linearized homotopical algebra?

I have stumbled across statements like Homological algebra is linearized homotopical algebra. Chain complexes are linearizations of simplicial complexes. The Dold-Kan correspondence was ...
9
votes
0answers
196 views

Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...
9
votes
0answers
161 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
178 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
268 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
378 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 ...
8
votes
0answers
318 views

Pairing of cohomology and homology Künneth formulas

Let $k$ be a field, and let $X$ and $Y$ be CW-complexes of finite type (although the question makes sense for $k$ a ring and for more general chain complexes of finitely generated free abelian ...
8
votes
0answers
152 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 ...
8
votes
0answers
209 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
476 views

Strange boundary-like map on tensor algebra: what is its kernel?

Let $k$ be a commutative ring and $L$ a $k$-module. The tensor algebra $\otimes L$ is $\mathbb{Z}$-graded and $\mathbb{Z}_2$-graded (an element of $L^{\otimes n}$ has degree $n$ and ...
8
votes
0answers
516 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
397 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
250 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
291 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

Stable, tame A-infinity isomorphism?

Linear duality provides a correspondence between differentials on free tensor algebras and A-infinity algebras. Under this correspondence, what is the A-infinity counterpart of "stable, tame ...
6
votes
0answers
166 views

Can we “complete” model categories to compute derived functors in the usual way?

Suppose we have a functor between two model categories $F\colon \mathcal{C}\to \mathcal{D}$. Suppose we don't know that it is a part of a Quillen pair. Nevertheless, it can still happen that the ...
6
votes
0answers
142 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
135 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
373 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
168 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
271 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
164 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
256 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 ...
6
votes
0answers
334 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
63 views

How can you see the minimal relations on a quiver from its bimodule resolution?

Suppose that you are given an algebra $KQ/I$, coming from a quiver Q, of finite global dimension. Suppose also that you know its minimal bimodule resolution over its enveloping algebra. Can you get a ...
5
votes
0answers
157 views

homology theory for affine and projective algebraic sets?

Given $f_1,\ldots,f_r\in K[x_1,\ldots,x_m]$, resp. homogeneous $f_1,\ldots,f_r\in K[x_0,\ldots,x_m]$, is there a chain complex built from these polynomials, such that any polynomial map $\varphi\!: ...
5
votes
0answers
120 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
273 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
196 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 ...
5
votes
0answers
221 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
238 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
199 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
376 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
498 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
315 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
140 views

When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?

Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...
4
votes
0answers
181 views

Can we obtain a derived category from an additive category? Like a category of Banach modules?

Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...