We develop some cohomological tools for the study of the local geometry of moduli and parameter spaces in complex Algebraic Geometry. Notably, we develop canonical formulae for the differential operators of arbitrary order and their natural action on suitable `natural' modules (for example, functions); in particular, we obtain a formula, in terms of the moduli problem, for the Lie bracket of vector fields on a moduli space. As an application, we obtain another construction and proof of flatness for the familiar KZW or Hitchin connection on moduli spaces of curves.

Over arbitrary fields of characteristic not equal to 2, we construct three families of simple Lie algebras and six families of simple Lie superalgebras of matrices with entries chosen from different one-sided ideals of a simple associative algebra. These families correspond to the classical Lie algebras and superalgebras. Our constructions intermix the structure of the associative algebra and the structure of the matrix algebra in an essential, compatible way. Many examples of simple associative algebras without an identity element arise as a by-product. The study of conformal algebras and superalgebras often involves matrix algebras over associative algebras such as Weyl algebras, and for that reason, we illustrate our constructions by taking various one-sided ideals from a Weyl algebra or a quantum torus.

We exploit duality considerations in the study of singular combinatorial 2-discs (diagrams) and are led to the following innovations concerning the geometry of the word problem for finite presentations of groups. We define a filling function called gallery length that measures the diameter of the 1-skeleton of the dual of diagrams; we show it to be a group invariant and we give upper bounds on the gallery length of combable groups. We use gallery length to give a new proof of the Double Exponential Theorem. Also we give geometric inequalities relating gallery length to the space-complexity filling function known as filling length.

We make a detailed study of the relation of a euclidean convex region $\Omega \subset \mathbb C$ to $\mathrm{Dome} (\Omega)$. The dome is the relative boundary, in the upper halfspace model of hyperbolic space, of the hyperbolic convex hull of the complement of $\Omega$. The first result is to prove that the nearest point retraction $r: \Omega \to \mathrm{Dome} (\Omega)$ is 2-quasiconformal. The second is to establish precise estimates of the distortion of $r$ near $\partial \Omega$.

We consider the stationary non-linear Schrödinger equation\begin{equation*}\Delta u + \{1 + \lambda g(x)\} u = f(u)\mbox{with}u \in H^{1} (\mathbb{R}^{N}), u \not\equiv 0,\end{equation*} where $\lambda >0$ and the functions $f$ and $g$ are such that\begin{equation*} \lim_{s \rightarrow 0}\frac{f(s)}{s} = 0 \mbox{and} 1 < \alpha + 1 = \lim _{|s| \rightarrow \infty}\frac{f(s)}{s} < \infty\end{equation*} and \begin{equation*} g(x)\equiv 0 \mbox{on} \bar{\Omega}, g(x)\in (0, 1] \mbox{on} {\mathbb{R}^{N}} \setminus {\overline{\Omega}} \mbox{and} \lim_{|x| \rightarrow + \infty} g(x) = 1 \end{equation*} for some bounded open set $\Omega \in \mathbb{R}^{N}$. We use topological methods to establish the existence of two connected sets $\mathcal{D}^{\pm}$ of positive/negative solutions in $\mathbb{R} \times W^{2, p} (\mathbb{R}^{N})$ where $p \in [2, \infty) \cap (\frac{N}{2},\infty)$ that cover the interval $(\alpha,\Lambda(\alpha))$ in the sense that \begin{align*} P \mathcal{D}^{\pm} & = (\alpha, \Lambda(\alpha)) \text{where}P(\lambda, u) = \lambda \text{and furthermore,} \\ \lim_{\lambda \rightarrow \Lambda(\alpha)-}\left\Vert u_{\lambda} \right\Vert _{L^{\infty} (\mathbb{R}^{N})} & = \lim_{\lambda \rightarrow \Lambda (\alpha )-} \left\Vert u_{\lambda} \right\Vert _{W^{2, p}(\mathbb{R}^{N})} = \infty \text{ for }(\lambda, u_{\lambda}) \in \mathcal{D}^{\pm}. \end{align*} The number $\Lambda(\alpha)$ is characterized as the unique value of $\lambda$ in the interval $(\alpha, \infty)$ for which the asymptotic linearization has a positive eigenfunction. Our work uses a degree for Fredholm maps of index zero.

In this first part of a study of ordered operator spaces, we develop the basic theory of 'ordered C*-bimodules'. A crucial role is played by 'open tripotents', a JB*-triple variant of Akemann's notion of open projection.

Let $V(\mathbb{R})$ denote the Banach algebra of absolutely continuous functions of bounded total variation on $\mathbb{R}$, and let $\mathcal{B}_p$ be the Banach algebra of bounded linear operators acting on the Lebesgue space $L^p(\mathbb{R})$ for $1 < p < \infty$. We study the Banach algebra $\mathfrak{A}\subset\mathcal{B}_p$ generated by the pseudodifferential operators of zero order with slowly oscillating $V(\mathbb{R})$-valued symbols on $\mathbb{R}$. Boundedness and compactness conditions for pseudodifferential operators with symbols in $L^\infty (\mathbb{R}, V(\mathbb{R}))$ are obtained. A symbol calculus for the non-closed algebra of pseudodifferential operators with slowly oscillating $V(\mathbb{R})$-valued symbols is constructed on the basis of an appropriate approximation of symbols by infinitely differentiable ones and by use of the techniques of oscillatory integrals. As a result, the quotient Banach algebra $\mathfrak{A}^\pi = {\mathfrak A} / \mathcal{K}$, where $\mathcal{K}$ is the ideal of compact operators in $\mathcal{B}_p$, is commutative and involutive. An isomorphism between the quotient Banach algebra $\mathfrak{A}^\pi$ of pseudodifferential operators and the Banach algebra $\widehat{\mathfrak{A}}$ of their Fredholm symbols is established. A Fredholm criterion and an index formula for the pseudodifferential operators $A \in \mathfrak{A}$ are obtained in terms of their Fredholm symbols.

This paper is a comprehensive study of the nest representations for the free semigroupoid algebra ${\mathfrak{L}}_G$ of a countable directed graph $G$ as well as its norm-closed counterpart, the tensor algebra ${\mathcal{T}}^{+}(G)$.

We prove that the finite-dimensional nest representations separate the points in ${\mathfrak{L}}_G$, and a fortiori, in ${\mathcal{T}}^{+}(G)$. The irreducible finite-dimensional representations separate the points in ${\mathfrak{L}}_G$ if and only if $G$ is transitive in components (which is equivalent to being semisimple). Also the upper triangular nest representations separate points if and only if for every vertex $x \in {\mathcal{T}}(G)$ supporting a cycle, $x$ also supports at least one loop edge.

We also study faithful nest representations. We prove that ${\mathfrak{L}}_G$ (or ${\mathcal{T}}^{+}(G)$) admits a faithful irreducible representation if and only if $G$ is strongly transitive as a directed graph. More generally, we obtain a condition on $G$ which is equivalent to the existence of a faithful nest representation. We also give a condition that determines the existence of a faithful nest representation for a maximal type ${\mathbb{N}}$ nest.

It is proved that the quantum stochastic gauge integral preserves self-adjointness of vacuum-adapted processes. This fact, together with bounded perturbations and the link between the Hudson–Parthasarathy calculus and vacuum-adapted theory, is used to produce many self-adjoint quantum semimartingales.