The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
59 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 ...
0
votes
0answers
108 views

Exactness of total complex [on hold]

The acyclic assembly lemma (pages 59/60 of An introduction to homological algebra, Weibel) establish that if I have a bounded double complex with exact rows (or columns) then the total complex is also ...
4
votes
0answers
58 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
0answers
143 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 ...
0
votes
0answers
87 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 ...
8
votes
0answers
241 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
2answers
194 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
1answer
102 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
0answers
85 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
0answers
78 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$ ...
0
votes
1answer
62 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
0answers
60 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)$).
3
votes
1answer
82 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
0answers
50 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
1answer
165 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
1answer
131 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
0answers
102 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
0answers
107 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
0answers
181 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
0answers
111 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
1answer
145 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 ...
1
vote
1answer
119 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
0answers
60 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
0answers
134 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
1answer
110 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
0answers
75 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
0answers
38 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
1answer
78 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
1answer
181 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 ...
2
votes
0answers
89 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 ...
2
votes
0answers
188 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 ...
0
votes
0answers
43 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
0answers
119 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
1answer
344 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 ...
3
votes
1answer
301 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
0answers
83 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 ...
0
votes
0answers
59 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 ...
0
votes
0answers
51 views

question about Baer sum of extensions

Let $E_1$ and $E_2$ be extensions of $\mu_p$ by $\mathbb{Z}/{p\mathbb{Z}}$. Assume that $E$ contains $E_1$ and $E_2$ both, and $E_1 \cap E_2 = \mathbb{Z}/{p\mathbb{Z}}$. Then, does $E$ contain their ...
1
vote
0answers
63 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
1answer
226 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
3answers
301 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
1answer
96 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
0answers
60 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
2answers
524 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
0answers
50 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$, ...
14
votes
2answers
753 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
2answers
161 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 ...
0
votes
0answers
50 views

Corestriction map for the relative homology (cohomology) group

Let $G$ be a group and $N$ be its normal subgroup. Is there any concept of corestriction map for the relative homology (cohomology) group $H_n(G,N,-)$ ($H^n(G,N,-)$) such that when $N=G$ it is the ...
1
vote
0answers
47 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
1answer
230 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 ...