API: Standard Model gauge group

Standard model gauge group

Key data structure

The Standard Model gauge group is actually one of a number gauge groups corresponding to a quotient of SU(3)xSU(2)xU(1) by a finite group.
The key data structure should take as an input a specification of which quotient, and correspond to said group.

• Is defined

Need

The standard model gauge group is the most important groups in particle physics, and having a good API around it will open the door for lots of further results in this area.

Requirements

The following are requirements of the API:

• the instance of a group
• the instance of a Lie group
• the center of the group
• the principal bundle
• associated bundles
• common representations, and properties thereof
• the electroweak subgroup
• connection to an API around the Lie algebra

Corresponding File System

https://github.com/HEPLean/PhysLean/tree/master/PhysLean/Particles/StandardModel

Contributing to this API

This API is open to contributions from anyone. If you believe that the requirements outlined above need modification, feel free to comment here. If you make a PR which is related to this API, please link it to this issue.

Parent APIs

#859 #856

Start by inspecting the PhysLean/Particles/StandardModel directory and the parent APIs in issues #859 and #856. Use the requirements checklist to define the API scope, with completion shown by support for the listed group, Lie group, bundle, representation, electroweak, and Lie algebra connections.