A point set whose space of triangulations is disconnected

By the ``space of triangulations" of a finite point configuration we mean either of the following two objects: the graph of triangulations of , whose vertices are the triangulations of and whose edges are the geometric bistellar operations between them or the partially ordered set (poset) of all polyhedral subdivisions of ordered by coherent refinement. The latter is a modification of the more usual Baues poset of . It is explicitly introduced here for the first time and is of special interest in the theory of toric varieties.

We construct an integer point configuration in dimension 6 and a triangulation of it which admits no geometric bistellar operations. This triangulation is an isolated point in both the graph and the poset, which proves for the first time that these two objects cannot be connected.

     

Ribbon tile invariants

Let be a finite set of tiles, and a set of regions tileable by . We introduce a tile counting group as a group of all linear relations for the number of times each tile can occur in a tiling of a region . We compute the tile counting group for a large set of ribbon tiles, also known as rim hooks, in a context of representation theory of the symmetric group.

The tile counting group is presented by its set of generators, which consists of certain new tile invariants. In a special case these invariants generalize the Conway-Lagarias invariant for tromino tilings and a height invariant which is related to computation of characters of the symmetric group.

The heart of the proof is the known bijection between rim hook tableaux and certain standard skew Young tableaux. We also discuss signed tilings by the ribbon tiles and apply our results to the tileability problem.

     

Dense subsets of maximally almost periodic groups

A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a)  \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.

We give two theorems, the second generalizing the first.

Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.

Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.

Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that

(i) is dense in every totally bounded group topology on ;

(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and

(iii) admits a totally bounded group topology as in (ii).

Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.

     

On diophantine approximation along algebraic curves

Let be a quadratic form such that the associated algebraic curve contains a rational point. Here we show that there exists a domain such that for almost all , there exists an infinite sequence of nonzero integer triples satisfying the following two properties: (i) For each , is an excellent rational approximation to , in the sense that

and (ii) is a rational point on the curve . In addition, we give explicit values of for which both (i) and (ii) hold, and produce a similar result for a certain class of cubic curves.

     

Uniqueness of solution to a free boundary problem from combustion

We investigate the uniqueness and agreement between different kinds of solutions for a free boundary problem in heat propagation that in classical terms is formulated as follows: to find a continuous function defined in a domain and such that

0\}. \end{displaymath}">

We also assume that the interior boundary of the positivity set, \nobreak 0\}$">, so-called free boundary, is a regular hypersurface on which the following conditions are satisfied:

Here denotes outward unit spatial normal to the free boundary. In addition, initial data are specified, as well as either Dirichlet or Neumann data on the parabolic boundary of . This problem arises in combustion theory as a limit situation in the propagation of premixed flames (high activation energy limit).

The problem admits classical solutions only for good data and for small times. Several generalized concepts of solution have been proposed, among them the concepts of limit solution and viscosity solution. We investigate conditions under which the three concepts agree and produce a unique solution.

     

Cohomology of symplectic reductions of generic coadjoint orbits

Let be a generic coadjoint orbit of a compact semi-simple Lie group . Weight varieties are the symplectic reductions of by the maximal torus in . We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of , and it makes explicit the dependence on and a parameter in .

     

Serre duality for non-commutative -bundles

Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .

     

Base-cover paracompactness

Call a topological space base-cover paracompact if has an open base such that every cover of contains a locally finite subcover. A subspace of the Sorgenfrey line is base-cover paracompact if and only if it is . The countable sequential fan is not base-cover paracompact. A paracompact space is locally compact if and only if its product with every compact space is base-cover paracompact.

     

A categorification of integral Specht modules

We suggest a simple definition for categorification of modules over rings and illustrate it by categorifying integral Specht modules over the symmetric group and its Hecke algebra via the action of translation functors on some subcategories of category for the Lie algebra .

     

Uniqueness of exceptional singular quartics

We prove that given a general collection of 14 points of ( an infinite field) there is a unique quartic hypersurface that is singular on .

This completes the solution to the open problem of the dimension of a linear system of hypersurfaces of that are singular on a collection of general points.

     

Strongly self-absorbing -algebras

Say that a separable, unital -algebra is strongly self-absorbing if there exists an isomorphism such that and are approximately unitarily equivalent -homomorphisms. We study this class of algebras, which includes the Cuntz algebras , , the UHF algebras of infinite type, the Jiang-Su algebra and tensor products of with UHF algebras of infinite type. Given a strongly self-absorbing -algebra we characterise when a separable -algebra absorbs tensorially (i.e., is -stable), and prove closure properties for the class of separable -stable -algebras. Finally, we compute the possible -groups and prove a number of classification results which suggest that the examples listed above are the only strongly self-absorbing -algebras.

     

Enriched Reedy categories

We define the notion of an enriched Reedy category and show that if is a -Reedy category for some symmetric monoidal model category and is a -model category, the category of -functors and -natural transformations from to is again a model category.

     

Fundamental groups of moduli and the Grothendieck-Teichmüller group

Let denote the moduli space of Riemann spheres with ordered marked points. In this article we define the group of quasi-special symmetric outer automorphisms of the algebraic fundamental group for all to be the group of outer automorphisms respecting the conjugacy classes of the inertia subgroups of and commuting with the group of outer automorphisms of obtained by permuting the marked points. Our main result states that is isomorphic to the Grothendieck-Teichmüller group for all .

     

The -theory of is undecidable

The three quantifier theory of , the recursively enumerable degrees under Turing reducibility, was proven undecidable by Lempp, Nies and Slaman (1998). The two quantifier theory includes the lattice embedding problem and its decidability is a long-standing open question. A negative solution to this problem seems out of reach of the standard methods of interpretation of theories because the language is relational. We prove the undecidability of a fragment of the theory of that lies between the two and three quantifier theories with but includes function symbols.

Theorem. The two quantifier theory of , the r.e. degrees with Turing reducibility, supremum and infimum (taken to be any total function extending the infimum relation on ) is undecidable.

The same result holds for various lattices of ideals of which are natural extensions of preserving join and infimum when it exits.

     

On one-dimensional self-similar tilings and -tiles

Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.

We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.

     

Flat covers and cotorsion envelopes of sheaves

In this paper we prove that any sheaf of modules over any topological space (in fact, any -module where is a sheaf of rings on the topological space) has a flat cover and a cotorsion envelope. This result is very useful, as we shall explain later in the introduction, in order to compute cohomology, due to the fact that the category of sheaves ( -modules) does not have in general enough projectives.

     

The flat model structure on complexes of sheaves

Let be the category of chain complexes of -modules on a topological space (where is a sheaf of rings on ). We put a Quillen model structure on this category in which the cofibrant objects are built out of flat modules. More precisely, these are the dg-flat complexes. Dually, the fibrant objects will be called dg-cotorsion complexes. We show that this model structure is monoidal, solving the previous problem of not having any monoidal model structure on . As a corollary, we have a general framework for doing homological algebra in the category of -modules. I.e., we have a natural way to define the functors and in .

     

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Let be an imaginary quadratic field with ring of integers , where is a square free integer such that , and let is a linear code defined over . The level theta function of is defined on the lattice , where is the natural projection. In this paper, we prove that:

i) for any such that , and have the same coefficients up to ,

ii) for , determines the code uniquely,

iii) for , there is a positive dimensional family of symmetrized weight enumerator polynomials corresponding to .

     

On an approximate automorphism on a -algebra

It is shown that for an approximate algebra homomorphism on a Banach -algebra , there exists a unique algebra -homomorphism near the approximate algebra homomorphism. This is applied to show that for an approximate automorphism on a unital -algebra , there exists a unique automorphism near the approximate automorphism. In fact, we show that the approximate automorphism is an automorphism.