No Arabic abstract
We study {it non-holonomic} overideals of a left differential ideal $Jsubset F[partial_x, partial_y]$ in two variables where $F$ is a differentially closed field of characteristic zero. The main result states that a principal ideal $J=< P>$ generated by an operator $P$ with a separable {it symbol} $symb(P)$, which is a homogeneous polynomial in two variables, has a finite number of maximal non-holonomic overideals. This statement is extended to non-holonomic ideals $J$ with a separable symbol. As an application we show that in case of a second-order operator $P$ the ideal $<P>$ has an infinite number of maximal non-holonomic overideals iff $P$ is essentially ordinary. In case of a third-order operator $P$ we give few sufficient conditions on $<P>$ to have a finite number of maximal non-holonomic overideals.
We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field of zero characteristic. The obtained results are extended from a single equation to $D$-modules having infinite-dimensional space of solutions (i. e. non-holonomic $D$-modules). As applications we design algorithms for treating first-order factors of a linear partial differential operator, in particular for finding all (right or left) first-order factors.
Tates central extension originates from 1968 and has since found many applications to curves. In the 80s Beilinson found an n-dimensional generalization: cubically decomposed algebras, based on ideals of bounded and discrete operators in ind-pro limits of vector spaces. Kato and Beilinson independently defined (n-)Tate categories whose objects are formal iterated ind-pro limits in general exact categories. We show that the endomorphism algebras of such objects often carry a cubically decomposed structure, and thus a (higher) Tate central extension. Even better, under very strong assumptions on the base category, the n-Tate category turns out to be just a category of projective modules over this type of algebra.
In this paper, we show how the non-holonomic control technique can be employed to build completely controlled quantum devices. Examples of such controlled structures are provided.
We prove that the minimal left ideals of the superextension $lambda(Z)$ of the discrete group $Z$ of integers are metrizable topological semigroups, topologically isomorphic to minimal left ideals of the superextension $lambda(Z_2)$ of the compact group $Z_2$ of integer 2-adic numbers.
Let $R$ be an infinite Dedekind domain with at most finitely many units, and let $K$ denote its field of fractions. We prove the following statement. If $L/K$ is a finite Galois extension of fields and $mathcal{O}$ is the integral closure of $R$ in $L$, then $mathcal{O}$ contains infinitely many prime ideals. In particular, if $mathcal{O}$ is further a unique factorization domain, then $mathcal{O}$ contains infinitely many non-associate prime elements.