The Mukai pairing—II: the Hochschild-Kostant-Rosenberg isomorphism

We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are:

•

we introduce a generalization of the usual notions of Mukai vector and Mukai pairing on differential forms that applies to arbitrary manifolds;

•

we give a proof of the fact that the natural Chern character map K₀(X)→HH₀(X) becomes, after the HKR isomorphism, the usual one ; and

•

we present a conjecture that relates the Hochschild and harmonic structures of a smooth space, similar in spirit to the Tsygan formality conjecture.

     

Intersection cohomology of the circle actions

A classical result says that a free action of the circle S¹ on a topological space X is geometrically classified by the orbit space B and by a cohomological class e∈H²(B,Z), the Euler class. When the action is not free we have a difficult open question:

(Π)

“Is the space X determined by the orbit space B and the Euler class?”

The main result of this work is a step towards the understanding of the above question in the category of unfolded pseudomanifolds. We prove that the orbit space B and the Euler class determine:

•

the intersection cohomology of X,

•

the real homotopy type of X.

     

Norm continuity of weakly continuous mappings into Banach spaces

Let T be the class of Banach spaces E for which every weakly continuous mapping from an α-favorable space to E is norm continuous at the points of a dense subset. We show that:

•

T contains all weakly Lindelöf Banach spaces;

•

l^∞∉T, which brings clarity to a concern expressed by Haydon ([R. Haydon, Baire trees, bad norms and the Namioka property, Mathematika 42 (1995) 30-42], pp. 30-31) about the need of additional set-theoretical assumptions for this conclusion. Also, (l^∞/c₀)∉T.

•

T is stable under weak homeomorphisms;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is densely norm continuous;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is weakly continuous at some point.

     

Strong zero-dimensionality of hyperspaces

For a space X, X² denotes the collection of all non-empty closed sets of X with the Vietoris topology, and K(X) denotes the collection of all non-empty compact sets of X with the subspace topology of X². The following are known:

•

ω² is not normal, where ω denotes the discrete space of countably infinite cardinality.

•

For every non-zero ordinal γ with the usual order topology, K(γ) is normal iff whenever cf γ is uncountable.

In this paper, we will prove:

(1)

ω² is strongly zero-dimensional.

(2)

K(γ) is strongly zero-dimensional, for every non-zero ordinal γ.

In (2), we use the technique of elementary submodels.     

On some contributions of John Horváth to the theory of distributions

Our main task is a presentation of J. Horváth's results concerning

•

singular and hypersingular integral operators,

•

the analytic continuation of distribution-valued meromorphic functions, and

•

a general definition of the convolution of distributions.

At some instances minor supplements to his results are given.     

Properties of four partial orders on standard Young tableaux

Let SYTn be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYTn and some of their crucial properties, we prove three main results:

•

Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer.

•

The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra ²[n−1]. In particular, the Möbius function of these orders on tableaux is (−1)ⁿ⁻³.

•

For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and Möbius function.

     

A new generation of applied probability textbooks

This article reviews the following books:

•

S. Asmussen, Applied Probability and Queues, second ed., Springer, Berlin, 2003, ISBN 0-387-00211-1, xii+438pp., EUR 85.55.

•

H. Chen, D. Yao, Fundamentals of Queueing Networks, Springer, Berlin, 2003, ISBN 0-387-95166-0, xviii+405pp., EUR 74,95.

•

W. Whitt, Stochastic-Process Limits, Springer, Berlin, 2002, ISBN 0-387-95358-2, xxiv+602pp., EUR 106,95.

     

A Lagrangian heuristic algorithm for a real-world train timetabling problem

The train timetabling problem (TTP) aims at determining an optimal timetable for a set of trains which does not violate track capacities and satisfies some operational constraints.In this paper, we describe the design of a train timetabling system that takes into account several additional constraints that arise in real-world applications. In particular, we address the following issues:

•

Manual block signaling for managing a train on a track segment between two consecutive stations.

•

Station capacities, i.e., maximum number of trains that can be present in a station at the same time.

•

Prescribed timetable for a subset of the trains, which is imposed when some of the trains are already scheduled on the railway line and additional trains are to be inserted.

•

Maintenance operations that keep a track segment occupied for a given period.

We show how to incorporate these additional constraints into a mathematical model for a basic version of the problem, and into the resulting Lagrangian heuristic. Computational results on real-world instances from Rete Ferroviaria Italiana (RFI), the Italian railway infrastructure management company, are presented.     

Bounds on sets with few distances

We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered:

•

we improve the Ray-Chaudhuri-Wilson bound of the size of uniform intersecting families of subsets;

•

we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances;

•

we prove a new bound on codes with few distances in the Hamming space, improving an earlier result of Delsarte.

We also find the size of maximal binary codes and maximal constant-weight codes of small length with 2 and 3 distances.     

Galois representations modulo p and cohomology of Hilbert modular varieties

The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let us mention:

•

control of the image of Galois representations modulo p,

•

Hida's congruence criterion outside an explicit set of primes,

•

freeness of the integral cohomology of a Hilbert modular variety over certain local components of the Hecke algebra and Gorenstein property of these local algebras.

We study the arithmetic properties of Hilbert modular forms by studying their modulo p Galois representations and our main tool is the action of inertia groups at primes above p. In order to determine this action, we compute the Hodge-Tate (resp. Fontaine-Laffaille) weights of the p-adic (resp. modulo p) étale cohomology of the Hilbert modular variety. The cohomological part of our paper is inspired by the work of Mokrane, Polo and Tilouine on the cohomology of Siegel modular varieties and builds upon geometric constructions of Tilouine and the author.     

Tiling by rectangles and alternating current

This paper is on tilings of polygons by rectangles. A celebrated physical interpretation of such tilings by R.L. Brooks, C.A.B. Smith, A.H. Stone and W.T. Tutte uses direct-current circuits. The new approach of this paper is an application of alternating-current circuits. The following results are obtained:

•

a necessary condition for a rectangle to be tilable by rectangles of given shapes;

•

a criterion for a rectangle to be tilable by rectangles similar to it but not all homothetic to it;

•

a criterion for a “generic” polygon to be tilable by squares.

These results generalize those of C. Freiling, R. Kenyon, M. Laczkovich, D. Rinne, and G. Szekeres.     

K-group and similarity classification of operators

Let H be a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator A in L(H) is said to be a Cowen-Douglas operator if there exist Ω, a connected open subset of complex plane C, and n, a positive integer, such that

(a)

(b)

  for z in Ω;

(c)

; and

(d)

for z in Ω.

In the paper, we give a similarity classification of Cowen-Douglas operators by using the ordered K-group of the commutant algebra as an invariant, and characterize the maximal ideals of the commutant algebras of Cowen-Douglas operators. The theorem greatly generalizes the main result in (Canada J. Math. 156(4) (2004) 742) by simply removing the restriction of strong irreducibility of the operators. The research is also partially inspired by the recent classification theory of simple AH algebras of Elliott-Gong in (Documenta Math. 7 (2002) 255; On the classification of simple inductive limit C^*-algebras, II: The isomorphism theorem, preprint.) (also see (J. Funct. Anal. (1998) 1; Ann. Math. 144 (1996) 497; Amer. J. Math. (1996) 187)).     

On two problems in extension theory

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable simplicial complex L the following conditions are equivalent:

•

L is quasi-finite.

•

There exists a [L]-invertible mapping of a metrizable compactum X with e-dimX?[L] onto the Hilbert cube.Finally, we construct an example of a quasi-finite complex L such that its extension type [L] does not contain a finitely dominated complex.

     

Finite preorders and topological descent II: étale descent

It is known that every effective (global-) descent morphism of topological spaces is an effective étale-descent morphism. On the other hand, in the predecessor of this paper we gave examples of:

•

a descent morphism that is not an effective étale-descent morphism;

•

an effective étale-descent morphism that is not a descent morphism.

Both of the examples in fact involved only finite topological spaces, i.e. just finite preorders, and now we characterize the effective étale-descent morphisms of preorders/finite topological spaces completely.     

Finite Eulerian posets which are binomial, Sheffer or triangular

In this paper we study finite Eulerian posets which are binomial, Sheffer or triangular. These important classes of posets are related to the theory of generating functions and to geometry. The results of this paper are organized as follows:

•

We completely determine the structure of Eulerian binomial posets and, as a conclusion, we are able to classify factorial functions of Eulerian binomial posets.

•

We give an almost complete classification of factorial functions of Eulerian Sheffer posets by dividing the original question into several cases.

•

In most cases above, we completely determine the structure of Eulerian Sheffer posets, a result stronger than just classifying factorial functions of these Eulerian Sheffer posets.

We also study Eulerian triangular posets. This paper answers questions posed by R. Ehrenborg and M. Readdy. This research is also motivated by the work of R. Stanley about recognizing the boolean lattice by looking at smaller intervals.     

Complementably universal Banach spaces, II

The two main results are:

A.

If a Banach space X is complementably universal for all subspaces of c₀ which have the bounded approximation property, then X^∗ is non-separable (and hence X does not embed into c₀).

B.

There is no separable Banach space X such that every compact operator (between Banach spaces) factors through X.

Theorem B solves a problem that dates from the 1970s.     

A criterion for unitary similarity of upper triangular matrices in general position

Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A=[a_ij] and B=[b_ij] be upper triangular n×n matrices that

•

are not similar to direct sums of square matrices of smaller sizes, or

•

are in general position and have the same main diagonal.

We prove that A and B are unitarily similar if and only if

     

Symbols of truncated Toeplitz operators

We consider three topics connected with coinvariant subspaces of the backward shift operator in Hardy spaces Hp:

-

properties of truncated Toeplitz operators;

-

Carleson-type embedding theorems for the coinvariant subspaces;

-

factorizations of pseudocontinuable functions from H¹.

These problems turn out to be closely connected and even, in a sense, equivalent. The new approach based on the factorizations allows us to answer a number of challenging questions about truncated Toeplitz operators posed by D. Sarason.     

A canonical form for nonderogatory matrices under unitary similarity

A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms for

•

nonderogatory complex matrices up to unitary similarity, and

•

pairs of complex matrices up to similarity, in which one matrix has distinct eigenvalues.

The types of these canonical forms are given by undirected and, respectively, directed graphs with no undirected cycles.