The tag has no wiki summary.

learn more… | top users | synonyms

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
216 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
237 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
143 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
276 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
310 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
63 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
237 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
98 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
88 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
143 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
376 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
190 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
190 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
118 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
317 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 ...
3
votes
2answers
279 views

What is the correct definition of the (derived) tensor product over a dg-algebra?

Let $A_\bullet$ be a dg-algebra over a field $k$. Let $M_\bullet$ (resp. $N_\bullet$) be a right (resp. left) $A_\bullet$-module. There is then a notion of the derived tensor product: ...
5
votes
1answer
485 views

Resolution of a module as an $A_\infty$ module over resolution of an algebra

The following question looks like a basic question on resolutions over commutative rings, unfortunately I was not able to find a reference. Let $A$ be a regular commutative noetherian ring (and ...
2
votes
1answer
180 views

Deformations of a complex trivial up to quasi-isomorphism

Let $(C, d_0)$ be some cochain complex over commutative ring $R$ and $R$ is an algebra over a field $k$, then I could consider complex $(C[t], d_0+td_1)$ over ring $R \otimes k[t]$ where $d_1$ is some ...
5
votes
1answer
269 views

Is the derived Fukaya category a derived category in the classical sense?

I am trying to read Seidel's book, and I am confused about the "derived" Fukaya category. If I understand properly, one starts from the $A_{\infty}$-category $\mathfrak{F}(M)$, enlarges it to the ...
2
votes
0answers
117 views

Criteria for a finite-dimensional $k$-Algebra to be basic and elementary

I have the following question: Suppose, I have a finite dimensional $k$-Algebra $A$ over an arbitrary field $k$ and a finite dimensional module $M$ that is a generator-cogenerator of mod-$A$. I'm ...
2
votes
1answer
190 views

Computing Ext: $\text{Ext}(i_* \mathcal{O}_X, i_* \mathcal{O}_X)$ for closed embedding $i:X \rightarrow Y$

Let $V$ be a vector bundle on $X$, and $Y = \text{Tot}(V)$ be the total space of this bundle; we have a closed embedding $i: X \rightarrow Y$. Why is the following result true? $$ \text{Ext}^k(i_* ...
4
votes
0answers
226 views

Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and $\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$ respectively. I ...
6
votes
3answers
393 views

zero homology of augmented Koszul complex implies the sequence is regular?

Let $A$ be a Noetherian ring, $M$ a finite $A$-module and $I=(y_1,\cdots,y_n)$ an ideal of $A$ such that $M \neq IM$. Denote by $H_i(y_1,\cdots,y_n;M)$ the homology at dimension $i$ of the augmented ...
1
vote
0answers
129 views

Is this a pure monomorphism?

Let $M$ be a representation of a quiver $Q=(V, E)$ by $R$-modules. By $M^{+}$ we mean a representation of $Q^{op}$ with $M^{+}(v)=\mathrm{Hom}(M(v), \frac{Q}{Z})$. One can easily see that there is ...
14
votes
1answer
448 views

History of Koszul complex

This is a question about history of commutative algebra. I'm curios why Koszul complex from commutative algebra is called Koszul complex? All Koszul's early papers are about Lie algebras and Lie ...
1
vote
1answer
211 views

finitely presented representations

Let Q=(V,E) be a direct graph where V is the set of all its vertices and E denotes the set of all its arrows. $X$ is called a representation of Q by modules if it is a functor from Q to R-Mod. i.e. ...
1
vote
1answer
108 views

moduli space of two-term complexes of vector bundles over a fixed variety

Let $X$ be a fixed algebraic manifold over $\mathbb{C}$ , $\{E_{a}\}$ be vector bundles over $X$. We can construct moduli space of $\{E_{a}\}$ by classical theory. My question is that if we consider ...
1
vote
1answer
208 views

Pure monomorphism of functors-

Suppose that $F, G: Q\rightarrow R{\rm -Mod}$ be two covariant functors where $Q$ is an abelain category and $R$ is a commuatative ring. Also let $\eta: F\rightarrow G$ be a natural transformation ...
3
votes
0answers
158 views

Hochschild homology of a tensor algebra modulo a two-sided ideal

Let $V$ is a module over a field $k$, and $A=T(V)$ the tensor algebra generated by $V$. The Hochschild homology $HH_*(A)$ has been determined by Loday and Quillen in their paper "Cyclic homology and ...
0
votes
0answers
72 views

algebras of infinite injective dimension

Are there any connected graded Noetherian algebra of infinite injective dimension but has a balanced dualizing complex? Thanks a lot.
4
votes
1answer
241 views

Two-sided bar construction

On page 4 of this paper by H. Abbaspour, the author defines the two-sided bar construction $$B(A,A,A):=A\otimes T(s\bar{A})\otimes A$$ of a differential graded algebra $(A,d_A)$ (over a field). The ...
6
votes
1answer
124 views

Abelian groups injective over their endomorphism

Let $M$ be an abelian group and let $R = \mbox{End}_\Bbb{Z}(M)$. Under what conditions (on $M$), $_RM$ is injective!?
2
votes
1answer
268 views

Brutal truncation of indecomposable complexes

Let $P^{\bullet} = (P^i, d^i)_{i\leq 0}$ be an indecomposable object in category of complexes bounded above, where each $P_i$ is a finitely generated projective module over an finite dimensional ...
2
votes
0answers
200 views

Global dimension of endomorphism algebra of a coherent sheaf

Let $X$ be a smooth projective variety over algebraically closed field of characteristic zero. In one of the versions of definition of tilting object $\mathcal{F}$ on $X$ there is a requirement that ...
1
vote
0answers
50 views

injective dimension of dualizing complex

Let $R$ be a balanced dualizing complex of a Noetherian connected graded algebras $A$. Dose one always have $\text{id}_A R = \text{id}_{A^{op}} R$? Thanks a lot.
4
votes
0answers
177 views

What is known about this short exact sequence in Lie algebra cohomology?

In its most general form, I look at the following. Let $g$ be a dg Lie algebra and $Z$ be its center. The sequence $ Z \to g \to g/Z $ gives me a short exact $ 0\to C(g,Z) \to C(g,g) \to C(g,g/Z) \to ...
1
vote
0answers
44 views

Duality of morphisms induced by multiplication of regular normal element

I was confused by the sequence of modules in [Yekiutieli and Zhang, Rings with Auslander dualizing complex, p.33, l.-10]. The question is that: why is the second morphism right multiplication of $t$? ...
2
votes
0answers
62 views

Quotient categories and essential extension

Let $A$ be a right Noetherian positively graded ring. Let $Gr(A)$ be the category of right graded $A$-modules, and $Tors(A)$ be the full subcategory of $Gr(A)$ of torsion modules. Let $QGr(A)$ be the ...
4
votes
0answers
161 views

Homotopy unites of a differential graded algebra

I apologize in advance if the question is too basic. Let $A$ be a differential graded algebra and $H^{0}A$ the 0-cohomology of $A$ (which is an ordinary ring) and $A^0$ is the 0-level of $ A$ . An ...
4
votes
1answer
317 views

Computing cotangent complex

I would like to know if one can compute all the cohomology sheaves of the cotangent complex of a subvariety of the affine space once a resolution of its ideal sheaf is given? In my precise situation, ...
0
votes
1answer
329 views

A generalization of cochain complex: quasi-cochain complex

It appears that we can generalize cochain complex to quasi-cochain complex, that still allow us to define cohomology. Definition: A quasi-cochain complex is a sequence of commutative monoids $M_n$ ...
8
votes
1answer
211 views

Rings in which every module has an injective image

Consider the class of rings $R$ with identity such that any left $R$-module has a non-zero injective homomorphic image. Any such ring is clearly a left V-ring. Is it true that any such ring must be ...
1
vote
1answer
186 views

Could we extend the Atiyah class to the sheaf of poly-vector fields to get a Poisson bracket?

Let $X$ be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence ...
2
votes
2answers
212 views

Cool Examples of Localisation in Triangulated Cats Besides the Usual

In the theory of triangulated categories there is a hefty literature on localisation -- the most common example in algebra being (variants of) localising the homotopy category of chain complexes over ...
7
votes
3answers
426 views

For G a Lie group, can I make sense of G/G as a derived manifold in a nice way?

The functor sending a smooth manifold $M$ to its de Rham algebra $\Omega^{\bullet}(M)$ does not send quotients by actions of Lie groups to invariant subalgebras. The example I have in mind is a ...
5
votes
0answers
220 views

Extension to a right exact functor

Setup. Let $k$ be a field, $\mathcal{C}$ be a $k$-linear abelian category, $\mathcal{D}$ an arbitrary $k$-linear category. Let $\mathcal{C}'$ be a full subcategory of $\mathcal{C}$ with the following ...
3
votes
2answers
230 views

on a characterisation of regular D-modules

Let $X$ be a smooth variety over a field of characteristic zero. Let $M$ be in the derived category of holonomic $\mathcal{D}_{X}$-modules, $D^{b}_{h}(\mathcal{D}_{X})$. We know that if we assume ...