Riguroso formalismo matemático de la física de partículas

¿Alguien puede proporcionarme una definición matemática rigurosa de las partículas fundamentales (todos los bosones y fermiones fundamentales), que refleje la analogía de la acción de los grupos con la interacción de las partículas, el isospín y las fuerzas mediadoras? Sería preferible una respuesta, pero también sería suficiente un enlace de una fuente apropiada.

¿Te ayudaría esto a definir mejor lo que estás buscando? en.wikipedia.org/wiki/Wightman_axioms
Relacionado: physics.stackexchange.com/q/27665/2451 y enlaces allí.
@Danu Entiendo los axiomas de Wightman 6/7, pero no logro captar cómo provienen de ellos los conceptos de partículas fundamentales, quarks-leptones o bosones que median fuerzas, etc.
De hecho, el libro La estructura e interpretación del modelo estándar aborda esta misma pregunta.
Tal vez este documento podría ser un punto de partida, no lo leí por ahora, pero parece tratar una cuestión muy relacionada y trata de restringirse a la primera cuantificación para evitar algunas trampas matemáticas...: philsci-archive.pitt . edu/1626
Me acabo de dar cuenta de que es del mismo autor que el libro sugerido por @AlexNelson...
Aquí hay un artículo de Buchholz, que analiza el concepto de partícula en la teoría cuántica algebraica de campos hasta cierto punto: arxiv.org/abs/hep-th/9511023

Respuestas (1)

El modelo estándar de física de partículas es un marco teórico que encapsula casi todos los datos de partículas elementales hasta la fecha. El lagrangiano completo ocupa páginas.

En tu comentario:

@Danu Entiendo los axiomas de Wightman 6/7, pero no logro captar cómo provienen de ellos los conceptos de partículas fundamentales, quarks-leptones o bosones que median fuerzas, etc.

Los modelos teóricos de la física no son solo modelos matemáticos, donde uno comienza con axiomas y termina con predicciones de la teoría. Los modelos se eligen para describir datos conocidos, sus predicciones se verifican continuamente contra nuevos datos. Isospin, intercambios de partículas, etc. están todos en el lagrangiano y las herramientas de la teoría cuántica de campos se utilizan para calcular secciones transversales, etc. para ser verificadas por datos futuros. Th SM se desarrolló a lo largo de los años después de observar las simetrías que existían en los datos experimentales, por ejemplo, la vía óctuple que llevó a la propuesta de los quarks. Las simetrías reveladas por los datos llevaron al SM Lagrangiano que fue elegido para mostrar estas simetrías de SU(3)xSU(2)xU(1) .