Weak theories of linear algebra

We investigate the theories of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize Frege proofs. We give sentences separating quantified versions of these theories, and define a fragment in which we can interpret a weak theory V¹ of bounded arithmetic and carry out polynomial time reasoning about matrices - for example, we can formalize the Gaussian elimination algorithm. We show that, even if we restrict our language, proves the commutativity of inverses.This work was done while a postdoctoral research fellow at the Department of Computer Science, University of Toronto, Canada.     

A new condensation principle

We generalize (A), which was introduced in [Sch], to larger cardinals. For a regular cardinal >₀ we denote by (A) the statement that and for all regular >,is stationary in It was shown in [Sch] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0^#.Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60     

Models of set theory with definable ordinals

A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our results include the following:1. If T is a consistent completion of ZF+VOD, then T has continuum-many countable nonisomorphic Paris models.2. Every countable model of ZFC has a Paris generic extension.3. If there is an uncountable well-founded model of ZFC, then for every infinite cardinal there is a Paris model of ZF of cardinality which has a nontrivial automorphism.4. For a model ZF, is a prime model is a Paris model and satisfies AC is a minimal model. Moreover, Neither implication reverses assuming Con(ZF).Mathematics Subject Classification (2000): 03C62, 03C50, Secondary 03H99     

There is no ordering on the classes in the generalized high/low hierarchies

We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable. We also show that every finite poset labeled with elements of (where is the partition of induced by the generalized high/low hierarchy) can be embedded in preserving the labels. Note that no condition is imposed on the labels.     

Proper forcing extensions and Solovay models

We study the preservation of the property of being a Solovay model under proper projective forcing extensions. We show that every strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of under strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of under projective strongly-proper forcing notions is consistent relative to the existence of a -Mahlo cardinal. We also show that the consistency strength of the absoluteness of under forcing extensions with -linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal.Research partially supported by the research projects BFM2002-03236 of the Spanish Ministry of Science and Technology, and 2002SGR 00126 of the Generalitat de Catalunya. The second author was also partially supported by the research project GE01/HUM10, Grupos de excelencia, Principado de Asturias.Mathematics Subject Classification (2000): 03E15, 03E35     

What is so special with the powerset operation?

The powerset operator, , is an operator which (1) sends sets to sets,(2) is defined by a positive formula and (3) raises the cardinality of its argument, i.e., |(x)|>|x|. As a consequence of (3), has a proper class as least fixed point (the universe itself). In this paper we address the questions: (a) How does contribute to the generation of the class of all positive operators? (b) Are there other operators with the above properties, independent of ? Concerning (a) we show that every positive operator is a combination of the identity, powerset, and almost constant operators. This enables one to define what a -independent operator is. Concerning (b) we show that every -independent bounded positive operator is not -like.Mathematics Subject Classification (2000): Primary 03E05, secondary 03E20     

Estimates for the -Neumann problem and nonexistence of C 2 Levi-flat hypersurfaces in

Let be a pseudoconvex domain with C² boundary in , n 2. We prove that the -Neumann operator N exists for square-integrable forms on . Furthermore, there exists a number ₀>0 such that the operators and the Bergman projection are regular in the Sobolev space W ( ) for <₀. The -Neumann operator is used to construct -closed extension on for forms on the boundary b. This gives solvability for the tangential Cauchy-Riemann operators on the boundary. Using these results, we show that there exist no non-zero L²-holomorphic (p, 0)-forms on any domain with C² pseudoconcave boundary in with p > 0 and n 2. As a consequence, we prove the nonexistence of C² Levi-flat hypersurfaces in .This paper is a revision of our preprint (May 2003) formerly titled Estimates for the -Neumann problem and nonexistence of Levi-flat hypersurfaces in where the nonexistence of C², Levi-flat hypersurfaces is proved for >0.All three authors are partially supported by NSF grants.An erratum to this article can be found at     

On two fragments with negation and without implication of the logic of residuated lattices

The logic of (commutative integral bounded) residuated lattices is known under different names in the literature: monoidal logic [26], intuitionistic logic without contraction [1], H_BCK [36] (nowadays called by Ono), etc. In this paper we study the -fragment and the -fragment of the logical systems associated with residuated lattices, both from the perspective of Gentzen systems and from that of deductive systems. We stress that our notion of fragment considers the full consequence relation admitting hypotheses. It results that this notion of fragment is axiomatized by the rules of the sequent calculus for the connectives involved. We also prove that these deductive systems are non-protoalgebraic, while the Gentzen systems are algebraizable with equivalent algebraic semantics the varieties of pseudocomplemented (commutative integral bounded) semilatticed and latticed monoids, respectively. All the logical systems considered are decidable.     

Infinitely many solutions of a semilinear problem for the Heisenberg Laplacian on the Heisenberg group

We study the semilinear equationwhere is the Heisenberg Laplacian and is the Heisenberg group. The function f C²(×, ) is supposed to satisfy some (subcritical) growth conditions and to be left invariant under the action of the subgroup of consisting of points with integer coordinates.. We show the existence of infinitely many solutions in the space S₁²(), which is the Heisenberg analogue of the Sobolev space W^1,2(^N).Mathematics Subject Classification (2000): 22E30, 22E27     

On the logarithmic plurigenera of complements of plane curves

Let B be a (not necessarily irreducible) plane curve in ². In the present article, we prove that if and only if Moreover, we determine the curve B when and Mathematics Subject Classification (2000): 14R05, 14H50, 14J26     

Models of replacement schemes

In the context of bounded arithmetic we consider some general replacement schemes and construct models for them. A new proof of a conservation result between and is derived.     

Modified Ariki-Koike algebras and cyclotomic <Emphasis Type="Italic">q</Emphasis>-Schur algebras

The modified Ariki-Koike algebra is a variation of the original Ariki-Koike algebra over an integral domain R. When R is a rational function field over the independent parameters, But for general R, is not isomorphic to , and has a simpler structure than . In this paper, we construct a cellular basis of which has a similar property as the cellular basis of introduced by Dipper-James-Mathas. By comparing these two cellular bases, we obtain some estimate on the decomposition numbers of in terms of the decomposition numbers of . We also prove the integral form of the Schur-Weyl reciprocity between a certain quantum algebra U_q and on the tensor space      

The Euler characteristic of local systems on the moduli of genus 3 hyperelliptic curves

For a partition ={₁₂₃0} of non-negative integers, we calculate the Euler characteristic of the local system on the moduli space of genus 3 hyperelliptic curves using a suitable stratification. For some of low degree, we make a guess for the motivic Euler characteristic of using counting curves over finite fields.Mathematics Subject Classification (1991): 14J15, 20B25     

Associated primes and cofiniteness of local cohomology modules

Let be an ideal of Noetherian ring R and let s be a non-negative integer. Let M be an R-module such that is finite R-module. If s is the first integer such that the local cohomology module is non -cofinite, then we show that is finite. In particular, the set of associated primes of is finite. Let be a local Noetherian ring and let M be a finite R-module. We study the last integer n such that the local cohomology module is not -cofinite and show that n just depends on the support of M.The research of the first author was supported in part by a grant from IPM (No. 83130114).The second author was supported by a grant from University of Tehran (No. 6103023/1/01).     

On certain categories of modules for affine Lie algebras

In this paper, we exploit basic formal variable techniques to study certain categories of modules for an (untwisted) affine Lie algebra , motivated by Chari-Pressleys work on certain integrable modules. We define and study two categories and of -modules using generating functions, where is proved to contain the well known evaluation modules and to unify highest weight modules, evaluation modules and their tensor product modules. We classify integrable irreducible -modules in categories and and we determine the isomorphism classes of those irreducible modules. Finally we prove a result that relates fusion rules in the context of vertex operator algebras with integrable irreducible modules of Chari-Pressley.in final form: 12 November 2003Partially supported by a NSA grant and a grant from Rutgers Research Council.     

Diophantine inequalities involving several power sums

Let denote the ring of power sums, i.e. complex functions of the form for some and _iA, where is a multiplicative semigroup. Moreover, let We consider Diophantine inequalities of the form where >1 is a quantity depending on the dominant roots of the power sums appearing as coefficients in F(n,y), and show that all its solutions have y parametrized by some power sums from a finite set. This is a continuation of the work of Corvaja and Zannier [4–6] and of the authors [10, 18] on such problems.Mathematics Subject Classification (2000):11D45,11D61Revised version: 6 May 2004     

Topologically transitive extensions of bounded operators

Let X be any Banach space and T a bounded operator on X. An extension of the pair (X,T) consists of a Banach space in which X embeds isometrically through an isometry i and a bounded operator on such that When X is separable, it is additionally required that be separable. We say that is a topologically transitive extension of (X, T) when is topologically transitive on , i.e. for every pair of non-empty open subsets of there exists an integer n such that is non-empty. We show that any such pair (X,T) admits a topologically transitive extension , and that when H is a Hilbert space, (H,T) admits a topologically transitive extension where is also a Hilbert space. We show that these extensions are indeed chaotic.Mathematics Subject Classification (2000): 47 A 16     

On Cross-intersecting Families of Sets

A family of -element subsets and a family of k-element subsets of an n-element set are cross-intersecting if every set from has a nonempty intersection with every set from . We compare two previously established inequalities each related to the maximization of the product , and give a new and short proof for one of them. We also determine the maximum of for arbitrary positive weights ,_k.     

On an eigenvalue problem related to the critical exponent

In this paper we study the eigenvalue problemwhere is a smooth bounded domain, and u is a positive solution of the problemsuch thatwhere S is the best Sobolev constant for the embedding of H¹₀() into L²*(), We prove several estimates for the eigenvalues _i, of (I), i=2,..,N+2 and some qualitative properties of the corresponding eigenfunctions.Supported by M.I.U.R., project Variational methods and nonlinear differential equations.     

Isomorphisms of algebras associated with directed graphs

Given countable directed graphs G and G, we show that the associated tensor algebras (G) and (G) are isomorphic as Banach algebras if and only if the graphs G are G are isomorphic. For tensor algebras associated with graphs having no sinks or no sources, the graph forms an invariant for algebraic isomorphisms. We also show that given countable directed graphs G, G, the free semigroupoid algebras and are isomorphic as dual algebras if and only if the graphs G are G are isomorphic. In particular, spatially isomorphic free semigroupoid algebras are unitarily isomorphic. For free semigroupoid algebras associated with locally finite directed graphs with no sinks, the graph forms an invariant for algebraic isomorphisms as well.Mathematics Subject Classification (2000): 47L80, 47L55, 47L40Acknowledgments. We would like to thank the referee for several constructive suggestions on the initial draft and for bringing to our attention the work in [8,9]. The first author was partially supported by a research grant from ECU and the second author by an NSERC research grant and start up funds from the University of Guelph. We thank David Pitts for enlightening conversations and Alex Kumjian for helpful comments on the literature.