# Tagged Questions

**4**

votes

**3**answers

248 views

### Poincare duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements.
In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...

**2**

votes

**2**answers

150 views

### Standard homology result on double complexes

Suppose you have got a double complex in an abelian category with objects $(A_{rs},d_{rs})$ such that $A_{rs} = 0$ for $r < 0$ or $s < 0$. Suppose furthermore that the rows ...

**1**

vote

**0**answers

212 views

### Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas:
a) Commutative Algebra
b) Field Theory and Galois Theory
c) Homological Algebra
My question is ...

**2**

votes

**0**answers

130 views

### What is a morphism of $B_\infty$ algebra

Let $k$ be a commutative ring and $C$ a $ \mathbb{Z}$ graded $k$ module. A $B_\infty$ structure on $C$ is the datum of a differential and a multiplication on $ BC:= \bigoplus^\infty_{i =0} ...

**5**

votes

**1**answer

304 views

### Spectral Sequences reference

What is the best reference for spectral sequences for mathematicians who are not experts at the subject, but would just like to open a book and find the SS they need, without going in to deep.
I'm ...

**1**

vote

**1**answer

96 views

### Original sources for two theorems by Bass, Matlis and Papp

It is an interesting fact that a commutative ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective, and if and only if every injective $R$-module is a direct sum of ...

**0**

votes

**0**answers

79 views

### Exposition of the Calabi complex

I am interested in a complex derived by Eugenio Calabi in his article "On compact Riemannian manifolds with constant curvature".
The complex is referenced as "Calabi complex" in various citing ...

**3**

votes

**1**answer

195 views

### Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...

**11**

votes

**0**answers

369 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 ...

**1**

vote

**1**answer

248 views

### Cohomology after completion

I've been scouring google and asking friend about something I was certain must be absolutely the easiest thing to people who do homological algebra, and none seem to know the answer to this, so if ...

**3**

votes

**1**answer

270 views

### What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem:
Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...

**-2**

votes

**2**answers

304 views

### Are there some websites for self learining of advanced mathematics? [closed]

Are there some websites for self learining of advanced mathematics?
For example, some great lecture vedio of differential geometry, Lie group , Lie algebra, algebraic topology and so on. Thanks

**4**

votes

**0**answers

84 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 ...

**5**

votes

**0**answers

185 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

**1**answer

480 views

### Resolution of a module as an $A_\infty$ module over resolution of an algebra

The following question looks like a basic question on resolutions over commutative rings, unfortunately I was not able to find a reference.
Let $A$ be a regular commutative noetherian ring (and ...

**2**

votes

**1**answer

179 views

### Deformations of a complex trivial up to quasi-isomorphism

Let $(C, d_0)$ be some cochain complex over commutative ring $R$ and $R$ is an algebra over a field $k$, then I could consider complex $(C[t], d_0+td_1)$ over ring $R \otimes k[t]$ where $d_1$ is some ...

**2**

votes

**0**answers

200 views

### Global dimension of endomorphism algebra of a coherent sheaf

Let $X$ be a smooth projective variety over algebraically closed field of characteristic zero. In one of the versions of definition of tilting object $\mathcal{F}$ on $X$ there is a requirement that ...

**5**

votes

**0**answers

219 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 ...

**7**

votes

**2**answers

332 views

### A question on some computation of group cohomologies

Let $G=H\times J$, where $H\cong J\cong C_2$ (cyclic group of order 2). Let $M \cong \mathbb{Z}$ be a $G$-module via "trivial $H$-action and negation $J$-action". My question is "What are the group ...

**4**

votes

**3**answers

506 views

### Künneth formula for Ext groups

Setup: Let $X,Y$ be quasi-compact quasi-separated schemes defined over a field $k$. If necessary, you can also assume that $X,Y$ are noetherian, but I don't want to assume that $X,Y$ have the ...

**4**

votes

**2**answers

226 views

### The 2-group of extensions

Let $A,B$ objects of an abelian category. Then we can define the abelian group $\mathrm{Ext}^1(A,B)$ as the set of isomorphism classes of extensions $0 \to B \to E \to A \to 0$, endowed with the Baer ...

**1**

vote

**2**answers

138 views

### Why every complex of injectives is homotopically injective (provided that, the injective dimension is finite)?

Let $\scr A$ be an abelian category with exact products and a cogenerator (e.g. $\scr A$ is a category of modules). Let ${\mathbf K}(\scr A)$ be the homotopy category of cochain complexes over $\scr ...

**4**

votes

**4**answers

198 views

### Stratifications and Cohomology Computations

I am interested in references and suggestions concerning the use of stratifications in topology to inductively compute topological invariants. I would appreciate a fairly introductory reference on the ...

**4**

votes

**1**answer

257 views

### Additive functors and Derived Categories

I have been learning about derived categories from Hartshorne's "Residues and Duality". One of the main theorems, as it is presented there seems to be the canonical isomorphism $RF \circ RG \cong R(F ...

**1**

vote

**1**answer

315 views

### Sequences of maps between modules such that $\ker(d_n) \subseteq \text{im}(d_{n+1})$

Consider a sequence of maps between $R$ modules (where $R$ is a ring with unity) $$\cdots \rightarrow M_{n+1} \xrightarrow{d_{n+1}} M_{n} \xrightarrow{d_{n}} M_{n-1} \rightarrow \cdots$$ such that ...

**3**

votes

**0**answers

246 views

### Do exact functors commute with spectral sequences ?

Let $F: \mathcal{A} \to \mathcal{B}$ be an exact covariant functor of abelian categories and let
$$\mathscr{C}: A \to A \to B \to A$$ be an exact couple in $\mathcal{A}$ with corresponding spectral ...

**3**

votes

**2**answers

326 views

### Morphisms between $K_0$

I suppose this is a question with a well known answer. Suppose $A$ and $B$ are two algebras over some field and there is a map
$$
f: \operatorname{K_0}(A) \to \operatorname{K_0}(B)
$$
is it ...

**7**

votes

**2**answers

356 views

### Recovering an abelian category out of its derived category

I'm trying to learn more about derived category stuff and my curiosity has made me to ask these questions. Sorry if I'm being sloppy, I'm a new learner.
In Wikipedia it has been stated that since ...

**4**

votes

**3**answers

379 views

### DG-projective vs. K-projective complexes

Hello!
I'm a student learning the basics of working with the unbounded derived category $D(\mathcal{A})$. I arrived at the natural question, "is every K-projective complex formed out of projective ...

**4**

votes

**2**answers

388 views

### Examples of tilting objects that don't come from exceptional sequences

This is a question on geometric tilting theory. On smooth projective variety it is possible to define in general tilting object as perfect complex that satisfy some properties, but are there examples ...

**5**

votes

**0**answers

195 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 ...

**4**

votes

**1**answer

273 views

### Why is the transfer map Tate-dual to restriction ?

In one of their papers (before Theorem 7.2), Benson and Carlson state that the transfer map is Tate-dual to the restriction homomorphisms (also see Remark 1.3 of this recent paper).
More ...

**1**

vote

**2**answers

303 views

### An explicit homotopy equivalence between the de Rham complex and the Cech-de Rham total complex

I'm currently in need an explicit formula in classical cohomology which I'm pretty sure is well known, but which I've been unable to find in the references I am aware of.
Let $X$ be a smooth ...

**3**

votes

**1**answer

127 views

### Interesting examples of a 4-torsion X in a triangulated category such that $2 End(X/2X)\neq 0$?

It is well-known that for the sphere spectrum $S$ in the ('topological') stable homotopy category the object $S/2S$ i.e. the cone of $S\stackrel{\times 2}{\to}S$, is not $2$-torsion.
So I wonder ...

**2**

votes

**0**answers

181 views

### Reference Request: The Categorification of $\mathbb{Z}$ as cochain complexes of vector spaces

Just as the fact that a categorification of $\mathbb{N}$ is the category of finite dimensional vector spaces, a categorification of $\mathbb{Z}$ (in my mind) is the category of bounded cochain ...

**12**

votes

**1**answer

534 views

### Classification of long exact sequences

Let $\mathcal C$ be the category of long exact sequences of finitely generated abelian groups almost all of whose entries vanish.
The category $\mathcal C$ is naturally additive as a subcategory of ...

**8**

votes

**0**answers

204 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 ...

**5**

votes

**3**answers

1k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**12**

votes

**1**answer

419 views

### $A_\infty$ structure on Ext-algebras well defined?

Let $M$ be an object in an $k$-linear abelian category with enough projectives. Then one can construct an $A_\infty$-structure on the Ext algebra
$$Ext^\bullet(M,M)$$
as follows: One chooses ...

**3**

votes

**2**answers

276 views

### Earliest/most standard reference for derived categories of hereditary algebras

Let $A$ be a hereditary algebra and let $\mathcal{D}$ be the derived category of bounded complex of finitely generated $A$-modules. Then, for any complex $C_{\bullet}$ in $\mathcal{D}$, we have ...

**6**

votes

**2**answers

393 views

### Somewhat general question that includes: “Do quasi-isomorphic cdgas have quasi-isomorphic spaces of derivations?”

Question: Given two quasi-isomorphic dg commutative algebras (over a field of characteristic zero, if you like), to what extent do their various homological geometric data agree?
Example: Given a dg ...

**0**

votes

**2**answers

695 views

### torsion free modules over general ring

i want to know how to prove a torsion free modules over general ring is flat. (in "lecture on ring and modules, T.Y.Lam prove in case R is interal domain). please help me prove it or give me some ...

**5**

votes

**0**answers

476 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 ...

**7**

votes

**2**answers

589 views

### Relation between Gerstenhaber bracket and Connes differential

Let $C$ be an arbitrary algebra (more generally, a linear 1-category). The following structures are well-known:
A degree-0 product on the Hochschild cohomology $HH^*(C)$
$$
HH^*(C) \otimes HH^*(C) ...

**3**

votes

**1**answer

151 views

### Existence of a bounded finitely generated torsion-free resolution

I am looking for a reference for (or a proof of) the following fact:
Let $G$ be a profinite group.
Let $X^\bullet$ be a complex of discrete $G$-modules.
We assume that the cohomology $G$-modules of ...

**3**

votes

**1**answer

541 views

### Is there a way to define a prime ideal object via diagrams in the category of rings?

I like to think in terms of commutative diagrams rather than referring to elements. So to me a group is really a group object, i.e. an object with some maps satisfying certain commutative diagrams. ...

**7**

votes

**1**answer

514 views

### When does the homological dimension of a tensor product equal the sum of dimensions?

The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...

**3**

votes

**0**answers

198 views

### Extensions of maps between graded modules

Let $R$ be a connected graded ring (like $R=\mathbb R[x_1,\dots,x_d]$ with the usual grading) and let $N \subset R^{\oplus n}$ be a graded submodule, i.e. $$N= \bigoplus_{i \in \mathbb N} (N \cap ...

**8**

votes

**1**answer

663 views

### Morphisms of Banach spaces

What is the standard name in English for bounded linear maps $f:E\to F$ between Banach spaces such that the kernel $\ker(f)$ has a complement, and $\text{im}(f)$ is closed, and has a complement?
...

**0**

votes

**0**answers

271 views

### Lifting of product of a Banach algebra

Let $A$ be a non unital Banach algebra. The product induces a bounded linear map $T:A \otimes_{\gamma} A\to A$ where $\otimes_\gamma$ denotes the Banach projective tensor product.
A lifting of $T$ is ...