**2**

votes

**0**answers

90 views

### project limit on $n$- simplical complex which is principal homogeneous with respect to an action

The setting:
Let G be compact locally $\Bbb{Q}_p$ analytic group. We fix a countable basis of open normal subgroups $G\supset G_1\supset ...G_r\supset...$
We suppose that we are given a system of ...

**2**

votes

**1**answer

422 views

### Recollement of multiple $t$-structures

Given a recollement
$$
\mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...

**1**

vote

**0**answers

139 views

### Récollement of stable $t$-structures

Given a recollement
$$
\mathbf{D}^0 \underset{\underset{i_R}\leftarrow}{\overset{\overset{i_L}\leftarrow}\to} \mathbf{D} \underset{\underset{q_R}\leftarrow}{\overset{\overset{q_L}\leftarrow}\to} ...

**-1**

votes

**1**answer

92 views

### Is this apushout diagram [closed]

Let $A, B, C, E$ and $F$ be some objects in an abeleian category $\mathcal{C}$. Let we have a commutative diagram
\begin{array}{ccccccccc}
0 & \xrightarrow{} & A & \xrightarrow{f} & ...

**3**

votes

**1**answer

106 views

### Is the image of a idempotent morphism in $\mathcal{K}(\mathcal{A})$ defined in the naive way?

Let $\mathcal{A}$ be an abelian category and $\mathcal{K}(\mathcal{A})$ be the homotopy category of chain complexes in $\mathcal{A}$. It is well-known that $\mathcal{K}(\mathcal{A})$ is idempotent ...

**1**

vote

**0**answers

215 views

### How to prove that any perfect complex on an affine scheme is strictly perfect?

Let $(X,\mathcal{A})$ be a ringed space. A complex $\mathcal{S}^{\bullet}$ of $\mathcal{A}$-modules is $\textit{perfect}$ if for any point $x\in X$, there exists an open neighborhood $U$ of $x$ and a ...

**5**

votes

**1**answer

165 views

### Relations between functors in a recollement

Consider a recollement situation like the following
by the very definition of the various functors it follows that $i^* j_*=0$, and $j^! i_* = 0 = j^* i_!$. Also, $j^! i_! = 0 = j^* i_*$ by ...

**6**

votes

**1**answer

319 views

### Explict form of $E_\infty$-morphisms between differential graded commutative algebras

This is a partial duplicate to this MO question, I apologize for that. I'm asking since the answers there still do not allow me to work out an answer to my question, which is a bit more specific.
...

**0**

votes

**0**answers

54 views

### Intersection and union of torsion classes

One of the main result in
Cassidy, C., M. Hébert, and G. M. Kelly. "Reflective subcategories, localizations and factorization systems." Journal of the Australian Mathematical Society (Series A) ...

**0**

votes

**0**answers

109 views

### Relating overlapping simplicial complexes

Let $X$ be a simplicial complex and let $A,B\subset X$ be
subcomplexes such that $C=A\cap B$ is a non-empty simplicial
complex. Finally, let $C_{\cdot}(X)$, $C_{\cdot}(A)$, $C_{\cdot}(B)$,
...

**1**

vote

**1**answer

300 views

### Are chain complexes over a field always injective?

Question: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero and let $\mathrm{Ch}_{\mathbb{F}}$ be the category whose objects are chain complexes (of $\mathbb{F}$-modules) and ...

**8**

votes

**0**answers

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

**6**

votes

**2**answers

443 views

### Applications of cohomology to probability and statistics

Are there interesting/useful applications of cohomology (and homological algebra in general) to probability and statistics, or information theory?
By "interesting/useful", I mean "not merely ...

**0**

votes

**0**answers

105 views

### $\text{Hom}(G,\mathbb{Z})$ [duplicate]

Fix a cardinal $\kappa$ and consider $\mathbb{Z}^\kappa$ with componentwise addition and the subgroup $$F_\kappa :=\{g:\kappa \to \mathbb{Z}: \{\alpha\in \kappa: g(\alpha)\neq 0\} \text{ is ...

**5**

votes

**1**answer

314 views

### Does homotopy invariance of homology follow from the structure of the simplex category $\Delta$?

Explicitly: Let $\Delta$ denote the simplex category, and $\mathscr{C}$ any small category, and fix a functor $F:\Delta \rightarrow \mathscr{C}$ such that $F\Delta^0$ is terminal. Also, assume ...

**0**

votes

**1**answer

118 views

### Do levelwise quasi-isomorphisms of bicomplexes induce a quasi-isomorphism between the total complexes?

Let $C^{p,q}$ be a bicomplex with differentials $d_h:C^{p,q} \to C^{p+1,q}$ and $d_v:C^{p,q} \to C^{p,q+1}$ where $d_h \circ d_v = d_v \circ d_h$. Let $D^{p,q}$ be another bicomplex defined similarly.
...

**11**

votes

**0**answers

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

**4**

votes

**0**answers

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

**1**

vote

**0**answers

54 views

### Turning left modules into right modules over a homotopy Gerstenhaber algebra

For simplicity's sake, let $A$ be a dg-algebra over $\mathbb{Z}/2\mathbb{Z}$.
In the case when $A$ is a commutative algebra, we can turn a left $A$ module into a right $A$ module trivially. Of course ...

**10**

votes

**1**answer

307 views

### An example of an object in $D^b_{\text{coh}}(\mathbb{P}^2)$ which is not formal

We know that for a curve $X$, any object $\mathcal{E}^{\bullet}$ in the derived category $D^b_{\text{coh}}(X)$ is formal, i.e. $\mathcal{E}^{\bullet}$ is quasi-isomporphic to the direct sum of its ...

**25**

votes

**2**answers

696 views

### A more natural proof of Dold-Kan?

The Dold-Kan correspondence gives an equivalence of categories between $SAb$, the category of simplicial abelian groups, and $Ch_{\geq 0}$, the category of non-negatively graded chain complexes of ...

**5**

votes

**0**answers

168 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\!: ...

**3**

votes

**2**answers

327 views

### What are cohomology of Lie algebra with coefficients geometrically?

I want to find analog of following two statements.
Let $G$ be a discrete group, $M$ is representation of $G$. Local systems on $BG$ are the same as $G$ representations (because $\pi_1 (BG) =G$). Let ...

**3**

votes

**1**answer

221 views

### Lyndon–Hochschild–Serre spectral sequence for not normal subgroup

Is there analog of Lyndon–Hochschild–Serre spectral sequence for not normal subgroup?
What can you say about it? Can you describe $E^{p, q}_1$ ? What is about $E^{p, q}_2$?
What is the best technique ...

**3**

votes

**1**answer

137 views

### Homogeneous polynomial vector fields tangent to the unit sphere

This question has something to do with that one.
Let $n\ge1$ and $d\ge1$ be two given integers. Consider the polynomial vector fields $v=(v_1,\ldots,v_n)$ whose components $v_j$ are homogeneous of ...

**0**

votes

**0**answers

96 views

### Computations of derivations, $d^2$, of a (Grothendieck) spectral sequence

The maps $d^1:E_1\rightarrow E_1$ have a nice description. Is there any text providing us with a description of the higher derivations $d^2:E_2\rightarrow E_2$ arising from a Grothendieck spectral ...

**4**

votes

**0**answers

96 views

### Multiplicity of $Ext^{d-t}(M,\omega_R)$, ($d=\dim R, t=\dim M$)

Let $R=\bigoplus_{i \geq 0} R_i$ be a Cohen-Macaulay graded ring ($R_0$ is a field and $R$ is generated by $R_1$) of dimension $d$ with canonical module $\omega_R$, and $M$ a graded Cohen-Macaulay ...

**0**

votes

**0**answers

243 views

### What is a Beilinson spectral sequence?

I'm writing to ask just a question. I would like to understand better what is the Beilinson's spectral sequence and how it can be used. Is there any useful and clear reference you advice to someone ...

**1**

vote

**0**answers

103 views

### A naturality question concerning the universal coefficient spectral sequence

I am reading Hillman's book "algebraic invariants of links" and on page 20 he mentions the following universal coefficient spectral sequence.
Let X be a connected finite CW complex.Let $H$ be a ...

**11**

votes

**0**answers

341 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

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

**-1**

votes

**1**answer

220 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

112 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

126 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

123 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

70 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

97 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

194 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

147 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

163 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

128 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

217 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

132 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

158 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

199 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

86 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

169 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

119 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

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