I’m curious about this. I can see a reasonable way to define ΛW(V) in terms of sheaves of modules over Spec(R): Over each connected component, W has some constant dimension n, so we just let ΛW(V) be Λn(V) over that component. But it sounds like you might not like this definition, and I’d be interested to know if you had a better way of defining ΛW(V) (which will probably end up being equivalent to this). [Edit: Perhaps something in terms of generators and relations, with the generators being linear maps W→V?]
I’m curious about this. I can see a reasonable way to define ΛW(V) in terms of sheaves of modules over Spec(R): Over each connected component, W has some constant dimension n, so we just let ΛW(V) be Λn(V) over that component.
If we call this construction F(W,V) then the construction I’m thinking of is F(W,V)⊗F(W,W)∗. Note that F(W,W) is locally 1-dimensional, so my construction is locally isomorphic to yours but globally twisted. It depends on W via more than just its local dimension. Also note that with this definition we will get that ΛV(V) is always isomorphic to R.
But it sounds like you might not like this definition,
Right. I’m hoping for a simple definition that captures what the determinant ‘really means’ in the most general case. So it would be nice if it could be defined with just linear algebra without having to bring in the machinery of the spectrum.
and I’d be interested to know if you had a better way of defining ΛW(V) (which will probably end up being equivalent to this).
I’m still looking for a nice definition. Here’s what I’ve got so far.
If we pick a basis of Rn then it induces a bijection between Hom(Rn,V) and V×⋯×V. So we could define a map Hom(Rn,V)→U to be ‘alternating’ if and only if the corresponding map V×⋯×V→U is alternating. The interesting thing I noticed about this definition is that it doesn’t depend on which basis you pick for Rn. So I have some hope that since this construction isn’t basis dependent, I might be able to write down a basis-independent definition of it. Then it would apply equally well with Rn replaced with W, whereupon we can define ΛW(V) as the universal alternating map out of Hom(W,V).
[Edit: Perhaps something in terms of generators and relations, with the generators being linear maps W→V?]
Yeah exactly. That’s probably a simpler way to say what I was describing above. One embarrassing thing is that I don’t even know how to describe the simplest relations, i.e. what the0s should be.
If we call this construction F(W,V) then the construction I’m thinking of is F(W,V)⊗F(W,W)∗. Note that F(W,W) is locally 1-dimensional, so my construction is locally isomorphic to yours but globally twisted. It depends on W via more than just its local dimension. Also note that with this definition we will get that ΛV(V) is always isomorphic to R
Oh right, I was picturing W being free on connected components when I suggested that. Silly me.
If we pick a basis of Rn then it induces a bijection between Hom(Rn,V) and V×⋯×V. So we could define a map Hom(Rn,V)→U to be ‘alternating’ if and only if the corresponding map V×⋯×V→U is alternating. The interesting thing I noticed about this definition is that it doesn’t depend on which basis you pick for Rn. So I have some hope that since this construction isn’t basis dependent, I might be able to write down a basis-independent definition of it.
F is alternating if F(f∘g)=det(g)F(f), right? So if we’re willing to accept kludgy definitions of determinant in the process of defining ΛW(V), then we’re all set, and if not, then we’ll essentially need another way to define determinant for projective modules because that’s equivalent to defining an alternating map?
if not, then we’ll essentially need another way to define determinant for projective modules because that’s equivalent to defining an alternating map?
There’s a lot of cases in mathematics where two notions can be stated in terms of each other, but it doesn’t tell us which order to define things in.
The only other thought I have is that I have to use the fact that W is projective and finitely generated. This is equivalent to W being dualisable. So the definition is likely to use W∗ somewhere.
I’m curious about this. I can see a reasonable way to define ΛW(V) in terms of sheaves of modules over Spec(R): Over each connected component, W has some constant dimension n, so we just let ΛW(V) be Λn(V) over that component. But it sounds like you might not like this definition, and I’d be interested to know if you had a better way of defining ΛW(V) (which will probably end up being equivalent to this). [Edit: Perhaps something in terms of generators and relations, with the generators being linear maps W→V?]
If we call this construction F(W,V) then the construction I’m thinking of is F(W,V)⊗F(W,W)∗. Note that F(W,W) is locally 1-dimensional, so my construction is locally isomorphic to yours but globally twisted. It depends on W via more than just its local dimension. Also note that with this definition we will get that ΛV(V) is always isomorphic to R.
Right. I’m hoping for a simple definition that captures what the determinant ‘really means’ in the most general case. So it would be nice if it could be defined with just linear algebra without having to bring in the machinery of the spectrum.
I’m still looking for a nice definition. Here’s what I’ve got so far.
If we pick a basis of Rn then it induces a bijection between Hom(Rn,V) and V×⋯×V. So we could define a map Hom(Rn,V)→U to be ‘alternating’ if and only if the corresponding map V×⋯×V→U is alternating. The interesting thing I noticed about this definition is that it doesn’t depend on which basis you pick for Rn. So I have some hope that since this construction isn’t basis dependent, I might be able to write down a basis-independent definition of it. Then it would apply equally well with Rn replaced with W, whereupon we can define ΛW(V) as the universal alternating map out of Hom(W,V).
Yeah exactly. That’s probably a simpler way to say what I was describing above. One embarrassing thing is that I don’t even know how to describe the simplest relations, i.e. what the 0s should be.
Oh right, I was picturing W being free on connected components when I suggested that. Silly me.
F is alternating if F(f∘g)=det(g)F(f), right? So if we’re willing to accept kludgy definitions of determinant in the process of defining ΛW(V), then we’re all set, and if not, then we’ll essentially need another way to define determinant for projective modules because that’s equivalent to defining an alternating map?
There’s a lot of cases in mathematics where two notions can be stated in terms of each other, but it doesn’t tell us which order to define things in.
The only other thought I have is that I have to use the fact that W is projective and finitely generated. This is equivalent to W being dualisable. So the definition is likely to use W∗ somewhere.