# Tagged Questions

69 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 ...
176 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 ...
334 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 ...
239 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 ...
247 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 ...
281 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
75 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 ...
165 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 ...
358 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 ...
169 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 ...
195 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 ...
91 views

### Godement resolution

Let $k$ be a field, $X$ a reasonable space, $k_{X}$ the constant (1-dimensional) sheaf on $X$. Write $\mathcal{G}^{\bullet}(k_X)$ for the Godement resolution of $k_X$. For each $n>0$, is ...
203 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 ...
319 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 ...
464 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 ...
217 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 ...
127 views

303 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 ...
218 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 ...
319 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 ...
338 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 ...
287 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 ...
358 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 ...
181 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 ...
240 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 ...
287 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 ...
122 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 ...
174 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 ...
524 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 ...
182 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 ...
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?
406 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 ...
260 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 ...
391 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 ...
641 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 ...
448 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 ...
562 views

633 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? ...
265 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 ...
1k views

### References for sign conventions in homological algebra

There is no shortage of sign conventions in homological algebra. And once these conventions are set out, there is no shortage of diagrams where an obvious commutative diagram on the underlying ...
602 views

### Modern reference for integral homology of a finitely generated abelian group

I'm interested in the calculation of $H_n (G,\mathbb{Z})$ for G a finitely generated abelian group, particularly for $n=3$. It's carried out in the 1954/55 Séminaire Henri Cartan, titled ...
For an example I'm trying to understand, I need to calculate some cohomology group of some $\mathbb Z$-module with coefficients in some other $\mathbb Z$-module (with no interesting actions). (In ...