Values of zeta functions at negative integers, Dedekind sums and toric geometry

We study relations among special values of zeta functions, invariants of toric varieties, and generalized Dedekind sums. In particular, we use invariants arising in the Todd class of a toric variety to give a new explicit formula for the values of the zeta function of a real quadratic field at nonpositive integers. We also express these invariants in terms of the generalized Dedekind sums studied previously by several authors. The paper includes conceptual proofs of these relations and explicit computations of the various zeta values and Dedekind sums involved.

     

On the identification and stability of formal invariants for singular differential equations

Given a system of linear differential equations near an irregular singularity of pole type, formal invariants are quantities that remain unchanged with respect to linear transformations of the system. While certain “natural” formal invariants can easily be observed in formal fundamental solution matrices, the algorithms for constructing them do not readily show how the invariants can be universally described as properties of the coefficient matrix of the system, and in particular of the individual constant matrices in the power-series expansion. Other invariants have been abstractly defined by mapping properties of the differential operator, but they are not immediately related to either the natural invariants or the coefficients. In this paper we show how certain invariants in the formal solution may be described and calculated through matrix-theoretic properties of the coefficients and at the same time show how they are related to ones for the differential operator.     

The size of infinite-dimensional representations

An infinite-dimensional representation π of a real reductive Lie group G can often be thought of as a function space on some manifold X. Although X is not uniquely defined by π, there are “geometric invariants” of π, first introduced by Roger Howe in the 1970s, related to the geometry of X. These invariants are easy to define but difficult to compute. I will describe some of the invariants, and recent progress toward computing them.     

On the Jacobian Newton polygon of plane curve singularities

We investigate the Jacobian Newton polygon of plane curve singularities. This invariant was introduced by Teissier in the more general context of hypersurfaces. The Jacobian Newton polygon determines the topological type of a branch (Merle’s result) but not of an arbitrary reduced curve (Eggers example). Our main result states that the Jacobian Newton Polygon determines the topological type of a non-degenerate unitangent singularity. The Milnor number, the Łojasiewicz exponent, the Hironaka exponent of maximal contact and the number of tangents are examples of invariants that can be calculated by means of the Jacobian Newton polygon. We show that the number of branches and the Newton number defined by Oka do not have this property. Dedicated to Professor Arkadiusz Płoski on his 60th birthday     

Equivalence of Third-Order Ordinary Differential Equations to Chazy Equations I–XIII

In the paper we solve the equivalence problem of the third-order ordinary differential equations quadratic in the second-order derivative. For this class of equations the invariants of the group of point equivalence transformations and the invariant differentiation operators are constructed. Using these results the invariants of 13 Chazy equations were calculated. We provide examples of finding equivalent equations by use of their invariants. Also two new examples of the equations linearizable by a local transformation are found. These are a particular case of Chazy–XII equation and a Schwarzian equation.     

Infrared and Raman spectra and normal vibrations of N,N-dimethylthioformamide and N,N-dimethylthioacetamide

The Raman and infrared spectra of N, N-dimethylthioformamide and N, N-dimethylthioacetamide were recorded and the vibrational frequencies are assigned. The normal co-ordinate treatment of these molecules has been carried out and the potential energy distributions calculated in order to clarify the nature of normal vibrations and investigate the magnitude of mixing up of various skeletal frequencies. The results in regard to the nature of the C-N and C=S stretching frequencies in these thioamides are compared with those of primary and secondary thioamides on the one hand and those of the corresponding ordinary tertiary amides on the other. It has been shown that the force constants of the general quadratic force field type are transferable in the series of molecules of tertiary amides and tertiary thioamides. The lowest frequency in the region of 150 cm.^?1 to 160 cm.^?1 has been recorded by the authors in the Raman spectra of the two tertiary thioamides under consideration. In the normal vibrational analysis of related molecules, the earlier workers only calculated this frequency, but did not record it.     

Invariants of knots,surfaces in R<Superscript>3</Superscript>, and foliations

We give a survey of some known results related to combinatorial and geometric properties of finite-order invariants of knots in a three-dimensional space. We study the relationship between Vassiliev invariants and some classical numerical invariants of knots and point out the role of surfaces in the investigation of these invariants. We also consider combinatorial and geometric properties of essential tori in standard position in closed braid complements by using the braid foliation technique developed by Birman, Menasco, and other authors. We study the reductions of link diagrams in the context of finding the braid index of links. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 9, pp. 1239–1252, September, 2007.     

Algorithms for Calculating the Inverse of a Given R-Automorphism of R[x]

Associated to a toric variety X of dimension r over a field k is a fan Δ on R¹. The fan Δ is a finite set of cones which are in one-to-one correspondence with the orbits of the torus action on X. The fan Δ inherits the Zariski topology from X. In this article some cohomological invariants of X are studied in terms of whether or not they depend only on Δ and not k. Secondly some numerical invariants of X are studied in terms of whether or not they are topological invariants of the fan Δ. That is, whether or not they depend only on the finite topological space defined on Δ. The invariants with which we are mostly concerned are the class group of Weil divisors, the Picard group, the Brauer group and the dimensions of the torsion free part of the etale cohomology groups with coefficients in the sheaf of units. The notion of an open neighborhood of a fan is introduced and examples are given for which the above invariants are sufficiently fine to give nontrivial stratifications of an open neighborhood of a fan all of whose maximal cones are nonsimplicia.     

Some Theorems on the Rogers-Ramanujan Continued Fraction in Ramanujan's Lost Notebook

In his first two letters to G. H. Hardy and in his notebooks, Ramanujan recorded many theorems about the Rogers-Ramanujan continued fraction. In his lost notebook, he offered several further assertions. The purpose of this paper is to provide proofs for many of the claims about the Rogers-Ramanujan and generalized Rogers-Ramanujan continued fractions found in the lost notebook. These theorems involve, among other things, modular equations, transformations, zeros, and class invariants.     

Real fields, valuations, and quadratic forms

We study several field invariants arising in quadratic form theory. Some of the invariants considered are of particular interest in the study of real fields, including the length, the u-invariant, and the (reduced) stability index. In this context we give a systematic account of valuation theoretic arguments that lead to lower bounds for these invariants.     

Knot theory and the Casson invariant in Artin presentation theory

In Artin presentation theory, a smooth, compact four-manifold is determined by a certain type of presentation of the fundamental group of its boundary. Topological invariants of both three-and four-manifolds can be calculated solely in terms of functions of the discrete Artin presentation. González-Acuña proposed such a formula for the Rokhlin invariant of an integral homology three-sphere. This paper provides a formula for the Casson invariant of rational homology spheres. Thus, all 3D Seiberg-Witten invariants can be calculated by using methods of the theory of groups in Artin presentation theory. The Casson invariant is closely related to canonical knots determined by an Artin presentation. It is also shown that any knot in any three-manifold appears as a canonical knot in Artin presentation theory. An open problem is to determine 4D Seiberg-Witten and Donaldson invariants in Artin presentation theory.     

On two invariants of divisorial valuations at infinity

The two-dimensional case of the famous Jacobian conjecture of O.-H. Keller asserts that every unramified polynomial self-map of an affine plane is invertible. Many geometric approaches to this conjecture involve divisorial valuations of the field ${\mathbb{C}}(x,y)$ , centered outside of the affine plane. Two integer invariants of these valuations naturally appear in this context. In this paper we study these invariants using combinatorics of weighted graphs. In particular, we prove that whenever both invariants are fixed, the corresponding valuations form a finite number of families up to plane automorphisms.     

Discrete monodromy, pentagrams, and the method of condensation

This paper studies the pentagram map, a projectively natural iteration on the space of polygons. Inspired by a method from the theory of ordinary differential equations, the paper constructs roughly n algebraically independent invariants for the map, when it is defined on the space of n-gons. These invariants strongly suggest that the pentagram map is a discrete completely integrable system. The paper also relates the pentagram map to Dodgson’s method of condensation for computing determinants, also known as the octahedral recurrence. I dedicate this paper to Professor V. I. Arnold on the occasion of his 70th birthday     

Runge-Kutta schemes that maintain invariant solutions for differential algebraic systems

Implicit Runge-Kutta (IRK) methods and projected IRK methods for the solution of semiexplicit index-2 systems of differential algebraic systems (DAEs) have been proposed by several authors. In this paper we prove that if a method satisfiesBA+A ^t B–bb ^t =0, it conserves quadratic invariants of DAEs.     

Phase topology of Appelrot class I of a Kowalewski top in a magnetic field

We consider an integrable case generalizing the Appelrot class I of a Kowalewski top in a magnetic field. Its phase topology is investigated by means of Fomenko-Zieschang invariants. The offered method of approach to the calculation of marks completes Bolsinov’s method in the situation where it is not usable. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 1, pp. 95–128, 2006.     

Dilation coefficient, plane-width, and resolution coefficient of graphs

In this paper we investigate the relations between three graph invariants that are related to the ‘compactness’ of graph drawing in the plane: the dilation coefficient, defined as the smallest possible quotient between the longest and the shortest edge length; the plane-width, which is the smallest possible quotient between the largest distance between any two points and the shortest length of an edge; and the resolution coefficient, the smallest possible quotient between the longest edge length and the smallest distance between any two points. These three invariants coincide for complete graphs. More specifically, we show that the plane-width and the dilation coefficient are equivalent graph parameters in the sense that they are bounded on the same sets of graphs, while bounded resolution coefficient implies bounded plane-width (or dilation coefficient) but not conversely. It is known that the one-dimensional analogues of the plane-width and the resolution coefficient are closely related to the chromatic number and the bandwidth respectively. We complete this picture by showing that a graph of one-dimensional dilation coefficient $d$ is exactly the same as a graph of circular chromatic number  $d+1$ . Finally, we complement the result that a graph of resolution coefficient less than $\sqrt{2}$ is planar by constructing a family of graphs of resolution coefficient $\sqrt{2}$ not contained in any nontrivial minor-closed graph family.     

Arrow-diagram formulas for fourth-order invariants of knots

In this paper, we study explicit arrow-diagram formulas for fourth-order Vassiliev invariants of knots announced by several authors. We show that, in fact, these formulas do not determine any knot invariants. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 3–17, 2005.     

Line integral methods which preserve all invariants of conservative problems

Recently, the class of Hamiltonian Boundary Value Methods (HBVMs) has been introduced with the aim of preserving the energy associated with polynomial Hamiltonian systems (and, more in general, with all suitably regular Hamiltonian systems). However, many interesting problems admit other invariants besides the Hamiltonian function. It would be therefore useful to have methods able to preserve any number of independent invariants. This goal is achieved by generalizing the line-integral approach which HBVMs rely on, thus obtaining a number of generalizations which we collectively name Line Integral Methods. In fact, it turns out that this approach is quite general, so that it can be applied to any numerical method whose discrete solution can be suitably associated with a polynomial, such as a collocation method, as well as to any conservative problem. In particular, a completely conservative variant of both HBVMs and Gauss collocation methods is presented. Numerical experiments confirm the effectiveness of the proposed methods.     

Topological invariants from quantum group $$\mathcal {U}_{\xi }\mathfrak {sl}(2|1)$$ at roots of unity

In this article we construct link invariants and 3-manifold invariants from the quantum group associated with the Lie superalgebra \(\mathfrak {sl}(2|1)\). The construction is based on nilpotent irreducible finite dimensional representations of quantum group \(\mathcal {U}_{\xi }\mathfrak {sl}(2|1)\) where \(\xi \) is a root of unity of odd order. These constructions use the notion of modified trace and relative \( G \)-modular category of previous authors.