The homological-algebra tag has no wiki summary.

**2**

votes

**1**answer

106 views

### Does semi-free behave well under totalization

Suppose I have a dg algebra $(A,d)$ and a chain complex $M^\bullet$ of semi-free $(A,d)$ modules. I am hoping it is true that $ Tot^\coprod (M^\bullet)$ is again a semi-free $(A,d)$ module. Is this ...

**0**

votes

**0**answers

110 views

### Understanding the homotopy category of chain complexes [on hold]

In the definition of the Homotopy category of chain complexes http://en.wikipedia.org/wiki/Homotopy_category_of_chain_complexes , One defines maps between chain complexes in a certain way that I ...

**3**

votes

**1**answer

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

**2**

votes

**0**answers

93 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

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

**6**

votes

**1**answer

82 views

### Injective dimension over enveloping algebra

Let $k$ be a field, and let $A$ be a commutative noetherian $k$-algebra.
If a finitely generated $A$-module $M$ has finite injective dimension over $A$, does this imply that $M\otimes_k M$ has finite ...

**1**

vote

**0**answers

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

**9**

votes

**0**answers

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

**4**

votes

**1**answer

713 views

### (geometric/intuitive) interpretation of ext

Hi folkz,
In my current work I have to deal a lot with ext-groups (of modules). I feel kind of familar with the formalism, but I don't have a feeling about the meaning of ext.
Is there a ...

**1**

vote

**0**answers

105 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

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

**26**

votes

**3**answers

3k views

### Definition of an E-infinity algebra

Can anyone give me a plain-and-simple
definition of an E-infinity algebra without using
the words "operad," "ring spectrum," or
"stable homotopy"?
Sorry, but I honestly couldn't find it using
all ...

**1**

vote

**1**answer

105 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

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

**0**

votes

**0**answers

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

**4**

votes

**0**answers

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

**2**

votes

**1**answer

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

36 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

76 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}, ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

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

**2**

votes

**0**answers

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

**6**

votes

**0**answers

111 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

324 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

**1**answer

287 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} ...

**0**

votes

**0**answers

54 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

**0**answers

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

**5**

votes

**1**answer

227 views

### Does $ \text{mult}(R / I) = d_{1} \cdots d_{r} $ imply that $ (f_{1},\ldots,f_{r}) $ is an $ R $-regular sequence?

We define the multiplicity of an $ R $-module $ M $ of dimension $ d > 0 $ to be
$$
\text{mult}(M) \stackrel{\text{df}}{=} \text{LC}(P_{M}) \cdot (d - 1)!,
$$
where $ P_{M} $ denotes the Hilbert ...

**1**

vote

**0**answers

59 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

218 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

292 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

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

**3**

votes

**2**answers

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

**2**

votes

**0**answers

58 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$, ...

**0**

votes

**0**answers

49 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

**2**answers

734 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

160 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

**0**answers

41 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

**0**answers

44 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

223 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

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

**12**

votes

**7**answers

1k views

### Heuristic behind $A_{\infty}$ - algebras

How to think about the $A_{\infty}$-algebras ?
I am looking at the Bernhard Keller's introduction, he says a few words about the topological origin (not in details) and motivates by stating two ...

**0**

votes

**0**answers

96 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

119 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, $ ...

**10**

votes

**4**answers

322 views

### The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...

**1**

vote

**0**answers

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

**3**

votes

**2**answers

144 views

### Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over
the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given
by
$V \otimes W:= \oplus_{j\in ...

**10**

votes

**2**answers

583 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

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