Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

Quantifier elimination for algebraic -groups

We prove that if is an algebraic -group (in the sense of Buium over a differentially closed field of characteristic , then the first order structure consisting of together with the algebraic -subvarieties of , has quantifier-elimination. In other words, the projection on of a -constructible subset of is -constructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.

     

-manifolds with planar presentations and the width of satellite knots

We consider compact -manifolds having a submersion to in which each generic point inverse is a planar surface. The standard height function on a submanifold of is a motivating example. To we associate a connectivity graph . For , is a tree if and only if there is a Fox reimbedding of which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of is a tree, then there is a level-preserving reimbedding of so that is a connected sum of handlebodies.

Corollary.

The width of a satellite knot is no less than the width of its pattern knot and so

.

     

Quivers with relations arising from clusters case)

Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let be a cluster algebra of type . We associate to each cluster of an abelian category such that the indecomposable objects of are in natural correspondence with the cluster variables of which are not in . We give an algebraic realization and a geometric realization of . Then, we generalize the ``denominator theorem' of Fomin and Zelevinsky to any cluster.

     

Constant mean curvature surfaces in

The subject of this paper is properly embedded surfaces in Riemannian three manifolds of the form , where is a complete Riemannian surface. When , we are in the classical domain of surfaces in . In general, we will make some assumptions about in order to prove stronger results, or to show the effects of curvature bounds in on the behavior of surfaces in .

     

The fourth power moment of automorphic -functions for over a short interval

In this paper we will prove bounds for the fourth power moment in the aspect over a short interval of automorphic -functions for on the central critical line Re. Here is a fixed holomorphic or Maass Hecke eigenform for the modular group , or in certain cases, for the Hecke congruence subgroup with . The short interval is from a large to . The proof is based on an estimate in the proof of subconvexity bounds for Rankin-Selberg -function for Maass forms by Jianya Liu and Yangbo Ye (2002) and Yuk-Kam Lau, Jianya Liu, and Yangbo Ye (2004), which in turn relies on the Kuznetsov formula (1981) and bounds for shifted convolution sums of Fourier coefficients of a cusp form proved by Sarnak (2001) and by Lau, Liu, and Ye (2004).

     

Generalized interpolation in with a complexity constraint

In a seminal paper, Sarason generalized some classical interpolation problems for functions on the unit disc to problems concerning lifting onto of an operator that is defined on ( is an inner function) and commutes with the (compressed) shift . In particular, he showed that interpolants (i.e., such that ) having norm equal to exist, and that in certain cases such an is unique and can be expressed as a fraction with . In this paper, we study interpolants that are such fractions of functions and are bounded in norm by (assuming that , in which case they always exist). We parameterize the collection of all such pairs and show that each interpolant of this type can be determined as the unique minimum of a convex functional. Our motivation stems from the relevance of classical interpolation to circuit theory, systems theory, and signal processing, where is typically a finite Blaschke product, and where the quotient representation is a physically meaningful complexity constraint.

     

The invariant factors of the incidence matrices of points and subspaces in and

We determine the Smith normal forms of the incidence matrices of points and projective -dimensional subspaces of and of the incidence matrices of points and -dimensional affine subspaces of for all , , and arbitrary prime power .

     

On the Andrews-Stanley refinement of Ramanujan's partition congruence modulo and generalizations

In a recent study of sign-balanced, labelled posets, Stanley introduced a new integral partition statistic

where denotes the number of odd parts of the partition and is the conjugate of . In a forthcoming paper, Andrews proved the following refinement of Ramanujan's partition congruence mod :

where () denotes the number of partitions of with and is the number of unrestricted partitions of . Andrews asked for a partition statistic that would divide the partitions enumerated by () into five equinumerous classes.

In this paper we discuss three such statistics: the ST-crank, the -quotient-rank and the -core-crank. The first one, while new, is intimately related to the Andrews-Garvan (1988) crank. The second one is in terms of the -quotient of a partition. The third one was introduced by Garvan, Kim and Stanton in 1990. We use it in our combinatorial proof of the Andrews refinement. Remarkably, the Andrews result is a simple consequence of a stronger refinement of Ramanujan's congruence mod . This more general refinement uses a new partition statistic which we term the BG-rank. We employ the BG-rank to prove new partition congruences modulo . Finally, we discuss some new formulas for partitions that are -cores and discuss an intriguing relation between -cores and the Andrews-Garvan crank.