type free resolutions of monomial ideals

Let be a monomial ideal of . Bayer-Peeva-Sturmfels studied a subcomplex of the Taylor resolution, defined by a simplicial complex . They proved that if is generic (i.e., no variable appears with the same non-zero exponent in two distinct monomials which are minimal generators), then is the minimal free resolution of , where is the Scarf complex of . In this paper, we prove the following: for a generic (in the above sense) monomial ideal and each integer , there is an embedded prime of . Thus a generic monomial ideal with no embedded primes is Cohen-Macaulay (in this case, is shellable). We also study a non-generic monomial ideal whose minimal free resolution is for some . In particular, we prove that if all associated primes of have the same height, then is Cohen-Macaulay and is pure and strongly connected.

     

Behaviour of holomorphic automorphisms on equicontinuous subsets of the space

Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Small values of polynomials and potentials with normalization

For a polynomial of degree , normalized by the condition

we show that has at most , where is explicitly given and sharp for each . Similar estimates are given for other normalizations, such as , and for planar measure, and for generalized polynomials and potentials, thereby extending work of Cuyt, Driver and the author for . The relation to Remez inequalities is briefly discussed.

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.

     

A bound for

Let denote the largest irreducible character degree of a finite group , and let be a prime. Two results are obtained. First, we show that, if is a -solvable group and if , then . Next, we restrict attention to solvable groups and show that, if and if is a Sylow -subgroup of , then .

     

Sur les -corps

Here we give new examples of fields in characteristic whose -invariant and -invariant are different: or . These fields are also -fields.

RSUM. Nous donnons ici de nouveaux exemples de corps en caractéristique dont le -invariant et le -invariant diffèrent. Plus précisément: et ou . Ces corps sont aussi des -corps.

     

A factorization theorem for the derivative of a function in

We show that a function is the derivative of a function in the Hardy space of the unit disk for if and only if where and . Here, can be chosen to be non-vanishing, , and . As an application, we characterize positive measures on the unit disk such that the operator is bounded from the tent space to , where .

     

Spectral multiplier theorem for spaces associated with some Schrödinger operators

Let be the semigroup of linear operators generated by a Schrödinger operator , where is a nonnegative polynomial. We say that is an element of if the maximal function belongs to . A criterion on functions which implies boundedness of the operators on is given.

     

Nonexpansive, -continuous antirepresentations have common fixed points

Let be a closed convex subset of a Banach (dual Banach) space . By we denote an antirepresentation of a semitopological semigroup as nonexpansive mappings on . Suppose that the mapping is jointly continuous when has the weak (weak*) topology and the Banach space of bounded right uniformly continuous functions on has a right invariant mean. If is weakly compact (for some the set is weakly* compact) and norm separable, then has a common fixed point in .

     

On the range and the kernel of the operator

Let denote the algebra of (bounded linear) operators on the separable complex Hilbert space , and let denote a norm ideal in . For , let the derivation be defined by , and let be defined by . The main result of this paper is to show that if , are contractions, then for every operator such that , then for all .

     

The degree of coconvex polynomial approximation

Let change its convexity finitely many times in the interval, say times, at . We estimate the degree of approximation of by polynomials of degree , which change convexity exactly at the points . We show that provided is sufficiently large, depending on the location of the points , the rate of approximation is estimated by the third Ditzian-Totik modulus of smoothness of multiplied by a constant , which depends only on .

     

Toeplitz -algebras on ordered groups and their ideals of finite elements

Let be a discrete abelian group and an ordered group. Denote by the minimal quasily ordered group containing . In this paper, we show that the ideal of finite elements is exactly the kernel of the natural morphism between these two Toeplitz -algebras. When is countable, we show that if the direct sum of -groups , then .

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

-compactness and automatic continuity in ultrametric spaces of bounded continuous functions

In this paper (weakly) separating maps between spaces of bounded continuous functions over a nonarchimedean field are studied. It is proven that the behaviour of these maps when is not locally compact is very different from the case of real- or complex-valued functions: in general, for -compact spaces and , the existence of a (weakly) separating additive map implies that and are homeomorphic, whereas when dealing with real-valued functions, this result is in general false, and we can just deduce the existence of a homeomorphism between the Stone-Cech compactifications of and . Finally, we also describe the general form of bijective weakly separating linear maps and deduce some automatic continuity results.

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

Finite time blow-up for the inhomogeneous equation

We consider the inhomogeneous equation

where , and , and give criteria on , and which determine whether for all and all the solution blows up in finite time or whether for and sufficiently small, the solution exists for all time.

     

A note on -bases of rings

Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .