**11**

votes

**0**answers

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

**4**

votes

**2**answers

336 views

### Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

It seems to be a well-known fact that homotopy (co)limits
of (co)simplicial diagrams of nonnegatively graded
(co)chain complexes in (Grothendieck) abelian categories
can be computed by using the ...

**0**

votes

**1**answer

245 views

### cohomology version of Cartan-Leray spectral sequence that deduces cup product

On page 338, A User's Guide to Spectral Sequences. 2nd Edition, by John McCleary, Theorem 8.9, there is a Cartan-Leray spectral sequence for homology:
If $X$ is a connected pace on which the group ...

**1**

vote

**0**answers

116 views

### Exact Functors from Perverse Sheaves

Pretty sure this is a simple question, but there's something I'm missing here.
For context, I'm reading 'An Elementary Construction of Perverse Sheaves' by MacPherson and Vilonen. A key aspect of the ...

**1**

vote

**0**answers

131 views

### Can you always find a regular sequence consisting of monomials?

Let $\mathbb{k}$ be a field, and let $S=\mathbb{k}[x_1,x_2,\ldots,x_n]$. Let $M$ be an $S$-module. A sequence $$f_1,f_2,\ldots,f_r$$ of polynomials in the maximal ideal $\langle x_1,\ldots,x_n\rangle$ ...

**1**

vote

**1**answer

126 views

### Hochschild cohomology of the skew group ring D(X)#G in the complex analytic case

Let $X$ be a n-dimensional complex compact manifold and let $G$ be a finite subgroup of $Aut(X)$ acting by biholomorphic maps on $X$. I would like to compute the Hochschild cohomology group ...

**3**

votes

**0**answers

72 views

### Projective dimension of ring over its center

If $A$ is a ring and $Z(A)$ is its center then what is a sufficient condition for the projective dimension of $A$ over $Z(A)$ (ie: $pd_{Z(A)}(A)$) to be finite?
(Assuming that $A\neq Z(A)$).

**4**

votes

**1**answer

99 views

### Existence of small projective dimensioned modules

Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$.
Then do either of the ...

**0**

votes

**0**answers

72 views

### Shift functor and the origin of the linear decalage isomorphism

Let $(\mathbf{Vec}_\mathbb{Z}(\mathbb{K}),\otimes,\tau)$ be the symmetric monoidal category of $\mathbb{Z}$-graded $\mathbb{K}$-vector spaces, where $\otimes$ is the tensor product of ...

**3**

votes

**1**answer

195 views

### Classical deformation of algebras

Given a complex manifold (or a smooth scheme) $X$, the classical (infinitesimal) deformation theory is parametrized by the first cohomology with coefficients in the tangent sheaf $H^1 (X, T_X)$.
...

**-1**

votes

**1**answer

152 views

### Ext functor for more than two modules? [closed]

The question is natural. Let's just work in the category of modules over a ring. Pick three modules $M_1, M_2, M_3$. Consider consecutive extensions of these modules, i.e., consider M, such that we ...

**2**

votes

**0**answers

172 views

### Strange invocation of Shapiro's lemma

I'm having trouble understanding a claim in a paper I'm reading. To avoid having to explain a lot of notation, I'll abstract the claim a bit. Assume that $G$ is a group with a subgroup $H$. Also, ...

**1**

vote

**0**answers

129 views

### Ext and cup products and subvarieties

I am trying to understand Remark 11.3 in Huybrechts's amazing book on derived categories (FM transforms in AG).
He starts with smooth projective varieties $j\colon Y \subset X$ and aims to describe ...

**9**

votes

**0**answers

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

**1**

vote

**0**answers

137 views

### Question about a theorem of Goodwillie on periodic cyclic homology

In his paper Cyclic homology, Derivations and the Free Loopsace, Goodwillie defines periodic cyclic homology for differential graded algebras (A,d) concentrated in non-negative degree.
Why does he ...

**7**

votes

**1**answer

159 views

### Is there a ring which is not Hermite but is coherent?

Call a commutative unital ring $R$
Hermite if for all $m, n\in \mathbb{N}$ with $m<n$, and all $f\in R^{m\times n}$ such that transpose($f$) is left invertible (with a matrix with entries from ...

**2**

votes

**1**answer

212 views

### Regular rings and formally smooth algebras

Let $A\rightarrow B$ be a commutative $A$-algebra. If $A$ is a field and $B$ Noetherian and formally smooth over $A$, then it is known that $B$ must be a regular ring. Is there a partial converse of ...

**0**

votes

**0**answers

91 views

### Lie bialgebras cohomology

I am wondering if there exist a universal construction of (co)-chain complex associated to a given algebra to study deformations as Hochschild homology for associative algebras, or Chevalley-Eilenberg ...

**4**

votes

**0**answers

173 views

### spectral sequence of a bicomplex equipped with a group action

Let $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ be complexes of $\mathbb{C}$-vector spaces.
We suppose that $(A_1^\bullet,\partial_1)$ and $(A_2^\bullet,\partial_2)$ are equipped with ...

**3**

votes

**1**answer

121 views

### On Serre's problem regarding the injectivity of Albert-Algebra cohomological invariants

In these Lecture Notes http://molle.fernuni-hagen.de/~loos/jordan/archive/cohinv/cohinv.pdf from 2006 by Garibaldi on page 21. 7.5 there is the following open problem mentioned:
Is the map
$g_3 ...

**1**

vote

**0**answers

101 views

### Criterion for global dimension of subring

All rings are assumed to be associative and unital.
If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...

**0**

votes

**0**answers

48 views

### Analogue of Baer's injectivity criterion for comodule algebras

Let $H$ be a Hopf algebra and $A$ an $H$-comodule algebra; denote by $M^H_A$ the category of right $(H,A)$-Hopf modules [i.e. $A$-module, $H$-comodules, everything is compatible with everything else]. ...

**1**

vote

**1**answer

83 views

### Whitehead's second Lemma and invariants of exterior square

Let $k$ be an algebraically closed field of characteristic $0$ and let $\mathfrak{g}$ be a finite dimensional semisimple $k$-Lie algebra. By Whitehead's second Lemma, we know that $H^{2}(\mathfrak{g}, ...

**5**

votes

**1**answer

206 views

### What does an endomorphism in a triangulated category give rise to?

Let $D\xrightarrow[]\varphi D\xrightarrow[]kE\xrightarrow[]j\Sigma D$ be an exact triangle in a triangulated category. I am trying to figure out what structure emerges from this on the base of the ...

**1**

vote

**0**answers

100 views

### Computing $\text{Tor}_*^{R_G} (\mathbb{Z}, \mathbb{Z}) $ for a compact Lie group $G$

Let $R_G$ be the representation ring of $G$ a connected, simply connected Lie group, $I_G$ the augmentation ideal and $\mathbb{Z}=R_G/I_G$. $R_G$ acts on $\mathbb{Z}$ via $V \cdot n = (\dim V ) n$. I ...

**3**

votes

**0**answers

238 views

### What is the right categorical framework for diagonal approximations, cup and cap products and identities between them?

I wanted to know what is the right categorical analog for the diagonal approximation for the singular chain complex $\Delta: C\rightarrow C\otimes C$ as a morphism in the homotopy category of chain ...

**3**

votes

**0**answers

82 views

### Characterization of global sections (which are not products) of a sheaf which is locally a product

In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...

**6**

votes

**0**answers

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

**17**

votes

**1**answer

431 views

### Is such a map null-homotopic?

Suppose I have (semi-infinite) chain complexes $$ \cdots \rightarrow A_i \rightarrow A_{i+1}\rightarrow \cdots$$ $$ \cdots \rightarrow B_i \rightarrow B_{i+1}\rightarrow \cdots$$
over an additive ...

**4**

votes

**1**answer

414 views

### Doing some homological algebra in triangulated categories

It's well known that chain complexes are an abelian category, and in particular we can consider chain complexes of chain complexes, i.e. double complexes. Given a double complex $A^{\bullet\bullet} ...

**1**

vote

**1**answer

127 views

### Cohomological dimension of transcendental p-adic extensions

Let $q$ denote a quadratic form over a field $k$.
The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q)) $ | $ q $ is anisotropic over $k\}$.
Let $k = \mathbb{Q}_p$ for any ...

**1**

vote

**0**answers

72 views

### Projective dimension of a sub-ideal

Let $\mathbf{k}$ be a field, and let $S=\mathbf{k}[x_1,x_2,\ldots,x_n]$. Let $I\subset J$ be finitely generated monomial ideals in $S$. Is it true that the projective dimension of $I$ is either ...

**1**

vote

**0**answers

71 views

### Homology and Exterior Square

Let $G$ be a finite group and $G \wedge G$ denote the exterior square of $G$. It is well known that the second integral homology $H_2(G,\mathbb{Z})$ is the kernel of homomorphism $x \wedge y \mapsto ...

**0**

votes

**1**answer

268 views

### A functorial isomorphism in derived category

This question is a direct continuation of Question 1 in this post: Two basic questions on derived categories
Let $f\colon \mathcal{A}\to\mathcal{B}$ be a left exact functor between two abelian ...

**5**

votes

**3**answers

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

**-1**

votes

**1**answer

119 views

### terminology: “complex” and “sequence” in homological algebra

It appears that the terms "complex" and "sequence" are used synonymously in homological algebra.
But there seem to be collocations (in the linguistic sense) that prefer one of those words. For ...

**2**

votes

**0**answers

69 views

### relations between derived categories of ind-A and A

Let $A$ be an abelian category and $indA$ be its ind category. I want to know the relations between $D^b(A)$ and $D^b(indA)$. For example, I find in another question that if $A$ is thick in $indA$, ...

**3**

votes

**2**answers

589 views

### Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon ...

**0**

votes

**0**answers

56 views

### Yoneda extension in the category of representations

Assume $G$ is a group scheme over a field $k$ and consider the categories $Rep_G$ of finite dimensional representations of G and $REP_G$ of all representations of G. For two objects $A,B$ in $Rep_G$, ...

**16**

votes

**2**answers

838 views

### Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra?
Is it easier if we impose any of the three conditions: characteristic zero; ...

**2**

votes

**2**answers

171 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

71 views

### a generalization of the annihilator of cokernel ideal

Let $R$ be a (commutative, associative, unital) ring, consider a homomorphism of some (finitely generated) free $R$-modules $F\stackrel{A}{\rightarrow}G$. Its basic invariants are the Fitting ideals, ...

**6**

votes

**1**answer

279 views

### Is there an $(\infty,2)$-category with morphisms given by $D^b\text{Coh}$?

My question is:
Has anyone constructed an $(\infty,2)$-category whose objects are (projective, maybe smooth, ...) varieties, and where the 1-morphisms from $X$ to $Y$ are given by ...

**1**

vote

**0**answers

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

**6**

votes

**1**answer

519 views

### How do small changes in a filtered complex affect the associated spectral sequence

I have recently been learning about spectral sequences, not in the context of any problem, but mostly out of curiosity. There are two questions that have occurred to me which I've been unable to ...

**1**

vote

**0**answers

130 views

### Golod Shafarevich Inequality and Inequalities among higher Cohomology groups

As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...

**3**

votes

**0**answers

150 views

### Perf($\mathscr{A}$) and perfect chain complexes

Suppose $\mathscr{A}$ is a dg category and $ \mathcal{D} (\mathscr{A})$ its associated derived category. For an object in $ a \in \mathscr{A}$ there is associated (right )dg $ \mathscr{A}$ module, $ ...

**1**

vote

**0**answers

90 views

### When localizing a category at a multiplicative system, is there a lemma utilizing Ore Condition/Cancellation once for all roof-independence proofs?

For example, given an additive category $\mathcal{C}$ with a (both sided) multiplicative system S, the localization $S^{-1}\mathcal{C}$ is also additive. Yet to prove that the addition of morphisms in ...

**15**

votes

**2**answers

1k views

### (co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...

**6**

votes

**1**answer

379 views

### Idea and intuition behind Penrose transform

I would like to know what a Penrose transform is, or more precisely, what is it intended to be - I'm interested in ideas, intuition and some examples of application.
My knowledge of differential ...