A local duality theorem for categories of modules

Let Λ be an associative ring with identity and let be the category of left unitary Λ-modules. A subcateqory of the category is said to be small if the pairwise nonisomorphic objects of form a set. The main result of this paper consists of the fact that for every small full subcategory , there exists a ring Γ such that is dual to a small full subcategory of the category . Some applications of this result are indicated. Bibliography: 3 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995, pp. 66–73.     

Elementary properties of free extensions

For any partial groupoid , let Fr be the free extension of to a total groupoid. We show that implies and that the theory of Fr is uniformly recursive in the theory of . These results fail if “groupoid” is replaced by “semigroup”, “commutative semigroup”, “group”, “abelian group”, “semilattice”, “K-lattice” for any nontrivial varietyK of lattices, or “Boolean algebra”. Research supported in part by NSF Grant MCS78-01867. We thank the referee for his valuable comments. Presented by B. Jónsson.     

On the representation of differentiations by Hamiltonians,operating from an algebra of local observable spin systems

Let and be algebras of local and quasilocal observable spin systems corresponding to the group Zr, be a differentiation invariant with respect to displacements. The question of representation of D in the form of formal Hamiltonian formed by the displacements of an elementx ε is considered. It is shown that such a representation exists if the condition holds, where means an element obtained from the elements [T_kX,a] by some r-multiple process of summation. Translated from Matematicheskii Zametki, Vol. 21, No. 1, pp. 93–98, January, 1977.     

On the word problem and the conjugacy problem for groups of the formF/V(R)

LetF be a free group with at most countable system of free generators, letR be its normal subgroup recursively enumerable with respect to , and let be a variety of groups that differs from and for which the corresponding verbal subgroupV of the free group of countable rank is recursive. It is proved that the word problem inF/V(R) is solvable if and only if this problem is solvable inF/R, and if , then there exists anR such, that the conjugacy problem inF/R is solvable, but this problem is unsolvable inF/V(R) for any Abelian variety (all algorithmic problems are regarded with respect to the images of under the corresponding natural epimorphisms). Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 3–9, January, 1997. Translated by M. I. Anokhin     

Integral-valued rational functions on valued fields

Let K be a field and a non-trivial valuation ring of K withm as its maximal ideal. Denote by and the rings of polynomials f∈K[X] and rational functions f∈K(X) resp. such that . We prove that for one variable X we have if and only if the completion of (K, ) is locally compact or algebraically closed. In the second case—i.e. if K is dense in the algebraic closure of (K, )—we even get for any number of variables X=(X₁,...,X_n). This work contains parts of the second author's thesis [Ri] written under the supervision of the first author.     

Categories with homotopy determine a closed model structure

In a category with homotopy (Definition 1.1), one can define a natural concept of (co)fibrations and weak equivalences (Sec. 2) such that some properties of a closed model category hold. If is a complete and cocomplete category (with respect to finite limits) with simplicial homotopy (Definition 1.3), one achieves a full closed model structure in (Theorem 4.6). For each category with homotopy , there exists a category with simplicial homotopy (see Sec. 5) (the simplicial envelope of ). If is already a complete category with simplicial homotopy, then is Quillen equivalent to (Theorem 5.9). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 41, Topology and Its Applications, 2006.     

Special finite-dimensional monocomposition algebras

Special monocomposition algebras introduced in [1] are studied. Using their properties, we prove that any nondegenerate monocomposition algebra ,dim ≥ 3, with unity contains no proper ideal of dimension ≤8. This implies that if 3≤dim ≤ 9, then is a central simple algebra. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 125–144, March–April, 1996.     

Asymptotic bounds for estimators without limit distribution

Let be a general family of probability measures,κ : a functional, and the optimal limit distribution for regular estimator sequences of κ. On intervals symmetric about 0, the concentration of this optimal limit distribution can be surpassed by the asymptotic concentration of an arbitrary estimator sequence only forP in a “small” subset of . For asymptotically median unbiased estimator sequences the same is true for arbitrary intervals containing 0. The emphasis of the paper is on “pointwise” conditions for , as opposed to conditions on shrinking neighbourhoods, and on “general” rather than parametric families.     

Carleson measures and the heat equation

Let { }, where { } is the open unit disk on the complex plane { }. In G, we consider analytic solutions u(t, z) ({ }, { }) of the heat equation 2u_t=u_zz with initial data f(z)=u(0, z) belonging to the Fock space F, i.e., to the space of entire functions square summable with the weight e−|z|2.Conditions on a nonnegative measure μ on G are described under which for all f ∈ F we have { } Bibliography: 17 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 247, 1997, pp. 146–155. Translated by S. V. Kislyakov.     

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

Primitive systems of elements in the variety\mathfrak{A}\mathfrak{N}_2 and some locally finite varieties of groupsand some locally finite varieties of groups

Part of any basis of a relatively free group in the variety is called a primitive system of elements. We provide a criterion of being primitive for , where is a variety of Abelian groups satisfying x^m=1, and a variety generated by a finite group. Let be a variety of nilpotent groups of class ≤c. It is proved that, for the group , the property of being primitive for an element g is stronger than the condition of being unimodular on a vector composed of values of Fox derivatives in the ring . The group is not residually finite whenever a system of elements is primitive. Supported by RFFR grant No. 96-01-01948. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 687–699, November–December, 1998.     

Asymptotic properties of the maximum likelihood estimate in the first order autoregressive process

Summary In this paper we obtain an asymptotic expansion of the distribution of the maximum likelihood estimate (MLE) based onT observations from the first order Gaussian process up to the term of orderT ⁻¹. The expansion is used to compare with a generalized estimate including the least square estimate (LSE) , based on the asymptotic probabilities around the true value of the estimates up to the terms of orderT ⁻¹. It is shown that (or the modified MLE ) is better than (or the modified estimate ). Further, we note that does not attain the bound for third order asymptotic median unbiased estimates.     

Relatively free products of Magnus groups

The class of Magnus -groups is closed under the operation of the -product. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 199–213, 2004.     

Invariants of classCk for finite coxeter groups and their representations in terms of anisotropic spaces

This article is devoted to the study of representations of C^k { } functions f invariant with respect to finite Coxeter groups W in the form f=F op, where p is a base in the algebra of W-invariant polynomials. We examine the lowering of smoothness of F as compared with f and conclude that this lowering has an anisotropic nature and that, more precisely, at each point Po it is described by a vector { }. We examine the cases W=A_n, B_n, D_n, { }; in each case the greatest component { } of { } is equal to the Coxeter number of the stabilizer W_yo of the point yo, where po=p(yo). Bibliography: 22 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 247, 1997, pp. 46–70. Translated by S. Yu. Pilyugin.     

On the range of a generalized derivation

A generalized derivation , is defined by the formula , where and is the Banach algebra of bounded linear operators in a Hilbert space . Sufficient conditions under which and are given. Bibliography: 8 titles. Translated fromProblemy Matematicheskogo Analiza, No. 20, 2000, pp. 111–119.     

A new hyperbolic equation possessing a zero-curvature representation

Using a direct procedure of calculation of zero-curvature representations (ZCR), we find a previously unknown hyperbolic equation which possesses an -valued ZCR. This ZCR admits no parameters and is not reducible to a proper subalgebra of . __________ Translated from Fundamental’naya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 1, Geometry of Integrable Models, 2004.     

Factorizations of composition formations

It is proved that, if is a singly generated composition formation, where , then is a composition formation. Translated fromMatematicheskie Zametki, Vol. 65, No. 3, pp. 389–395, March, 1999.     

Stick breaking process generated by virtual permutations with Ewens distribution

Given a sequence x of points in the unit interval, we associate with it a virtual permutation w=w(x) (that is, a sequence w of permutationsw _n such that for all n=1,2,..., w_n−1=w′_n is obtained from w_n by removing the last element n from its cycle). We introduce a detailed version of the well-known stick breaking process generating a random sequence x. It is proved that the associated random virtual permutation w(x) has a Ewens distribution. Up to subsets of zero measure, the space of virtual permutations is identified with the cube [0, 1]^∞. Bibliography: 8 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 162–180.