**2**

votes

**1**answer

82 views

### Antisymmetrization of the Hochschild cocycle

Let $A$ be a commutative (unital, complex) algebra and let $\varphi$ be a $n+1$-linear functional on $A$ (we will call it cochain). Define $$(b\varphi)(a_0,a_1,...,a_{n+1}):=\sum_{j=0}^{n}(-1)^j\...

**5**

votes

**1**answer

110 views

### Isomorphism in cyclic cohomology vs isomorphism in Hochschild cohomology

Let $A$ be a unital algebra over a field $K$, $C^n(A)$ a space of all $n+1$ linear maps into scalar field $k$ (I'm interested in case $k=\mathbb{C}$) and
$$(bf)(a_0,...,a_{n+1})=\sum_{i=0}^n(-1)^if(...

**-1**

votes

**0**answers

48 views

### Cohomology ring of elementary abelian $p$-groups over a field $\mathbb{F}_p$ [on hold]

Assume that $E= \mathbb{Z}_{p}^{n}$ is an elementary abelian $p$-group ($p$ $\neq$ 2) and $\mathbb{F}_p$ a field of characteristic $p$. I am looking for a proof of the following: $H^{*}(E ; \mathbb{F}...

**-4**

votes

**0**answers

78 views

### how to prove the Hom is not 0 [on hold]

$\mathrm Hom_\mathbb{Z}(\prod{Z_n},Q)\neq0$
how to find the map ,I reckon the map is from $(1,1,,\dotsc,1)$ to 1
what is the answer?

**3**

votes

**1**answer

132 views

### Isomorphisms between extension group and $\mathfrak{u}$-cohomology

Let $\mathcal{O}^{\mathfrak{p}}$ be a parabolic subcategory (see, Humphrey's BGG's Ch.9) of the BGG category $\mathcal{O}$ (w.r.t the Cartan $\mathfrak{h}$ and Borel $\mathfrak{b}$) over a finite-...

**0**

votes

**0**answers

69 views

### Simultaneous extension of modules

Let $R$ be a commutative ring. Suppose $R$-modules $X,A,B,C$ and $Y$ are given such that the outer two rows and the outer two columns in the following diagram are exact.
$\hskip1in$
Does it ...

**0**

votes

**1**answer

207 views

### Spectral sequences to compute Hom's in derived category

Does anybody have a good reference that lists spectral sequences that may be used to compute Hom sets in derived categories (of coherent sheaves, say)?

**13**

votes

**1**answer

336 views

### Cohomology of central extensions of groups

Let G be a central extension of a finite group H by $Z/2$. I need an explicit description of the differentials $d_2$ and $d_3$ in the Lyndon-Hochschild-Serre spectral sequence which converges to the ...

**7**

votes

**0**answers

83 views

### Homology of inverse limits over inverse systems more complicated than towers

Most textbooks discussions of homology of inverse limits of chain complexes consider only “towers,” i.e. inverse systems indexed by the natural numbers. I’d like to find a reference that explains what ...

**5**

votes

**1**answer

178 views

### Bijection modeling isomorphism of infinite-dimensional vector spaces

Let $T : V \to W$ be an isomorphism of vector spaces with bases $B_V$ and $B_W$, which may be of any cardinality.
Does there exist a bijection $f : B_V \to B_W$ such that, for each
$b_V \in B_V$,...

**5**

votes

**0**answers

130 views

### Classification of representation-finite algebras up to stable equivalence of Morita type

Assume $K$ is an algebraically closed field.
I wanted to ask if there is a classification of the representation-finite $K$-algebras up to stable equivalence of Morita type (at least for some small ...

**6**

votes

**0**answers

234 views

### Description of connecting maps of Derived functors

Let $C$ be an abelian category with enough injectives and $F$ be a left exact additive functor. Consider the short exact sequence $0 \to A' \to A \to A ''\to 0$. Therefore, we have connecting maps $\...

**3**

votes

**0**answers

68 views

### Non-homotopic cdga maps with same effect on cohomology

Let $f, g : \mathcal{A} \to \mathcal{B}$ be maps of commutative differential graded algebras. An easy way to tell if they are homotopic is by looking at their effect on cohomology.
However, if $f$ ...

**6**

votes

**1**answer

169 views

### Can the Hochschild cochain complex be given the structure of a “homotopy BV algebra”?

In a 1993 letter, Deligne posed the following (paraphrased from a paper of Gerstenhaber and Voronov's):
Conjecture (Deligne). The Hochschild cochain complex $CC^*(A)$ of an associative ...

**2**

votes

**1**answer

118 views

### Milnor patching for general modules

The Milnor patching theorem for projective modules is the following statement. Given a pullback diagram of rings
$$
\begin{array}{}
R & \xrightarrow{f_2} & R_2 \\
\downarrow{f_1} & &...

**6**

votes

**2**answers

415 views

### Socle of tilting modules in the BGG category $\mathcal{O}$ over a semisimple Lie algebra

Suppose that $\mathfrak{g}$ is a finite dimensional, complex, semisimple Lie algebra. Let $\mathcal{O}$ be the BGG category over $\mathfrak{g}$.
Tilting module theory play an important role in the ...

**1**

vote

**0**answers

86 views

### depth of ideal in polynomial ring

Let $R$ be a Noetherian local ring. Then the "depth" of an ideal $I$ measures the maximal length of regular sequence inside $I$. And $depth (R/I)$ measures the maximal length of regular sequence in ...

**0**

votes

**0**answers

86 views

### forgetful on ext functor : reference request

learning about ext functors I encountered the following statement (source : https://en.m.wikipedia.org/wiki/Ext_functor) :
"For $\mathbb{F}_p$ the finite field on $p$ elements, we also have ...

**0**

votes

**1**answer

80 views

### Projective dimension and tensorial product of two modules

Let $M$,$N$ be two modules over commutative ring $R$.
Can we say that $pd (M \otimes N )= $ $pd( M) + pd( N)$?
Thanks!

**4**

votes

**1**answer

89 views

### When is the category of Gorenstein projective $R$-modules Frobenius?

Let $R$ be a ring (associative with unit, but not necessarily commutative, and definitely not necessarily Noetherian.) Then the category $\operatorname{GP}(R)$ consists of those $R$-modules having a ...

**5**

votes

**1**answer

179 views

### Auslander-Reiten theory for Gorenstein algebras

In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra ...

**2**

votes

**1**answer

122 views

### Why $k[x,y]$ is not a formally smooth algebra?

We could talk about the formal smoothness of an algebra. See for example Ginzburg's lecture notes For an associative algebra $A$ over a field $k$ we define
$$
D(A)=T(A+\bar{A})/(\bar{ab}=a\bar{b}+\bar{...

**1**

vote

**0**answers

84 views

### The $\mathrm{Hom}(E_2,E_1)$-action on $\mathrm{Ext}^1(E_2,E_1)$ [closed]

Let $E_1$ and $E_2$ be objects in an abelian category $\mathcal{C}$. How can I see the natural action of $\mathrm{Hom}(E_2,E_1)$ on $\mathrm{Ext}^1(E_2,E_1)$?

**2**

votes

**0**answers

58 views

### Acyclic extension of free DGA-modules

I want to find some method to do the following: given an DGA-module $M$
over some commutative ring $k$, positively graded ($M_i=0$ if $i<0$), where each component $M_i$ has a free action by the ...

**1**

vote

**1**answer

237 views

### Free Symmetric Operads and $\mathbb{S}$-modules

In the definition of operads, if we restrict our attention to $\mathbb{S}$-modules where the action by the symmetric groups is free, then the free operads
have still an underlying free $\mathbb{S}$-...

**8**

votes

**1**answer

253 views

### When is bar-cobar duality an equivalence?

Let $A$ be an augmented differential graded algebra over a field $k$. I will write $BA$ for its bar construction (whose homology is $Tor^A(k, k)$). This is a co-augmented differential graded ...

**5**

votes

**0**answers

103 views

### Is the bar resolution of complexes dg-functorial?

Let $k$ be a commutative ring, and let $V$ be a complex of $k$-modules (more in general, we can take an $\mathcal A$-dg-module, where $\mathcal A$ is a dg-category. We can construct the bar resolution ...

**2**

votes

**0**answers

62 views

### Regular sequence, and projective dimension

Let $I\subset J$ be two ideals of $k[x_{1},..,x_{n}]$, where $I$ is generated by a regular sequence.
What can we say about the projective dimension of $J/I$
Thank you!

**0**

votes

**0**answers

215 views

### Conditions for splitting of short exact sequence?

Assume $K$ is a number field and $E$ is an elliptic curve defined over $K$.
Are there conditions under which the short exact sequence
$$0\rightarrow E (K)/mE (K)\rightarrow H^1_{Sel}(K,E_m)\...

**0**

votes

**0**answers

92 views

### Projective dimension of modules

Let $M$, $N$ be two modules over commutative ring $R$. Suppose that they have finite projective dimension.
Can we say something about the projective dimension of the $R-$module $Hom_{R}(M,N)$?
Thanks!

**6**

votes

**0**answers

95 views

### mod $p$ homology module of unordered configuration spaces of the projective plane

Let $M$ be a manifold and $k$ be a positive integer. Let $F(M,k)$ be the $k$-th ordered configuration space over $M$, consisting of all ordered $k$-tuples of distinct points in $M$. Let $\Sigma_k$ be ...

**2**

votes

**0**answers

52 views

### Surjections to free commutative dgas

Consider the category $C$ of commutative dgas (unbounded in both degrees) over a ring $R$
(in practice the integers or the integers mod $p$).
Let $F$ be the free functor from chain complexes to $C$ ...

**0**

votes

**1**answer

104 views

### $Ext$ functor over a product of groups

Let $G_1$ and $G_2$ be two groups (of some kind, e.g. finite groups).
Let $M_1, N_1$ be $G_1$-modules, and $M_2, N_2$ be $G_2$ modules, always with coefficients in $\mathbb{C}$.
Write $G = G_1 \...

**12**

votes

**2**answers

518 views

### 1-st cohomology of multiplicative group in a vector space

Let $\mathbb k$ be a field of characteristic $p$ and let $\mathbb k_n$ be a 1-dimensional representation of $\mathbb k^\times$, where the action is given by $t\circ v= t^n v$. Is it known what are the ...

**4**

votes

**0**answers

100 views

### Partial formality of A-infinity structure implies formality

Let $A$ be a (finite dimensional, unital, associative) $k$-algebra, where $k$ is a (algebraically closed) field. Let $M$ be a (finite dimensional) $A$-module. Then, it is known that $\operatorname{Ext}...

**3**

votes

**0**answers

201 views

### the origin of the differential of Spectral Sequence? [closed]

I'm wondering why the differential in homological Spectral Sequences $(E^*_{p,q},d^r)$ is defined as;
$d^r_{p,q}: E^{r}_{p,q} \rightarrow E^{r}_{p-r,q+r-1}$ .
From Weibel's homological algebra(p122), ...

**5**

votes

**1**answer

176 views

### Switching left and right adjoints in recollement situations

In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors
$$
...

**10**

votes

**0**answers

445 views

### Local proof of Grothendieck-Riemann-Roch theorem

There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem.
Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of rank $k$ ...

**1**

vote

**0**answers

53 views

### Tor functor in the case of algebra of smooth functions

Let $A=C^{\infty}(\mathbb{S}^{1})$, let $B$ be the sub-algebra $C^{\infty}(0,1)$. Here we identify $\mathbb{S}^{1}$ by $\mathbb{R}/2\pi \mathbb{Z}$. I want to ask if there is a way I can decompose $A$ ...

**10**

votes

**0**answers

196 views

### Finite dimensionality of Ext(M,N)

Let $K$ be a field of characteristic $0$ and let $R$ be a (noncommutative) Noetherian $K$-algebra. Let $M$ and $N$ be simple left $R$-modules and assume further the following conditions on $R$:
(...

**1**

vote

**0**answers

19 views

### Reference needed for exact sequence of ACM curves with homogeneous coordinate ring.

Let $C\subset\Bbb{P}^n$ be an ACM (arithmetically Cohen-Macaulay) curve with homogeneous coordinate ring $R$. Then there is an exact sequence
$$0\to \text{Tor}_i(R,\Bbb{C})_k\to H^1(C,\wedge^{i+1}...

**3**

votes

**0**answers

89 views

### Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...

**4**

votes

**2**answers

870 views

### Tensor product of spectral sequences?

I'm wondering about a cross product for spectral sequences. I've got an idea, and I wonder if it is written up anywhere, or if it even holds water.
Let's start with three spectral sequences, $E, F$ ...

**0**

votes

**0**answers

74 views

### Right split for homomorphism onto $S_\infty$

Let $G$ be a closed subgroup of $S_\infty$ and let $f:G\rightarrow S_\infty$ be a continuous surjective homomorphism. Under which conditions $f$ has a right split, i.e. there exists some $g:S_\infty\...

**5**

votes

**1**answer

314 views

### Known results in the Cohomology of finite groups

I am learning to compute cohomology of finite groups and came across this survey article http://www.ams.org/notices/199707/adem.pdf "Recent Developments in the cohomology of finite groups" by ...

**8**

votes

**1**answer

438 views

### Cohomology theory “from” Grothendieck's six operations?

How, precisely, (as suggested by grothendieck) cohomology theory naturally follows from the Grothendieck's six operations associated to the category derived from the topos?
I would like some ...

**5**

votes

**1**answer

322 views

### A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a $(R,S)$-...

**3**

votes

**1**answer

94 views

### t-structure induced on the Verdier quotient ${\cal T}/\cal S$

Let $\mathfrak t$ be a $t$-structure on a triangulated category $\cal T$. Let $\cal S$ be a thick (or even non-thick) triangulated subcategory, and ${\cal T}/\cal S$ the Verdier quotient.
Is there a ...

**3**

votes

**0**answers

44 views

### Fracturing $t$-structures

$\def\tee{\mathfrak{t}}$ Let $\tee_1,\tee_2$ be two $t$-structures on a triangulated category $\cal T$; call them fracturing if the two fiber sequences $\tau^\le_1X\to X\to \tau^\ge_1X$ and $\tau^\...

**4**

votes

**1**answer

78 views

### Are product / coproduct projections / inclusions 'semistrict'?

Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker (f))\...