Orbital formal normal forms for general Bogdanov-Takens singularity

We solve completely the problem of classification of germs of complex planar vector fields with nilpotent singularity with respect to formal orbital equivalence.     

π1-classification of real arrangements with up to eight lines

One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan (Michigan Math. J. 44(2) (1997) 283), and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced in (Garber et al. (J. Knot Theory Ramf.), to classify real arrangements of up to 8 lines. In particular, we show that the incidence lattice of such arrangements determines both the affine and the projective fundamental groups.     

Arithmetic expressions of Selberg's zeta functions for congruence subgroups

In [P. Sarnak, Class numbers of indefinite binary quadratic forms, J. Number Theory 15 (1982) 229-247], it was proved that the Selberg zeta function for SL₂(Z) is expressed in terms of the fundamental units and the class numbers of the primitive indefinite binary quadratic forms. The aim of this paper is to obtain similar arithmetic expressions of the logarithmic derivatives of the Selberg zeta functions for congruence subgroups of SL₂(Z). As applications, we study the Brun-Titchmarsh type prime geodesic theorem and the asymptotic formula of the sum of the class number.     

Affine threefolds whose log canonical bundles are not numerically effective

Let X?(T,D) be a compactification of an affine 3-fold X into a smooth projective 3-fold T such that the (reduced) boundary divisor D is SNC. In this paper, as an affine counterpart to the work due to S. Mori (cf. [S. Mori, Threefolds whose canonical bundles are not numerically effective, Ann. of Math. 116 (1982) 133-176]), we shall classify (K+D)-negative extremal rays on T. In particular, if such an extremal ray R=R₊[C] intersects K non-negatively, we shall describe the log flips and divisorial contractions appearing explicitly.     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

Buchsbaum homogeneous algebras with minimal multiplicity

In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous k-algebras A in terms of the dimension d, the codimension c, the initial degree q, and the length of the local cohomology modules of A. Next, we introduce the notion of Buchsbaum k-algebras with minimal multiplicity of degree q, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.     

Parameterization of all solutions of the three chains completion problem

The family of all solutions of the three chains completion problem with a prescribed tolerance is described explicitly. It is shown that this family can be parameterized by a natural set of contractive upper triangular operators. As an application all solutions to a suboptimal nonstationary Nehari problem are described.     

On the convergence of Newton's method when estimating higher dimensional parameters

In this paper, we consider the estimation of a parameter of interest where the estimator is one of the possibly several solutions of a set of nonlinear empirical equations. Since Newton's method is often used in such a setting to obtain a solution, it is important to know whether the so obtained iteration converges to the locally unique consistent root to the aforementioned parameter of interest. Under some conditions, we show that this is eventually the case when starting the iteration from within a ball about the true parameter whose size does not depend on n. Any preliminary almost surely consistent estimate will eventually lie in such a ball and therefore provides a suitable starting point for large enough n. As examples, we will apply our results in the context of M-estimates, kernel density estimates, as well as minimum distance estimates.     

The Tate-Voloch conjecture for Drinfeld modules

We study the v-adic distance from the torsion of a Drinfeld module to an affine variety.