Milnor classes of local complete intersections

Let be a compact local complete intersection defined as the zero set of a section of a holomorphic vector bundle over the ambient space. For each connected component of the singular set of , we define the Milnor class in the homology of . The difference between the Schwartz-MacPherson class and the Fulton-Johnson class of is shown to be equal to the sum of over the connected components of . This is done by proving Poincaré-Hopf type theorems for these classes with respect to suitable tangent frames. The -degree component coincides with the Milnor numbers already defined by various authors in particular situations. We also give an explicit formula for when is a non-singular component and satisfies the Whitney condition along .

     

Equilibriums of some non-Hölder potentials

We consider one-sided subshifts with some potential functions which satisfy the Hölder condition everywhere except at a fixed point and its preimages. We prove that the systems have conformal measures and invariant measures absolutely continuous with respect to , where may be finite or infinite. We show that the systems are exact, and are weak Gibbs measures and equilibriums for . We also discuss uniqueness of equilibriums and phase transition.

These results can be applied to some expanding dynamical systems with an indifferent fixed point.

     

Finite dimensional representations of invariant differential operators

Let be an algebraically closed field of characteristic , , and let be an algebraic torus acting diagonally on the ring of algebraic differential operators . We give necessary and sufficient conditions for to have enough simple finite dimensional representations, in the sense that the intersection of the kernels of all the simple finite dimensional representations is zero. As an application we show that if is a representation of a reductive group and if zero is not a weight of a maximal torus of on , then has enough finite dimensional representations. We also construct examples of FCR-algebras with any integer GK dimension .

     

Commutative ideal theory without finiteness conditions: Primal ideals

Our goal is to establish an efficient decomposition of an ideal of a commutative ring as an intersection of primal ideals. We prove the existence of a canonical primal decomposition: , where the are isolated components of that are primal ideals having distinct and incomparable adjoint primes . For this purpose we define the set of associated primes of the ideal to be those defined and studied by Krull. We determine conditions for the canonical primal decomposition to be irredundant, or residually maximal, or the unique representation of as an irredundant intersection of isolated components of . Using our canonical primal decomposition, we obtain an affirmative answer to a question raised by Fuchs, and also prove for that an ideal is an intersection of -primal ideals if and only if the elements of are prime to . We prove that the following conditions are equivalent: (i) the ring is arithmetical, (ii) every primal ideal of is irreducible, (iii) each proper ideal of is an intersection of its irreducible isolated components. We classify the rings for which the canonical primal decomposition of each proper ideal is an irredundant decomposition of irreducible ideals as precisely the arithmetical rings with Noetherian maximal spectrum. In particular, the integral domains having these equivalent properties are the Prüfer domains possessing a certain property.

     

Prescribing analytic singularities for solutions of a class of vector fields on the torus

We consider the operator acting on distributions on the two-torus where and are real-valued, real analytic functions defined on the unit circle We prove, among other things, that when changes sign, given any subset of the set of the local extrema of the local primitives of there exists a singular solution of such that the projection of its analytic singular support is furthermore, for any and any closed subset of there exists such that and We also provide a microlocal result concerning the trace of at

     

Analyticity on translates of a Jordan curve

Let be a domain in which is symmetric with respect to the real axis and whose boundary is a real analytic simple closed curve. Translate vertically to get where is such that . We prove that if is a continuous function on such that for each , the function has a continuous extension to which is holomorphic on , then is holomorphic on .

     

Extension-orthogonal components of preprojective varieties

Let be a Dynkin quiver, and let be the corresponding preprojective algebra. Let be a set of pairwise different indecomposable irreducible components of varieties of -modules such that generically there are no extensions between and for all . We show that the number of elements in is at most the number of positive roots of . Furthermore, we give a module-theoretic interpretation of Leclerc's counterexample to a conjecture of Berenstein and Zelevinsky.

     

Lack of natural weighted estimates for some singular integral operators

We show that the classical Hörmander condition, or analogously the -Hörmander condition, for singular integral operators is not sufficient to derive Coifman's inequality

where , is the Hardy-Littlewood maximal operator, is any weight and is a constant depending upon and the constant of . This estimate is well known to hold when is a Calderón-Zygmund operator.

As a consequence we deduce that the following estimate does not hold:

where and where is an arbitrary weight. However, by a recent result due to A. Lerner, this inequality is satisfied whenever is a Calderón-Zygmund operator.

One of the main ingredients of the proof is a very general extrapolation theorem for weights.

     

On homeomorphic Bernoulli measures on the Cantor space

Let be the Bernoulli measure on the Cantor space given as the infinite product of two-point measures with weights and . It is a long-standing open problem to characterize those and such that and are topologically equivalent (i.e., there is a homeomorphism from the Cantor space to itself sending to ). The (possibly) weaker property of and being continuously reducible to each other is equivalent to a property of and called binomial equivalence. In this paper we define an algebraic property called ``refinability' and show that, if and are refinable and binomially equivalent, then and are topologically equivalent. Next we show that refinability is equivalent to a fairly simple algebraic property. Finally, we give a class of examples of binomially equivalent and refinable numbers; in particular, the positive numbers and such that and are refinable, so the corresponding measures are topologically equivalent.

     

Cut numbers of -manifolds

We investigate the relations between the cut number, and the first Betti number, of -manifolds We prove that the cut number of a ``generic' -manifold is at most This is a rather unexpected result since specific examples of -manifolds with large and are hard to construct. We also prove that for any complex semisimple Lie algebra there exists a -manifold with and Such manifolds can be explicitly constructed.

     

Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology

The mod 2 Steenrod algebra and Dyer-Lashof algebra have both striking similarities and differences arising from their common origins in ``lower-indexed' algebraic operations. These algebraic operations and their relations generate a bigraded bialgebra , whose module actions are equivalent to, but quite different from, those of and . The exact relationships emerge as ``sheared algebra bijections', which also illuminate the role of the cohomology of . As a bialgebra, has a particularly attractive and potentially useful structure, providing a bridge between those of and , and suggesting possible applications to the Miller spectral sequence and the structure of Dickson algebras.

     

Weighted estimates in for Laplace's equation on Lipschitz domains

Let , , be a bounded Lipschitz domain. For Laplace's equation in , we study the Dirichlet and Neumann problems with boundary data in the weighted space , where , is a fixed point on , and denotes the surface measure on . We prove that there exists such that the Dirichlet problem is uniquely solvable if , and the Neumann problem is uniquely solvable if . If is a domain, one may take . The regularity for the Dirichlet problem with data in the weighted Sobolev space is also considered. Finally we establish the weighted estimates with general weights for the Dirichlet and regularity problems.

     

Asymptotic distribution of the largest off-diagonal entry of correlation matrices

Suppose that we have observations from a -dimensional population. We are interested in testing that the variates of the population are independent under the situation where goes to infinity as . A test statistic is chosen to be , where is the sample correlation coefficient between the -th coordinate and the -th coordinate of the population. Under an independent hypothesis, we prove that the asymptotic distribution of is an extreme distribution of type , by using the Chen-Stein Poisson approximation method and the moderate deviations for sample correlation coefficients. As a statistically more relevant result, a limit distribution for , where is Spearman's rank correlation coefficient between the -th coordinate and the -th coordinate of the population, is derived.

     

Fixed point index in symmetric products

Let be an open subset of a locally compact metric ANR and let be a continuous map. In this paper we study the fixed point index of the map that induces in the -symmetric product of , . This index can detect the existence of periodic orbits of period of , and it can be used to obtain the Euler characteristic of the -symmetric product of a manifold , . We compute for all orientable compact surfaces without boundary.

     

Gröbner bases of associative algebras and the Hochschild cohomology

We give an algorithmic way to construct a free bimodule resolution of an algebra admitting a Gröbner base. It enables us to compute the Hochschild (co)homology of the algebra. Let be a finitely generated algebra over a commutative ring with a (possibly infinite) Gröbner base on a free algebra , that is, is the quotient with the ideal of generated by . Given a Gröbner base for an -subbimodule of the free -bimodule generated by a set , we have a morphism of -bimodules from the free -bimodule generated by to sending the generator to the element . We construct a Gröbner base on for the -subbimodule Ker() of , and with this we have the free -bimodule generated by and an exact sequence . Applying this construction inductively to the -bimodule itself, we have a free -bimodule resolution of .

     

Hausdorff measures, dimensions and mutual singularity

Let be a metric space. For a probability measure on a subset of and a Vitali cover of , we introduce the notion of a -Vitali subcover , and compare the Hausdorff measures of with respect to these two collections. As an application, we consider graph directed self-similar measures and in satisfying the open set condition. Using the notion of pointwise local dimension of with respect to , we show how the Hausdorff dimension of some general multifractal sets may be computed using an appropriate stochastic process. As another application, we show that Olsen's multifractal Hausdorff measures are mutually singular.

     

A quadratic approximation to the Sendov radius near the unit circle

Define to be the set of complex polynomials of degree with all roots in the unit disk and at least one root at . For a polynomial , define to be the distance between and the closest root of the derivative . Finally, define . In this notation, a conjecture of Bl. Sendov claims that .

In this paper we investigate Sendov's conjecture near the unit circle, by computing constants and (depending only on ) such that for near . We also consider some consequences of this approximation, including a hint of where one might look for a counterexample to Sendov's conjecture.

     

Cremer fixed points and small cycles

Let , , and let denote the sequence of convergents to the regular continued fraction of . Let be a function holomorphic at the origin, with a power series of the form . We assume that for infinitely many we simultaneously have (i) , (ii) the coefficients stay outside two small disks, and (iii) the series is lacunary, with for . We then prove that has infinitely many periodic orbits in every neighborhood of the origin.

     

Spike-layered solutions for an elliptic system with Neumann boundary conditions

We prove the existence of nonconstant positive solutions for a system of the form , in , with Neumann boundary conditions on , where is a smooth bounded domain and , are power-type nonlinearities having superlinear and subcritical growth at infinity. For small values of , the corresponding solutions and admit a unique maximum point which is located at the boundary of .