The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
1answer
205 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
170 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
193 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
414 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
211 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
222 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 ...
1
vote
0answers
134 views

Hochschild cohomology of de Rham algebra

I am interested in the relation between the Hochschild cohomology of the de Rham algebra on a manifold and the de Rham cohomology. As we know, we can always take the de Rham algebra as a D.G.A. or ...
9
votes
1answer
428 views

A map from the coinvariants of the dual to the dual of the invariants for a G-module

Suppose $G$ is a group and $X$ is a $\mathbb{Z}[G]$-module. Recall that the augmentation ideal $I \subset \mathbb{Z}[G]$ is generated by elements of the form $g - 1$ for $g \in G$, the coinvariants ...
9
votes
4answers
584 views

What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?

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 ...
3
votes
0answers
98 views

Homotopy equivalence of curved A_\infty algebra

I am quite curious: What is the precise definition of "homotopy equivalence" or "isomorphism" of two curved $A_\infty$ algebra $A$ and $B$? What is the condition to set for the morphism $f:A ...
3
votes
0answers
178 views

The normalised cochain complex, totalisation and cosimplicial simplicial $R$-modules

Short Version Given a cosimplicial space $X_\bullet$, what is the relationship between (co)chains on the totalisation of $X_\bullet$ and the totalisation of the cosimplicial chain complex obtained by ...
0
votes
2answers
243 views

Balanced dualizing complexes according to A. Yekutieli

I am reading A. Yekutieli's original article on dualizing complexes for noncommutative algebras and I found a problem I cannot solve. First, some background. We start with a field $k$ and a ...
3
votes
1answer
167 views

The Hochschild cohomology of a variety “with coefficient” in a vector bundle

This question is related to one of my previous question Do we have the following isomorphism for $\mathcal{Ext}$? Let $X$ be a smooth variety (over $\mathbb{C}$) and $\Delta: X \rightarrow X \times ...
3
votes
0answers
143 views

Serre duality for compactly supported sheaves

Given a smooth quasi-projective variety $X$ over $\mathbb{C}$ and bounded complexes of vector bundles $(P,d)$ and $(P',d')$ with compactly supported cohomology. It is well-known that such complexes ...
1
vote
1answer
225 views

Do we have the following isomorphism for $\mathcal{Ext}$?

Let $X$ be a smooth variety (over $\mathbb{C}$) and $\Delta: X \rightarrow X \times X$ be the diagonal embedding and $p_1: X\times X\rightarrow X, ~p_2: X\times X\rightarrow X$ be the projections to ...
5
votes
1answer
288 views

Dualizing Complexes

Let $R$ be a dualizing complex of a Noetherian graded algebra $A$ (not necessary commutative). For any $M\in D_c^b(A)$, there is a natural morphism $$ \theta: R\Gamma_m(M) \to ...
0
votes
1answer
174 views

cofree modules and dual

1, Why do people pay special attention to Q/Z in the definition of cofree modules instead of ordinary abelian groups? 2, Over a PID, is every injective module cofree? Just like the relationship ...
7
votes
2answers
330 views

A question on some computation of group cohomologies

Let $G=H\times J$, where $H\cong J\cong C_2$ (cyclic group of order 2). Let $M \cong \mathbb{Z}$ be a $G$-module via "trivial $H$-action and negation $J$-action". My question is "What are the group ...
7
votes
1answer
703 views

Sheaf cohomology with compact supports (and Verdier duality?)

Consider a manifold and a complex where cochains are sections of vector bundles and coboundary maps are differential operators, which are locally exact except in lowest degree (think de Rham complex). ...
4
votes
3answers
486 views

Künneth formula for Ext groups

Setup: Let $X,Y$ be quasi-compact quasi-separated schemes defined over a field $k$. If necessary, you can also assume that $X,Y$ are noetherian, but I don't want to assume that $X,Y$ have the ...
3
votes
1answer
134 views

is every finitely n-presented (S^{-1})R-module a localization of a finitely n-presented R-module?

Let S be a multiplicative set in a ring R. We can see that every finitely generated $(S^{-1})R$-module is a localization of a finitely generated R-module. Then, more generally, is every finitely ...
2
votes
0answers
168 views

Tilting objects and Koszul algebras

Let $X$ be a smooth variety over a field, and $T\in D^b(Coh(X))$ be a tilting object, i.e. (1) $Ext^i(T,T)=0$ for all $ i\neq 0$; (2)Tilting algebra $A:=End(T)$ has finite global dimension; ...
5
votes
2answers
223 views

Koszul (Exterior/Symmetric) duality for a 1-dim vector space

The simplest example of Koszul duality (see introduction of http://www.ams.org/journals/jams/1996-9-02/S0894-0347-96-00192-0/) Let $V = \mathbb{C}x$ be a $1$ dimensional vector space. Then the ...
2
votes
0answers
151 views

Quasi-equivalences of DG categories

There are several definitions of a quasi-equivalence $\newcommand{\T}{\mathscr{T}}F : \T \to \T'$ of DG categories in the literature, e.g. (i) the induced functor $H^0(F) : H^0(\T) ...
5
votes
1answer
350 views

example of Local cohomology

Let $S=k[x_1,...,x_n]$ be a polynomial ring over field $k$ with maximal ideal $m=(x_1,...,x_n)$. I wanna make a $3$-dimensional $S$-module $M$ such that $H^0_m(M)=H^1_m(M)=0$ and $H^2_m(M)\neq 0$ be ...
3
votes
0answers
134 views

Is Hochschild cohomology finitely generated?

I am sorry if this is a naive question. Let $k$ be a field, and let $A$ be a finitely generated commutative $k$-algebra. Let $M$ be a finite $A$-module. Consider the Hochschild cohomologies of $A$ ...
14
votes
0answers
739 views

Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split

Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$ Actually this ...
5
votes
1answer
302 views

Computing multiplication in the Ext (for a simple example)

This is a follow-up to Computing Ext in Exterior algebra (related to Koszul duality) . Let $V = \mathbb{C} x$, $A = \Lambda^{\bullet}(V) = A_0 \oplus A_1$ is graded (with $A_0 = \mathbb{C}, A_1 = ...
4
votes
1answer
397 views

“as close to being semisimple as it can possibly be.”

I had originally asked this question on math stack exchange but I think maybe it's more appropriate to ask it here. In the paper of Beilinson, Ginzburg and Soergel entitled "Koszul Duality ...
9
votes
0answers
158 views

Is it possible to take “limits up to homotopy”?

Before I begin, an apology: it's been a while since I've done much analysis, so I might be misusing (or just missing) terminology. I have a chain complex $(V_\bullet,\partial)$ of topological vector ...
4
votes
1answer
205 views

Is the functor $mod(Tw\mathcal{C})\rightarrow mod(\mathcal{C})$ cohomologically full and faithful?

Let $\mathcal{C}$ be a $c$-unital $A_\infty$-category. If $\mathcal{A}$ is a $c$-unital and triangulated $A_\infty$-category, then there is a $c$-unital $A_\infty$- functor $$Tw: ...
4
votes
0answers
213 views

Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...
4
votes
2answers
223 views

The 2-group of extensions

Let $A,B$ objects of an abelian category. Then we can define the abelian group $\mathrm{Ext}^1(A,B)$ as the set of isomorphism classes of extensions $0 \to B \to E \to A \to 0$, endowed with the Baer ...
1
vote
0answers
94 views

Realization of a formal duality isomorphism via integration

This is a more precise version of my previous question. Let $X$ be a smooth variety of dimension $n$ over $\mathbb{C}$ and $Z$ a proper sub-scheme. We denote by $\tilde{X}$ the formal completion of ...
6
votes
1answer
208 views

When are MCM ideals principal?

Suppose $(R,\mathfrak m, k)$ is a $d$-dimensional Cohen-Macaulay local ring with canonical module $\omega_R$ and $d>1$. Suppose $I\subset R$ is an ideal which is MCM (=maximal Cohen-Macaulay, ...
7
votes
0answers
362 views

Grothendieck trace on local cohomology?

Let R be an augmented regular local ring over a field $k$ with maximal ideal m. There is the Grothendieck residue symbol: $$Res: H^n_m(\Omega^n) \to k$$ If $k=\mathbb{C}$ and $R$ is affine space, ...
9
votes
0answers
173 views

The global dimension of fields

In the absence of the Axiom of Choice, it is not necessarily true that all vector spaces over a field have bases. What are the possible global dimensions of fields in a model of ZF in which AoC ...
3
votes
1answer
215 views

finiteness of local cohomology

Well-known Theorem: Let $a$ be an ideal of the noetherian ring $R$ and let $M$ be a finitely generated $R$-module. Let $i \in \Bbb N_0$ be such that $H^j_a (M)$ is finitely generated for all $j < ...
3
votes
0answers
225 views

Rejects and injectives

Let $A$ be any ring and consider modules on the left. For $M$ $A$-module, the trace $Tr(M,A)$ is a two-sided ideal of $A$. If $A$ is a unitary ring then: $Tr(P,A)P=P$, for $P$ projective; ...
3
votes
0answers
173 views

Cisinski-Deglise model structure on chain complexes

Let $\newcommand{\A}{\mathscr{A}}\A$ be a grothendieck abelian category. In their paper "Local and stable homological algebra in grothendieck abelian categories", Cisinski and Déglise define the ...
1
vote
0answers
94 views

A Isomorphism between the extension group and cohomology group of Lie algebras [closed]

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...
5
votes
1answer
112 views

Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it: The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...
6
votes
1answer
174 views

Does the forgetful G-Groups to Groups (nonabelian) have a left adjoint?

Motivation For a fixed group $G$, consider the category of $G$-groups, whose objects consist of (not necessarily abelian) groups $A$ together with an action $G\to \mathrm{Aut}(A)$. Now we can ...
7
votes
1answer
265 views

Quasi-isomorphisms in exact categories

I am trying to understand quasi-isomorphisms in an exact category as defined via the mapping cylinder. I would like to know whether these form a category of weak equivalences in the sense of ...
1
vote
2answers
202 views

Decomposition of a quotient module

Let $R=k[v,x,y,z]/I$, with $I=\langle v^2,z^2,xy,vx+xz,vy+yz,vx+y^2,vy-x^2\rangle$,and let $f:R^2 \rightarrow R^2$ denote the map given by the matrix $$M=\begin{pmatrix} v & y \\ x & z ...
5
votes
1answer
289 views

Computing Ext in Exterior algebra (related to Koszul duality)

Let $V = \mathbb{C}^n$, $A = \Lambda^{\bullet}(\mathbb{C}^n)$ is a graded algebra (with $A_0 = \mathbb{C}, A_1 = V$, etc). Consider $A_0$ as a left $A$-module, how do we compute the graded ring ...
3
votes
3answers
266 views

When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also? I would be interested in any necessary or sufficient ...
11
votes
1answer
267 views

When is Ext*(M,N) finitely generated as a Ext*(M,M) module?

Let A be a finite dimensional algebra over a field k and M,N a finitely generated A-module. Im searching for examples where the module $ Ext^{o} (M,N) $ is a finitely generated $ Ext^{o}(M,M) $ ...
3
votes
1answer
141 views

Non-degeneracy of cup products on Tate-cohomology groups

I am working on a paper of R.P Langlands called "Representations of abelian algebraic groups", available here: http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg-ps.pdf Now on page ...
7
votes
2answers
472 views

Properties of quotient categories.

I asked this on math.stackexchange.com, but didn't get any answer. Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre/thick/dense ...