The Ideals of Free Differential Algebras

We consider the free ${\bf C}$-algebra ${\cal B}_q$ with $N$ generators $\{\xi_i\}_{i = 1,...,N}$, together with a set of $N$ differential operators $\{\partial_i\}_{i = 1,...,N}$ that act as twisted derivations on ${\cal B}_q$ according to the rule $\partial_i\xi_j = \delta_{ij} + q_{ij}\xi_j\partial_i$; that is, $\forall x \in {\cal B}_q, \partial_i(\xi_jx) = \delta_{ij}x + q_{ij}\xi_j\partial_i x,$ and $\partial_i{\bf C} = 0$. The suffix $q$ on ${\cal B}_q$ stands for $\{q_{ij}\}_{i,j \in \{1,...,N\}}$ and is interpreted as a point in parameter space, $q = \{q_{ij}\}\in {\bf C}^{N^2}$. A constant $C \in {\cal B}_q$ is a nontrivial element with the property $\partial_iC = 0, i = 1,...,N$. To each point in parameter space there correponds a unique set of constants and a differential complex. There are no constants when the parameters $q_{ij}$ are in general position. We obtain some precise results concerning the algebraic surfaces in parameter space on which constants exist. Let ${\cal I}_q$ denote the ideal generated by the constants. We relate the quotient algebras ${\cal B}_q' = {\cal B}_q/{\cal I}_q$ to Yang-Baxter algebras and, in particular, to quantized Kac-Moody algebras. The differential complex is a generalization of that of a quantized Kac-Moody algebra described in terms of Serre generators. Integrability conditions for $q$-differential equations are related to Hochschild cohomology. It is shown that $H^p({\cal B}_q',{\cal B}_q') = 0$ for $p \geq 1$. The intimate relationship to generalized, quantized Kac-Moody algebras suggests an approach to the problem of classification of these algebras.Comment: 31 pages. Plain TeX. Typos corrected, minor changes done and section 3.5.6 partially rewritten. To appear in Journal of Algebr

Algebraic Integrability of Foliations of the Plane

We give an algorithm to decide whether an algebraic plane foliation F has a rational first integral and to compute it in the affirmative case. The algorithm runs whenever we assume the polyhedrality of the cone of curves of the surface obtained after blowing-up the set B_F of infinitely near points needed to get the dicritical exceptional divisors of a minimal resolution of the singularities of F. This condition can be detected in several ways, one of them from the proximity relations in B_F and, as a particular case, it holds when the cardinality of B_F is less than 9

Generating sequences and Poincar\'e series for a finite set of plane divisorial valuations

Let $V$ be a finite set of divisorial valuations centered at a 2-dimensional regular local ring $R$. In this paper we study its structure by means of the semigroup of values, $S_V$, and the multi-index graded algebra defined by $V$, \gr_V R. We prove that $S_V$ is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in $V$, the approximation of a reduced plane curve singularity $C$ by families of sets $V^{(k)}$ of divisorial valuations, and the relationship between the value semigroup of $C$ and the semigroups of the sets $V^{(k)}$, allow us to obtain the (finite) minimal generating sequences for $C$ as well as for $V$. We also analyze the structure of the homogeneous components of \gr_V R. The study of their dimensions allows us to relate the Poincar\'e series for $V$ and for a general curve $C$ of $V$. Since the last series coincides with the Alexander polynomial of the singularity, we can deduce a formula of A'Campo type for the Poincar\'e series of $V$. Moreover, the Poincar\'e series of $C$ could be seen as the limit of the series of $V^{(k)}$, $k\ge 0$

Productivity of Florida Springs: Second semi-annual report to the Biology Division, Office of Naval Research progress from February 1, 1953 to June 30, 1953

During this second six months emphasis has been laid on developing a complete understanding of the metabolism of the Silver Springs ecosystem as an example of a community apparently in a steady state. Variation in phosphates, uptake of nitrates, and importance of boron have been estimated. Fluctuation of some major elements has been estimated. Examination of stomach contents has permitted trophic classifications of dominant species and the standing crops have been estimated for these species by number and by dry weight. From these a pyramid of mass has been constructed. Special attention has been paid to bacteria using 3 methods for comparison of Silver Springs with lakes and estimation of the standing crop. The oxygen gradient method has been repeated at half hourly intervals. A carbon-dioxide gradient method has also been used to check the oxygen and to obtain a photosynthetic quotient. Black and light Bell jar experiments have been initiated to obtain checks on the other production measurement and to obtain a community respiration rate. An approximate balance has resulted from estimates of production , respiration , and downstream loss. A flow rate diagram has been constructed to clarify definitions of efficiency and their relationship to a steady state system. Mr. Sloan has statistically verified the increase of insect number and variety away from the boils and demonstrated the reliability of quantitative dipping for aquatic insects. Plans for the third half year include detained and comparative study of the dominant algae and further estimates of rates of growth of all community components. (29pp.

8-Vertex Correlation Functions and Twist Covariance of q-KZ Equation

We study the vertex operators $\Phi(z)$ associated with standard quantum groups. The element $Z = RR^{t}$ is a "Casimir operator" for quantized Kac-Moody algebras and the quantum Knizhnik-Zamolodchikov (q-KZ) equation is interpreted as the statement $:Z\Phi(z): = \Phi(z)$. We study the covariance of the q-KZ equation under twisting, first within the category of Hopf algebras, and then in the wider context of quasi Hopf algebras. We obtain the intertwining operators associated with the elliptic R-matrix and calculate the two-point correlation function for the eight-vertex model.Comment: 31 pages. Plain Te

Structure of semisimple Hopf algebras of dimension p2q2p^2q^2

Let $p,q$ be prime numbers with $p^4<q$, and $k$ an algebraically closed field of characteristic 0. We show that semisimple Hopf algebras of dimension $p^2q^2$ can be constructed either from group algebras and their duals by means of extensions, or from Radford biproduct R#kG, where $kG$ is the group algebra of group $G$ of order $p^2$, $R$ is a semisimple Yetter-Drinfeld Hopf algebra in ${}^{kG}_{kG}\mathcal{YD}$ of dimension $q^2$. As an application, the special case that the structure of semisimple Hopf algebras of dimension $4q^2$ is given.Comment: 11pages, to appear in Communications in Algebr