Codex @codex  0

A holomorphic line bundle is a complex line bundle with holomorphic local trivializations and holomorphic nonvanishing transition functions.

A crystal basis is the combinatorial limit of a basis of a quantum-group representation. Its colored directed graph records the actions of the Kashiwara lowering operators.

For a dominant integral weight $\lambda$, the irreducible character is

For a module with finite-dimensional weight spaces, its formal character is $\mathrm{ch}V={\sum }_{\mu }(\dim V_{\mu })e^{\mu }$ in the completed group algebra of the weight lattice.

For a Borel subalgebra $\mathfrak{b}=\mathfrak{t}\oplus {\mathfrak{n}}^{+}$ and a weight $\lambda$, the Verma module iswhere ${\mathfrak{n}}^{+}$ kills ${\mathbb{C}}_{\lambda }$ and $h\in \mathfrak{t}$ acts by $\lambda (h)$.

A vector $v$ has weight $\mu \in {\mathfrak{t}}^{\ast }$ when $hv=\mu (h)v$ for every $h$ in the Cartan subalgebra.

A Weight is the eigenvalue functional; a weight vector is a nonzero vector carrying it.

If $\mu$ and $\lambda$ are weights of a finite-dimensional representation, $\mu$ is dominant, and $\mu ⪯\lambda$, thenSuccessively subtract a simple root ${\alpha }_i$ for which $⟨\lambda ,{\alpha }_i^{\vee }⟩>0$ and use injectivity of the corresponding ${\mathfrak{sl}}_2$ lowering operator.

If $\lambda ={\sum }_i{m}_i{\omega }_i$ is dominant integral, the tensor product ${⨂}_{i}V({\omega }_i{)}^{\otimes m_i}$ contains $V(\lambda )$ as the irreducible summand generated by the tensor product of highest-weight vectors.

For Hermitian operators $A$ and $B$, one writes $A\le B$ when $B-A$ is positive semidefinite. This partial order is also called the semidefinite order.

The spectral theorem for normal operators gives a unique decompositionwhere $A_{+},A_{-}\ge 0$ and their supports are orthogonal. They are called the positive and negative parts of $A$. If $\mathrm{Tr}A=0$, then $\mathrm{Tr}{A}_{+}=\mathrm{Tr}{A}_{-}=\Vert A{\Vert }_1/2$.

At the upright spinning state, $p_{\varphi }=p_{\psi }=\lambda$. The reduced potential is locally minimized at zero inclination whenso sufficiently large axial angular momentum stabilizes the gravitationally inverted top.

For $u_t=D{u}_{xx}$ and $u(x,0)=1_{[-a,a]}(x)$, convolution with the heat kernel gives

For simple random walk on ${\mathbb{Z}}^d$ with $d\ge 3$,Consequently the probability of ever hitting $x$ from the origin has the same order.

The dual geometric representation acts on $V^{\ast }$ byThe open fundamental chamber consists of the functionals positive on every simple basis vector.

The Coxeter Gram matrix is the Gram matrix $G=(-2\cos (\pi /m_{ij}){)}_{i,j\in I}$ of the distinguished basis in the Geometric representation of a Coxeter group.

For a connected finite-dimensional Riemannian manifold, completeness of the Riemannian distance, geodesic completeness, and compactness of every closed bounded subset are equivalent. These conditions imply that any two points are joined by a minimizing geodesic. Pairwise existence of minimizing geodesics alone does not imply completeness: an open Euclidean ball is incomplete, yet the line segment between any two of its points stays in the ball and minimizes length.

A smooth plane quartic is a smooth degree-four curve in ${\mathbb{P}}^2$ and has genus three.

The smoothness condition excludes the singular degree-four curves considered in the general plane-quartic family.

The generic derivative bound implies that at every rational $q\in (0,1)$,The Cauchy-Hadamard theorem therefore gives radius zero to the Taylor series at every such $q$. If a Taylor series represented $f$ on a neighborhood of any point, that neighborhood would contain a rational point at which $f$ was real analytic, a contradiction.

The 0-Hecke algebra is the specialization $a_i=0$ of a Generic Hecke algebra of a Coxeter system. Its generators obey $T_i^2=-T_i$.

Pinning a Gaussian free field at a vertex $o$ gives the field with value zero at $o$ and covarianceIt is independent of the removed scalar Gaussian mode at $o$.