the talk concerns (matrices of) noncommutative polynomials $f=f(x)$ from the perspective of free real algebraic geometry. there are several natural notions of a ``zero set'' of $f$. the one we study is the \textbf{free locus} of $f$, $(f)$, which is defined to be the union of hypersurfaces $$\left\{x\in \operatorname{m}_n(k)^g:\det f(x)=0\right\}$$ over all $n\in\mathbb{n}$. the talk will describe a recent advance on characterizing when $(f_1) \subseteq (f_2)$ holds, which was mainly achieved using linear matrix pencils. the latter have been for decades an important tool in noncommutative algebra and other areas, e.g. linear systems, automata theory and computational complexity. given a monic matrix pencil $l=i+\sum_ja_jx_j$, we can evaluate it at an arbitrary tuple of matrices $x$ as $$l(x)=i\otimes i+\sum_ja_j\otimes x_j.$$ the talk will be mostly concerned with singularity of these evaluations. first we will give an algebraic certificate for $(l_1)\subseteq (l_2)$ to hold. then we will consider a fundamental irreducibility theorem for $(l)$ which is obtained with the aid of invariant theory. next we will apply the preceding results to factorization in the free algebra. lastly, smooth points on $(l)$ will be related to one-dimensional kernels of $l(x)$, which leads to the free version of kippenhahn's conjecture and improves existing positivstellens\''{a}tze on free semialgebraic sets.