The product Riemannian metric of two round unit spheres has Ricci curvature equal to its metric, since the factor Ricci tensors equal their metrics and the product connection splits. Its directional Ricci curvatures are all one. A two-plane tangent to a single sphere has sectional curvature one, while a mixed plane has sectional curvature zero. This four-dimensional Einstein manifold therefore need not have constant sectional curvature.

A Riemannian or pseudo-Riemannian metric is Einstein when its Ricci tensor is a constant scalar multiple of the metric. Constant-sectional-curvature metrics satisfy this condition with $\Lambda =(d-1)k$. The Killing-form metric on a real semisimple Lie group is another example, with $\Lambda =-1/4$ for $g=B$ in the curvature convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$.

A motivating laboratory realization is The Hall Effect and Conductivity in Germanium by Rex Tayloe. The handout specifies a germanium sample holder with temperature and magnetic field control, a low-voltage supply, digital meters, and a current-reversing switch. Measure the sample dimensions, map the contacts, and establish the directions of electric current, magnetic field, and transverse voltage. At fixed temperature and zero magnetic field, sweep positive and negative electric currents and record longitudinal electric potential differences. A straight voltage-versus-electric current relation tests Ohm's law; sample geometry converts its slope to electrical resistivity. For the Hall effect, minimize the zero-field transverse offset and measure transverse voltage at all four combinations of $\pm I$ and $\pm B$, repeating for several electric currents. The readouts test longitudinal proportionality, transverse polarity, and transverse proportionality to electric current. These are protocol instructions, not reported measurement outcomes.^[ref]

For interpreting such measurements, an ideal uniform bar of wire cross-sectional area $A$ with longitudinal sensing contacts separated by $L$ gives $\sigma =LI/(A{V}_L)$. Four-terminal sensing suppresses voltage drops in current contacts when the voltage meter draws negligible electric current; it does not fix uncertain dimensions or a nonuniform current density. Reverse electric current and use $[V_L(+I)-V_L(-I)]/2$ to reject a constant voltage offset. Keep temperature stable, allow the current density to settle, and reduce electric current to test for Joule heating. Those are controls for interpreting the material coefficient, rather than reasons to assume every measured curve is linear.

For the transverse measurement define $\mathbf{J}=J_x\hat{\mathbf{x}}$, $\mathbf{B}=B_z\hat{\mathbf{z}}$, width $w$ along $y$, and thickness $d$ along $z$. Define $V_H=V(y=-w/2)-V(y=+w/2)=E_{y}w$, so $J_x=I/(wd)$ givesExtract the part odd in both electric current and magnetic field usingThis combination rejects a constant offset and longitudinal pickup even in magnetic field. It cannot reject another signal with the same two reversal symmetries. Check field polarity and magnitude independently; a sign error in the contact map changes the inferred Hall coefficient.

For one Drude model species in transverse open circuit, the steady Lorentz force balance is $0=q(\mathbf{E}+{\mathbf{v}}_d\times \mathbf{B})-m{\mathbf{v}}_d/\tau$ with $v_{d,y}=0$. Its $y$ component gives $E_y=v_{d,x}{B}_z$. ConsequentlyLongitudinal electrical conductivity and the Hall coefficient therefore separate number density from charge carrier mobility in this single-species model. Inferring a momentum relaxation time additionally requires an appropriate mass. A constant-field longitudinal measurement alone cannot supply all three.

A Hall coefficient is not universally the reciprocal of signed number density. For example, adding independent electron and electron hole contributions with densities $n,p$ and positive charge carrier mobilities ${\mu }_e,{\mu }_h$ in the weak-magnetic field limit givesThe Hall coefficient can vanish even while electrical conductivity is positive, and its sign weights charge carrier mobility as well as number density. The germanium handout explicitly asks students to track possible transverse sign changes with temperature; it does not establish a universal single-carrier interpretation. Real electronic band structure and unequal scattering also limit that interpretation.^[ref]

Use physical electric fields $\mathbf{E}(t)=\mathrm{Re}[\hat{\mathbf{E}}{e}^{-i\omega t}]$ and current densities $\mathbf{J}(t)=\mathrm{Re}[\hat{\mathbf{J}}{e}^{-i\omega t}]$, with peak complex amplitudes. After the initial transient has decayed, substitution into the Drude model equation gives the complex conductivityHere the mobile species is electrons. With the alternative $e^{+i\omega t}$ convention, the denominator is $1+i\omega \tau$ and the imaginary part changes sign; the physical response is identical.^[ref]

For $E_x(t)=E_0\cos \omega t$ with $\omega >0$, the real-time current density isThus a positive argument of complex conductivity in the $e^{-i\omega t}$ convention means that current density lags the electric field. At $\omega \tau =1$, its real part and imaginary part are both ${\sigma }_0/2$, its modulus is ${\sigma }_0/\sqrt{2}$, and the lag is $\pi /4$.

For $\omega \tau \ll 1$, complex conductivity tends to the positive constant ${\sigma }_0$: current density nearly follows the electric field. For $\omega \tau \gg 1$ within this model,The current density amplitude decreases and its response becomes predominantly inertial. Average power absorbed per volume is $\overline{p}=\frac{1}{2}\mathrm{Re}\sigma |\hat{\mathbf{E}}{|}^2\ge 0$. These limits describe the material response to a specified local electric field, not the complete electromagnetic response of a finite specimen with contacts. The Drude response has its pole at $\omega =-i/\tau$, consistent with the decaying causal response of a first-order relaxation equation.

The simple Drude model does not predict the microscopic momentum relaxation time. It neglects electronic band structure and Fermi-Dirac statistics; a useful semiclassical extension replaces $m$ by an appropriate band effective mass, but neither a single scalar mass nor one constant momentum relaxation time describes every material. Several charge carriers, energy-dependent scattering, and transitions between electronic bands can spoil the simple Drude frequency response. A successful low-angular frequency fit does not justify extrapolation to arbitrarily large angular frequencies.

Switch on a constant electric field ${\mathbf{E}}_0$ at $t=0$. For prescribed initial current density $\mathbf{J}(0)$, the exact Drude model solution is the displayed formula. For electrons, the corresponding drift velocity isStarting from zero drift velocity, the current density reaches $1-e^{-1}\approx 0.632$ of its limiting value after one momentum relaxation time. Switching the electric field off at $T$ instead gives $\mathbf{J}(t)=\mathbf{J}(T)e^{-(t-T)/\tau }$ for $t\ge T$. A finite step of electric field changes the acceleration immediately but leaves drift velocity and current density continuous.

More generally, multiplying the current density equation by an integrating factor givesThis is the causal response of a first-order relaxation equation: only earlier electric fields enter the integral. It also shows why instantaneous Ohm's law is an approximation when the electric field changes appreciably during a momentum relaxation time.

The momentum relaxation time is the exponential relaxation time of mean directed momentum after the driving electric field is removed. In the simplest Drude model, independent collisions occur with probability $dt/\tau$ during a short time interval $dt$ and reset the mean velocity of the collided population to zero. The remaining fraction preserves its previous mean momentum. To first order in $dt$, averaging gives $d⟨\mathbf{p}⟩/dt=q\mathbf{E}-⟨\mathbf{p}⟩/\tau$. This is a population equation: it does not assert that every particle stops at equally spaced instants.^[ref]

For real materials, a collision that changes a particle's direction only slightly need not erase its directed momentum, so the momentum relaxation time need not equal the time between all scattering events. This transport time is also distinct from the bulk charge relaxation time $ϵ/\sigma$: one describes loss of directed motion, the other redistribution of charge density.

For $a>0$, real $b$ and standard Brownian motion, the first-passage time to a linear boundary hasHere $\Phi$ is the standard normal distribution function. Differentiation gives $a\exp (-(a+bt{)}^2/(2t))/\sqrt{2\pi t^3}$, the drifted Brownian first-passage density. Its Laplace transform is $\exp [-a(b+\sqrt{b^2+2\theta })]$ for $\theta >0$. There is mass $1-e^{-2ab}$ at infinity when $b>0$; for $b\le 0$ the hitting time is finite almost surely.

Consider a site indexed by natural-number objects with arrows only downwards, the cancellation condition $fh=gk\Rightarrow f=g$ for equally typed $f,g$, and the separation condition that arrows $f:m\to n$, $g:m\to n+1$ admit $h,k:m+1\to m$ with $fh=fk$ but $gh\ne gk$. Its dense-sieve sheaf topos is a Boolean topos and a two-valued topos. The representables are separated. No nonempty partial map $y_n\to y_{n+1}$ exists, by the separation condition and naturality. The associated sheaves $A_n$ consequently admit no maps $y_n\to A_{n+1}$. Each has nonzero support and maps epimorphically to one, but their product has an empty value at every stage $m$, because its $A_{m+1}$ factor does.

A fast escaping Jeans-mode mass loss wind can drive an evolving donor into Roche-lobe overflow even while widening the orbit. This mechanism uses the star's changing radius; it is distinct from gravitational capture of a slow Wind Roche-lobe overflow stream.

Assume a slowly evolving circular orbit, no wind retention by the companion, $a(M_d+M_a)=\text{constant}$, and the approximate Roche lobe radius $R_L\propto a[M_d/(M_d+M_a){]}^{1/3}$. The accretor mass $M_a$ is fixed. With $q=M_d/M_a>0$,If the donor sequence obeys $R_d\propto M_d^{-n}$ locally, subtracting the two logarithmic responses givesSince ${\dot{M}}_d<0$, the overfill grows exactly when $3(1-n)q<1+3n$.

For $-1/3<n<1$, this is $q<(1+3n)/[3(1-n)]$. For $n\ge 1$, every positive $q$ satisfies the growth condition; dividing by $1-n$ would either be undefined or reverse the inequality. For $n\le -1/3$, no positive $q$ satisfies it. Equality is a marginal local response, not growth.

The criterion concerns increasing relative radius along the assumed mass-losing sequence. Reaching actual contact also depends on the initial underfill and how long the same sequence and wind prescription remain valid. Extra angular-momentum losses, wind capture or a changing radius-response exponent require a revised evolution calculation.

For a $\bar{\partial }$-closed positive-antiholomorphic-degree differential form of type (p, q) on a polydisc, write $\phi =d{\bar{z}}_j\wedge \alpha +\beta$ with no $d{\bar{z}}_j$ in $\alpha ,\beta$. Apply the Cauchy-Green operator in coordinate $j$ to the coefficients of $\alpha$. Subtracting its Dolbeault operator derivative removes every $d{\bar{z}}_j$ term. Closedness then makes the remaining coefficients holomorphic in $z_j$. Eliminating successive coordinates preserves holomorphicity in earlier coordinates and produces a local primitive after finitely many steps.

For a smooth $(0,1)$-form on the complex projective line, solve its Dolbeault operator equation on a disc about zero and a disc about infinity. The difference of the primitives is a holomorphic function on their annular overlap. Split its Laurent series into a nonnegative-power part extending to the finite disc and a negative-power part extending holomorphically across infinity. Subtract the first part from the finite primitive and add the second to the infinite primitive. The results agree and define a global primitive, without Hodge theory.

The Dolbeault theorem identifies this group with first Čech cohomology of the trivial holomorphic line bundle. On the two standard affine charts, a holomorphic overlap function has a Laurent series. Its nonnegative powers extend to the chart at zero, and its negative powers extend to the chart at infinity. Every overlap cocycle is therefore a coboundary. Consequently the Dolbeault operator from functions to $(0,1)$-forms is surjective.

For the antidiagonal symmetric matrix $J$ in dimension $2n$, put $\bar{i}=2n+1-i$ and $H_i=E_{ii}-E_{\bar{i}\bar{i}}$. The diagonal Cartan subalgebra has coordinates ${\epsilon }_i(H)=t_i$. The root spaces of weights ${\epsilon }_i-{\epsilon }_j$ are spanned by $E_{ij}-E_{\bar{j}\bar{i}}$; those of weights ${\epsilon }_i+{\epsilon }_j$ by $E_{i\bar{j}}-E_{j\bar{i}}$, with negative-root spaces given by transposes. The condition $A_{ij}=-A_{\bar{j}\bar{i}}$ gives these generators directly and excludes roots $2{\epsilon }_i$.

With simple roots ${\alpha }_i={\epsilon }_i-{\epsilon }_{i+1}$ for $i<n$ and ${\alpha }_n={\epsilon }_{n-1}+{\epsilon }_n$, the fundamental weights are ${\omega }_i={\epsilon }_1+\cdots +{\epsilon }_i$ for $i\le n-2$, followed by ${\omega }_{n-1}=({\epsilon }_1+\cdots +{\epsilon }_{n-1}-{\epsilon }_n)/2$ and ${\omega }_n=({\epsilon }_1+\cdots +{\epsilon }_n)/2$. All roots have squared length two, so their pairings with coroots verify the dual-basis identities. The last two weights are the half-spin highest weights; for $n=2$, the defining highest weight is ${\omega }_1+{\omega }_2$.

The Weyl group of the Dn root system consists of coordinate permutations together with an even number of sign changes. Reflection in ${\epsilon }_i-{\epsilon }_j$ swaps coordinates $i,j$; reflection in ${\epsilon }_i+{\epsilon }_j$ swaps them and negates both. These generate all even signed permutations, giving order $2^{n-1}n!$.

A delivery $S_T\max (r,c/A)$ has value $S_0[r\Phi (d)+c{e}^{-m+v/2}\Phi (-d+\sqrt{v})]$, where $m,v$ are the mean and variance of $\log A$ under the stock-numeraire measure in the Black-Scholes model, and $d=(m-\log (c/r))/\sqrt{v}$. Split the normal integral at $\log (c/r)$ and complete the square in $e^{-y}$ times its normal probability density.

On $C\times C^n$, let ${\Gamma }_i$ be the graph of the $i$th coordinate and $D={\sum }_i{\Gamma }_i$. Successive restriction exact sequences giveWhen $h^0(L)=n$ and $h^1(L)=0$, the determinant of evaluation vanishes at tuples where $H^0(L(-D))$ is nonzero. On distinct points it is the ordinary evaluation determinant; the diagonal factors remove its forced zero when two points coincide. This explains why the formula remains valid at repeated points, using jets instead of repeated evaluations.

Suppose a line bundle $L$ of degree $g-1$ on a smooth projective curve has $h^0(L)=h^1(L)=r$. Choose $r$ distinct points where evaluation is invertible for both $H^0(L)$ and $H^0(K_X\otimes L^{-1})$. Such choices exist simultaneously: each determinant defines a nonempty open subset of $X^r$, since independent sections cannot vanish at every point. Let $\xi \in H^1({\mathcal{O}}_X)=H^0(K_X{)}^{\ast }$ be a sum of nonzero weighted evaluation functionals at these points. The Serre duality matrix of $\xi ⌣-$ factors as the product of the two invertible evaluation matrices and an invertible diagonal matrix. Its determinant is nonzero. This gives the nonzero leading determinant needed for the Riemann singularity theorem.

At a multiplicity-$r$ point, choose a local parameter and elementary symmetric coordinates $e_1,\dots ,e_r$ for the nearby roots. The tangent principal part is $v={\sum }_{k=1}^r(-1{)}^{k-1}\delta e_k{z}^{-k}$. Newton's identities give $d(\sum z_i^k)=(-1{)}^{k-1}kd{e}_k$. Expanding the primitive of a holomorphic one-form proves the residue formula, including its sign. The dual map is restriction to the length-$r$ scheme, so it sees all jets through order $r-1$.

An environment interaction preserving the computational populations multiplies a qubit's upper off-diagonal density entry by $\overline{c}$. A real phase-flip channel representation exists for every input precisely when $c$ is real, with probability $(1-c)/2$. For $c=r{e}^{i\phi }$, the channel is a phase-flip channel of probability $(1-r)/2$ followed by the diagonal unitary operator $\mathrm{diag}(1,e^{i\phi })$. The coherent phase cannot be discarded just because the populations are unchanged.