\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{baryogenesis}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{Exposition}{Exposition}\dotfill \pageref*{Exposition} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

In [[cosmology]] and [[particle physics]], by \emph{baryogenesis} one refers to the process by which an abundance of [[baryons]] is produced in the early [[observable universe]], leading to the baryonic [[matter]] seen all around. Since in the [[standard model of particle physics]] [[matter]] and [[antimatter]] are \emph{essentially} always produced symmetrically (``conservation of baryon number''), the topic of baryogenesis is to a large extent the study of how the matter/antimatter symmetry may be [[broken symmetry|broken]].

(\hyperlink{Sakharov67}{Sakharov 67}) formulated three conditions jointly necessary for matter/antimatter asymmetry leading to baryogenesis in the early universe, now known as the \emph{Sakharov conditions}

\begin{enumerate}%
\item violation of baryon number conservation;


\item [[CP problem|C and CP violation]]


\item departure from thermal equilibrium.



\end{enumerate}
Indeed, by a [[quantum anomaly]] in the [[standard model of particle physics]], the \emph{[[axial anomaly]]} (a [[chiral anomaly]]) (see e.g. \hyperlink{Jackiw08}{Jackiw 08}), the [[divergence]] of the baryon number [[current]] (the chiral version of the [[Dirac current]]) does not quite vanish but is (\hyperlink{Hooft76}{t'Hooft 76}) in traditional physics notation

\begin{displaymath}
\partial_\mu j_b^\mu 
   = 
  \partial_\mu j_L^\mu
   =
  n_f
  \left(
    \frac{g^2}{32 \pi^2}
    W_{\mu \nu}^\alpha \tilde W^{\alpha \mu \nu}
    -
    \frac{{g'}^2}{32\pi^2} \epsilon_{\mu \nu \rho \sigma} F^{\mu \nu} F^{\rho \sigma}
  \right) 
 \,,
\end{displaymath}
where $F_\nabla$ is the [[field strength]] of the [[electroweak field]] (the [[curvature]] of a $SU(2)$-[[principal connection]] $\nabla$).

(see e.g. \hyperlink{Dine90}{Dine 90, (4)} \hyperlink{TroddenCarroll}{Trodden-Carroll, 4.9.3}, \hyperlink{Shu08}{Shu 08, (7.6)}).

In more intrinsic notation and ignoring numerical constants, the statement is that

\begin{displaymath}
\mathbf{d} \star j_b = \langle F_\nabla \wedge F_\nabla \rangle
  \,.
\end{displaymath}
Properly interpreted (see at \emph{\href{Yang-Mills+instanton#FromTheMathsToThePhysicsStory}{Yang-Mills instanton -- from the correct maths to the traditional physics story}}) this is the \emph{local} expression for the [[connection on a 3-bundle|3-connection]] on the [[Chern-Simons line 3-bundle]] associated with the gauge field. If the latter is globally nontrivial in that it is in an \emph{[[instanton]]}-sector (has nontrivial [[second Chern class]]), then the [[integral]] of $\langle F\wedge F\rangle$ over closed manifolds is an integer -- the ``[[instanton]] number'' -- and in conclusion there is baryon generation proportional to this number (physics lingo also: \emph{sphaleron transitions}).

Notice that this would mean that baryons ``are'' a kind of topological twist, different from, but not entirely unlike to the old idea of \emph{[[On Vortex Atoms]]}. See there at \emph{\href{On+Vortex+Atoms#SimilarityToParticlePhysics}{Similarlity to concepts of modern particle physics}}

That this process was at least one source of baryogenesis in the early universe is plausible but not certain. The process is heavily suppressed by inverse energy/temperature (e.g. \hyperlink{Dine90}{Dine 90, around (9)}) and out of reach of conceivable experiments in the present age of the universe, but plausibly may have occurred in the very early universe -- just as it should be for realistic baryogenesis.

\hypertarget{Exposition}{}\subsection*{{Exposition}}\label{Exposition}

One needs to be careful that the concept of ``particle'' itself is only well defined on Minkowski spacetime, hence not on cosmological scales. But nevertheless there is a fermion current 3-form $J$, such that its integral

\begin{displaymath}
Q_\Sigma \coloneqq   \int_\Sigma J \in \mathbb{R}
\end{displaymath}
has the interpretation of the total net \emph{charge} carried by the stuff measured by $J$, hence counts the net ``fermion number'' in all of space`` as seen by $\Sigma$.

This is familiar from, say, Maxwell's equations, where such a $J$ appears on the right hand side as the electromagnetic source form

\begin{displaymath}
d  \star F = J
  \,.
\end{displaymath}
Now given any such current 3-form, then its de Rham differential $d J$ measures how the charges $Q$ changes as time progresses. Because let $\Sigma_1$ and $\Sigma_2$ be two spatial slices of spacetimes, and $X_4$ a piece of spacetime connecting them, i.e. such that

\begin{displaymath}
\partial X_4 = \Sigma_2 - \Sigma_1
  \,.
\end{displaymath}
Then Stokes's theorem gives that $d J$ is the local change of charge, because:

\begin{displaymath}
\begin{aligned}
    Q_{\Sigma_2} - Q_{\Sigma_1}
    &=
    \int_{\Sigma_2} J - \int_{\Sigma_1} J
    \\
    &=
    \int_{\partial X_4} J
    \\
    & = 
     \int_{X_4} d J
  \end{aligned}
\end{displaymath}
So if $J$ is closed, then total charge is conserved, while if $J$ is not closed, then $d J$ is the local measure for how charge is being ``created'' or how it disappears.

Now the remarkable fact is that in the standard model of particle physics, $J$ comes out non-closed. Its differetial instead comes out proportial to the 4-form which measures instanton number

\begin{displaymath}
d J \propto \langle F_\nabla \wedge F_\nabla \rangle
  \,.
\end{displaymath}
This is the famous \emph{[[chiral anomaly]]}.

So far this is highlighted in every textbook. But the following further crucial subtlety tends not to be recognized for what it is.

Namely on cosmological spacetimes that carry [[instantons]], then (as discussed at \emph{Yang-Mills instanton -- from the correct maths to the traditional physics storynstanton\#FromTheMathsToThePhysicsStory)}) the 4-form $\langle F_\nabla \wedge F_\nabla\rangle$ is not in fact globally exact. The above formulas hold only locally, on a chart of spacetime. But on intersections two such pieces of data need to be glued by a gauge transformation. If we do make the usual simple assumptions (for simplicity of the discussion), then this gauge transformation is that famous ``Chern-Simons winding number'' $S^3 \to SU(2)$, which they keep handing the physics students without properly explaining it (such as the one who I am reacting to \href{http://physicsoverflow.org/38243/topological-number-integral-theory-boundary-volume-forms}{here}).

As a result, in the presence of instantons, the integral of $\langle F_{\nabla} \wedge F_{\nabla}\rangle$ may be non-zero on a \emph{closed} cosmological spacetime.

The usual picture (which you see displayed in many popular accounts) is: imagine a 4d cup $D^4$ (a unit disk thought of as a ``cup'' cobordism from nothing to $S^3$) where the big bang expands spacetime from nothing. Then glue on something like $S^3 \times LongInterval$ and think of the result as being a simple model for the universe. Then assume some boundary condition saying that far in the future from the big bang the gauge fields $\nabla$ that carry those instantons decay away, hence are [[vanishing at infinity]]. So then for computing the total fermion charge in this universe, we are effectively dealing with its one-point compactification. In the present simple example this is the 4-sphere $S^4$.

So since the four form vanishes ``at infinity'', we may just as well assume that it is supported on that cup $D^4$ in our model, the neighbourhood of the big bang.

We learn that that:

\begin{enumerate}%
\item The total net fermion charge in the universe is $\int_{S^4} \langle F_\nabla \wedge F_\nabla\rangle \in \mathbb{Z}$;


\item this fermion number is picked up incrementally increasing from zero (at the origin of our $D^4$-cup, the ``big bang singularity) and reaching at ''comoving time $t \lt 1$`` the value



\end{enumerate}
\begin{displaymath}
Q_t
   =
   \int_{D^4_{t}} \langle F_\nabla \wedge F_\nabla\rangle
   = 
   \int_{S^3} J_t
\end{displaymath}
(where $D^4_t$ is the disk of radius $t \lt 1$).

Then at $t = 1$ (in this paramneterization) the four form goes to zero (and in this fashion eventually extends to a global 4-form on our one-point compactified cosmological spacetime).

So after the comoving time $t = 1$ there is no net particle creation anymore. Moreover, the net particle number picked up until then is equal to the second Chern class of the cosmological gauge field, hence equal to the number that masure the ``knottedness'' of the cosmological gauge field (which we here think of as all being concentrated around the big big).

One particle per knottedness of the cosmological gauge field.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[leptogenesis]]


\item [[On Vortex Atoms]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

The original article stating the \emph{Sakharov conditions} is

\begin{itemize}%
\item [[Andrei Sakharov]], \emph{Violation of CP invariance, C asymmetry, and baryon asymmetry of the universe}. Journal of Experimental and Theoretical Physics 5: 24--27. 1967, republished as A. D. Sakharov (1991). \emph{Violation of CP invariance, C asymmetry, and baryon asymmetry of the universe}. Soviet Physics Uspekhi 34 (5): 392--393. Bibcode:1991SvPhU..34..392S. doi:\href{http://dx.doi.org/10.1070/PU1991v034n05ABEH002497}{10.1070/PU1991v034n05ABEH002497}. 1967

\end{itemize}
reviewed in

\begin{itemize}%
\item [[Dennis Perepelitsa]], \emph{Sakharov Conditions for Baryogenesis}, 2008 (\href{http://phys.columbia.edu/~dvp/dvp-sakharov.pdf}{pdf})

\end{itemize}
The derivation that [[instantons]] lead to baryon number violation is due to

\begin{itemize}%
\item [[Gerard `t Hooft]], \emph{Symmetry Breaking through Bell-Jackiw Anomalies} Phys. Rev. Lett. 37 (1976) (\href{http://www.staff.science.uu.nl/~hooft101/gthpub/symm_br_bell_jackiw.pdf}{pdf})


\item [[Gerard `t Hooft]] \emph{Computation of the quantum effects due to a four-dimensional pseudoparticle}, Phys. Rev. D14:3432-3450 (1976)



\end{itemize}
A good review of the axial anomaly is in

\begin{itemize}%
\item [[Roman Jackiw]], \emph{Axial anomaly}, (2008), Scholarpedia, 3(10):7302. (\href{http://www.scholarpedia.org/article/Axial_anomaly}{web})

\end{itemize}
and of the resulting [[phenomenology]] of baryon number non-conservation is in

\begin{itemize}%
\item [[Michael Dine]], \emph{Baryon number violation at high-energy in the standard model: Fact or fiction?} Sep 1990, (\href{https://inspirehep.net/record/299206?ln=de}{spire}, \href{http://www.slac.stanford.edu/cgi-wrap/getdoc/ssi90-020.pdf}{pdf})

\end{itemize}
Review includes

\begin{itemize}%
\item Heidi Kuismanen, section 2 of \emph{Leptogenesis as the origin of matter-antimatter asymmetry in extra dimensionaL and supersymmetric modeLs} ([[KuismanenBaryogenesis.pdf:file]])


\item V.A. Rubakov, [[Mikhail Shaposhnikov]], \emph{Electroweak Baryon Number Non-Conservation in the Early Universe and in High Energy Collisions}, Usp.Fiz.Nauk 166:493-537,1996; Phys.Usp.39:461-502,1996 (\href{https://arxiv.org/abs/hep-ph/9603208}{arXiv:hep-ph/9603208})


\item Antonio Riotto, Mark Trodden, \emph{Recent Progress in Baryogenesis}, Ann.Rev.Nucl.Part.Sci.49:35-75,1999 (\href{http://arxiv.org/abs/hep-ph/9901362}{arXiv:hep-ph/9901362})


\item Laurent Canetti, Marco Drewes, [[Mikhail Shaposhnikov]], \emph{Matter and Antimatter in the Universe}, New J. Phys. 14 (2012) 095012 (\href{https://arxiv.org/abs/1204.4186}{arXiv:1204.4186})


\item Yanagida, \emph{The origin of matter} ([[YanagidaBaryogenesis.pdf:file]])


\item Mark Trodden, Sean Carroll, TASI Lectures: Introduction to Cosmology \emph{\href{http://ned.ipac.caltech.edu/level5/Sept03/Trodden/Trodden4_9.html}{4.9 Baryon Number violation}}


\item Jing Shu, section 7 of \emph{Connecting LHC Signals with Deep Physics at the TeV Scale and Baryogenesis} 2008



\end{itemize}


\end{document}