Arithmetically cohen-macaulay curves inP 4 of degree 4 and genus 0

We show that the arithmetically Cohen-Macaulay (ACM) curves of degree 4 and genus 0 in P⁴ form an irreducible subset of the Hilbert scheme. Using this, we show that the singular locus of the corresponding component of the Hilbert scheme has dimension greater than 6. Moreover, we describe the structures of all ACM curves ofHilb ^4m+1 (P⁴). Supported in part by the Norwegian Research Council (Matematisk Seminar). Supported in part by école Normale Supérieure and the Nansen Fund. This article was processed by the author using the Springer-Verlag T_EX PJourlg macro package 1991.     

Improvement of an estimate of H. Müller involving the order of 2(mod u) II

Let m≧ 1 be an arbitrary fixed integer and let N_m(x) count the number of odd integers u≦ x such that the order of 2 modulo u is not divisible by m. In case m is prime, estimates for N_m (x) were given by Müller that were subsequently sharpened into an asymptotic estimate by the present author. Müller on his turn extended the author’s result to the case where m is a prime power and gave bounds in the case m is not a prime power. Here an asymptotic for N_m (x) is derived that is valid for all integers m. We also generalize to other base numbers than 2. A further analysis of Müller’s method leads us to study and solve a certain Diophantine equation. Received: 23 August 2005     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

Elliptic curves and their torsion subgroups over number fields of type (2, 2, ..., 2)

Suppose thatE: y ² =x(x + M) (x + N) is an elliptic curve, whereM N are rational numbers (#0, ±1), and are relatively prime. LetK be a number field of type (2,...,2) with degree 2′. For arbitrary n, the structure of the torsion subgroup E(K) _tors of theK-rational points (Mordell group) ofE is completely determined here. Explicitly given are the classification, criteria and parameterization, as well as the groups E(K) _tors themselves. The order of E( K)_tors is also proved to be a power of 2 for anyn. Besides, for any elliptic curveE over any number field F, it is shown that E( L)_tors = E( F) _tors holds for almost all extensionsL/F of degree p(a prime number). These results have remarkably developed the recent results by Kwon about torsion subgroups over quadratic fields.     

A system of Markov processes with random lifetimes

Summary Let E be a locally compact Hausdorff space with a countable base, and suppose {x_n} is a countable collection of points in E. Particles enter E at the site x _n according to a Poisson process N _n (t). Upon entrance to E, a typical particle moves through the space, independently of all other particles, according to the transition law of a Markov process, until its death, which occurs at some random time D. We prove several limit theorems for various functional of this infinite particle system. In particular, laws of large numbers, and central limit theorems are proved for occupation times of relatively compact Borel sets.Supported in part by Arizona State University Grant-in-Aid     

Semi-algebraic Complexity of Quotients and Sign Determination of Remainders

For two nonzero polynomials[formula]the successive signed Euclidean division yields algorithms, that is, semialgebraic computation trees, for tasks such as computing the sequence of successive quotients, deciding the signs of the sequence of remainders in a pointa∈R, deciding the number of remainders, or deciding the degree pattern of the sequence of remainders. In this paper we show lower bounds of ordermlog₂(m) for these tasks, within the computational framework of semi-algebraic computation trees. The inevitably long paths in semi-algebraic computation trees can be specified as those followed by certain prime cones in the real spectrum of a polynomial ring. We give in the paper a positive answer to the question posed in T. Lickteig (J. Pure Appl. Algebra110(2), 131–184 (1996)) whether the degree of the zero-set of the support of a prime cone provides a lower bound on the complexity of isolating the prime cone. The applications are based on the degree inequalities given by Strassen and Schuster and extend their work to the real situation in various directions.     

On genus and embeddings of torsion-free nilpotent groups of class two

Summary We study embeddings between torsion-free nilpotent groups having isomorphic localizations. Firstly, we show that for finitely generated torsion-free nilpotent groups of nilpotency class 2, the property of having isomorphicP-localizations (whereP denotes any set of primes) is equivalent to the existence of mutual embeddings of finite index not divisible by any prime inP. We then focus on a certain family Γ of nilpotent groups whose Mislin genera can be identified with quotient sets of ideal class groups in quadratic fields. We show that the multiplication of equivalence classes of groups in Γ induced by the ideal class group structure can be described by means of certain pull-back diagrams reflecting the existence of enough embeddings between members of each Mislin genus. In this sense, the family Γ resembles the family N₀ of infinite, finitely generated nilpotent groups with finite commutator subgroup. We also show that, in further analogy with N₀, two groups in Γ with isomorphic localizations at every prime have isomorphic localizations at every finite set of primes. We supply counterexamples showing that this is not true in general, neither for finitely generated torsion-free nilpotent groups of class 2 nor for torsion-free abelian groups of finite rank. Supported by DGICYT grant PB94-0725 This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

Graph theoretic techniques in algebraic geometry II: construction of singular complex surfaces of the rational cohomology type of CP2

Methods of graph theory are used to obtain rational projective surfaces with only rational double points as singularities and with rational cohomology rings isomorphic to that of the complex projective plane. Uniqueness results for such cohomologyCP ²'s and for rational and integral homologyCP ²'s are given in terms of the typesA _k,D _k, orE _k of singularities allowed by the construction. Supported in part by National Science Foundation grant no. MCS 77-03540.     

A simple proof of an approximation theorem of H. Minkowski

It is proved that every convex bodyC inR ⁿ can be approximated by a sequenceC _k of convex bodies, whose boundary is the intersection of a level set of a homogeneous polynomial of degree 2k and a hyperplane. The Minkowski functional ofC _k is given explictly. Some further nice properties of the approximantsC _k are proved.Supported in part by BSF and Erwin Schrödinger Auslandsstipendium J0630.     

On a Class of Vector-Valued Sequences Associated with Multiplier Sequences

In this article we introduce the vector valued sequence space m(E_k,φ,∧),associated with themultiplier sequence ∧=(λ_k) of non-zero complex numbers,and the terms of the sequence are chosen from theseminormed spaces E_k,seminormed by f_k for all k∈N.This generalizes the sequence space m(φ) introducedand studied by Sargent.We study some of its properties like solidity,completeness,and obtain some inclusionresults.We also characterize the multiplier problem and obtain the corresponding spaces dual to m(E_k,φ,∧).We prove some general results too.     

Linear operators preserving unitarily invariant norms of matrices

Let F _{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U _m (F). and V ∈ U_n (F). We characterize those linear operators T F _{m × n} → F _{m × n} which satisfy N (T(A)) = N(A)for all A ∈ F _{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F _{m × n} To develop the theory we prove some results concerning unitary operators on F _{m × n} which are of independent interest.     

Two New Families in the Stable Homotopy Groups of Sphere and Moore Spectrum

This paper proves the existence of an order p element in the stable homotopy group of sphere spectrum of degree pnq pmq q - 4 and a nontrivial element in the stable homotopy group of Moore spectum of degree pnq pmq q - 3 which are represented by h0(hmbn-1-hnbm-1) and i*(h0hnhm) in the E2-terms of the Adams spectral sequence respectively, where p≥7 is a prime, n≥m 2≥4, q = 2(p - 1).     

REGULARITIES AND SUBDIRECT PRODUCTS OF RINGS

Abstract

Structure theorems are obtained for certain radical classes of rings (including the Brown-McCoy radical class, the class of λ-rings, the class of E ₅-rings, the class of E ₆-rings and the class of f-regular rings) by generalizing the concept of a prime ideal.     

The Recognition of Double Euler Trails in Series-Parallel Networks

Given a series-parallel network (network, for short)N, its dual networkN′ is given by interchanging the series connection and the parallel connection of networkN. We usually use a series-parallel graph to represent a network. LetG[N] andG[N′] be graph representations ofNandN′, respectively. A sequence of edgese₁, e₂,…,e_kis said to form a common trail on (G[N], G[N′]) if it is a trail on bothG[N] andG[N′]. If a common trail covers all of the edges inG[N] andG[N′], it is called adouble Euler trail.However, there are many different graph representations for a network. We say that a networkNhas a double Euler trail (DET) if there is a common Euler trail for someG[N] and someG[N′]. Finding a DET in a network is essential for optimizing the layout area of a complementary CMOS functional cell. Maziasz and Hayes (IEEE Trans. Computer-Aided Design9(1990), 708–719) gave a linear time algorithm for solving the layout problem in fixedG[N] andG[N′] and an exponential algorithm for finding the optimal cover in a network without fixing graph representations. In this paper, we study properties of subnetworks of a DET network. According to these properties, we propose an algorithm that automatically generates the rules for composition of trail cover classes. On the basis of these rules, a linear time algorithm for recognizing DET networks is presented. Furthermore, we also give a necessary and sufficient condition for the existence of a double Euler circuit in a network.     

New global optima results for the Kauffman NK model: handling dependency

The Kauffman NK model has been used in theoretical biology, physics and business organizations to model complex systems with interacting components. This paper presents new global optima results for the NK model by developing tools for handling dependency in the cases where K grows with N; this generalizes the previous work that focused on the analysis of the (independent) case K=N−1. A dependency graph is defined and studied to handle dependencies among underlying random variables in the NK model. Order statistics (with dependencies) and the expected value of the global optima, E _{N, K} , are bounded using equitable coloring of the dependency graph. These bounds convert the problem of bounding order statistics of dependent random variables into that of independent random variables while incorporating quantitative information about the mutual dependencies between the underlying random variables. An alternative upper bound on E _{N, K} using direct arguments is also proposed. A detailed analysis of E _{N, K} for K close to N (K=N−α and K=β N, α ∈ Z ⁺,β ∈ (0,1)) is given for underlying uniform and normal distributions. Finally, for bounded underlying distributions, the global optima is shown to be concentrated around its mean E _{N, K} .     

Sequentially equidistant points in metric spaces

A sequence (z ₀,z ₁,z ₂,, ...,z _n, z _n+1) of points fromp=z ₀ toq=z _n+1 in a metric spaceX is said to besequentially equidistant ifd(z _i−1,z _i)=d(z _i,z _i+1) for 1≦i≦n. If there is path inX fromp toq (or if a certain weaker condition holds), then such a sequence exists, with all points distinct, for every choice ofn, while ifX is compact and connected, then such a sequence exists at least forn=2. An example is given of a dense connected subspaceS ofR ^m ,m≧2, and an uncountable dense subsetE disjoint fromS for which there is no sequentially equidistant sequence of distinct points (n ≧ 2) inS ∪E between any two points ofE. Techniques of dimension theory are utilized in the construction of these examples, as well as in the proofs of some of the positive results. Supported in part by NSF Grant DMS-8701666.     

A lattice approach to narrow operators

It is known that if a rearrangement invariant function space E on [0,1] has an unconditional basis then each linear continuous operator on E is a sum of two narrow operators. On the other hand, the sum of two narrow operators in L₁ is narrow. To find a general approach to these results, we extend the notion of a narrow operator to the case when the domain space is a vector lattice. Our main result asserts that the set N_r(E, F) of all narrow regular operators is a band in the vector lattice L_r(E, F) of all regular operators from a non-atomic order continuous Banach lattice E to an order continuous Banach lattice F. The band generated by the disjointness preserving operators is the orthogonal complement to N_r(E, F) in L_r(E, F). As a consequence we obtain the following generalization of the Kalton-Rosenthal theorem: every regular operator T : E → F from a non-atomic Banach lattice E to an order continuous Banach lattice F has a unique representation as T = T_D + T_N where T_D is a sum of an order absolutely summable family of disjointness preserving operators and T_N is narrow. Supported by Ukr. Derzh. Tema N 0103Y001103.     

On the Orbit of an m-Isometry

A bounded linear operator T on a Hilbert space H is called an m-isometry for a positive integer m if . We prove some properties concerning the behaviour of the orbit of an m-isometry. For example, every orbit of an m-isometry is eventually norm increasing and some m-isometries can not be N-supercyclic, that is, there does not exist an N-dimensional subspace E_N such that the orbit of T at E_N is dense in H.

---

To Professor José Rodríguez Expósito on his 60th birthday