Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I keep trying to see to which degree one may nail down supergeometry via the yoga of adjoint modalities.
My the starting point (maybe there is a better one, but for the time being that’s the best I have come up with) is that the inclusion of commutative algebras into supercommutative algebras is reflective and coreflective, the reflector quotients out the ideal generated by the odd part, the coreflector picks the even subalgebra.
Passing to sheaves over the sites of formal duals to algebras, this gives an adjoint modality which (and you may not like that now, but keep in mind that it’s just notation which doesn’t reall matter) I decided to denote
(The mnemonic is this: in Feynman diagrams is the symbol for the bosonic particles, so that denotes taking the bosonic subspace. Similarly a single fermion in a Feynman diagram appears as , so fermion bilinears look like and that has to suffice to remind you of general even numbers of fermions.)
The details (there are not many, it’s straightforward) are at super formal smooth infinity-groupoid.
Now, while nice, this falls short of characterizing supercommutative algebras.
For instance the inclusion of commutative algebras into commutative algebras equipped with -grading (for any , with no extra signs introduced when swapping factors) works just as well. (For the inclusion into -graded algebras there are also left and right adjoints but they coincide, and so I declare that this case is excluded by demanding faithfulness/non-degeneracy of the model.)
So the question is, which natural-looking further conditions could we impose on the above adjoints such as to narrow in a bit more on supercommutative algebras?
Here is one observation:
with the setup as described at super formal smooth infinity-groupoid we also have the reduction modality which, on function rings, takes away the nilpotent ideal in an algebra, and its right adjoint, the de Rham stack functor :
For both supercommutative algebras and for commutative algebras with grading we have inclusions of images of these functors
On the other hand, for supercommutative algebras but not for commutative algebras with grading, there is also an inclusion of images diagonally
Because evaluating this via Yoneda on representables, then by adjunction this means that on these
hence that the reduced part of the even part is the reduced part of the full algebra.
But this says that the odd part of the algebra is nilpotent! This is something that is true for supercommutative algebras, but which need not be true for any old commutative algebras with grading.
It is tempting to say that this is a kind of Aufhebung , though it differs from what is currently discussed in that entry in that the diagonal inclusion is along nw-se instead of ne-sw. But I think that just means the entry should be generalized.
In summary, while the Aufhebung-condition here gets closer on narrowing in the axioms on supercommutative algebras, it still does not quite characterize them. So far these axioms still allow in particular also (sheaves on formal duals to) cyclically-graded algebras whose non-0 graded parts are nilpotent.
The first question seems to be: do we have further natural-looking axioms on the modalities that would narrow in further on genuine supergeometry?
But possibly a second question to consider is: might there be room to declare that the further generality allowed by the axioms is something to consider instead of to discard. If there is a nice axiomatics that characterizes something a tad more general than supergeometry, maybe that’s indication that this generalization is of interest?
Not sure yet.
One stand-alone aspect of this question might be the following:
in general commutative geometry behaves very different from genuine non-commutative geometry. But what if the non-commutativity is restricted to the nilpotent ideal?
Has this been considered anywhere in some generality in the literature?
But what if the non-commutativity is restricted to the nilpotent ideal?
Is this at all like what appears in Connes’ spectral triple approach to SM (compactified NC space, non-compact ordinary space)?
In the Connes-Lott model the noncommutative fiber spaces have ungraded matrix algebra as their algebras of functions.
Ah, ok, thanks.
[ wrote something here, but will need to think more first ]
second attempt:
I am thinking now that the obvious axiom to add to narrow in on supergeometry proper is simply that the operator that projects onto even-degrees is an -localization, for an object to be denoted :
If that is true, then the condition , which in the supergeometric model reflects the sign rule in the form , is automatic.
Moreover, this should actually be true in the supergeometric model: localization at means to pass to objects for which
is an equivalence. But on the left we get a point in with an odd extension, and on the right just the point, so this says that there is no way to make an odd extension in , hence that is even-graded.
I have written that out now in notes here. Comes out quite nicely, I would think. (And I should have seen this long before, but it’s a good sign if the formalism is more clever than I am.)
So we go through three levels of oppositions, starting from that of the ground topos, and on the first and third stage we may ask for objects exhibiting the leftmost adjoint by localization. This way we find two singled-out objects, and they have the interpretation of and .
That’s nice, because in other threads I was looking for general abstract reasons to consider specifically cocycles of the form . This is getting closer now.
If we have relative cohesion, as in
over the base , are we likely to see example of relative ’solid’ cohesion? Maybe
Yes, that would all go through unmodified.
Are there any signs of this already being glimpsed in that specific case? What would they be called, smooth -supergroupoids relevant for differential superalgebraic K-theory?
Maybe. It would seem to be suggestive that the super-grading should somehow be unifiedwith that in -rings. But I still don’t really see through this yet.
1 to 12 of 12