Characterization of Characteristics
— by BDMOW
Contents
Characteristic
Substructure or partitions that do not change under automorphisms.
1.
Category Actions
Categories acting is more intuitive than groups acting.
2.
Characteristic = biaction homomorphisms.
A complete description of characteristic without involving isomorphisms.
3.
Meet the Team
Josh
Maglione

Brooksbank,
Pete
Heiko
Dietrich
Eamonn
O'Brien
James
Wilson
Thanks
-
DFG grant VO 1248/4-1 & DFG-GRK 2297
-
Marsden Fund of New Zealand UOA 107
-
Simons Foundation #636189
-
USA NSF 2319370
Characteristic
Characteristic
Substructure or partitions that do not change under automorphisms.
1.
Category Actions
Categories acting is more intuitive than groups acting.
2.
Characteristic = biaction homomorphisms.
A complete description of characteristic without involving isomorphisms.
3.
Characteristic
H≤G where for every automorphism φ:G→G, φ(H)=H.
Contents
Characteristic
Substructure or partitions that do not change under automorphisms.
1.
Category Actions
Categories acting is more intuitive than groups acting.
2.
Characteristic = biaction homomorphisms.
A complete description of characteristic without involving isomorphisms.
3.
Concept

Abstract Category
g(hk)=(gh)k when defined &
A partial associative multiplication with 1s.
∗ehfeeh⊥h⊥⊥hf⊥⊥f
Functions
Functions x↦M
- Evaluate M[x:=a]: replace x with a.
- Rewrite: convert new string by stated equal symbols.
Typed Functions
Some Functions x↦M obey inference M[x:=a]:Ba:A
Write f:A→B
Y?=Y⊔{⊥}. Partial function means f:X→Y?.
Partial Equality: y≍y′ means if y,y′∈Y then y=y′.
G is an abstract category if it has a binary partial operation such that
g⋅(h⋅k)1G⋅gg⋅1G≍(g⋅h)⋅k={g}={g}
A mix of groupoid and monoid.
Note 1G is all the identities.
Abstract Category
Laws
- s(x)=t(y) if, and only if, xy∈C
- s(t(x))=t(x) & t(s(x))=s(x)
- s(xy)=s(s(x)y) & t(xy)=t(xt(y))
- xy,yz∈C then x(yz)=(xy)z
- xs(x)=x=t(x)x
Theory
- s(s(x))=s(x) & t(t(x))=t(x)Pf.s(s(x))=s(t(s(x)))=t(s(x))=s(x)□
- s(xy)=s(y) & t(xy)=t(x)Pf.s(xy)=s(s(x)y)=s(t(y)y)=s(y)□
- xy,yz∈C⇒x(yz),(xy)z∈ CPf.(s(x)=t(y)) ∧(s(y)=t(z))⇒t(yz)=t(y)=s(x)□
P⊢
⊢P
A change in notation



Fact
Abuse of Notation
1g:=s(g) & g1:=t(g)
Notation
G is an abstract category, X a type/class, a G-act is a partial function ⋅:G×X→X? where
g⋅(h⋅x)1G⋅x≍(gh)⋅x={x}
Much like a monoid act mixed with a groupoid act.
Category Action
G,H abstract categories, f:G→H homomorphism (functor) of abstract categories. Then define
⋅:G×H→Hg⋅h:=f(g)h.
Category Action by Functor
Fact. GH is a cat-act and furthermore, a (G,H)-biact in that
(g⋅h)h′=g⋅(hh′)
Assume pure vanilla then all GHH induced by homomorphism f:G→H.
Theorem. G and H are abstract categories acting purly vanilla on each other and
MM(g⋅xh):GHH→GHH=gM(x)⋅h
then ϵ=M(1H) is a counit.
(G,H)-homomorphisms a source of counitals
Corollary. If I:G↪Grp and M:GHH→GGH then ι=Iϵ=IM(1H) is a counital. In particular it determines invariant substructure.
The converse
Extension Theorem.
G≤H≤Grp with G full in H then every counital on G extends to one on H.
1.
Isoscoles counitals extend to internal
2.
Internal counitals are counits of a (G,H)-homomorphism.
3.


Categorificaiton of Characteristic
- G a group. H a characterisitic subgroup is equivalent to a counital C:Aut(G)→Core(Grp).
- Extend isosceles counital to D:Core(Grp)→Core(Grp) using extension theorem.
- Extends D to internal counital Iϵ.
- Apply homomorphism chacacterization of counits.
(G,H)-homomorphisms ONLY source of counitals

Characterizing Characteristic
By James Wilson
Characterizing Characteristic
Characteristic structure is information that does not change under isomorphisms. If you have all the isomorphisms you can verify this property. But we often need characteristic structure to find the isomorphisms: Chick-and-egg problem. This presentation reports on a new result that solve this problem.
- 244