Homology of homogeneous divisors

This work deals with arbitrary reduced free divisors in a polynomial ring over a field of characteristic zero, by stressing the ideal theoretic and homological behavior of the corresponding singular locus. A particular emphasis is given to both weighted homogeneous and homogeneous polynomials, allowing to introduce new families of free divisors not coming from either hyperplane arrangements or discriminants in singularity theory.     

Resolving singularities with Cartan’s prolongation

A standard method for resolving a plane curve singularity is the method of blow-up. We describe a less-known alternative method which we call prolongation, in honor of Cartan’s work in this direction. This method is known to algebraic geometers as Nash blow-up. With each application of prolongation the dimension of the ambient space containing the new “prolonged” singularity increases by one. The new singularity is tangent to a canonical plane field on the ambient space. Our main result asserts that the two methods, blow-up and prolongation, yield the same resolution for unibranched singularities. The primary difficulties encountered are around understanding the prolongation analogues of the exceptional divisors from blow-up. These analogues are called critical curves. Most of the critical curves are abnormal extremals in the sense of optimal control theory as it applies to rank 2 distributions (2 controls). Dedicated to V. I. Arnol’d and his creative force     

Modular Invariants and Singularity Indices of Hyperelliptic Fibrations

The modular invariants of a family of curves are the degrees of the pullback of the corresponding divisors by the moduli map. The singularity indices were introduced by Xiao (1991) to classify singular fibers of hyperelliptic fibrations and to compute global invariants locally. In semistable case, the author shows that the modular invariants corresponding to the boundary divisor classes are just the singularity indices. As an application, the author shows that the formula of Xiao for relative Chern numbers is the same as that of Cornalba-Harris in semistable case.     

Mapping class group of a plane curve germ

We prove that every topological conjugacy between two germs of singular holomorphic curves in the complex plane is homotopic to another conjugacy which extends homeomorphically to the exceptional divisors of their minimal desingularisations. As an application we give an explicit presentation of a finite index subgroup of the mapping class group of the germ of such a singularity.     

A criterion for the logarithmic differential operators to be generated by vector fields

We study divisors in a complex manifold in view of the property that the algebra of logarithmic differential operators along the divisor is generated by logarithmic vector fields. We give

• a sufficient criterion for the property,
• a simple proof of F.J. Calderón-Moreno's theorem that free divisors have the property,
• a proof that divisors in dimension with only isolated quasi-homogeneous singularities have the property,
• an example of a nonfree divisor with nonisolated singularity having the property,
• an example of a divisor not having the property, and
• an algorithm to compute the V-filtration along a divisor up to a given order.

     

Hilbert basis of the Lipman semigroup

In this Note, we give a new method to compute the Hilbert basis of the semigroup of certain positive divisors supported on the exceptional divisor of a normal surface singularity. Our approach is purely combinatorial and enables us to avoid the long calculation of the invariants of the ring as it is presented in the work of Alt?nok and Tosun.     

The computation of Kronecker's canonical form of a singular pencil

We develop stable algorithms for the computation of the Kronecker structure of an arbitrary pencil. This problem can be viewed as a generalization of the well-known eigenvalue problem of pencils of the type λI?A. We first show that the elementary divisors (λ ? α)ⁱ of a regular pencil λB?A can be retrieved with a deflation algorithm acting on the expansion (λ ? α)B ? (A ? αB). This method is a straightforward generalization of Kublanovskaya's algorithm for the determination of the Jordan structure of a constant matrix. We also show how to use this method to determine the structure of the infinite elementary divisors of λB?A. In the case of singular pencils, the occurrence of Kronecker indices—containing the singularity of the pencil—somewhat complicates the problem. Yet our algorithm retrieves these indices with no additional effort, when determining the elementary divisors of the pencil. The present ideas can also be used to separate from an arbitrary pencil a smaller regular pencil containing only the finite elementary divisors of the original one. This is shown to be an effective tool when used together with the QZ algorithm.     

A splitting criterion for an isolated singularity at x = 0 in a family of even hypersurfaces

Assume given a family of even local analytic hypersurfaces, whose central fiber has an isolated singularity at x =?0 which is not an ordinary double point. We prove that if the family is sufficiently general, for instance if the general fiber is smooth and the general singular fiber has only ordinary double points, then the singularity at x = 0 “splits in codimension one”, i.e., the local discriminant divisor has an irreducible component, over which a general fiber has more than one singularity specializing to the original one. As a corollary, we deduce the result by Grushevsky and Salvati Manni (Singularities of the theta divisor at points of order two, IMRN, 2007, Proposition 8) that on a principally polarized abelian variety (A, Θ) with dim(A) = g ≥ 4, a singularity of even multiplicity on Θ, isolated or not, at a point of order two and not an ordinary double point, must be a limit of two distinct ordinary double points {x, ?x} on nearby theta divisors.     

The Index of Vector Fields and Logarithmic Differential Forms

We introduce the notion of logarithmic index of a vector field on a hypersurface and prove that the homological index can be expressed via the logarithmic index. Then both invariants are described in terms of logarithmic differential forms for Saito free divisors, which are hypersurfaces with nonisolated singularities, and all contracting homology groups of the complex of regular holomorphic forms on such a hypersurface are computed. In conclusion, we consider the case of normal hypersurfaces, including the case of an isolated singularity, and describe the contracting homology of the complex of regular meromorphic forms with the help of the residue of logarithmic forms.     

Generalized Divisors and Total Reflexivity

The notion of generalized divisors on schemes is introduced by Hartshorne. It is shown that there exists a bijection between the set of all generalized divisors on a scheme X and the set of all reflexive coherent 𝒪 _X -modules which are locally free of rank one at generic points. This bijection, corresponds Cartier divisors to the set of all locally free sheaves of rank one. Our aim in this article is to study the class of generalized divisors that maps to totally reflexive coherent 𝒪 _X -modules, under this correspondence. We investigate this class of divisors, that will be called Gorenstein divisors, both over schemes and also over commutative noetherian rings. We show that this class of divisors has usual properties and fits well in the hierarchy of divisors that already exists in the literature.     

Adiabatic Invariance and Passage Through Resonance for Nearly Periodic Hamiltonian Systems

This is a continuation of previous work on passage through resonance to nearly periodic Hamiltonian systems. We review the classical technique for calculating adiabatic invariants and exhibit the occurrence of zero divisors in the results as a certain critical term evolves slowly through a resonance condition. We then isolate the coordinate associated with the singularity and remove the remaining coordinate from the Hamiltonian to any desired order by successive canonical transformations. This is a variant of the von Zeipel procedure used extensively in celestial mechanics. The momentum conjugate to the cyclic coordinate is an adiabatic invariant, and the reduced Hamiltonian is then solved by constructing and matching three multiple variable expansions which describe the solution before, during, and after resonance passage.     

On nonrational divisors over non-Gorenstein terminal singularities

Let (X, o) be a germ of a 3-dimensional terminal singularity of index m ≥ 2. If (X, o) has type cAx/4, cD/3-3, cD/2-2, or cE/2, then we assume that the standard equation of X in ℂ⁴/ℤ _m is nondegenerate with respect to its Newton diagram. Let π: Y → X be a resolution. We show that there are at most 2 nonrational divisors E _i , i = 1, 2, on Y such that π(E _i ) = o and the discrepancy a(E _i , X) is at most 1. When such divisors exist, we describe them as exceptional divisors of certain blowups of (X, o) and study their birational type. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 169–184, 2005.     

Adiabatic limits of η-invariants and the Meyer functions

We construct a function on the orbifold fundamental group of the moduli space of smooth theta divisors, which we call the Meyer function for smooth theta divisors. In the construction, we use the adiabatic limits of the η-invariants of the mapping torus of theta divisors. We shall prove that the Meyer function for smooth theta divisors cobounds the signature cocycle, and we determine the values of the Meyer function for the Dehn twists. In particular, we give an analytic construction of the Meyer function of genus two.     

On connected components in the set of divisors of a monic matrix polynomial

Let A(λ) be a monic matrix polynomial. The topological properties (in particular, connectedness) of the set of all right monic divisors of A(λ) with the same determinant are investigated. It turns out that such set of divisors is not connected in general. Sufficient conditions (in terms of the elementary divisors of A(λ)) for its connectedness are provided.     

Equidistribution of divisors for sequences of holomorphic curves

We study holomorphic curves in ann-dimensional complex manifold on which a family of divisors parametrized by anm-dimensional compact complex manifold is given. If, for a given sequence of such curves, their areas (in the induced metric) monotonically tend to infinity, then for every divisor one can define adefect characterizing the deviation of the frequency at which this sequence intersects the divisor from the average frequency (over the set of all divisors). It turns out that, as well as in the classical multidimensional case, the set of divisors with positive defect is very rare. (We estimate how rare it is.) Moreover, the defect of almost all divisors belonging to a linear subsystem is equal to the mean value of the defect over the subsystem, and for all divisors in the subsystem (without any exception) the defect is not less than this mean value. This research was supported by RFBR grant No. 98-01-00867. Vladimir State Pedagogical University. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 34, No. 3, pp. 17–25, July–September, 2000. Translated by A. I. Shtern     

On the number of different prime divisors of element orders

We prove that the number of different prime divisors of the order of a finite group is bounded by a polynomial function of the maximum of the number of different prime divisors of the element orders. This improves a result of J. Zhang.

     

Singularities of the structure of two-sided ideals of a domain of elementary divisors

We prove that, in a domain of elementary divisors, the intersection of all nontrivial two-sided ideals is equal to zero. We also show that a Bézout domain with finitely many two-sided ideals is a domain of elementary divisors if and only if it is a 2-simple Bézout domain.     

To solving multiparameter problems of algebra. 9. The Ψ<Emphasis Type="Italic">F-q</Emphasis> method for factorizing invariant polynomials and its applications

A new method (the ΨF-q method) for computing the invariant polynomials of a q-parameter (q ≥ 1) polynomial matrix F is suggested. Invariant polynomials are computed in factored form, which permits one to analyze the structure of the regular spectrum of the matrix F, to isolate the divisors of each of the invariant polynomials whose zeros belong to the invariant polynomial in question, to find the divisors whose zeros belong to at least two of the neighboring invariant polynomials, and to determine the heredity levels of points of the spectrum for each of the invariant polynomials. Applications of the ΨF-q method to representing a polynomial matrix F(λ) as a product of matrices whose spectra coincide with the zeros of the corresponding divisors of the characteristic polynomial and, in particular, with the zeros of an arbitrary invariant polynomial or its divisors are considered. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 334, 2006, pp. 165–173.