  Control over quantum electrodynamics (QED) radiative corrections is critical
for precise determination of neutrino oscillation probabilities from observed
(anti)neutrino detection rates. It is particularly important to understand any
difference between such corrections for different flavors of (anti)neutrinos in
charged-current interactions. We provide theoretical foundations for
calculating these corrections. Using effective field theory, the corrections
are shown to factorize into soft, collinear, and hard functions. The soft and
collinear functions contain large logarithms in perturbation theory but are
computable from QED. The hard function parametrizes hadronic structure but is
free from large logarithms. Using a simple model for the hard function, we
investigate the numerical impact of QED corrections in charged-current
(anti)neutrino-nucleon elastic cross sections and cross-section ratios at GeV
energies. We consider the implications of mass singularity theorems that govern
the lepton-mass dependence of cross sections for sufficiently inclusive
observables and demonstrate the cancellation of leading hadronic and nuclear
corrections in phenomenologically relevant observables.
