A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold X makes TX[−1] into a Lie algebra object in D+(X), the bounded below derived category of coherent sheaves on X. Furthermore, Kapranov proved that, for a Kähler manifold X, the Dolbeault resolution \Omega(T{1,0} X ) of TX[−1]is an L∞ algebra. In this paper, we prove that Kapranov’s theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair (L, A), i.e. a Lie algebroid L together with a Lie subalgebroid A, we define the Atiyah class αE of an A-module E as the obstruction to the existence of an A-compatible L-connection on E. We prove that the Atiyah classes αL/A and αE respectively make L/A[−1] and E[−1] into a Lie algebra and a Liealgebra module in the bounded below derived category D+(A), where A is the abelian category of left U(A)-modules and U(A) is the universal enveloping algebra of A. Moreover,we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of L/A and E, and inducing the afore said Lie structures in D+(A).

In this paper, we construct the bilinear identities for the wave functions of an extended Kadomtsev-Petviashvili (KP) hierarchy, which is the KP hierarchy with particular extended flows. By introducing an auxiliary parameter, whose flow corresponds to the so-called squared eigenfunction symmetry of KP hierarchy, we find the tau-function for this extended KP hierarchy. It is shown that the bilinear identities will generate all the Hirota's bilinear equations for the zero-curvature forms of the extended KP hierarchy, which includes two types of KP equation with self-consistent sources (KPSCS). It seems that the Hirota's bilinear equations obtained in this paper for KPSCS are in a simpler form by comparing with the results by X.B. Hu and H.Y. Wang.

We show that the discrete Kadomtsev--Petviashvili (KP) equation with sources obtained in \cite{Hu2006} by the "source generalization" method can be incorporated into the squared eigenfunctions symmetry extension procedure. Moreover, using the known correspondence between Darboux-type transformations and additional independent variables, we demonstrate that the equation with sources can be derived from Hirota's discrete KP equations but in a space of bigger dimension. In this way we uncover the origin of the source terms as coming from multidimensional consistency of the Hirota system itself.

Let $k$ be a field and $k(x_0,\ldots,x_{p-1})$ be the rational function field of $p$ variables over $k$ where $p$ is a prime number. Suppose that $G=\langle\sigma\rangle \simeq C_p$ acts on $k(x_0,\ldots,x_{p-1})$ by $k$-automorphisms defined as $\sigma:x_0\mapsto x_1\mapsto\cdots\mapsto x_{p-1}\mapsto x_0$. Denote by $P$ the set of all prime numbers and define $P_0=\{p\in P:\bm{Q}(\zeta_{p-1})$ is of class number one$\}$ where $\zeta_n$ a primitive $n$-th root of unity in $\bm{C}$ for a positive integer $n$; $P_0$ is a finite set by \cite{MM}. Theorem. Let $k$ be an algebraic number field and $P_k=\{p\in P: p$ is ramified in $k\}$. Then $k(x_0,\ldots,x_{p-1})^G$ is not stably rational over $k$ for all $p\in P\backslash (P_0\cup P_k)$.

The finite subgroups of $GL_4(\bm{Z})$ are classified up to conjugation in \cite{BBNWZ}; in particular, there exist $710$ non-conjugate finite groups in $GL_4(\bm{Z})$. Each finite group $G$ of $GL_4(\bm{Z})$ acts naturally on $\bm{Z}^{\oplus 4}$; thus we get a faithful $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$. In this way, there are exactly $710$ such lattices. Given a $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$, the group $G$ acts on the rational function field $\bm{C}(M):=\bm{C}(x_1,x_2,x_3,x_4)$ by multiplicative actions, i.e. purely monomial automorphisms over $\bm{C}$. We are concerned with the rationality problem of the fixed field $\bm{C}(M)^G$. A tool of our investigation is the unramified Brauer group of the field $\bm{C}(M)^G$ over $\bm{C}$. It is known that, if the unramified Brauer group, denoted by ${\rm Br}_u(\bm{C}(M)^G)$, is non-trivial, then the fixed field $\bm{C}(M)^G$ is not rational (= purely transcendental) over $\bm{C}$. A formula of the unramified Brauer group ${\rm Br}_u(\bm{C}(M)^G)$ for the multiplicative invariant field was found by Saltman in 1990. However, to calculate ${\rm Br}_u(\bm{C}(M)^G)$ for a specific multiplicatively invariant field requires additional efforts, even when the lattice $M$ is of rank equal to $4$. There is a direct decomposition ${\rm Br}_u(\bm{C}(M)^G)= B_0(G) \oplus H^2_u(G,M)$ where $H^2_u(G,M)$ is some subgroup of $H^2(G,M)$. The first summand $B_0(G)$, which is related to the faithful linear representations of $G$, has been investigated by many authors. But the second summand $H^2_u(G,M)$ doesn't receive much attention except when the rank is $\le 3$. Theorem 1. Among the $710$ finite groups $G$, let $M$ be the associated faithful $G$-lattice with ${\rm rank}_\bm{Z} M=4$, there exist precisely $5$ lattices $M$ with ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. In these situations, $B_0(G)=0$ and thus ${\rm Br}_u(\bm{C}(M)^G)\subset H^2(G,M)$. The {\rm GAP IDs} of the five groups $G$ are {\rm (4,12,4,12), (4,32,1,2), (4,32,3,2), (4,33,3,1), (4,33,6,1)} in {\rm \cite{BBNWZ}} and in {\rm \cite{GAP}}. Theorem 2. There exist $6079$ finite subgroups $G$ in $GL_5(\bm{Z})$. Let $M$ be the lattice with rank $5$ associated to each group $G$. Among these lattices precisely $46$ of them satisfy the condition ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. The {\rm GAP IDs} (actually the {\rm CARAT IDs}) of the corresponding groups $G$ may be determined explicitly. A similar result for lattices of rank $6$ is found also. Motivated by these results, we construct $G$-lattices $M$ of rank $2n+2, 4n, p(p-1)$ ($n$ is any positive integer and $p$ is any odd prime number) satisfying that $B_0(G)=0$ and $H^2_u(G,M)\neq 0$; and therefore $\bm{C}(M)^G$ are not rational over $\bm{C}$.