Characterizations of locally testable events

Let Σ be a finite alphabet, Σ^* the free monoid generated by Σ and χ the length of χ ∈ Σ^*. For any integer k0, f_k(χ) (t_k(χ)) is χ if χ < k + 1, and it is the prefix (suffix) of χ of length k, othewise. Also let m_k+1(χ) = {νχ = uνw and ν = k+1}. For χ, y ε Σ^* define χ ～ _k+1y iff f_k(χ) = f_k(y), t_k(χ) = t_k(y) and m_k+1(χ) = m_k+1(y). The relation ～_k+1 is a congruence of finite index over Σ^*. An event E ? Σ^* is (k+1)-testable iff it is a union of congruence classes of ～_k+1. E is locally testable (LT) if it is k+1-testable for some k. (This definition differs from that of [6] but is equivalent.)We show that the family of LT events is a proper sub-family of star-free events of dot-depth 1. LT events and k-testable events are characterized in terms of (a) restricted star-free expressions based on finite and cofinite events; (b) finite automata accepting these events; (c) semigroups; and (d) structural decomposition of such automata. Algorithms are given for deciding whether a regular event is (a) LT and (b) k+1-testable. Generalized definite events are also characterized.     

Approximating eigenfunctions of Fredholm operators in Banach spaces

A singular Fredholm operator A is perturbed by an operator of finite rank to obtain an invertible operator B. Theory previously developed for A and B in Hilbert spaces is extended here to Banach spaces. The operator B^?1 is used to construct independent elements in the null spaces N(A), N(A²),…, N(A^k), for some positive integer k, and a basis for N(A) and N(A²). The theory is used to compute approximations to eigenfunctions and generalized eigenfunctions of integral operators.     

Finite 2-groups whose nonnormal subgroups have orders at most 23

In this paper, we classify finite 2-groups all of whose nonnormal subgroups have orders at most 2³. Together with a known result, we completely solved Problem 2279 proposed by Y. Berkovich and Z. Janko in Groups of Prime Power Order, Vol. 3.     

Non-regular simplicial matroids

Let (ks) denote the set of all k-element-subsets of a finite set S. A k-simplical matroid on a subset E of (ks) is a binary matroid the circuit of which are simplicial complexes {X1,…Xm} ? E with boundary 0 (mod 2). The k-simplical matroid on (ks) is called the full simplicial matroid Gk(S). The polygon matroid on the edges of a finite graph is 2-simplicial. Polygon-matroids and their duals are regular. The dual of Gk(S) is Gn?k(S) if the cardinnlity of S is n. More details on simplicial matroids can be found in [3, Chapter 6] and also in [4, pp. 180–181].Welsh asked if every simplicial matroid is regular. We prove that this is not the case, for all full k-simplicial matroids Gk(S) with 3?k?n?3 are non-regular (n is the cardinality of S). This result has also been proved σy R. Cordovil and M. Las Vergnas recently. Their proof is different from our proof, which is somewhat shorter.     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.     

Simultaneous triangularization of a pair of matrices whose commutator has rank two

Let A,B be n×n matrices with entries in an algebraically closed field F of characteristic zero, and let C=AB?BA. It is shown that if C has rank two and AⁱB^jC^k is nilpotent for 0?i, j?n?1, 1?k?2, then A, B are simultaneously triangularizable over F. An example is given to show that this result is in some sense best possible.     

The solution to the partition reconstruction problem

Given a partition λ of n, a k-minor of λ is a partition of n−k whose Young diagram fits inside that of λ. We find an explicit function g(n) such that any partition of n can be reconstructed from its set of k-minors if and only if k?g(n). In particular, partitions of n?k²+2k are uniquely determined by their sets of k-minors. This result completely solves the partition reconstruction problem and also a special case of the character reconstruction problem for finite groups.     

Cyclicity of the unramified Iwasawa module

For a number field k and a prime number p, let k _?? be the cyclotomic Z _p -extension of k with finite layers k _n . We study the finiteness of the Galois group X _?? over k _?? of the maximal abelian unramified p-extension of k _?? when it is assumed to be cyclic. We then focus our attention to the case where p?=?2 and k is a real quadratic field and give the rank of the 2-primary part of the class group of k _n . As a consequence, we determine the complete list of real quadratic number fields for which X _?? is cyclic non trivial. We then apply these results to the study of Greenberg??s conjecture for infinite families of real quadratic fields thus generalizing previous results obtained by Ozaki and Taya.     

Note on the number of integral ideals in Galois extensions

Let K be an algebraic number field of finite degree over the rational filed Q.Let ak be the number of integral ideals in K with norm k.In this paper we study the l-th integral power sum of ak,i.e.,∑k≤ x akl(l = 2,3,...).We are able to improve the classical result of Chandrasekharan and Good.As an application we consider the number of solutions of polynomial congruences.     

Integer solutions to decomposable form inequalities

This paper obtains a result on the finiteness of the number of integer solutions to decomposable form inequalities. Let k be a number field and let F(X₁,...,X_m) be a non-degenerate decomposable form with coefficients in k. We prove that, for every finite set of places S of k containing the archimedean places of k, for each real number and for each constant c>0, the inequality

(1)     

On the finiteness of the Brauer group of an arithmetic scheme

The Artin conjecture on the finiteness of the Brauer group is shown to hold for an arithmetic model of a K3 surface over a number field k. The Brauer group of an arithmetic model of an Enriques surface over a sufficiently large number field is shown to be a 2-group. For almost all prime numbers l, the triviality of the l-primary component of the Brauer group of an arithmetic model of a smooth projective simply connected Calabi-Yau variety V over a number field k under the assumption that V (k) ≠ Ø is proved.     

Center manifolds and contractions on a scale of Banach spaces

We give a new proof for the existence of a C^k-center manifold at a nonhyperbolic equilibrium point of a finite-dimensional vector field of class C^k. The problem is reduced to a fixed point problem on a scale of Banach spaces; these Banach spaces consist of mappings with a certain maximal exponential growth at infinity. We give conditions under which there is a unique fixed point depending differentiably on the parameters; the main difficulty is that the mappings under consideration become only differentiable after composition with appropriate embeddings on the scale of Banach spaces.     

Induced bases of symmetry classes of tensors

Let V^m? denote the mth tensor power of the finite dimensional complex vector space V. Let V_χ(G)?V^m? be the symmetry class of tensors corresponding to the permutation group G and the irreducible character χ of G. Each basis of V induces, in a natural way, a basis of V^m?. The article considers the corresponding problem of inducing bases of V_χ(G).     

Expansions of k-spaces

Simple expansions and expansions by point finite and locally finite collections are studied for particular classes of k-spaces. All such expansions of Fréchet spaces are shown to be Fréchet, and sufficient conditions for the preservation of property P ? {k¹, sequential, k} under simple and locally finite expansions are established.     

Small dilatation pseudo-Anosov homeomorphisms and 3-manifolds

The main result of this paper is a universal finiteness theorem for the set of all small dilatation pseudo-Anosov homeomorphisms ?:S→S, ranging over all surfaces S. More precisely, we consider pseudo-Anosov homeomorphisms ?:S→S with |χ(S)|log(λ(?)) bounded above by some constant, and we prove that, after puncturing the surfaces at the singular points of the stable foliations, the resulting set of mapping tori is finite. Said differently, there is a finite set of fibered hyperbolic 3-manifolds so that all small dilatation pseudo-Anosov homeomorphisms occur as the monodromy of a Dehn filling on one of the 3-manifolds in the finite list, where the filling is on the boundary slope of a fiber.     

Generic noncommutative surfaces

We study a class of noncommutative surfaces, and their higher dimensional analogs, which come from generic subalgebras of twisted homogeneous coordinate rings of projective space. Such rings provide answers to several open questions in noncommutative projective geometry. Specifically, these rings R are the first known graded algebras over a field k which are noetherian but not strongly noetherian: in other words, R⊗_kB is not noetherian for some choice of commutative noetherian extension ring B. This answers a question of Artin, Small, and Zhang. The rings R are also maximal orders, but they do not satisfy all of the χ conditions of Artin and Zhang. In particular, they satisfy the χ₁ condition but not χ_i for i?2, answering a question of Stafford and Zhang and a question of Stafford and Van den Bergh. Finally, we show that the noncommutative scheme R-proj has finite global dimension.     

Notes on the Kernels of Locally Finite Higher Derivations in Polynomial Rings

Let A = k^[3] be the polynomial ring in three variables over a field k, and let D be a nontrivial locally finite iterative higher derivation on A. Let A^D denote the kernel of D. In this note, we prove that, if chark > 0 and ML(A^D) ≠ A^D, then A^D ? k^[2]. As a consequence of this result, we give another proof of the cancellation theorem for k^[2] over any field k of positive characteristic.     

Commutator relations and the clones of finite groups

We show that for n ≥ 3, the clone of the dihedral group \({D_{{2}^{n}}}\) is determined by the k-ary algebraic relations, where k = 2 ^n?1. Further, we show that there does not exist a finite integer k > 0 such that for all finite groups G, the k-ary algebraic relations of G determine the clone of G.     

Lines imply spaces in density Ramsey theory

Some results of geometric Ramsey theory assert that if F is a finite field (respectively, set) and n is sufficiently large, then in any coloring of the points of Fⁿ there is a monochromatic k-dimensional affine (respectively, combinatorial) subspace (see [9]). We prove that the density version of this result for lines (i.e., k = 1) implies the density version for arbitrary k. By using results in [3, 6] we obtain various consequences: a “group-theoretic” version of Roth's Theorem, a proof of the density assertion for arbitrary k in the finite field case when ∥F∥ = 3, and a proof of the density assertion for arbitrary k in the combinatorial case when ∥F∥ = 2.     

High valency subgraphs of cubes

Let G be a subgraph of the 1-skeleton of the unit cube in R”, in which each vertex is of degree at least k. Our main result is that each connected component of G has at least 2^k vertices, and so G has at most 2^n?k components.