Reidemeister torsion of -representations

We compute the -Reidemeister torsion of torus bundles over which monodromies are hyperbolic elements in .

     

Castelnuovo-Mumford regularity of simplicial semigroup rings with isolated singularity

Let be the polynomial ring in variables over a field and its graded maximal ideal. Let be homogeneous polynomials of degree generating an -primary ideal, and let be arbitrary homogeneous polynomials of degree . In the present paper it will be proved that the Castelnuovo-Mumford regularity of the standard graded -algebra is at most . By virtue of this result, it follows that the regularity of a simplicial semigroup ring with isolated singularity is at most , where is the multiplicity of and is the codimension of .

     

The removal of from some undecidable problems involving elementary functions

We show that in the ring generated by the integers and the functions and defined on it is undecidable whether or not a function has a positive value or has a root. We also prove that the existential theory of the exponential field is undecidable.

     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

bounds for oscillatory hyper-Hilbert transform along curves

We study the oscillatory hyper-Hilbert transform

(1)

along the curve , where are some real positive numbers. We prove that if , then is bounded on whenever . Furthermore, we also prove that is bounded on when . Our work improves and extends some known results by Chandarana in 1996 and in a preprint. As an application, we obtain an boundedness result for some strongly parabolic singular integrals with rough kernels.

     

A sheaf of Hochschild complexes on quasi-compact opens

For a scheme , we construct a sheaf of complexes on such that for every quasi-compact open , is quasi-isomorphic to the Hochschild complex of (Lowen and Van den Bergh, 2005). Since is moreover acyclic for taking sections on quasi-compact opens, we obtain a local to global spectral sequence for Hochschild cohomology if is quasi-compact.

     

Arens-Michael enveloping algebras and analytic smash products

Let be a finite-dimensional complex Lie algebra, and let be its universal enveloping algebra. We prove that if , the Arens-Michael envelope of is stably flat over (i.e., if the canonical homomorphism is a localization in the sense of Taylor (1972), then is solvable. To this end, given a cocommutative Hopf algebra and an -module algebra , we explicitly describe the Arens-Michael envelope of the smash product as an ``analytic smash product' of their completions w.r.t. certain families of seminorms.

     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

A splitting theorem for degrees

We prove that, for any , and with _{T}A\oplus U$"> and r.e., in , there are pairs and such that ; ; and, for any and from and any set , if and , then . We then deduce that for any degrees , , and such that and are recursive in , , and is into , can be split over avoiding . This shows that the Main Theorem of Cooper (Bull. Amer. Math. Soc. 23 (1990), 151-158) is false.

     

Notes on a -group generated by the Lévy Laplacian

In this paper we shall give some results on a -group generated by the Lévy Laplacian and operators approximating that group in the space of continuous linear operators defined on a certain locally convex space in

     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

Hierarchical structure of the family of curves with maximal genus verifying flag conditions

Fix integers such that and , and let be the set of all integral, projective and nondegenerate curves of degree in the projective space , such that, for all , does not lie on any integral, projective and nondegenerate variety of dimension and degree . We say that a curve satisfies the flag condition if belongs to . Define where denotes the arithmetic genus of . In the present paper, under the hypothesis , we prove that a curve satisfying the flag condition and of maximal arithmetic genus must lie on a unique flag such as , where, for any , denotes an integral projective subvariety of of degree and dimension , such that its general linear curve section satisfies the flag condition and has maximal arithmetic genus . This proves the existence of a sort of a hierarchical structure of the family of curves with maximal genus verifying flag conditions.

     

Sur une question de capitulation

Let and be prime numbers such that and . Let , , and let be the 2-Hilbert class field of , the 2-Hilbert class field of and the Galois group of . The 2-part of the class group of is of type , so contains three extensions . Our goal is to study the problem of capitulation of the 2-classes of in , and to determine the structure of .

RSESUM´E. Soient et deux nombres premiers tels que et , , , , le 2-corps de classes de Hilbert de , le 2-corps de classes de Hilbert de et le groupe de Galois de . La 2-partie du groupe de classes de est de type , par suite contient trois extensions . On s'intéresse au problème de capitulation des 2-classes de dans , et à déterminer la structure de .

     

Order-weakly compact operators from vector-valued function spaces to Banach spaces

Let be an ideal of over a  -finite measure space , and let stand for the order dual of . For a real Banach space let be a subspace of the space of -equivalence classes of strongly -measurable functions and consisting of all those for which the scalar function belongs to . For a real Banach space a linear operator is said to be order-weakly compact whenever for each the set is relatively weakly compact in . In this paper we examine order-weakly compact operators . We give a characterization of an order-weakly compact operator in terms of the continuity of the conjugate operator of with respect to some weak topologies. It is shown that if is an order continuous Banach function space, is a Banach space containing no isomorphic copy of and is a weakly sequentially complete Banach space, then every continuous linear operator is order-weakly compact. Moreover, it is proved that if is a Banach function space, then for every Banach space any continuous linear operator is order-weakly compact iff the norm is order continuous and is reflexive. In particular, for every Banach space any continuous linear operator is order-weakly compact iff is reflexive.

     

Hyperelliptic jacobians and simple groups

In a previous paper, the author proved that in characteristic zero the jacobian of a hyperelliptic curve has only trivial endomorphisms over an algebraic closure of the ground field if the Galois group of the irreducible polynomial is either the symmetric group or the alternating group . Here 4$"> is the degree of . In another paper by the author this result was extended to the case of certain ``smaller' Galois groups. In particular, the infinite series and were treated. In this paper the case of and is treated.

     

Necessary conditions for Schatten class localization operators

We study time-frequency localization operators of the form , where is the symbol of the operator and are the analysis and synthesis windows, respectively. It is shown in an earlier paper by the authors that a sufficient condition for , the Schatten class of order , is that belongs to the modulation space and the window functions to the modulation space . Here we prove a partial converse: if for every pair of window functions with a uniform norm estimate, then the corresponding symbol must belong to the modulation space . In this sense, modulation spaces are optimal for the study of localization operators. The main ingredients in our proofs are frame theory and Gabor frames. For and , we recapture earlier results, which were obtained by different methods.

     

Unprovability of sharp versions of Friedman's sine-principle

For every and every function of one argument, we introduce the statement : ``for all , there is such that for any set of rational numbers, there is of size such that for any two -element subsets and in , we have

We prove that for and any function eventually dominated by , the principle is not provable in . In particular, the statement is not provable in Peano Arithmetic. In dimension 2, the result is: does not prove , where and is the inverse of the Ackermann function.

     

Poisson integrals and nontangential limits

A new result is established for nontangential limits of the Poisson integral of an for This is accomplished by showing for such that the -set of strictly contains the Lebesgue set of A similar theorem is also proved for Gauss-Weierstrass integrals, giving a new result for solutions of the heat equation.

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.