Abstract:
We present numerical evidence that the dynamical zeta function and the Fredholm determinant of intermittent maps with a neutral fix point have branch point singularities at z=1 We consider the power series expansion of zeta function and the Fredholm determinant around z=0 with the fix point pruned. This power series is computed up to order 20, requiring 10^5periodic orbits. We also discuss the relation between correlation decay and the nature of the branch point. We conclude by demonstrating how zeros of zeta functions with thermodynamic weights that are close to the branch point can be efficiently computed by a resummed cycle expansion. The idea is quite similar to that of Pade\'{e} approximants, but the ansatz is a generalized series expansion around the branch point instead of a rational function.

Abstract:
We investigate the asymptotic behavior for type II Hermite-Pade approximation to two functions, where each function has two branch points and the pairs of branch points are separated. We give a classification of the cases such that the limiting counting measures for the poles of the Hermite-Pade approximants are described by an algebraic function of order 3 and genus 0. This situation gives rise to a vector-potential equilibrium problem for three measures and the poles of the common denominator are asymptotically distributed like one of these measures. We also work out the strong asymptotics for the corresponding Hermite-Pade approximants by using a 3x3 Riemann-Hilbert problem that characterizes this Hermite-Pade approximation problem.

Abstract:
By the Jacquet-Langlands correspondence and Faltings' isogeny theorem, it is known that the abelian variety J_0^{Dpq}(N) (the Jacobian of a Shimura curve of discriminant Dpq with Gamma_0(N) level structure) is isogenous to the pq-new subvariety of J_0^D(pqN), whenever p and q are distinct primes not dividing D or N. However, this approach is entirely nonconstructive, and gives no information at all about any particular isogeny between the two varieties. In this paper, we determine the kernels of all possible maps from one variety to the other up to support on a small finite set of maximal ideals of the Hecke algebra. We also examine consequences of this computation for the geometry of Jacobians of Shimura curves. In particular, we obtain a "multiplicity one" result for certain Galois representations in the torsion of Jacobians of such curves.

Abstract:
Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties are: (a) the horizontal and holomorphic sections are precisely the admissible normal functions without singularities; (b) the graph of any admissible normal function has an analytic closure inside our space. As a consequence, we obtain a new proof for the zero locus conjecture of M. Green and P. Griffiths. The construction uses filtered D-modules and M. Saito's theory of mixed Hodge modules; it is functorial, and does not require normal crossing or unipotent monodromy assumptions.

Abstract:
Let $F=(F_1, F_2, ... F_n)$ be an $n$-tuple of formal power series in $n$ variables of the form $F(z)=z+ O(|z|^2)$. It is known that there exists a unique formal differential operator $A=\sum_{i=1}^n a_i(z)\frac {\p}{\p z_i}$ such that $F(z)=exp (A)z$ as formal series. In this article, we show the Jacobian ${\cal J}(F)$ and the Jacobian matrix $J(F)$ of $F$ can also be given by some exponential formulas. Namely, ${\cal J}(F)=\exp (A+\triangledown A)\cdot 1$, where $\triangledown A(z)= \sum_{i=1}^n \frac {\p a_i}{\p z_i}(z)$, and $J(F)=\exp(A+R_{Ja})\cdot I_{n\times n}$, where $I_{n\times n}$ is the identity matrix and $R_{Ja}$ is the multiplication operator by $Ja$ for the right. As an immediate consequence, we get an elementary proof for the known result that ${\cal J}(F)\equiv 1$ if and only if $\triangledown A=0$. Some consequences and applications of the exponential formulas as well as their relations with the well known Jacobian Conjecture are also discussed.

Abstract:
We prove some general density statements about the subgroup of invertible points on intermediate jacobians; namely those points in the Abel-Jacobi image of nullhomologous algebraic cycles on projective algebraic manifolds.

Abstract:
We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to complexes. The construction is valid in flat families. The generalized branch divisor of a stable map to a nonsingular curve X yields a canonical morphism from the space of stable maps to a symmetric product of X. This branch morphism (together with virtual localization) is used to compute the Hurwitz numbers of covers of P^1 for all genera and degrees in terms of Hodge integrals.

Abstract:
This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (non-commuting) variables and form a canonical class of mappings from one non-commutative domain D in say g variables to another non-commutative domain D' in g' variables. As a natural extension of the usual notion, an analytic free map is proper if it maps the boundary of D into the boundary of D'. Assuming that both domains contain 0, we show that if f:D->D' is a proper analytic free map, and f(0)=0, then f is one-to-one. Moreover, if also g=g', then f is invertible and f^(-1) is also an analytic free map. These conclusions on the map f are the strongest possible without additional assumptions on the domains D and D'.

Abstract:
The main goal of this article is to give an explicit rigid analytic uniformization of the maximal toric quotient of the Jacobian of a Shimura curve over the field of rational numbers at a prime dividing exactly the level. This result can be viewed as complementary to the classical theorem of Cerednik and Drinfeld which provides rigid analytic uniformizations at primes dividing the discriminant. As a corollary, we offer a proof of a conjecture formulated by M. Greenberg in his paper on Stark-Heegner points and quaternionic Shimura curves, thus making Greenberg's construction of local points on elliptic curves over the rationals unconditional.

Abstract:
We consider a multi-parameter family of canonical coordinates and mirror maps o\ riginally introduced by Zudilin [Math. Notes 71 (2002), 604-616]. This family includes many of the known one-variable mirror maps as special cases, in particular many of modular origin and the celebrated example of Candelas, de la Ossa, Green and\ Parkes [Nucl. Phys. B359 (1991), 21-74] associated to the quintic hypersurface in $\mathbb P^4(\mathbb C)$. In [Duke Math. J. 151 (2010), 175-218], we proved that all coeffi\ cients in the Taylor expansions at 0 of these canonical coordinates (and, hence, of the corresponding mirror maps) are integers. Here we prove that all coefficients in the Taylor expansions at 0 of these canonical coordinates are positive. Furthermore, we provide several results pertaining to the behaviour of the canonical coordinates and mirror maps as complex functions. In particular, we address analytic continuation, points of singularity, and radius of convergence of these functions. We present several very precise conjectures on the radius of convergence of the mirror maps and the sign pattern of the coefficients in their Taylor expansions at 0.