How to make a triangulation of polytopal

We introduce a numerical isomorphism invariant for any triangulation of . Although its definition is purely topological (inspired by the bridge number of knots), reflects the geometric properties of . Specifically, if is polytopal or shellable, then is ``small' in the sense that we obtain a linear upper bound for in the number of tetrahedra of . Conversely, if is ``small', then is ``almost' polytopal, since we show how to transform into a polytopal triangulation by local subdivisions. The minimal number of local subdivisions needed to transform into a polytopal triangulation is at least . Using our previous results [The size of triangulations supporting a given link, Geometry & Topology 5 (2001), 369-398], we obtain a general upper bound for exponential in . We prove here by explicit constructions that there is no general subexponential upper bound for in . Thus, we obtain triangulations that are ``very far' from being polytopal. Our results yield a recognition algorithm for that is conceptually simpler, although somewhat slower, than the famous Rubinstein-Thompson algorithm.

     

The flat model structure on

Given a cotorsion pair in an abelian category with enough objects and enough objects, we define two cotorsion pairs in the category of unbounded chain complexes. We see that these two cotorsion pairs are related in a nice way when is hereditary. We then show that both of these induced cotorsion pairs are complete when is the ``flat' cotorsion pair of -modules. This proves the flat cover conjecture for (possibly unbounded) chain complexes and also gives us a new ``flat' model category structure on . In the last section we use the theory of model categories to show that we can define using a flat resolution of and a cotorsion coresolution of .

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.

     

Algebroid prestacks and deformations of ringed spaces

For a ringed space , we show that the deformations of the abelian category of sheaves of -modules (Lowen and Van den Bergh, 2006) are obtained from algebroid prestacks, as introduced by Kontsevich. In case is a quasi-compact separated scheme the same is true for , the category of quasi-coherent sheaves on . It follows in particular that there is a deformation equivalence between and .

     

An index for gauge-invariant operators and the Dixmier-Douady invariant

Let be a bundle of compact Lie groups acting on a fiber bundle . In this paper we introduce and study gauge-equivariant -theory groups . These groups satisfy the usual properties of the equivariant -theory groups, but also some new phenomena arise due to the topological non-triviality of the bundle . As an application, we define a gauge-equivariant index for a family of elliptic operators invariant with respect to the action of , which, in this approach, is an element of . We then give another definition of the gauge-equivariant index as an element of , the -theory group of the Banach algebra . We prove that and that the two definitions of the gauge-equivariant index are equivalent. The algebra is the algebra of continuous sections of a certain field of -algebras with non-trivial Dixmier-Douady invariant. The gauge-equivariant -theory groups are thus examples of twisted -theory groups, which have recently turned out to be useful in the study of Ramond-Ramond fields.

     

Generating continuous mappings with Lipschitz mappings

If is a metric space, then and denote the semigroups of continuous and Lipschitz mappings, respectively, from to itself. The relative rank of modulo is the least cardinality of any set where generates . For a large class of separable metric spaces we prove that the relative rank of modulo is uncountable. When is the Baire space , this rank is . A large part of the paper emerged from discussions about the necessity of the assumptions imposed on the class of spaces from the aforementioned results.

     

Hardy inequalities with optimal constants and remainder terms

We show that the classical Hardy inequalities with optimal constants in the Sobolev spaces and in higher-order Sobolev spaces on a bounded domain can be refined by adding remainder terms which involve norms. In the higher-order case further norms with lower-order singular weights arise. The case being more involved requires a different technique and is developed only in the space .

     

Boundary relations and their Weyl families

The concepts of boundary relations and the corresponding Weyl families are introduced. Let be a closed symmetric linear operator or, more generally, a closed symmetric relation in a Hilbert space , let be an auxiliary Hilbert space, let

and let be defined analogously. A unitary relation from the Krein space to the Krein space is called a boundary relation for the adjoint if . The corresponding Weyl family is defined as the family of images of the defect subspaces , , under . Here need not be surjective and is even allowed to be multi-valued. While this leads to fruitful connections between certain classes of holomorphic families of linear relations on the complex Hilbert space and the class of unitary relations , it also generalizes the notion of so-called boundary value space and essentially extends the applicability of abstract boundary mappings in the connection of boundary value problems. Moreover, these new notions yield, for instance, the following realization theorem: every -valued maximal dissipative (for ) holomorphic family of linear relations is the Weyl family of a boundary relation, which is unique up to unitary equivalence if certain minimality conditions are satisfied. Further connections between analytic and spectral theoretical properties of Weyl families and geometric properties of boundary relations are investigated, and some applications are given.

     

Fundamental solutions for non-divergence form operators on stratified groups

We construct the fundamental solutions and for the non-divergence form operators and , where the 's are Hörmander vector fields generating a stratified group and is a positive-definite matrix with Hölder continuous entries. We also provide Gaussian estimates of and its derivatives and some results for the relevant Cauchy problem. Suitable long-time estimates of allow us to construct using both -saturation and approximation arguments.

     

Serre's generalization of Nagao's theorem: An elementary approach

Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .

Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.

The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.

     

Asymptotic relations among Fourier coefficients of automorphic eigenfunctions

A detailed stationary phase analysis is presented for noncompact parameter ranges of the family of elementary eigenfunctions on the hyperbolic plane , , the eigenvalue, and the Macdonald-Bessel function. The phase velocity of on is a double-valued vector field, the tangent field to the pencil of geodesics tangent to the horocycle . For a multi-term stationary phase expansion is presented in for uniform in parameters. An application is made to find an asymptotic relation for the Fourier coefficients of a family of automorphic eigenfunctions. In particular, for automorphic with coefficients and eigenvalue it is shown for the special range that is for large, improving by an order of magnitude for this special range upon the estimate from the general Hecke bound . An exposition of the WKB asymptotics of the Macdonald-Bessel functions is presented.

     

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 .

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

Minimal polynomials and radii of elements in finite-dimensional power-associative algebras

In the first section of this paper we revisit the definition and some of the properties of the minimal polynomial of an element of a finite-dimensional power-associative algebra over an arbitrary field . Our main observation is that , the minimal polynomial of , may depend not only on , but also on the underlying algebra. More precisely, if is a subalgebra of , and if is the minimal polynomial of in , then may differ from , in which case we have .

In the second section we restrict attention to the case where is either the real or the complex numbers, and define , the radius of an element in , to be the largest root in absolute value of the minimal polynomial of . We show that possesses some of the familiar properties of the classical spectral radius. In particular, we prove that is a continuous function on .

In the third and last section, we deal with stability of subnorms acting on subsets of finite-dimensional power-associative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings of the previous section. Our main new result states that if , a subset of an algebra , satisfies certain assumptions, and is a continuous subnorm on , then is stable on if and only if majorizes the radius defined above.

     

Cartan-decomposition subgroups of

For and , we give explicit, practical conditions that determine whether or not a closed, connected subgroup of has the property that there exists a compact subset of with . To do this, we fix a Cartan decomposition of , and then carry out an approximate calculation of for each closed, connected subgroup of .

     

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.

     

Poincaré series of resolutions of surface singularities

Let be a resolution of singularities of a normal surface singularity , with integral exceptional divisors . We consider the Poincaré series

where

We show that if has characteristic zero and is a semi-abelian variety, then the Poincaré series is rational. However, we give examples to show that this series can be irrational if either of these conditions fails.

     

Frame representations and Parseval duals with applications to Gabor frames

Let be a frame for a Hilbert space . We investigate the conditions under which there exists a dual frame for which is also a Parseval (or tight) frame. We show that the existence of a Parseval dual is equivalent to the problem whether can be dilated to an orthonormal basis (under an oblique projection). A necessary and sufficient condition for the existence of Parseval duals is obtained in terms of the frame excess. For a frame induced by a projective unitary representation of a group , it is possible that can have a Parseval dual, but does not have a Parseval dual of the same type. The primary aim of this paper is to present a complete characterization for all the projective unitary representations such that every frame (with a necessary lower frame bound condition) has a Parseval dual of the same type. As an application of this characterization together with a result about lattice tiling, we prove that every Gabor frame (again with the same necessary lower frame bound condition) has a Parseval dual of the same type if and only if the volume of the fundamental domain of is less than or equal to .

     

Construction of -structures and equivalences of derived categories

We associate a -structure to a family of objects in , the derived category of a Grothendieck category . Using general results on -structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of modules. Also, we extend this result to bounded derived categories of quasi-coherent sheaves on separated divisorial schemes obtaining, in particular, Belinson's equivalences.