The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
1answer
187 views

Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...
9
votes
1answer
396 views

Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles? Can you give me a text or an article? For example: Consider a vector bundle $E$ with fiber $V$ and base manifold $M$. Consider ...
2
votes
1answer
168 views

Showing a functorial isomorphism

I'm having trouble with this exercise from Elements of the Representation Theory of Associative Algebras I: Techniques of Representation Theory. The exercise in question is from chapter IV. So, let ...
3
votes
1answer
270 views

Hochschild homology of quiver algebras

Let $K$ be a field and $\Gamma$ a quiver (=multidigraph) and $K[\Gamma]$ its quiver algebra (free $K$-module on the set of all paths of length $\geq0$ where multiplication is concatenation if ...
3
votes
1answer
95 views

Are finite-dimensional representations of groups of type $\text{FP}_{\infty}$?

Let $G$ be a group (possibly infinite) and $k$ be a field. A module $M$ over $k[G]$ is said to be of type $\text{FP}_{\infty}(k)$ if it has a projective resolution each of whose terms is finitely ...
6
votes
1answer
197 views

In what generality does Eilenberg-Watts hold?

In homological algebra, the Eilenberg-Watts theorem states that if $F\colon\text{Mod}_R\to\text{Mod}_S$ is a right-exact coproduct preserving functor of modules, then $F\cong-\otimes_R F(R).$ The ...
1
vote
0answers
97 views

Intuitive idea: What is the motivation for relative homological algebra

Basically I was wondering what is the purpous of choosing a smaller class of epis in a category? Does it allow for the existence of "more" "projective-like" objects? What are some applications? For ...
6
votes
2answers
267 views

Hochschild homology of upper triangular matrix algebra?

Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$? Is there any ...
0
votes
2answers
193 views

Injective resolution for right derived functor

This question is base on my previous question, and I repeat it here: Suppose $X$ is a projective variety and $D^{+}(X)$ is the derived cateogry of bounded below complexes of sheaf of ...
3
votes
0answers
90 views

Groups such that all finite-dim representations are finitely presented

Let $G$ be an infinite group. What sorts of finiteness properties can I put on $G$ to ensure the following holds for all $M$? Let $M$ be a finite-dimensional vector space over $\mathbb{Q}$ upon ...
4
votes
2answers
485 views

Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has $$\otimes: D^{-}(X) \times D^{-}(X) \to ...
2
votes
2answers
195 views

Some questions on vanishing of Ext sheaves

Let $X$ be a complex manifold of dimension $3$ and $\mathcal{E}$ be a coherent sheaf such that $\dim supp(\mathcal{E})=1$. In this situation, I would like to know why we have the Ext sheaf ...
5
votes
1answer
100 views

Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras

Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C_{\cdot}(A)$ where $$ C_n(A):=A^{\otimes n+1} ...
0
votes
0answers
93 views

Consistency of the u-invariant under field extension

A algebraic field extension L/k induces of homomorphism between the Wittrings. We get $\phi: W(k) -> W(L)$. If every anisotropic isometry class of $W(k)$ stays anisotropic, the kernel of $\phi$ ...
3
votes
0answers
75 views

Lifting Lie algebra cohomology class to Hochschild cochain

Let $g$ be a Lie algebra, $h\subset g$ an ideal. The associative algebra $N=U(h)\subset U(g)$ can be viewed as a $g$-module. The Lie algebra cohomology ${\rm H}^*(g,U(g))$ is isomorphic to the ...
8
votes
3answers
201 views

Is 'the' homotopy colimit of a sequence of exact triangles an exact triangle?

Let $$ \begin{array}{rccccl} A_0&\to& B_0&\to& C_0&\to\\ \downarrow & &\downarrow&&\downarrow\\ A_1&\to& B_1&\to& C_1&\to\\ \downarrow & ...
1
vote
0answers
97 views

Sort of units for the Yoneda product (and/or in Hochschild cohomology)

In an abelian category $\mathcal A$ with enough projectives, we have the Yoneda pairing $$\operatorname{Ext}^p_{\mathcal A}(Y,Z)\otimes \operatorname{Ext}_{\mathcal A}^q(X,Y)\longrightarrow ...
3
votes
1answer
195 views

Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...
5
votes
0answers
243 views

Sign problem for the shift functor on DG modules

Let $\mathcal{A}$ be a Differential graded $k$ category, where $k$ is a commutative ring. I want to extend the shift functor $[1]$ on chain complexes to dg modules over $\mathcal{A}$. Now a right dg ...
2
votes
1answer
84 views

Kernel of the induced map of the wedge product

Let $A$ be a noetherian ring and let $M$ be a finitely generated $A$-module. Let $F$ be a free $A$-module and let $d: F \to M$ be a homomorphism which maps a basis of $F$ to a minimal set of ...
3
votes
1answer
96 views

Relative flasqueness?

It is known that a flasque sheaf on a topological space has trivial cohomology. Suppose that we are in a relative situation of a smooth fibration $\pi: X \to S$ and $F$ is a sheaf on $X$. Is there ...
2
votes
1answer
445 views

A question about the universal coefficients theorems

This seemingly simple question stands unanswered on math.stackexchange.com for a couple of days (http://math.stackexchange.com/questions/680211/a-question-about-the-universal-coefficient-theorem), so ...
11
votes
0answers
369 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
7
votes
2answers
283 views

Non-vanishing $\mathrm{lim}^1$-term for the cohomology of a CW-complex

Let $h$ be an additive cohomology theory. If we want to compute $h^*(X)$ for an infinite CW-complex $X$, a standard method is to use the Milnor sequence $$ 0 \to \mathrm{lim}^1_k h^{n-1}(X^{(k)}) \to ...
2
votes
0answers
107 views

semi-orthogonal decompositions and embeddings

This is most likely a stupid question, but I am curious. It is well known that $\mathbb{P}^n$ has a semi-orthogonal decomposition $$D^b(X)=\langle \mathcal{O},\dots,\mathcal{O}(n)\rangle$$ Suppose ...
2
votes
0answers
97 views

syzygy of a generalized cohen-macaulay module

Let $R$ be a local, noetherian ring of dimension $d$ and suppose it is generalized cohen-macaulay. Is it true that For any finitely generated $ R $-module $ M $, which is maximal generalized ...
0
votes
0answers
246 views

generators for derived category

Let $G$ be a algabraic group $G$ over a field $k$. We denote by $D^b(\mathrm{Repr}(G))$ the derived category of finite dimensional representations. Under what kind of assmumptions one has a generating ...
3
votes
0answers
233 views

2 - Calabi Yau algebras and bimodule coherence

Let $\Pi:=\Pi(Q)$ be the preprojective algebra of a connected non-Dynkin quiver over an algebraically closed field of characteristic zero. In H. Minamoto "Ampleness of two-sided tilting complexes", ...
21
votes
4answers
1k views

origin of spectral sequences in algebraic topology

I have the following somewhat vague question. I am not sure if it is appropriate for this forum, please feel free to close (or migrate to stackexchange). I have been "brought up" as an algebraic ...
1
vote
1answer
248 views

Cohomology after completion

I've been scouring google and asking friend about something I was certain must be absolutely the easiest thing to people who do homological algebra, and none seem to know the answer to this, so if ...
7
votes
2answers
275 views

Why the term “monad” in homological algebra?

Which is the origin and the reason for the choice of the term "monad" in the sense of homological algebra? Does this concept have any relation whatsoever to the "monads" from category theory?
3
votes
0answers
165 views

Computing the Abelianization of an Automorphism Group

Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let ...
0
votes
1answer
103 views

The Existence of Pure Resolutions, Given a Degree Sequence?

I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
5
votes
1answer
214 views

Inverse limit of Gorenstein local rings is again Gorenstein?

If we have the system of surjective ring homomorphisms $f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$ for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put ...
1
vote
0answers
224 views

Tensor product of d.g-algebras

I'd like to prove that the tensor product functor $- \otimes Y$, where $Y$ is a d.g-algebra over a field of characteristic 0, preserves finite products of d.g-algebras. This statement is in a paper by ...
1
vote
0answers
139 views

Cone of morphism between semi-free DG modules

Let $A$ be a DG algebra. Recall that an $A$-module $M$ is free if it is isomorphic to a sum of shifts of $A$, or semi-free if it has an exhaustive filtration $0 = F_0 \subset F_1 \subset \cdots ...
3
votes
1answer
270 views

What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem: Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...
2
votes
0answers
56 views

Relationship of height zero hypercovers to co-cartesian condition on cosimplicial modules

Suppose given a cosimplicial ring $R^\bullet$ and a cosimplicial module $M^\bullet$ (i.e. a cosimplicial Abelian group such that $M^n$ is an $R^n$-(left/right/bi)module). I have seen it said that ...
-2
votes
2answers
304 views

Are there some websites for self learining of advanced mathematics? [closed]

Are there some websites for self learining of advanced mathematics? For example, some great lecture vedio of differential geometry, Lie group , Lie algebra, algebraic topology and so on. Thanks
1
vote
0answers
62 views

An invariant number of modules over Auslander Gorenstein modules

Given an Auslander Gorenstein $R$ of injective dimension $\mu$, one can associate with each finitely generated module $M$ with a number $\varepsilon_{\mu}(M)$, which is the number of the ...
2
votes
1answer
220 views

Semi-free resolutions

Let $\mathscr{C}$ be a DG category (not much will be lost if you assume that $\mathscr{C}$ has one object, i.e. is a DG algebra). One way to construct the unbounded derived category of ...
1
vote
1answer
96 views

When for every module $M$, $|E(M)| = |M|$

Is there a non-semisimple ring $R$ such that for any left $R$-module $M$, $|E(M)| = |M|$ ? (where $E(M)$ is the injective hull of $M$ and $|M|$ is the cardinality of $M$)
4
votes
0answers
84 views

bialgebra cohomology

It seems that the Gerstenhaber-Schack (bi)complex of an associative bialgebra carries a homotopy e_3-algebra structure and a degree 2 Lie algebra bracket, up to homotopy. Does anyone know about a ...
1
vote
1answer
139 views

arrows in the injective representations of quivers

Let $Q$ be a quiver (a directed graph) and $E$ be a representation of $Q$ by R-modules, that is, for each vertex $v$ in $Q$ there exists an R-module $E(v)$ and for each arrow $a:v\to w$ there exists a ...
5
votes
1answer
373 views

Splitness of commutative diagrams

Consider the following commutative diagram in the category of $R$-modules where $R$ is an associative ring with identity and all modules are unital. $ \newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ ...
7
votes
1answer
243 views

Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes. In the example I have in mind all chain complexes are concentrated in some fixed degree n. There is a canonical map lim D → holim D ...
5
votes
0answers
185 views

Lagrangian (classical) BRST cohomology groups

I'm trying to understand BRST complex in its Lagrangian incarnation i.e. in the form mostly closed to original Faddeev-Popov formulation. It looks like the most important part of that construction ...
4
votes
1answer
184 views

Algebra structure $Tor(A,A)$

This is a question i asked on math.stackexchange but i didn't get any answer. Let $A$ be algebra over commutative ring $k$ and $P_{\bullet}=(P_i,d_i)\rightarrow A$, $k$ projective resolution. Then we ...
4
votes
1answer
116 views

Localizations of hereditary rings

It is known that if a commutative Noetherian ring $R$ is hereditary then for any maximal ideal $M$ the localization $R_M$ is also hereditary. Is the Noetherian assumption necessary?
11
votes
0answers
300 views

Bar construction vs. twisted tensor product

One may study the cohomology of a space $E$ expressed as a homotopy pullback of $X$ and $Y$ over $Z$ using either the Eilenberg-Moore spectral sequence or the Serre spectral sequence for the fibration ...