Operator pencil passing through a given operator

Let $\Delta$ be a linear differential operator acting on the space of densities of a given weight \lo on a manifold $M$. One can consider a pencil of operators \hPi(\Delta)=\{\Delta_\l\} passing through the operator $\Delta$ such that any \Delta_\l is a linear differential operator acting on densities of weight \l. This pencil can be identified with a linear differential operator \hD acting on the algebra of densities of all weights. The existence of an invariant scalar product in the algebra of densities implies a natural decomposition of operators, i.e. pencils of self-adjoint and anti-self-adjoint operators. We study lifting maps that are on one hand equivariant with respect to divergenceless vector fields, and, on the other hand, with values in self-adjoint or anti-self-adjoint operators. In particular we analyze the relation between these two concepts, and apply it to the study of \diff(M)-equivariant liftings. Finally we briefly consider the case of liftings equivariant with respect to the algebra of projective transformations and describe all regular self-adjoint and anti-self-adjoint liftings.Comment: 32 pages, LaTeX fil

Springer basic sets and modular Springer correspondence for classical types

We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (for representations in odd characteristic). In order to do so, we compare the order on bipartitions introduced by Dipper and James with the order induced by the Springer correspondence.Comment: 31 page

Spectra of Monadic Second-Order Formulas with One Unary Function

We establish the eventual periodicity of the spectrum of any monadic second-order formula where: (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary

Two-variable Logic with Counting and a Linear Order

We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of two linear orders (in the presence of two other binary symbols). In the case of one linear order it is NEXPTIME-complete, even in the presence of the successor relation. Surprisingly, the complexity of the problem explodes when we add one binary symbol more: C2 with one linear order and in the presence of other binary predicate symbols is equivalent, under elementary reductions, to the emptiness problem for multicounter automata

Gravitational wave forms for a three-body system in Lagrange's orbit: parameter determinations and a binary source test

Continuing work initiated in an earlier publication [Torigoe et al. Phys. Rev. Lett. {\bf 102}, 251101 (2009)], gravitational wave forms for a three-body system in Lagrange's orbit are considered especially in an analytic method. First, we derive an expression of the three-body wave forms at the mass quadrupole, octupole and current quadrupole orders. By using the expressions, we solve a gravitational-wave {\it inverse} problem of determining the source parameters to this particular configuration (three masses, a distance of the source to an observer, and the orbital inclination angle to the line of sight) through observations of the gravitational wave forms alone. For this purpose, the chirp mass to a three-body system in the particular configuration is expressed in terms of only the mass ratios by deleting initial angle positions. We discuss also whether and how a binary source can be distinguished from a three-body system in Lagrange's orbit or others.Comment: 21 pages, 3 figures, 1 table; text improved, typos corrected; accepted for publication in PR