Net subrings of generalized matrix rings

Let Λ be a ring with the following properties: (a) Λ is a direct sum of left ideals P₁,..., P_n; (b) every nontrivial homomorphism P_i→P_j is a monomorphism; (c) for every i, j the intersection of any two submodules of P_j isomorphic to P_i contains a submodule isomorphic to P_i. Then Λ can be represented as a subring associated with a net of ideals in a generalized matrix ring. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 211, 1994, pp. 184–198. Translated by A. V. Yakovlev.     

Generalized Differential Identities of （Semi-）Prime Rings

Let R be a semiprime ring with characteristic p≥0 and RF be its left Martindale quotient ring. If ф（Xi^△j） is a reduced generalized differential identity for an essential ideal of R, then ф（Zije（△j ）） is a generalized polynomial identity for RF, where e（△j） are idempotents in the extended centroid of R determined by △j. Let R be a prime ring and Q be its symmetric Martindale quotient ring. If ф（Xi△j） is a reduced generalized differential identity for a noncommutative Lie ideal of R, then ф（Zij） is a generalized polynomial identity for [R, R]. Moreover, if ф（Xi△j） is a reduced generalized differential identity, with coefficients in Q, for a large right ideal of R, then ф（Zij） is a generalized polynomial identity for Q.     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.     

Further Results on Finitely Generated Projective Modules

In this paper, the exchange rings R whose primitive factor rings are artinian are studied. The following results are proved: for any exchange ring R and any two-sided ideal I of R, K ₀(π) : K ₀(R)→K ₀(R/I) is a group epimorphism with the kernel {[P]−[Q] |P = PI, Q = QI}; there is an isomorphism of ordered groups from K ₀(R) to the gorup of all such functions ƒ _P : X→Q(P∈p(R)), where X is the set of all primitive ideals of R and Q, the rational integers. Received February 2, 1999, Accepted December 9, 1999     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

The Frattini Subalgebra of Restricted Lie Superalgebras

In the present paper, we study the Frattini subalgebra of a restricted Lie superalgebra （L, [p]）. We show first that if L = A1 ＋ A2 ＋… ＋An, then Фp（L） = Фp（A1） ＋Фp（A2） ＋…＋Фp（An）, where each Ai is a p-ideal of L. We then obtain two results： F（L） = Ф（L） = J（L） = L if and only if L is nilpotent; Fp（L） and F（L） are nilpotent ideals of L if L is solvable. In addition, necessary and sufficient conditions are found for Фp-free restricted Lie superalgebras. Finally, we discuss the relationships of E-p-restricted Lie superalgebras and E-restricted Lie superalgebras.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).     

Dimensions of Formal Fibers of Height One Prime Ideals

Let T be a complete local (Noetherian) ring with maximal ideal M, P a nonmaximal ideal of T, and C = {Q ₁, Q ₂,…} a (nonempty) finite or countable set of nonmaximal prime ideals of T. Let {p ₁, p ₂,…} be a set of nonzero regular elements of T, whose cardinality is the same as that of C. Suppose that p _i  ∈ Q _j if and only if i = j. We give conditions that ensure there is an excellent local unique factorization domain A such that A is a subring of T, the maximal ideal of A is M ∩ A, the (M ∩ A)-adic completion of A is T, and so that the following three conditions hold: (1) p _i  ∈ A for every i; (2) A ∩ P = (0), and if J is a prime ideal of T with J ∩ A = (0), then J ? P or J ? Q _i for some i; (3) for each i, p _i A is a prime ideal of A, Q _i ∩ A = p _i A, and if J is a prime ideal of T with J ? Q _i , then J ∩ A ≠ p _i A.     

The ring as a torsion-free cover

LetR be an integral domain andI a non-zero ideal ofR. The canonical mapR→R/I is called atorsion-free cover ofR/I if everyR-homomorphism from a torsion-freeR-module intoR/I can be factored throughR. The main result of this paper is thatR→R/I is a torsion-free cover if and only ifR is complete in theR-topology andI is an ideal of injective dimension 1. In this caseI is contained in the Jacobson radical ofR. And if Λ is the endomorphism ring ofI, then Λ is a quasi-local domain. IfI is a flatR-module, thenQ→Q/Λ is a torsion-free cover, whereQ is the quotient field ofR. And thenQ/Λ is an indecomposable injectiveR (and Λ) module. Special results are obtained ifR is a Noetherian domain or a Prüfer domain.     

Threefolds of order one in the six-quadric

Consider the smooth quadric Q ₆ in ℙ⁷. The middle homology group H ₆(Q ₆, ℤ) is isomorphic to ℤ ⊕ ℤ, with a basis given by two classes of linear subspaces. We classify all threefolds of bidegree (1, p) inside Q ₆.     

Gotzmann Edge Ideals

Let P = 𝕜[x ₁,…, x _n ] be the polynomial ring in n variables. A homogeneous ideal I ? P generated in degree d is called Gotzmann if it has the smallest possible Hilbert function out of all homogeneous ideals with the same dimension in degree d. The edge ideal of a simple graph G on vertices x ₁,…, x _n is the quadratic square-free monomial ideal generated by all x _i x _j where {x _i , x _j } is an edge of G. The only edge ideals that are Gotzmann are those edge ideals corresponding to star graphs.     

A question of Gol’dberg concerning entire functions with prescribed zeros

Let (z_j) be a sequence of complex numbers satisfying |z_j|→ ∞ asj → ∞ and denote by n(r) the number of z_j satisfying |z_j|≤ r. Suppose that lim inf_{r → ⇈} log n(r)/ logr > 0. Let ϕ be a positive, non-decreasing function satisfying ∫^∞ (ϕ(t)t logt)⁻¹ dt < ∞. It is proved that there exists an entire functionf whose zeros are the z_j such that log log M(r,f) = o((log n(r))²ϕ(log n(r))) asr → ∞ outside some exceptional set of finite logarithmic measure, and that the integral condition on ϕ is best possible here. These results answer a question by A. A. Gol’dberg.     

On the structure of the augmentation quotient group for some nonabelian 2-groups

Let G be a finite nonabelian group, ℤG its associated integral group ring, and Δ(G) its augmentation ideal. For the semidihedral group and another nonabelian 2-group the problem of their augmentation ideals and quotient groups Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) is deal with. An explicit basis for the augmentation ideal is obtained, so that the structure of its quotient groups can be determined.     

Teichmüller sequences on trajectories invariant under a Kleinian group

We extend the results of [T2] to the situation where there is a compatibility with the action of a Kleinian group. A classical Techmüller sequence is a sequence of quasiconformal mapsf _i with complex dilatations of the form , where ϕ is a quadratic differential and 0<-k _i<1 are numbers such thatk _i→1 asi→∞. We proved in [T2] that if τ is a vertical trajectory associated to ϕ, then there is often, for instance if the sequence is normalized so thatf _i fix 3 points, a subsequence such thatf _i tend either toward a constant or an injective map of τ. If there is compatibility with the action of a non-elementary finitely generated Kleinian groupG, we can given a precise characterization which of these cases occurs. Suppose thatf _i induce isomorphisms ϕ_i ofG onto another Kleinian group and that ϕ_i have algebraic limit ϕ. If the quadratic differential is defined on a component of the ordinary set ofG, if there are no parabolic elements, and if τ is extended maximally so that all branches coming together at a singular point are included, then we can state the main result as follows. The limit is a constantc if the stabilizerG _τ of τ is elementary; and, if it is non-elementary, then the limit is injective. In the first case, ϕ(g) is parabolic with fixpointc wheneverg∈G _τ is of infinite order; and in the latter case, the limitf is an embedding of τ in a natural topology of τ, andf embeds τ into a component of the limit set of ϕG whose stabilizer is ϕG _τ. Various extensions and generalizations are presented. The research for this paper has been supported by the project 51749 of the Academy of Finland.     

Eigenvalue distributions from impacts on a ring

We consider the collision dynamics produced by three beads with masses (m ₁, m ₂, m ₃) sliding without friction on a ring, where the masses are scaled so that m ₁ = 1/ɛ, m ₂ = 1, m ₃ = 1 − ɛ, for 0 ⩽ ɛ ⩾ 1. The singular limits ɛ = 0 and ɛ = 1 correspond to two equal mass beads colliding on the ring with a wall, and without a wall respectively. In both these cases, all solutions are periodic and the eigenvalue distributions (around the unit circle) associated with the products of collision matrices are discrete. We then numerically examine the regime which parametrically connects these two states, i.e. 0 < ɛ < 1, and show that the eigenvalue distribution is generically uniform around the unit circle, which implies that the dynamics are no longer periodic. By a sequence of careful numerical experiments, we characterize how the uniform spectrum collapses from continuous to discrete in the two singular limits ɛ → 0 and ɛ → 1 for an ensemble of initial velocities sampled uniformly on a fixed energy surface. For the limit ɛ → 0, the distribution forms Gaussian peaks around the discrete limiting values ± 1, ± i, with variances that scale in power law form as σ ² ∼ αɛ ^β. By contrast, the convergence in the limit ɛ → 1 to the discrete values ±1 is shown to follow a logarithmic power-law σ ² ∼ log(ɛ ^β).     

Small deviations of the maximal element of a sequence of weighted independent random variables

Consider a sequence {X _i } of independent copies of a nonnegative random variable X and let M = sup _{j ≥ 1}λ _j X _j , where {λ _j } is a nonincreasing sequence of positive numbers for which P(M < ∞) = 1. The asymptotic behavior of -logP(M < r) as r → 0 is studied.     

Equivariant plateau problems

Let (M, Q) be a compact, three dimensional manifold of strictly negative sectional curvature. Let (Σ, P) be a compact, orientable surface of hyperbolic type (i.e. of genus at least two). Let θ : π₁(Σ, P) → π₁(M, Q) be a homomorphism. Generalising a recent result of Gallo, Kapovich and Marden concerning necessary and sufficient conditions for the existence of complex projective structures with specified holonomy to manifolds of non-constant negative curvature, we obtain necessary conditions on θ for the existence of a so called θ-equivariant Plateau problem over Σ, which is equivalent to the existence of a strictly convex immersion i : Σ → M which realises θ (i.e. such that θ = i _*).      

Large antipodal families

A family {A _i | i ∈ I} of sets in ℝ ^d is antipodal if for any distinct i, j ∈ I and any p ∈ A _i , q ∈ A _j , there is a linear functional ϕ:ℝ ^d → ℝ such that ϕ(p) ≠ ϕ(q) and ϕ(p) ≤ ϕ(r) ≤ ϕ(q) for all r ∈ ∪ _i∈I A _i . We study the existence of antipodal families of large finite or infinite sets in ℝ³. The research was supported by the Hungarian-South African Intergovernmental Scientific and Technological Cooperation Programme, NKTH Grant no. ZA-21/2006 and South African National Research Foundation Grant no. UID 61853, as well as Hungarian National Foundation for Scientific Research Grants no. NK 67867, no. T47102, and no. K72537.     

Deformations of filiform Lie algebras and symplectic structures

We study symplectic structures on filiform Lie algebras, which are niplotent Lie algebras with the maximal length of the descending central sequence. Let g be a symplectic filiform Lie algebra and dim g = 2k ≥ 12. Then g is isomorphic to some ℕ-filtered deformation either of m₀(2k) (defined by the structure relations [e ₁, e _i ] = e _i+1, i = 2,…, 2k − 1) or of V _2k , the quotient of the positive part of the Witt algebra W ₊ by the ideal of elements of degree greater than 2k. We classify ℕ-filtered deformations of V _n : [e _i , e _j ] = (j − i)e _i+1 + Σ _l≥1 c _ij ^l e _i+j+l . For dim g = n ≥ 16, the moduli space ℳ_n of these deformations is the weighted projective space . For even n, the subspace of symplectic Lie algebras is determined by a single linear equation. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2006, Vol. 252, pp. 194–216.