The compact dual is the complex projective flag variety imposing prescribed filtration dimensions and $Q(F^p,F^{w-p+1})=0$, but neither real opposition nor positivity. In weight one it is the complex Lagrangian Grassmannian. In polarized K3 weight two it is an isotropic-line quadric.

Positive complex Lagrangian subspaces for the integral symplectic form $\left(\begin{array}{cc}0& -I\\ I& 0\end{array}\right)$ are graphs $H_Z=\{(Zu,u):u\in {\mathbb{C}}^r\}$. Isotropy is the symmetry of $Z$, and $iQ(v,\bar{v})=2u^{\mathsf{T}}(\mathrm{Im}Z)\bar{u}$ gives positivity. For $g=\left(\begin{array}{cc}A& B\\ C& D\end{array}\right)$ in the symplectic group, the action is $Z\mapsto (AZ+B)(CZ+D{)}^{-1}$.

On the K3 intersection lattice, this open quadric has complex dimension twenty and records the period line $H^{2,0}$. Fixing a positive class $h$ of type $(1,1)$ adds $q(h,\omega )=0$ and yields a nineteen-dimensional domain for primitive polarized cohomology of signature $(2,19)$. The distinction is necessary: the unrestricted full lattice has signature $(3,19)$ and does not satisfy polarization positivity on all of $H^{1,1}$.

For a two-by-two contingency table, subtracting one half from each absolute observed-minus-expected count difference, with truncation at zero, gives the displayed corrected Pearson chi-squared statistic. Expected counts use the independence model $E_{ij}=O_{i+}{O}_{+j}/N$. The subtraction compensates approximately for using a continuous chi-squared distribution for discrete counts. It can make the test conservative. The corrected statistic should be distinguished from the ordinary uncorrected Pearson chi-squared statistic.

For $N$ independent groups each containing $m$ independent Bernoulli trials with common probability $\theta$, the group count has a binomial distribution. If $O_j$ groups have count $j$, the maximum-likelihood estimate is $\hat{\theta }={\sum }_{j}j{O}_j/(mN)$. Form the Pearson chi-squared statistic using $E_j=N\left(\genfrac{}{}{0ex}{}{m}{j}\right){\hat{\theta }}^j(1-\hat{\theta }{)}^{m-j}$. With all $m+1$ categories retained, an interior true parameter, and sufficiently large expected counts, its null limit is a chi-squared distribution with $m-1$ statistical degrees of freedom: one degree is removed by the fixed total and another by fitting $\theta$. Small expected counts require care with this approximation. If categories are pooled, the fitted parameter and calibration should correspond to the pooled statistical model; simply pooling a statistic after fitting the unpooled model does not automatically give the usual chi-squared limit.

For a massive positive-energy unitary irreducible representation of the Poincaré group with signature $(+---)$, choose a rest frame. The Pauli-Lubanski pseudovector has zero time component and spatial components $m{J}_i$, up to a common sign convention. Its square is therefore $-m^2{\mathbf{J}}^2$. The SU(2) little-group representation has spin $s$ and ${\mathbf{J}}^2=s(s+1)$, proving the invariant value. The mass and spin label the massive induced representation of the Poincare double cover.

In $W^{\mu }=-{ϵ}^{\mu \nu \rho \sigma }{P}_{\nu }{M}_{\rho \sigma }/2$, contracting with $P_{\mu }$ gives zero because the commuting momentum products are symmetric in $\mu ,\nu$ while the alternating tensor is antisymmetric. Reordering $P$ and $M$ makes no difference because the resulting metric contractions with the alternating tensor vanish.

// Target: special-relativity.bigb