Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

January 10, 2020

Quotienting Out The Degenerate

Posted by Tom Leinster

This is a quick, off-the-cuff, conceptual question. Hopefully, it has an easy answer.

Often in algebra, we want to quotient out by a set of elements that we regard as trivial or degenerate. That’s almost a tautology: any time we take a quotient, the elements quotiented out are by definition treated as negligible. And often the situation is mathematically trivial too, as when we quotient by the kernel of a homomorphism.

But some examples of quotienting by degenerates are slightly more subtle. The two I have in mind are:

  • the definition of exterior power;

  • the definition of normalized chain complex.

I’d like to know whether there’s a thread connecting the two.

Let me now explain those two examples in a way that makes them look somewhat similar. I’ll start with exterior powers.

Take a vector space XX over some field, and take an integer r0r \geq 0. A multilinear map

f:X rY f: X^r \to Y

to another vector space YY is said to be alternating if

(x 1,,x r) linearly dependentf(x 1,,x r)=0. (x_1, \ldots, x_r) \ \text{ linearly dependent} \implies f(x_1, \ldots, x_r) = 0.

The rrth exterior power rX\bigwedge^r X is the codomain of the universal alternating map out of X rX^r.

That’s a characterization of rX\bigwedge^r X by a universal property, but it’s not an actual construction. It’s constructed like this: the tensor power X rX^{\otimes r} has a linear subspace D rD_r generated by

{x 1x r(x 1,,x r) linearly dependent}, \{ x_1 \otimes \cdots \otimes x_r \mid (x_1, \ldots, x_r) \ \text{ linearly dependent} \},

and then we put rX=X r/D r\bigwedge^r X = X^{\otimes r}/D_r. The letter DD is chosen to stand for either “degenerate” or “dependent”, linearly dependence being a kind of degeneracy condition. So, rX\bigwedge^r X is X rX^{\otimes r} quotiented out by its degenerate part.

Incidentally, the universal property and construction of the exterior power aren’t usually phrased this way. More often, a multilinear map f:X rYf: X^r \to Y is defined to be “alternating” if f(x 1,,x n)=0f(x_1, \ldots, x_n) = 0 whenever x i=x jx_i = x_j for some iji \neq j. But this is equivalent. Similarly, D rD_r can equivalently be defined as the subspace of X rX^{\otimes r} generated by the elements x 1x rx_1 \otimes \cdots \otimes x_r where x i=x jx_i = x_j for some iji \neq j.

Personally, my comfort with exterior algebra took a leap forward when I learned that the definition of exterior power could be expressed in terms of linear dependence, as opposed to the standard presentation via repeated arguments. I never felt entirely motivated by that standard approach, despite the volume interpretation and the nearly-equivalent condition that swapping arguments changes the sign. But the condition that degenerate terms get sent to zero feels more natural to me, whatever “natural” means.

Now let’s do normalized chains. I guess I could say this in the context of an arbitrary abelian category, but I’ll just say it for modules over some commutative ring.

Let XX be a simplicial module. It gives rise to a chain complex C(X)C(X) of modules (the unnormalized complex of XX). The rrth module C r(X)C_r(X) is just X rX_r, and the boundary maps in C(X)C(X) are the alternating sums (1) id i\sum (-1)^i d_i of face maps in C(X)C(X), as usual.

Now, some of the elements of X rX_r are “degenerate”, in the sense that they can be obtained from lower-dimensional elements. Specifically, let D r(X)D_r(X) be the submodule of X rX_r generated by

{(Xf)(y)f:[r][q],q<r,yX q}. \{ (X f)(y) \mid f: [r] \to [q], \ q \lt r, \ y \in X_q\}.

A little calculation shows that D(X)=(D r(X)) r0D(X) = (D_r(X))_{r \geq 0} is a subcomplex of the unnormalized complex C(X)C(X). So we can form the quotient complex N(X)=C(X)/D(X)N(X) = C(X)/D(X), which by definition is the normalized complex of the simplicial module XX.

Again, this isn’t quite the usual presentation. An important fact is that N(X)N(X) is not just a quotient of C(X)C(X), but a direct summand. In particular, it can also be viewed as a subcomplex of C(X)C(X). There are two dual ways to view it thus: N r(X)N_r(X) can be seen as the intersection i=0 r1ker(d i)\bigcap_{i = 0}^{r - 1} ker(d_i) of the kernels of all but the last face map, or dually as the intersection i=1 rker(d i)\bigcap_{i = 1}^r ker(d_i) of the kernels of all but the first face map. Most often, N(X)N(X) is defined to be one of these two subcomplexes. But to me it seems more natural to view it primarily as C(X)/D(X)C(X)/D(X): the quotient of C(X)C(X) by its degenerate part.

So, those are the two situations I wanted to describe. They seem moderately similar to me: both involve a quotient by a subobject generated by degenerate elements; in both, the degenerate elements don’t actually form a subobject themselves (the words “generated by” are crucial); both involve an indexing over the natural numbers rr. So I’m wondering whether the two situations are related. Maybe one is a special case of the other, or maybe there’s a common generalization. Even if not, perhaps there’s some good point of view on “quotient out the degenerate” constructions of this kind, including my two examples and maybe others. Can anyone shed any light?

Posted at January 10, 2020 1:11 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3186

17 Comments & 0 Trackbacks

Re: Quotienting Out The Degenerate

In algebra the standard examples of this are called radicals (e.g., the Jacobson radical). One wants, in that case, that quotienting out by the radical should produce an object whose radical is trivial. That’s also what happens in your examples, but it doesn’t happen for quotients in general: quotienting a group by its center may well produce a group that has a nontrivial center, for example.

Posted by: Fernando on January 10, 2020 2:21 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

Thank you, Fernando. Can you say a bit more about how what you’re saying is connected to my two examples?

I know about the Jacobson radical of a module (or ring) and the nilradical of a ring, and I see a Wikipedia page on the general notion of a “radical of a ring”. But I don’t see how stuff about radicals of rings would be relevant to my question, given that the first example was about a quotient of a module and the second about a quotient of a chain complex of modules. What do you have in mind?

Posted by: Tom Leinster on January 10, 2020 2:51 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

I took the suggestion to be that “radical” is informally synonymous with “the collection of degenerate elements” (of whatever structure); so that, for the exterior algebra, the ideal generated by “linearly dependent tensors” (to coin an awful term) could be called a radical of the tensor power, and, for chain complexes, the ideal generated by non-primitive chains could be called a radical of the full chain complex.

Posted by: L Spice on January 11, 2020 12:21 AM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

In the context of algebraic groups, the quotient of a connected linear algebraic group by its unipotent radical has trivial unipotent radical. That’s just an easy consequence of the definition, not a miracle; but it has always seemed slightly miraculous to me that this step gets rid of the sort of counterexample you describe: once we get rid of the unipotent radical (getting a connected reductive group), further getting rid of the centre yields a centreless group, called the adjoint quotient.

Posted by: L Spice on January 11, 2020 12:16 AM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

I don’t know whether this is an instance of what you are saying, but the situation reminds me of sigma ideals, sets which “can have measure zero and be safely ignored”.

More in general, there is always a notion of “ideal-like things” in mathematics, which can be seen as “things that can be safely quotiented out without breaking everything”. For groups, these are normal subgroups. For rings, these are ideals. Sometimes, such as in vector spaces, these coincide with subspaces. In other categories they only coincide in some cases (retracts).

But a general phenomenon seems to be: at least historically (before algebraic topology and category theory), people preferred to talk about subspaces than about quotients. This is why the circle is usually introduced as the subset of 2\mathbb{R}^2 that satisfies x 2+y 2=0x^2+y^2=0, and only later seen as the quotient of [0,1][0,1] obtained by identifying the extrema. I’d suspect that in many cases, whenever something can be written both as a subspace and as a quotient, the traditional definition is as a subspace, while for category theorists the more natural approach would be taking a quotient. It’s the difference between talking about equivalence classes, versus picking a representative for each class. The latter is more concrete, the former is more natural for us.

Another one favorite of mine is: why are probability measures defined as the subset of measures which have total normalization 1? The way I would have defined them is as the quotient of the positive measures under normalization (since in the end, only the relative ratios matter).

Maybe what I’m saying is obvious - but maybe it can help the brainstorming.

Posted by: Paolo Perrone on January 10, 2020 2:50 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

But a general phenomenon seems to be: at least historically […], people preferred to talk about subspaces than about quotients.

I think that’s true. On pages 132–134 of Basic Category Theory, I waffle on about limits vs. colimits in the history of geometry, using nearly the same example as you: a sphere rather than a circle. To view the sphere as

{(x,y,z) 3:x 2+y 2+z 2=1} \{ (x, y, z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 = 1\}

is to construct it as an equalizer (indeed, an equalizer of two maps whose common domain is a product). To view it as the gluing-together of two patches each homeomorphic to a 2-disc is to construct it as a coequalizer (indeed, a coequalizer of two maps whose common codomain is a coproduct). As the text points out, both constructions involve arbitrary choices.

I’d suspect that in many cases, whenever something can be written both as a subspace and as a quotient, the traditional definition is as a subspace, while for category theorists the more natural approach would be taking a quotient.

I’m not sure I agree, though, that quotients are any more natural than subspaces. As I see it, they’re just two dual approaches.

Posted by: Tom Leinster on January 10, 2020 5:38 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

Oh sure, I don’t mean that the quotients are always the better way.

Posted by: Paolo Perrone on January 10, 2020 11:37 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

OK, sorry, I misunderstood.

Posted by: Tom Leinster on January 11, 2020 1:44 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

What’s your definition of ‘linearly dependent’? In particular is (1)(1) linearly dependent in /2\mathbb{Z}/2\mathbb{Z} seen as a \mathbb{Z}-module? I’d usually say it was because 2×1=02\times 1 = 0.

If so then every element of /2\mathbb{Z}/2\mathbb{Z} is linearly dependent, so a map is alternating if and only if it sends everything to 00. So then we would have 1/2=0\bigwedge^1 \mathbb{Z}/2\mathbb{Z}=0. This isn’t what I’d have expected since usually 1\bigwedge^1 is just the identity functor and 1M=M\bigwedge^1 M=M for all modules MM

Posted by: Oscar Cunningham on January 10, 2020 3:47 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

Huh, yes. OK, I’ll retreat to the setting where the base ring is a field. When I was figuring stuff out on paper prior to posting, I assumed I was working with vector spaces over a field. Then when I was typing the post, I unwisely said to myself “might as well have modules over a ring”. Thanks for pointing out that piece of folly.

I’m going to correct the post now, so anyone reading this in the future should know that it originally did the exterior power construction over an arbitrary commutative ring (otherwise Oscar’s comment will look bizarre).

Posted by: Tom Leinster on January 10, 2020 5:22 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

If you every figure out a nice way of doing this, please answer this question!

Posted by: Oscar Cunningham on January 10, 2020 6:12 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

OK, I think I’ve got it now.

To begin by stating the obvious: in a vector space over a field, a finite list of elements is said to be linearly dependent if some nontrivial linear combination of them is zero.

Here “nontrivial” means that at least one of the coefficients is nonzero. But of course, in a field, being nonzero is equivalent to being invertible (i.e. a unit). So we could just as well say “at least one of the coefficients is invertible”.

When extending the definition of linear dependence to modules over an arbitrary commutative ring, we therefore have two options. In both, we define a list of elements to be linearly dependent if some nontrivial linear combination is zero. But in the first option, we take “nontrivial” to mean “at least one coefficient is nonzero”, and in the second, we take it to mean “at least one coefficient is invertible”.

You used the first definition (which I agree seems more obvious somehow). And as you point out, it makes many lists linearly dependent, including some that might seem like they shouldn’t be. For example (and I’m sure you’ve considered this), if XX is any finite abelian group regarded as a \mathbb{Z}-module, then every nonempty list of elements of XX is linearly dependent. (Consider multiplication by the order of the group.) Your example is the simplest instance of this. So in the language of my post, all nonempty lists of elements of XX are “degenerate”, which seems rather sweeping! And under this definition, the quotient of X rX^{\otimes r} by the linearly dependent lists is trivial, and in particular isn’t the exterior power rX\bigwedge^r X.

But the second definition does what we want. Here we take “linearly dependent” to mean “some linear combination, at least one of the coefficients of which is a unit, vanishes”. This is equivalent to the familiar statement that at least one member of the list can be expressed as a linear combination of the others. Apart from being the way that we often first understand linear dependence and explain it to our students, this is also exactly what we need to get the exterior power thing to work. In other words, if we define linear dependence in this second way and write D rD_r for the submodule of X rX^{\otimes r} generated by the elements x 1x rx_1 \otimes \cdots \otimes x_r for which (x 1,,x r)(x_1, \ldots, x_r) are linearly dependent, then

rX=X r/D r. \bigwedge^r X = X^{\otimes r}/D_r.

This is true over an arbitrary commutative ring.

(This doesn’t answer your MSE question, though: consider 2\bigwedge^2 \mathbb{Z}, viewing \mathbb{Z} as a \mathbb{Z}-module.)

Posted by: Tom Leinster on January 10, 2020 8:13 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

Here’s a third possible definition of “linearly dependent”: let XX be an RR-module, and say that (x 1,,x r)X r(x_1,\dots,x_r) \in X^r are “linearly dependent” if there exists r 1,,r rR rr_1,\dots, r_r \in R^r such that ir ix i=0\sum_i r_i x_i = 0 and the ideal (r 1,,r r)R(r_1,\dots, r_r) \subseteq R generated by the r ir_i’s is the unit ideal. This definition feels more natural to me, somehow, than requiring that some r ir_i be a unit.

In fact, with this definition, I think we can put the two cases into a common framework, though I haven’t checked all the details. Let AA be a Cauchy complete additive category (i.e. an AbAb-enriched category with finite sums and split idempotents), and let Mod(A)=Fun (A,Ab)Mod(A) = Fun^\oplus(A, Ab) be the category of additive copresheaves on AA.

  • In the case of RR-modules, we let AA be the Cauchy completion of RR considered as a one-object category, i.e. the category of finitely-generated projective RR-modules. Then Mod(A)Mod(R)Mod(A) \simeq Mod(R), where Mod(R)Mod(R) is the usual category of RR-modules. Under the equivalence, a module MM corresponds to the restricted Yoneda functor sending PHom(P,M)P \mapsto Hom(P,M)

  • In the case of chain complexes, we let AA be the Cauchy completion of the free additive category on the dual simplex category Δ op\Delta^{op}. Then Mod(A)Mod(A) is the category of chain complexes of abelian groups.

Now for MMod(A)M\in \Mod(A), aAa \in A, and mM(a)m \in M(a), say that mm is degenerate if there is a proper summand aa' of aa such that mM(a)m \in M(a'). I claim that this recovers the desired definition in both cases.

  • In the case of RR-modules, note that if is ir i=1\sum_i s_i r_i = 1, then the map [r 1,,r k] T:R kR[r_1,\dots,r_k]^T: R^k \to R is an epimorphism split by the map [s 1,,s k][s_1,\dots,s_k], with a complementary summand PP. This induces a decomposition M k=Hom(R k,M)Hom(R,M)Hom(P,M)M^k = Hom(R^k,M) \cong Hom(R,M) \oplus Hom(P,M). If ir im i=0\sum_i r_i m_i = 0 (i.e. (m 1,,m k)(m_1,\dots,m_k) is “linearly dependent” in the sense I defined above, as witnessed by (r 1,,r k)(r_1,\dots,r_k)), then (m 1,,m k)M k(m_1,\dots, m_k) \in M^k lies in the summand Hom(P,M)Hom(P,M), so that (m 1,,m k)(m_1,\dots,m_k) is “degenerate”.

  • In the case of chain complexes, the connection is even more immediate, since if mM([n])m \in M([n]) is in the image of a lower-dimensional simplex [n][m][n] \to [m], then we may factor [n][p][m][n] \to [p] \to [m] where [n][p][n] \to [p] is a split epi in Δ\Delta, so that mm lies in the summand M([p])M([p]).

I haven’t verified the converse implications, i.e. it’s possible that the notion of “degenerate” given above is too strong, making too many things “degenerate”.

Posted by: Tim Campion on January 21, 2020 5:30 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

Er – I think I garbled a bit of that. In the third bullet point overall, It should say that the map [r 1,,r k] T:RR k[r_1,\dots,r_k]^T: R \to R^k is a mono split by [s 1,,s k]:R kR[s_1,\dots,s_k]: R^k \to R.

Posted by: Tim Campion on January 21, 2020 5:34 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

I have also wondered if there is a connection between these ideas. I’m afraid I never reached a firm resolution, so I’m just going to toss out a bunch of ideas and see if some of them resonate. Let’s work over a ground field kk.

Let Δ\Delta be the simplex category, whose objects are finite totally ordered sets and whose morphisms are weakly order preserving maps. I’ll use the convention that [n]={0,1,2,,n}[n] = \{ 0,1,2,\ldots, n \}, which seems confusing a first but is standard and useful eventually.

Warm up example Let XX be a finite simplical complex with vertex set II. Then there are two versions of the chain complex of XX. Let an nn-cell of XX be a map f:[n]If: [n] \to I whose image lies in a single face of XX. Let C˜ n\tilde{C}_n be the free kk-vector space on nn-cells and let C˜ n\tilde{C}^n be the dual group. The C˜ n\tilde{C}_n (respectively, C˜ n\tilde{C}^n) form a contravariant (respectively, covariant) functor from Δ\Delta to abelian groups and the homology (respectively, cohomology) of the resulting chain complex is the homology (respectively, cohomology) of XX.

However, this isn’t what you see in a topology textbook. Rather, we define the chain group, C nC_n, to be the quotient of C˜ n\tilde{C}_n by the relations that (1) if f:[n]I f: [n] \to I is not injective, then f=0f=0 and (2) if σ\sigma is a permutation of [n][n], then fσ=(1) σff \circ \sigma = (-1)^{\sigma} f, where (1) σ(-1)^{\sigma} is the sign of the permutation σ\sigma. The co-chains, C nC^n, are then the subcomplex defined by the dual condition. These are no longer functors from Δ\Delta, but they compute the same cohomology.

Suppose that XX is the complete simplicial complex – every subset of II is in XX. Then C˜ n=(kI) n\tilde{C}_n = (k I)^{\otimes n} and C n= n(kI)C_n = \bigwedge^n (k I). So there is some connection!

The actual example I cared about Let XX be a topological space and let U iU_i be an open cover of XX indexed by some set II. For example, we could take XX a simplicial complex with vertex set II as above, and U iU_i the open star around iIi \in I (the union of the interiors of all faces σ\sigma such that σi\sigma \ni i). Write U i 0i 1i n:= k=0 nU i kU_{i_0 i_1 \cdots i_n} := \bigcap_{k=0}^n U_{i_k}. So, in our motivating example, U i 0i 1i nU_{i_0 i_1 \cdots i_n} is contractible if (i 0i 1i n)(i_0 i_1 \cdots i_n) lies in a face of XX and empty otherwise.

Let \mathcal{E} be a sheaf on XX.

Then there are two ways to compute the Cech cohomology of \mathcal{E} with respect to the cover U iU_i. One way is to define the Cech cochains C˜ n\tilde{C}^n to be f:[n]I(U f(0)f(1)f(n))\prod_{f : [n] \to I} \mathcal{E}(U_{f(0) f(1) \cdots f(n)}). So, if \mathcal{E} is the sheaf of locally constant \mathbb{Z}-valued functions, this recovers the old C˜ n\tilde{C}^n. The other way is a subcomplex of C nC^n, analogous to the one used before.

These give the same cohomology theory, but it isn’t obvious! See https://mathoverflow.net/questions/10056 . I was trying to find a conceptual way to think about this.

Trying to get to tensor products in a more canonical way

We saw that there is a natural way to make (kI) n(k I)^{\otimes n} into a simplicial vector space, for a set II. If VV is a vector space where we have not been given a basis, can we hope to likewise make V nV^{\otimes n} into a simplicial set?

In order to do this, we would want to have:

(1) A map V n+1V nV^{\otimes n+1} \to V^{\otimes n}, corresponding to the injection [n1][n][n-1] \to [n] which misses the last element. The only natural choice seems to be v 0v 1v n1v nv 0v 1v n1λ(v n)v_0 \otimes v_1 \otimes \cdots \otimes v_{n-1} \otimes v_{n} \mapsto v_0 \otimes v_1 \otimes \cdots \otimes v_{n-1} \otimes \lambda(v_{n}). So our vector space VV would need a fixed linear map λ:Vk\lambda : V \to k.

(2) A map VVVV \to V \otimes V, corresponding to [1][0][1] \to [0]. The absence of such a natural map is sometimes referred to as the “no cloning theorem”, since it is what prevents us from cloning a quantum state.

But, if VV is a co-algebra, then it does come with natural maps VkV \to k (the co-unit) and VVVV \to V \otimes V (the co-product). So perhaps something could be done in that case?

Posted by: David E Speyer on January 13, 2020 6:25 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

While I’m brain dumping, I’ll mention how I think about the two chain complex constructions. John Wiltshire-Gordon and I were going to write an expository note about this, but we never got to it, and it is quite possible that, to the experts, all of this is obvious anyway.

Let Δ\Delta be the simplex category as above. Let kΔk \Delta be the category-rng whose elements are formal kk-linear combinations of morphisms of Δ\Delta, and where multiplication is composition when composition is defined and 00 otherwise. The fact that this is a rng rather than a ring will introduce only minor inconveniences at the level of exposition here, but is definitely one of the reasons we didn’t get to writing the note.

Let VV be a functor from Δ\Delta to kk-vector spaces (so a co-simplical vector space); we can think of VV as a kΔk \Delta-module. A standard way to study modules over a noncommutative ring RR is to find a projective generator 𝒫\mathcal{P} of the category of RR-modules and turn RR-modules into End(𝒫)\mathrm{End}(\mathcal{P}) modules by sending MM to Hom(𝒫,M)\mathrm{Hom}(\mathcal{P}, M). We will do this or two different projective generators, and get the two chain complexes.

The “free” modules Let F jF_j be the co-simplical vector space where (F j) n=kHom Δ([j],[n])(F_j)_n = k \mathrm{Hom}_{\Delta}([j],[n]). This has the universal property that Hom(F j,V)V j\mathrm{Hom}(F_j, V) \cong V_j for any co-simplical vector space VV. It is therefore immediate that F jF_j is projective, and F jF_j acts like a “free module generated in degree jj”. Then :=F j\mathcal{F}:=\bigoplus F_j is a projective generator, and Hom(,M)=M j\mathrm{Hom}(\mathcal{F}, M) = \prod M_j. However, End()\mathrm{End}(\mathcal{F}) is quite large, and one has to be a little clever to see the particular elements of End()\mathrm{End}(\mathcal{F}) which give the maps in the co-chain complex.

The indecomposable projectives In non-commutative ring theory, one usually wants to work with indecomposable projectives, those which do not split as a non-trivial direct sum. F jF_j is not indecomposable. For example, (F 1) n(F_1)_n has basis {(i,j):0ijn}\{ (i, j) : 0 \leq i \leq j \leq n \}, where (i,j)(i,j) is short for the map 010 \mapsto 1, 1j1 \mapsto j. This is the direct sum of the spans of {(k,k):0kn}\{ (k,k) : 0 \leq k\leq n \} and {(i,j)(j,j):0i<jn}\{ (i,j) - (j,j) : 0 \leq i \lt j \leq n \}. This splitting can be shown to decompose F 1F_1 as a direct sum of two smaller modules, F 1=P 0P 1F_1 = P_0 \oplus P_1.

In general, let P jP_j be the quotient of F jF_j where we set all non-injective maps to 00. We found a splitting of the surjection F jP jF_j \to P_j, so P jP_j is a summand of F jF_j and hence projective. Moreover, the other summand is isomorphic to P j1P_{j-1}. (As in our example, F 1P 1P 0F_1 \cong P_1 \oplus P_0 above.) So 𝒫=P j\mathcal{P} = \bigoplus P_j is also a projective generator.

Applying Hom(P j,V)\mathrm{Hom}(P_j, V) to a co-simplical vector space VV picks out the jj-th term of the reduced co-chain complex, and now End(𝒫)\mathrm{End}(\mathcal{P}) is very small – essentially, the only non-obvious maps are the ones in the chain complex, so no cleverness is needed to find the chain complex structure.

Posted by: David E Speyer on January 13, 2020 6:52 PM | Permalink | Reply to this

Re: Quotienting Out The Degenerate

I don’t know if this is what you have in mind, but I think rewriting theory has something to say here.

Let me look at an other example. One often learns that \mathbb{C} is the quotient of [X]\mathbb{R}[X] by X 2+1X^2 + 1. But this is a slight abuse of notations: we are really quotienting by the ideal generated by X 2+1X^2 + 1.

From the point of view of rewriting, it is useful to see X 2+1X^2 + 1 as the rewriting rule X 21X^2 \to -1. Starting from a polynomial in [X]\mathbb{R} [X], you can then “normalize it” until you reach a normal form, which is something of the form a+Xba + Xb. In this case, rewriting theory tells you that there is an isomorphism (as \mathbb{R}-vector spaces) between the quotient [X]/(X 2+1)\mathbb {R}[X]/(X^2 +1) and the space of normal forms, which I will denote by NF()NF(\to).

The general formulation of this result tells you than whenever you have a confluent and terminating rewriting relation \to on a free R-module, then you get an isomorphism between R/R/\to and NF()NF(\to). This is more or less the Church-Rosser property.

I believe you get the cases described in your post by looking at the quotients you take as rewriting systems. For example if you choose a basis E={e 1,,e n}E = \{e_1,\ldots,e_n\} of XX, you get a basis of X nX^{\otimes n}, and you can look at the rewriting system generated by e i 1e i n0e_{i_1} \otimes \ldots \otimes e_{i_n} \to 0 whenever i k=i ki_k = i_{k'} for kkk \neq k'. Then you get that quotienting by the “degenerate generators” is the same as looking at the subspace spanned by non-degenerate generators. For the normalized chain complex example, the same thing happens: quotienting by “degenerate cells” is the same as restricting oneself to the “non-degenerate” ones.

Posted by: Maxime Lucas on January 14, 2020 10:52 AM | Permalink | Reply to this

Post a New Comment