Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
25
votes
Accepted
Is this ring isomorphic to a quotient of a group algebra?
If $A$ is a $\mathbb{Q}$-algebra, then there is a group $G$ such that $A$ is a quotient of $\mathbb{Q}[G]$ if and only if $A$ is generated by units. For the "if" direction, take $G$ to be the group of …
20
votes
Accepted
Is the functor from the unbounded derived category of coherent sheaves into the derived cate...
No, not always.
In
Positselski, Leonid; Schnürer, Olaf M., Unbounded derived categories of small and big modules: is the natural functor fully faithful?, J. Pure Appl. Algebra 225, No. 11, Article ID …
6
votes
Accepted
K-projectivity for rings of finite homological dimension
There's a nice, short proof in
Positselski, Leonid; Schnürer, Olaf M., Unbounded derived categories of small and big modules: is the natural functor fully faithful?, J. Pure Appl. Algebra 225, No. 11, …
7
votes
Accepted
How to prove a lemma of Rouquier on the dimension of triangulated categories?
If $\mathcal{T}_{1}=\langle M_{1}\rangle_{d_{1}+1}$ and
$\mathcal{T}_{2}=\langle M_{2}\rangle_{d_{2}+1}$, then
$\mathcal{T}_{1}\ast\mathcal{T}_{2}\subseteq\langle M_{1}\oplus
M_{2}\rangle_{d_{1}+d_{2} …
3
votes
Accepted
When splitting of short exact sequence preserves the kernels
The answer is "no" unless $A=k$.
Let $a\in A\setminus k$, and let $l_2$ and $l_1$ be the first and second rows of the commutative diagram
$$\require{AMScd}
\begin{CD}
0@>>>A@>\begin{pmatrix}1\\0\end{p …
7
votes
Accepted
Resolution of short exact sequences by the split ones
Every short exact sequence $0\to X\stackrel{\alpha}{\to}Y\stackrel{\beta}{\to}Z\to0$ is the quotient of a split short exact sequence by a split short exact subsequence. This answer is copied from my a …
3
votes
Accepted
Smallness condition for augmented algebras
No.
Let $k$ be a field, and let $A$ be the algebra of upper triangular $2\times 2$ matrices over $k$, with augmentation map $\pmatrix{a&b\\0&c}\mapsto a$.
$A$ and $A^e$ have finite global dimension, s …
4
votes
Faithfully flat modules over a group algebra
Let $G$ be infinite cyclic, generated by $x$.
Let $M_\bullet$ be a free resolution of the $\mathbb{Z}[G]$-module $U=\mathbb{Z}/3\mathbb{Z}$ with $x$ acting by multiplication by $-1$. For example, tak …
9
votes
Accepted
Local property of split exact sequence
Without extra finiteness assumptions, this is not true in general.
Even for $A=\mathbb{Z}$, there are infinitely generated $A$-modules $M$ that are locally free (in the sense that $M_\mathfrak{p}$ is …
10
votes
When is a functor a right derived functor?
Here's a counterexample for unbounded derived categories (this doesn't answer the revised question with the "$t$-left exact" condition).
Suppose $\mathcal{A}$ is a Grothendieck category with enough p …
6
votes
Accepted
Is flatness preserved under exterior power
Let $A=\mathbb{C}[x^2]$, $B=\mathbb{C}[x^2,x^3]$, and $M=\mathbb{C}[x]$.
Then $B$ and $M$ are free as $A$-modules, but $M\otimes_BM$ (and also $\wedge^2M$) has a one-dimensional $A$-submodule spanned …
3
votes
Elementary linear algebra over a (possibly skew) field $K$
If I understand correctly what Question 1 is asking, then there are easy counterexamples even using commutative fields.
Let $K=\mathbb{R}$ and $L=\mathbb{C}$. Then $\begin{pmatrix}1&i\\1&i\end{pmatri …
4
votes
Accepted
Vanishing natural transformation and strong generator
This isn't really an answer to the question, but an example to show how badly things can go wrong.
Let $M$ be any indecomposable object of $D^b(X)$. The functor $\operatorname{Hom}(M,-)$, from $D^b(X …
4
votes
Accepted
perfect modules over polynomial algebra
Yes. The perfect objects in $\mathbf{D}(R)$ are the objects isomorphic to bounded complexes of finitely generated projective modules, and $\mathbb{k}$ is isomorphic in $\mathbf{D}(R)$ to its minimal p …
30
votes
Accepted
Are there only finitely many associative algebras of fixed dimension?
Even for $4$-dimensional algebras with identity it's not true.
For $a\in F$ let $B(a)=F\langle x,y|x^2=y^2=0,xy=ayx\rangle$. Then $B(a)\not\cong B(b)$ unless $a=b$ or $a=b^{-1}$. This is quite easy t …