We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules.

Finding surface mappings with least distortion arises from many applications in various fields. Extremal Teichmüller maps are surface mappings with least conformality distortion. The existence and uniqueness of the extremal Teichmüller map between Riemann surfaces of finite type are theoretically guaranteed (see Fletcher and Markovic, Quasiconformal maps and Teichmüller theory, Oxford Graduate Texts in Math., vol. 11, Oxford University Press, Oxford, 2007). Recently, a simple iterative algorithm for computing the Teichmüller maps between connected Riemann surfaces with given boundary value was proposed by Lui, Lam, Yau, and Gu in Teichmüller extremal mapping and its applications to landmark matching registration, arXiv:1211.2569. Numerical results were reported in the paper to show the effectiveness of the algorithm. The method was successfully applied to landmarkmatching registration. The purpose of this paper is to prove the iterative algorithm proposed in loc. cit., indeed converges.

We shall be concerned with the indicator$p$of an analytic functional μ on a complex manifold$U$: $$p(\varphi ) = \overline {\mathop {\lim }\limits_{t \to + \infty } } \frac{l}{t}\log \left| {\mu (e^{t\varphi } )} \right|,$$ where ϕ is an arbitrary analytic function on$U$. More specifically, we shall consider the smallest upper semicontinuous majorant$p$^{$J$}of the restriction of$p$to a subspace £ of the analytic functions. An obvious problem is then to characterize the set of functions$p$^{$J$}which can occur as regularizations of indicators. In the case when$U$=$C$^{$n$}and £ is the space of all linear functions on$C$^{$n$}, this set can be described more easily as the set of functions(0.1) $$\mathop {\lim }\limits_{\theta \to \zeta } \overline {\mathop {\lim }\limits_{t \to + \infty } } \frac{l}{t}\log \left| {u(t\theta )} \right|$$ of$n$complex variables ζ∈$C$^{$n$}where$u$is an entire function of exponential type in$C$^{$n$}. We hall prove that a function in$C$^{$n$}is of the form (0.1) for some entire function$u$of exponential type if and only if it is plurisubharmonic and positively homogeneous of order one (Theorem 3.4). The proof is based on the characterization given by Fujita and Takeuchi of those open subsets of complex projective$n$-space which are Stein manifolds.

No abstract uploaded!

This talk will give a very brief outline how a portion of geometric analysis was carried out in relation to geometry, nonlinear partial differential equations and mathematical physics. My personal experience is that this is a beautiful subject with great depth and it touches almost all branch of mathematics.