**3**

votes

**0**answers

203 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**2**

votes

**0**answers

83 views

### Lie algebra (co)homology of the Lie algebra of differential operators

Let $X$ be an algebraic variety (or a complex manifold) over $\mathbb C$. Let $D(X)$ be its algebra of differential operators. Mostly I am interested in algebraic differential operators, but the case ...

**2**

votes

**0**answers

147 views

### Could Partial Tiltings be studied as Almost Complete Tiltings?

The first part of what follows is a brief recap of the definitions, setting and motivations for my questions. Experts can find the questions at the end.
Here $k$ denotes an algebraically closed field,...

**3**

votes

**1**answer

147 views

### On the ordered set of real numbers, does sheaf+cosheaf imply constant?

I have a technical question about unbounded chain complexes. I couldn't think of a descriptive title for it.
Let $P$ be a chain complex of contravariant functors on $\mathbf{R}$ (the real numbers ...

**17**

votes

**1**answer

403 views

### A spectral sequence for computing cohomology of a space from that of its strata

Let $X$ be a smooth complex variety (not necessarily compact) and let $D$ be a normal crossings divisors with components $D_1$, $D_2$, ..., $D_N$. For a set of indices $I$, let $D_I = \bigcap_{i \in I}...

**0**

votes

**0**answers

40 views

### Equivalence between recollements

Suppose you have a pair of recollements
$$
\mathcal{A}'
\stackrel{\overset{i^*}{\longleftarrow}}{\stackrel{\overset{i_*}{\longrightarrow}}{\underset{i^!}{\longleftarrow}}}
\mathcal{A}\stackrel{\...

**4**

votes

**1**answer

93 views

### Projective resolutions for commutative monoids

What is the right notion of a projective resolution of a commutative monoid?
The category Mon of commutative monoids has plenty of projective (and even free) objects. Indeed, for every set $X$ one ...

**4**

votes

**1**answer

80 views

### Filtered Colimit of associative $k$-algebras that are domains

Let $C$ be a filtered subcategory of the category of commutative algebras over a fixed field $k$ whose objects are all integral domains.
Then the colimit of the obvious diagram is an integral domain.
...

**5**

votes

**1**answer

208 views

### a question about Bockstein spectral sequence

I find the following theorem for Bockstein spectral sequence at http://pages.vassar.edu/mccleary/files/2011/04/MC10.fin_.pdf, page 459:
Question. for a fixed $k$, if $\beta$ does not hit $H_k(X;\...

**9**

votes

**1**answer

222 views

### A general version of the 5 lemma

Suppose you have an abelian category $\bf A$, and $A\to B\to C$, $A'\to B'\to C'$ two exact sequences, in a diagram
$$
\begin{array}{cccccccc}
0 &\to & A &\to& B &\to& C &\...

**5**

votes

**1**answer

321 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)$-...

**4**

votes

**2**answers

192 views

### Tensor product of monomorphisms is a monomorphism?

Given a commutative ring $k$ and for $i = 1,2$ a homomorphism of $k$-modules $X_i \overset {f_i} \longrightarrow Y_i$ with $X_i$ flat over $k$.
Is the following conclusion true for general $k$? If $...

**6**

votes

**0**answers

187 views

### Is there an obstruction which classifies “quasi-isomorphism but not chain equivalence”?

Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...

**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
$$
...

**4**

votes

**0**answers

171 views

### Compactly supported distributions as a projective G-module

For a Lie group $G$ and a locally convex space $V$ let $\mathcal{E}(G,V)$ be the locally convex space of smooth functions from $G$ to $V$, and accordingly $\mathcal{E}_c^\prime(G,V)$ the space of ...

**8**

votes

**1**answer

250 views

### Cap product on Leray-Serre spectral sequences

Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and $H^*(...

**7**

votes

**1**answer

259 views

### Weight filtration on certain Galois representations

Let $G$ be the absolute Galois group of a number field $K$. Let $\ell$ be a prime number. There are representations $\mathbb{Z}_\ell(n)$ of $G$ on the group of $\ell$-adic integers given by the ...

**3**

votes

**2**answers

187 views

### Definition of the differential of the Cone of a morphism of complexes [closed]

Let $(F^\bullet,d_F)$ and $(G^\bullet,d_G)$ be two complexes in an abelian category $\mathbf{A}$.
The complex cone $Cone(\varphi)^\bullet$ of a morphism of complexes $\varphi:F^\bullet \to G^\bullet$ ...

**7**

votes

**0**answers

82 views

### Non-Standard Derived Equivalences of Non-Flat Algebras

I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...

**3**

votes

**2**answers

457 views

### Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ (...

**5**

votes

**0**answers

89 views

### Differentially closed fields

Let F be a field. Recall that an additive map $d: F\rightarrow F$ is said to be a derivation if $d(ab)=ad(b)+d(a)b$.
Now let $F$ be a ring and let $d$ be a derivation of $F$. Examples I have in mind ...

**2**

votes

**0**answers

121 views

### Reference request for a “truncated version” of the de Rham algebra

Let's start on the $n$-torus for sake of simplicity.$\newcommand{\T}{\mathbb T}$
If I understand the relevant definitions correctly, the usual de Rham algebra of smooth differential forms on $\T^n$ is ...

**5**

votes

**2**answers

178 views

### Do $RHom(C,D)$ and $DG(C,D)$ have equivalent homotopy categories?

Toen in The homotopy theory of dg-categories and derived Morita theory Section 6 introduced the internal Hom's between dg-categories. Actually for two dg-categories $C$ and $D$, Toen defined
$$
RHom(C,...

**6**

votes

**0**answers

275 views

### Transgression map spectral sequence of Ext

Let $X$ be a scheme over $k$ and $p:\ X \to Spec(k)$ the structure morphism. If $M$ is an étale sheaf of abelian groups over $Spec(k)$ I have a Grothendieck spectral sequence $$E^{p,q}_2=Ext^p_k(M,R^...

**10**

votes

**0**answers

368 views

### Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...

**3**

votes

**0**answers

99 views

### Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 \...

**0**

votes

**1**answer

126 views

### Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.
We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...

**4**

votes

**0**answers

140 views

### References for bilinear forms on chain complexes?

I am looking for references that include general results and theorems for bilinear forms defined on chain complexes. That is, bilinear forms $\langle \cdot , \cdot \rangle_i : C_i \times C_i \to \...

**8**

votes

**2**answers

273 views

### derived categories as presentable DG-categories

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and ...

**1**

vote

**1**answer

129 views

### What can be said about $A$ and $B$ given the exact sequence $0 \to R^p \to A \to R^r \to R^q \to B \to 0$?

Let $A,B$ be two $R$-modules over a commutative ring $R$ (restrict to $R = \mathbb{Z}$ or $R= \mathbb{K}$ a field where appropriate). Suppose $A$ and $B$ fit into an exact sequence
$0 \to R^p \to ...

**4**

votes

**1**answer

243 views

### Homotopy classification of selfmaps of product of spheres?

Self-maps of n-torus $T^n=S^1\times ...\times S^1$ are classified by the induced homorphism of fundamental group $\pi_1 T^n=Z^n$.
Is a similar result true form self-maps of $S^k\times ...\times S^k$ (...

**15**

votes

**2**answers

529 views

### Grothendieck spectral sequence when one of the functors is contravariant

Let $f \colon X \rightarrow S$ be a morphism of schemes. I am interested in computing the cohomology groups of
$$
\mathbf{R}\mathscr{H}om(\mathbf{R}f_* \mathcal{O}_X, \mathcal{O}_S)
$$
in terms of $\...

**4**

votes

**1**answer

114 views

### Homological characterisation of standardly stratified algebras using Ext

Let A be a finite dimensional algebra and $S_1,S_2,...,S_n$ the simple $A$-modules and $P_1,..,P_n$ the indecomposable projective $A$-modules. For $i=1,...,n$, define the standard module $\Delta_i$ as ...

**7**

votes

**2**answers

1k views

### Does module Hom commute with tensor product in the second variable?

Let $A$ be a commutative ring, and $L, M, N$ be $A$-modules. Then is it true that
$$\text{Hom}_A (L, M)\otimes_A N \cong \text{Hom}_A (L, M\otimes_A N)$$
as $A$-modules?
(Note that there is a ...

**1**

vote

**1**answer

189 views

### $E_{\infty}$ algebra in characteristic zero

I asked this question on MSE(http://math.stackexchange.com/q/1579026/239218).
Let $A^{\bullet}$ be a cosimplicial commutative algebra over a field $\Bbbk$. Denote with $N(A)^{\bullet}$ the ...

**6**

votes

**1**answer

368 views

### Is the sheaf of smooth functions flat?

Let $X$ be a smooth algebraic variety over $\mathbb{C}$. Is the sheaf of smooth functions on $X$ flat as an $\mathcal{O}_X$ module?

**4**

votes

**0**answers

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

**5**

votes

**0**answers

224 views

### Do differential objects form triangulated categories?

Let $\mathcal{A}$ be a (fixed) additive category. To a differential object $(A,a)$ for $\mathcal{A}$ (so, $a:A\to A$ and $a^2=0$) one may associate an $\mathcal{A}$-complex $\dots \to A\stackrel{a}{\...

**10**

votes

**1**answer

480 views

### teaching higher algebra

Has anyone ever (successfully or unsuccessfully) taught a course in higher algebra (in the $\infty$-categorical sense)?
I'm asking out of curiosity (and also hoping for more resources).
The kind ...

**2**

votes

**0**answers

124 views

### completion and convergence of spectral sequence

I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...

**2**

votes

**0**answers

45 views

### Calculation of minimal right $\operatorname{add}(M)$-approximations

given a finite dimensional quiver algebra $A$ and a generator $M$ with $\operatorname{Ext}^1(M,M)=0$. By Wakamatsus lemma, for any $A$-module $N$ there exists a surjective $A$-linear map $f\colon M_1 \...

**4**

votes

**1**answer

206 views

### Information and intuition packed in the Chern character for coherent sheaves

even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting.
Let us consider a smooth projective algebraic variety ...

**3**

votes

**2**answers

201 views

### How do we get the quotient $Ext^1(N,M)/Hom(N,M)$?

If $0\longrightarrow M\longrightarrow E\longrightarrow N\longrightarrow 0$ is a short exact sequence of torsion free coherent sheaves on a surface. Here $M$ is a line bundle, $E$ a vector bundle of ...

**5**

votes

**0**answers

105 views

### Second homology of mapping class group via universal coefficient theorem

Let $S_g$ be the closed, orientable surface of genus $g\ge 2$ and $Mod(S_{g,1})$ the mapping class group of homeomorphisms fixing a base point $x_0\in S_g$ modulo isotopies fixing $x_0$.
It is known ...

**1**

vote

**1**answer

109 views

### dg-resolution of the polynomial algebra

I am intersted in constructing a cofibrant resolution of the commutative polynomial algebra in some number of variables in the category of dg-algebras(not necceserily commutative).
The resolutions ...

**20**

votes

**1**answer

720 views

### Lemma 2 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

This is a followup to here.
Consider Lemma 2 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows.
Lemma 2. For any pair $i$, $j$ such that $0 \...

**0**

votes

**0**answers

63 views

### Homology of product of two groups [duplicate]

There is well known formula for the homology of product of two groups with coefficient in integers, that is
$0 \rightarrow \oplus_{p+q=n}H_p(G,\mathbb{Z}) \otimes H_q(H,\mathbb{Z}) \rightarrow H_n(G \...

**7**

votes

**0**answers

161 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=...

**0**

votes

**0**answers

50 views

### One-sided endomorphism rings of centred bimodules

Let R be an associative unital ring. An R-bimodule M is called centred bimodule if M = R*Z(M), where Z(M)={m:rm=mr,∀r∈R}, i.e., M is generated as an R-module by the set of R-centralizing elements. ...

**3**

votes

**1**answer

191 views

### Reference for constructing tensor products of finitely presented functors

I need references related to the construction of tensor product between functors
Let $k$ be a commutative ring, $C$ a small $k$-linear category and $A$ cocomplete abelian category. Let $A^C$ denote $...