Presentations of the unit group of an order in a non-split quaternion algebra

We give an algorithm to determine a finite set of generators of the unit group of an order in a non-split classical quaternion algebra over an imaginary quadratic extension K of the rationals. We then apply this method to obtain a presentation for the unit group of . As a consequence a presentation is discovered for the orthogonal group . These results provide the first examples of a characterization of the unit group of some group rings that have an epimorphic image that is an order in a non-commutative division algebra that is not a totally definite quaternion algebra.     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

Algebraic independence of the values of Mahler functions associated with a certain continued fraction expansion

It is proved that the function , which can be expressed as a certain continued fraction, takes algebraically independent values at any distinct nonzero algebraic numbers inside the unit circle if the sequence {R_k}_k?0 is the generalized Fibonacci numbers.     

The limiting behavior on the restriction of divisor classes to hypersurfaces

Let A be an excellent local normal domain and {f_n}_n=1^∞ a sequence of elements lying in successively higher powers of the maximal ideal, such that each hypersurface A/f_nA satisfies R₁. We investigate the injectivity of the maps Cl(A)→Cl((A/f_nA)′), where (A/f_nA)′ represents the integral closure. The first result shows that no non-trivial divisor class can lie in every kernel. Secondly, when A is, in addition, an isolated singularity containing a field of characteristic zero, dim A?4, and A has a small Cohen-Macaulay module, then we show that there is an integer N>0 such that if , then Cl(A)→Cl((A/f_nA)′) is injective. We substantiate these results with a general construction that provides a large collection of examples.     

Global Solutions of an Obstacle-Problem-Like Equation with Two Phases

Concerning the obstacle-problem-like equation , where ₊ > 0 and _– > 0, we give a complete characterization of all global two-phase solutions with quadratic growth both at 0 and infinity.     

Unbounded Disjointness Preserving Linear Functionals

Let X be a locally compact Hausdorff space and C ₀(X) the Banach space of continuous functions on X vanishing at infinity. In this paper, we shall study unbounded disjointness preserving linear functionals on C ₀(X). They arise from prime ideals of C ₀(X), and we translate it into the cozero set ideal setting. In particular, every unbounded disjointness preserving linear functional of c ₀ can be constructed explicitly through an ultrafilter on complementary to a cozero set ideal. This ultrafilter method can be extended to produce many, but in general not all, such functionals on C ₀(X) for arbitrary X. We also make some remarks where C ₀(X) is replaced by a non-commutative C*-algebra.     

Wavelet Frames on Groups and Hypergroups via Discretization of Calderón Formulas

Continuous wavelets are often studied in the general framework of representation theory of square-integrable representations, or by using convolution relations and Fourier transforms. We consider the well-known problem whether these continuous wavelets can be discretized to yield wavelet frames. In this paper we use Calderón-Zygmund singular integral operators and atomic decompositions on spaces of homogeneous type, endowed with families of general translations and dilations, to attack this problem, and obtain strong convergence results for wavelets expansions in a variety of classical functional spaces and smooth molecule spaces. This approach is powerful enough to yield, in a uniform way, for example, frames of smooth wavelets for matrix dilations in ⁿ, for an affine extension of the Heisenberg group, and on many commutative hypergroups.     

Weingarten rotation surfaces in 3-dimensional de Sitter space

In the 3-dimensional de Sitter Space , a surface is said to be a spherical (resp. hyperbolic or parabolic) rotation surface, if it is a orbit of a regular curve under the action of the orthogonal transformations of the 4-dimensional Minkowski space which leave a timelike (resp. spacelike or degenerate) plane pointwise fixed. In this paper, we give all spacelike and timelike Weingarten rotation surfaces in .     

Partial autocorrelation functions of the fractional ARIMA processes with negative degree of differencing

Let be a fractional ARIMA(p,d,q) process with partial autocorrelation function α(·). In this paper, we prove that if d∈(−1/2,0) then |α(n)|∼|d|/n as n→∞. This extends the previous result for the case 0<d<1/2.     

On the Value of a Random Minimum Weight Steiner Tree

Consider a complete graph on n vertices with edge weights chosen randomly and independently from an exponential distribution with parameter 1. Fix k vertices and consider the minimum weight Steiner tree which contains these vertices. We prove that with high probability the weight of this tree is (1+o(1))(k-1)(log n-log k)/n when k =o(n) and n.* Research supported in part by NSF grant DSM9971788 Research supported in part by NSF grants DMS-0106589, CCR-9987845 and by the State of New Jersey. Part of this research was done while visiting IBM T. J. Watson Research Center.