Showing 1–50 of 64 results for author: Singer, M

On deciding transcendence of power series

Authors: Alin Bostan, Bruno Salvy, Michael F. Singer

Abstract: It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or transcendental, is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that is efficient in prac… ▽ More It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or transcendental, is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that is efficient in practice. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Comments: 28 pages

MSC Class: 11J81; 16S32; 34M15

Separability Problems in Creative Telescoping

Authors: Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer

Abstract: For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. In this paper, we will explain how separability problems arise naturally in creative telescoping and present some criteria for testing the separability for several classes of special fu… ▽ More For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. In this paper, we will explain how separability problems arise naturally in creative telescoping and present some criteria for testing the separability for several classes of special functions, including rational functions, hyperexponential functions, hypergeometric terms, and algebraic functions. △ Less

Submitted 6 February, 2021; originally announced February 2021.

Comments: 19 pages

MSC Class: 68W30; 12H05; 12H10 ACM Class: I.1.2

On the algebraic dependence of holonomic functions

Authors: Julien Roques, Michael F. Singer

Abstract: We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the differential Galois group associated to f guaranteeing that g is a polynomial in f. We apply this to hypergeometric functions and iterated integrals. We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the differential Galois group associated to f guaranteeing that g is a polynomial in f. We apply this to hypergeometric functions and iterated integrals. △ Less

Submitted 3 November, 2020; originally announced November 2020.

On Differentially Algebraic Generating Series for Walks in the Quarter Plane

Authors: Charlotte Hardouin, Michael F Singer

Abstract: We refine necessary and sufficient conditions for the generating series of a weighted model of a quarter plane walk to be differentially algebraic. In addition, we give algorithms based on the theory of Mordell-Weil lattices, that, for each weighted model, yield polynomial conditions on the weights determining this property of the associated generating series. We refine necessary and sufficient conditions for the generating series of a weighted model of a quarter plane walk to be differentially algebraic. In addition, we give algorithms based on the theory of Mordell-Weil lattices, that, for each weighted model, yield polynomial conditions on the weights determining this property of the associated generating series. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 37 Pages

MSC Class: 05A15; 11G05; 30D05; 39A06

$D_k$ Gravitational Instantons as Superpositions of Atiyah-Hitchin and Taub-NUT Geometries

Authors: Bernd Schroers, Michael Singer

Abstract: We obtain $D_k$ ALF gravitational instantons by a gluing construction which captures, in a precise and explicit fashion, their interpretation as non-linear superpositions of the moduli space of centred $SU(2)$ monopoles, equipped with the Atiyah-Hitchin metric, and $k$ copies of the Taub-NUT manifold. The construction proceeds from a finite set of points in euclidean space, reflection symmetric ab… ▽ More We obtain $D_k$ ALF gravitational instantons by a gluing construction which captures, in a precise and explicit fashion, their interpretation as non-linear superpositions of the moduli space of centred $SU(2)$ monopoles, equipped with the Atiyah-Hitchin metric, and $k$ copies of the Taub-NUT manifold. The construction proceeds from a finite set of points in euclidean space, reflection symmetric about the origin, and depends on an adiabatic parameter which is incorporated into the geometry as a fifth dimension. Using a formulation in terms of hyperKähler triples on manifolds with boundaries, we show that the constituent Atiyah-Hitchin and Taub-NUT geometries arise as boundary components of the 5-dimensional geometry as the adiabatic parameter is taken to zero. △ Less

Submitted 6 January, 2021; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 44 pages, 6 figures, to appear in a special issue of The Quarterly Journal of Mathematics dedicated to Sir Michael Atiyah; presentation improved and typos corrected

On the Kernel curves associated with walks in the quarter plane

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc). The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc). △ Less

Submitted 11 December, 2020; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: This paper is mainly the old Section 4 of the paper: Walks in the quarter plane, genus zero case. arXiv admin note: substantial text overlap with arXiv:1710.02848

MSC Class: 05A15; 30D05

Journal ref: Springer Proceedings in Mathematics and Statistics. Vol. 373, (2021), p.61-89

Sparse Interpolation in Terms of Multivariate Chebyshev Polynomials

Authors: Evelyne Hubert, Michael F. Singer

Abstract: Sparse interpolation} refers to the exact recovery of a function as a short linear combination of basis functions from a limited number of evaluations. For multivariate functions, the case of the monomial basis is well studied, as is now the basis of exponential functions. Beyond the multivariate Chebyshev polynomial obtained as tensor products of univariate Chebyshev polynomials, the theory of ro… ▽ More Sparse interpolation} refers to the exact recovery of a function as a short linear combination of basis functions from a limited number of evaluations. For multivariate functions, the case of the monomial basis is well studied, as is now the basis of exponential functions. Beyond the multivariate Chebyshev polynomial obtained as tensor products of univariate Chebyshev polynomials, the theory of root systems allows to define a variety of generalized multivariate Chebyshev polynomials that have connections to topics such as Fourier analysis and representations of Lie algebras. We present a deterministic algorithm to recover a function that is the linear combination of at most r such polynomials from the knowledge of r and an explicitly bounded number of evaluations of this function. △ Less

Submitted 24 January, 2020; originally announced January 2020.

MSC Class: 13A50; 17B10; 17B22; 30E05; 33C52; 33F10; 68W30

Local rigidity of Einstein 4-manifolds satisfying a chiral curvature condition

Authors: Joel Fine, Kirill Krasnov, Michael Singer

Abstract: Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem, which proves local rigidity of Einstein metrics with negative sectional curvatu… ▽ More Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem, which proves local rigidity of Einstein metrics with negative sectional curvatures. Our hypotheses are roughly one half of Koiso's. Our proof uses a new variational description of Einstein 4-manifolds, as critical points of the so-called poure connection action S. The key step in the proof is that when R-plus is negative definite, the Hessian of S is strictly positive modulo gauge. △ Less

Submitted 15 October, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 16 pages. v2 small cosmetic adjustments, text agrees with published version, to appear in Mathematische Annalen

MSC Class: 53C25; 58E30

Monopoles and the Sen Conjecture: Part I

Authors: Karsten Fritzsch, Chris Kottke, Michael Singer

Abstract: We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles of charge k decomposing into widely separated monopoles of lower charge, and the leading order asymptotic of the metric generalizes the one obtained by Gibbons,… ▽ More We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles of charge k decomposing into widely separated monopoles of lower charge, and the leading order asymptotic of the metric generalizes the one obtained by Gibbons, Manton and Bielawski in the case of complete decomposition into monopoles of unit charge. From the structure of the compactifications, we prove part of Sen's conjecture for the L2 cohomology of the strongly centered moduli spaces by adapting an argument of Segal and Selby. △ Less

Submitted 6 November, 2018; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: 28 pages. Part I contains a description of the compactification and a proof of part of Sen's conjecture given the compactification. The proof of a key theorem needed for the construction of the compactification will appear in Part II

Walks in the quarter plane, genus zero case

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients. We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients. △ Less

Submitted 19 February, 2020; v1 submitted 8 October, 2017; originally announced October 2017.

Comments: Journal of Combinatorial Theory, Series A

MSC Class: 05A15; 30D05; 39A06

Journal ref: Journal of Combinatorial Theory, Series A, (2020), vol. 174, p. 105251

Kernel partial least squares for stationary data

Authors: Marco Singer, Tatyana Krivobokova, Axel Munk

Abstract: We consider the kernel partial least squares algorithm for non-parametric regression with stationary dependent data. Probabilistic convergence rates of the kernel partial least squares estimator to the true regression function are established under a source and an effective dimensionality condition. It is shown both theoretically and in simulations that long range dependence results in slower conv… ▽ More We consider the kernel partial least squares algorithm for non-parametric regression with stationary dependent data. Probabilistic convergence rates of the kernel partial least squares estimator to the true regression function are established under a source and an effective dimensionality condition. It is shown both theoretically and in simulations that long range dependence results in slower convergence rates. A protein dynamics example shows high predictive power of kernel partial least squares. △ Less

Submitted 12 June, 2017; originally announced June 2017.

On the nature of the generating series of walks in the quarter plane

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove t… ▽ More In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove that certain of these generating series do not satisfy any nontrivial nonlinear algebraic differential equation with rational coefficients. △ Less

Submitted 13 January, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: To appear in Inventiones Mathematicae

Journal ref: Inventiones Mathematicae, 213 (2018), no.1, 139-203

Galois groups for integrable and projectively integrable linear difference equations

Authors: Carlos E. Arreche, Michael F. Singer

Abstract: We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $σ$ that is either a shift $σ:x\mapsto x+1$, $q$-dilation $σ:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root of unity, or Mahler operator $σ:x\mapsto x^q$ with $q\in\mathbb{Z}_{\geq 2}$. Such a system is integrable if its solutions also satisfy a linear differential system; it is pr… ▽ More We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $σ$ that is either a shift $σ:x\mapsto x+1$, $q$-dilation $σ:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root of unity, or Mahler operator $σ:x\mapsto x^q$ with $q\in\mathbb{Z}_{\geq 2}$. Such a system is integrable if its solutions also satisfy a linear differential system; it is projectively integrable if it becomes integrable "after moding out by scalars." We apply recent results of Schäfke and Singer to characterize which groups can occur as Galois groups of integrable or projectively integrable linear difference systems. In particular, such groups must be solvable. Finally, we give hypertranscendence criteria. △ Less

Submitted 29 July, 2016; originally announced August 2016.

MSC Class: 39A10; 39A06; 12H10; 12H05; 20H20

Journal ref: Journal of Algebra, 480:423-449, (2017)

Mahler equations and rationality

Authors: Reinhard Schäfke, Michael F. Singer

Abstract: We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent system… ▽ More We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent systems of linear differential and difference equations", arXiv:1605.02616 [math.CA], by the same authors. △ Less

Submitted 23 March, 2017; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1605.02616 A few grammatical/typographical changes and text added to clarify the proofs of Lemmas 4 and 8

MSC Class: 39A06; 39A13; 39A45

Consistent systems of linear differential and difference equations

Authors: Reinhard Schäfke, Michael F. Singer

Abstract: We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), σY(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $σ$ a shift operator $σ(x) = x+a$, $q$-dilation operator $σ(x) = qx$ or Mahler operator $σ(x) = x^p$ and systems of two linear difference equations \begin{eqnarray*} σ_1 Y(x) =A(x)Y(x), σ_2 Y(x) =B(x)Y(x) \end{eqnarray*} with… ▽ More We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), σY(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $σ$ a shift operator $σ(x) = x+a$, $q$-dilation operator $σ(x) = qx$ or Mahler operator $σ(x) = x^p$ and systems of two linear difference equations \begin{eqnarray*} σ_1 Y(x) =A(x)Y(x), σ_2 Y(x) =B(x)Y(x) \end{eqnarray*} with $(σ_1,σ_2)$ a sufficiently independent pair of shift operators, pair of $q$-dilation operators or pair of Mahler operators. Here $A(x)$ and $B(x)$ are $n\times n$ matrices with rational function entries. Assuming a consistency hypothesis, we show that such system can be reduced to a system of a very simple form. Using this we characterize functions satisfying two linear scalar differential or difference equations with respect to these operators. We also indicate how these results have consequences both in the theory of automatic sets, leading to a new proof of Cobham's Theorem, and in the Galois theories of linear difference and differential equations, leading to hypertranscendence results. △ Less

Submitted 20 June, 2017; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: Revised version. References added and improvements in exposition made. Accepted for publication in the Journal of the European Mathematical Society

MSC Class: 39A05 (Primary); 34A30; 34K05; 34M03; 39A13; 39A45 (Secondary)

The space of hyperkähler metrics on a 4-manifold with boundary

Authors: Joel Fine, Jason D. Lotay, Michael Singer

Abstract: Let X be a compact 4-manifold with boundary. We study the space of hyperkähler triples on X, modulo diffeomorphisms which are the identity on the boundary. We prove that this moduli space is a smooth infinite-dimensional manifold and describe the tangent space in terms of triples of closed anti-self-dual 2-forms. We also explore the corresponding boundary value problem: a hyperkähler triple restri… ▽ More Let X be a compact 4-manifold with boundary. We study the space of hyperkähler triples on X, modulo diffeomorphisms which are the identity on the boundary. We prove that this moduli space is a smooth infinite-dimensional manifold and describe the tangent space in terms of triples of closed anti-self-dual 2-forms. We also explore the corresponding boundary value problem: a hyperkähler triple restricts to a closed framing of the bundle of 2-forms on the boundary; we identify the infinitesimal deformations of this closed framing that can be filled in to hyperkähler deformations of the original triple. Finally we study explicit examples coming from gravitational instantons with isometric actions of SU(2). △ Less

Submitted 6 February, 2017; v1 submitted 26 March, 2016; originally announced March 2016.

Comments: 31 pages. v2: minor corrections and streamlined exposition v3: typos corrected, version accepted for publication in Forum of Mathematics, Sigma

MSC Class: 53C26; 58J32

Journal ref: Forum of Mathematics, Sigma, 5 (2017)

Partial compactification of monopoles and metric asymptotics

Authors: Chris Kottke, Michael Singer

Abstract: We construct a partial compactification of the moduli space, M_k, of SU(2) magnetic monopoles on R^3, wherein monopoles of charge k decompose into widely separated 'monopole clusters' of lower charge going off to infinity at comparable rates. The hyperKahler metric on M_k has a complete asymptotic expansion up to the boundary, the leading term of which generalizes the asymptotic metric discovered… ▽ More We construct a partial compactification of the moduli space, M_k, of SU(2) magnetic monopoles on R^3, wherein monopoles of charge k decompose into widely separated 'monopole clusters' of lower charge going off to infinity at comparable rates. The hyperKahler metric on M_k has a complete asymptotic expansion up to the boundary, the leading term of which generalizes the asymptotic metric discovered by Bielawski, Gibbons and Manton in the case that each lower charge is 1. △ Less

Submitted 9 December, 2015; originally announced December 2015.

Comments: 113 pages

Partial least squares for dependent data

Authors: Marco Singer, Tatyana Krivobokova, Bert L. de Groot, Axel Munk

Abstract: The partial least squares algorithm for dependent data realisations is considered. Consequences of ignoring the dependence for the algorithm performance are studied both theoretically and in simulations. It is shown that ignoring certain non-stationary dependence structures leads to inconsistent estimation. A simple modification of the partial least squares algorithm for dependent data is proposed… ▽ More The partial least squares algorithm for dependent data realisations is considered. Consequences of ignoring the dependence for the algorithm performance are studied both theoretically and in simulations. It is shown that ignoring certain non-stationary dependence structures leads to inconsistent estimation. A simple modification of the partial least squares algorithm for dependent data is proposed and consistency of corresponding estimators is shown. A real-data example on protein dynamics llustrates a superior predictive power of the method and the practical relevance of the problem. △ Less

Submitted 3 March, 2016; v1 submitted 16 October, 2015; originally announced October 2015.

Desingularization of Ore Operators

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. △ Less

Submitted 23 August, 2014; originally announced August 2014.

Parallel Telescoping and Parameterized Picard--Vessiot Theory

Authors: Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer

Abstract: Parallel telescoping is a natural generalization of differential creative-telescoping for single integrals to line integrals. It computes a linear ordinary differential operator $L$, called a parallel telescoper, for several multivariate functions, such that the applications of $L$ to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guarante… ▽ More Parallel telescoping is a natural generalization of differential creative-telescoping for single integrals to line integrals. It computes a linear ordinary differential operator $L$, called a parallel telescoper, for several multivariate functions, such that the applications of $L$ to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteeing the existence of parallel telescopers for differentially finite functions, and develop an algorithm to compute minimal ones for compatible hyperexponential functions. Besides computing annihilators of parametric line integrals, we use the parallel telescoping for determining Galois groups of parameterized partial differential systems of first order. △ Less

Submitted 19 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: 12H05; 33F10

Asymptotics of Partial Density Functions for Divisors

Authors: Julius Ross, Michael Singer

Abstract: We study the asymptotic behaviour of the partial density function associated to sections of a positive hermitian line bundle that vanish to a particular order along a fixed divisor $Y$. Assuming the data in question is invariant under an $S^1$-action (locally around $Y$) we prove that this density function has a distributional asymptotic expansion that is in fact smooth upon passing to a suitable… ▽ More We study the asymptotic behaviour of the partial density function associated to sections of a positive hermitian line bundle that vanish to a particular order along a fixed divisor $Y$. Assuming the data in question is invariant under an $S^1$-action (locally around $Y$) we prove that this density function has a distributional asymptotic expansion that is in fact smooth upon passing to a suitable real blow-up. Moreover we recover the existence of the "forbidden region" $R$ on which the density function is exponentially small, and prove that it has an "error-function" behaviour across the boundary $\partial R$. As an illustrative application, we use this to study a certain natural function that can be associated to a divisor in a Kähler manifold. △ Less

Submitted 23 August, 2016; v1 submitted 4 December, 2013; originally announced December 2013.

Comments: 36 pages. Minor changes. Published version, to appear in The Journal of Geometric Analysis

MSC Class: 32Q15; 32A25; 58Jxx

Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations

Authors: Andrey Minchenko, Alexey Ovchinnikov, Michael F. Singer

Abstract: We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests wh… ▽ More We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it. △ Less

Submitted 23 December, 2013; v1 submitted 9 April, 2013; originally announced April 2013.

Comments: 61 pages

MSC Class: 12H05; 12H20; 13N10; 20G05; 20H20; 34M15

Journal ref: International Mathematics Research Notices 2015 (2015) 1733-1793

Unipotent differential algebraic groups as parameterized differential Galois groups

Authors: Andrey Minchenko, Alexey Ovchinnikov, Michael F. Singer

Abstract: We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has… ▽ More We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type 0. △ Less

Submitted 4 July, 2013; v1 submitted 1 January, 2013; originally announced January 2013.

Comments: minor revision

MSC Class: 12H05; 12H20; 13N10; 20G05; 20H20; 34M15

Journal ref: J. Inst. Math. Jussieu 13 (2014) 671-700

On the Summability of Bivariate Rational Functions

Authors: Shaoshi Chen, Michael F. Singer

Abstract: We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions. We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions. △ Less

Submitted 23 October, 2012; originally announced October 2012.

Comments: 24 pages

Residues and Telescopers for Rational Functions

Authors: Shaoshi Chen, Michael F. Singer

Abstract: We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concept b… ▽ More We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concept behind these considerations is a generalization of the notion of residue in the continuous case to an analogous concept in the discrete and q-discrete cases. △ Less

Submitted 19 March, 2012; originally announced March 2012.

Comments: 30 pages

Telescopers for Rational and Algebraic Functions via Residues

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for… ▽ More We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of the telescopers. △ Less

Submitted 10 January, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

MSC Class: 33F10; 68W30 ACM Class: I.1.2

Toric partial density functions and stability of toric varieties

Authors: Florian T. Pokorny, Michael Singer

Abstract: Let $(L, h)\to (X, ω)$ denote a polarized toric Kähler manifold. Fix a toric submanifold $Y$ and denote by $\hatρ_{tk}:X\to \mathbb{R}$ the partial density function corresponding to the partial Bergman kernel projecting smooth sections of $L^k$ onto holomorphic sections of $L^k$ that vanish to order at least $tk$ along $Y$, for fixed $t>0$ such that $tk\in \mathbb{N}$. We prove the existence of a… ▽ More Let $(L, h)\to (X, ω)$ denote a polarized toric Kähler manifold. Fix a toric submanifold $Y$ and denote by $\hatρ_{tk}:X\to \mathbb{R}$ the partial density function corresponding to the partial Bergman kernel projecting smooth sections of $L^k$ onto holomorphic sections of $L^k$ that vanish to order at least $tk$ along $Y$, for fixed $t>0$ such that $tk\in \mathbb{N}$. We prove the existence of a distributional expansion of $\hatρ_{tk}$ as $k\to \infty$, including the identification of the coefficient of $k^{n-1}$ as a distribution on $X$. This expansion is used to give a direct proof that if $ω$ has constant scalar curvature, then $(X, L)$ must be slope semi-stable with respect to $Y$. Similar results are also obtained for more general partial density functions. These results have analogous applications to the study of toric K-stability of toric varieties. △ Less

Submitted 19 September, 2013; v1 submitted 22 November, 2011; originally announced November 2011.

Comments: Accepted by Mathematische Annalen on 13 September 2013

MSC Class: 32Q15; 32A25; 14M25; 53D20; 53C21; 58Jxx

Linear Algebraic Groups as Parameterized Picard-Vessiot Galois Groups

Authors: Michael F Singer

Abstract: We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x' = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group. We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x' = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: 18 pages

MSC Class: 12H05; 20G15; 34M03; 34M15; 34M50

Monodromy groups of parameterized linear differential equations with regular singularities

Authors: Claude Mitschi, Michael F. Singer

Abstract: We study the notion of regular singularities for parameterized complex ordinary linear differential systems, prove an analogue of the Schlesinger theorem for systems with regular singularities and solve both a parameterized version of the weak Riemann-Hilbert Problem and a special case of the inverse problem in parameterized Picard-Vessiot theory. We study the notion of regular singularities for parameterized complex ordinary linear differential systems, prove an analogue of the Schlesinger theorem for systems with regular singularities and solve both a parameterized version of the weak Riemann-Hilbert Problem and a special case of the inverse problem in parameterized Picard-Vessiot theory. △ Less

Submitted 1 June, 2012; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: Version to appear in the Bulletin of the London Mathematical Society

MSC Class: 34M03; 12H05; 34M15; 34M35; 34M50

A Jordan-Hoelder Theorem for Differential Algebraic Groups

Authors: Phyllis J. Cassidy, Michael F. Singer

Abstract: We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a uniqueness result, prove several properties of almost simple groups and, in the ordinary differential case, classify almost simple linear differential algebraic groups… ▽ More We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a uniqueness result, prove several properties of almost simple groups and, in the ordinary differential case, classify almost simple linear differential algebraic groups. △ Less

Submitted 7 October, 2010; v1 submitted 16 March, 2010; originally announced March 2010.

Comments: 39 pages; typos corrected, and more detailed explanations added. This is the final version to be published in the Journal of Algebra

MSC Class: 12H05; 35G35; 22E65

Projective Isomonodromy and Galois Groups

Authors: Claude Mitschi, Michael F. Singer

Abstract: In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic condition for a paramaterized linear differential equation to be projectively isomonodromic, in terms of the derived group of its parameterized Picard-Vessiot group. In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic condition for a paramaterized linear differential equation to be projectively isomonodromic, in terms of the derived group of its parameterized Picard-Vessiot group. △ Less

Submitted 1 June, 2012; v1 submitted 10 February, 2010; originally announced February 2010.

Comments: Version that will appear in the Proceedings of the American Mathematical Society

MSC Class: 34M56; 12H05; 34M55

Liouvillian Solutions of Difference-Differential Equations

Authors: Ruyong Feng, Michael F. Singer, Min Wu

Abstract: For a field k… ▽ More For a field k$with an automorphism σand a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y) = AY, δ(Y) = BY} over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x,t), σ(x) = x+1, δ= d/dt$ and the size of the system is a prime. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 53 pages

The index of projective families of elliptic operators: the decomposable case

Authors: V. Mathai, R. B. Melrose, I. M. Singer

Abstract: An index theory for projective families of elliptic pseudodifferential operators is developed when the twisting, i.e. Dixmier-Douady, class is decomposable. One of the features of this special case is that the corresponding Azumaya bundle can be realized in terms of smoothing operators. The topological and the analytic index of a projective family of elliptic operators both take values in the tw… ▽ More An index theory for projective families of elliptic pseudodifferential operators is developed when the twisting, i.e. Dixmier-Douady, class is decomposable. One of the features of this special case is that the corresponding Azumaya bundle can be realized in terms of smoothing operators. The topological and the analytic index of a projective family of elliptic operators both take values in the twisted K-theory of the parameterizing space. The main result is the equality of these two notions of index. The twisted Chern character of the index class is then computed by a variant of Chern-Weil theory. △ Less

Submitted 16 August, 2009; v1 submitted 29 August, 2008; originally announced September 2008.

Comments: 37 pages, Latex2e, canonical example included in Appendix C

MSC Class: 58J20; 58J22

Journal ref: Asterisque,328:255-296, 2009

Scattering configuration spaces

Authors: Richard Melrose, Michael Singer

Abstract: For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in $X^n.$ The resulting space is shown to map smoothly, by a b-fibration, cov… ▽ More For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in $X^n.$ The resulting space is shown to map smoothly, by a b-fibration, covering the usual projection, to the lower stretched products. It is anticipated that this manifold with corners, or at least its combinatorial structure, is a universal model for phenomena on asymptotically flat manifolds in which particle clusters emerge at infinity. In particular this is the case for magnetic monopoles on $\mathbb{R}^3$ in which case these spaces are closely related to compactifications of the moduli spaces with the boundary faces mapping to lower charge idealized moduli spaces. △ Less

Submitted 14 August, 2008; originally announced August 2008.

MSC Class: 58A05; 58H05

$U$-tests for variance components in one-way random effects models

Authors: Juvêncio S. Nobre, Julio M. Singer, Mervyn J. Silvapulle

Abstract: We consider a test for the hypothesis that the within-treatment variance component in a one-way random effects model is null. This test is based on a decomposition of a $U$-statistic. Its asymptotic null distribution is derived under the mild regularity condition that the second moment of the random effects and the fourth moment of the within-treatment errors are finite. Under the additional ass… ▽ More We consider a test for the hypothesis that the within-treatment variance component in a one-way random effects model is null. This test is based on a decomposition of a $U$-statistic. Its asymptotic null distribution is derived under the mild regularity condition that the second moment of the random effects and the fourth moment of the within-treatment errors are finite. Under the additional assumption that the fourth moment of the random effect is finite, we also derive the distribution of the proposed $U$-test statistic under a sequence of local alternative hypotheses. We report the results of a simulation study conducted to compare the performance of the $U$-test with that of the usual $F$-test. The main conclusions of the simulation study are that (i) under normality or under moderate degrees of imbalance in the design, the $F$-test behaves well when compared to the $U$-test, and (ii) when the distribution of the random effects and within-treatment errors are nonnormal, the $U$-test is preferable even when the number of treatments is small. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: Published in at http://dx.doi.org/10.1214/193940307000000149 the IMS Collections (http://www.imstat.org/publications/imscollections.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-COLL1-IMSCOLL115 MSC Class: 62F03 (Primary) 62F05 (Secondary)

Journal ref: IMS Collections 2008, Vol. 1, 197-210

Differential Galois Theory of Linear Difference Equations

Authors: Charlotte Hardouin, Michael F. Singer

Abstract: We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain… ▽ More We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain classes of q-hypergeometric functions. △ Less

Submitted 9 January, 2008; originally announced January 2008.

Comments: 50 pages

MSC Class: 12H05; 12H10; 33B15; 39A10; 39A15

Introduction to the Galois Theory of Linear Differential Equations

Authors: Michael F. Singer

Abstract: This is an expanded version of the 10 lectures given as the 2006 London Mathematical Society Invited Lecture Series at the Heriot-Watt University 31 July - 4 August 2006. This is an expanded version of the 10 lectures given as the 2006 London Mathematical Society Invited Lecture Series at the Heriot-Watt University 31 July - 4 August 2006. △ Less

Submitted 9 January, 2008; v1 submitted 25 December, 2007; originally announced December 2007.

Comments: 82 pages; some typos corrected

MSC Class: 12H05 (Primary) 34M50; 12H20 (Secondary)

Some remarks on conic degeneration and bending of Poincaré-Einstein metrics

Authors: Rafe Mazzeo, Michael Singer

Abstract: Let $(M,g)$ be a compact Kähler-Einstein manifold with $c_1 > 0$. Denote by $K\to M$ the canonical line-bundle, with total space $X$, and $X_0$ the singular space obtained by blowing down $X$ along its zero section. We employ a construction by Page and Pope and discuss an interesting multi-parameter family of Poincaré--Einstein metrics on $X$. One 1-parameter subfamily $\{g_t\}_{t>0}$ has the pr… ▽ More Let $(M,g)$ be a compact Kähler-Einstein manifold with $c_1 > 0$. Denote by $K\to M$ the canonical line-bundle, with total space $X$, and $X_0$ the singular space obtained by blowing down $X$ along its zero section. We employ a construction by Page and Pope and discuss an interesting multi-parameter family of Poincaré--Einstein metrics on $X$. One 1-parameter subfamily $\{g_t\}_{t>0}$ has the property that as $t\searrow 0$, $g_t$ converges to a PE metric $g_0$ on $X_0$ with conic singularity, while $t^{-1}g_t$ converges to a complete Ricci-flat Kähler metric $\hat{g}_0$ on $X$. Another 1-parameters subfamily has an edge singularity along the zero section of $X$, with cone angle depending on the parameter, but has constant conformal infinity. These illustrate some unexpected features of the Poincaré-Einstein moduli space. △ Less

Submitted 10 September, 2007; originally announced September 2007.

MSC Class: 53C25

On the Definitions of Difference Galois Groups

Authors: Zoé Chatzidakis, Charlotte Hardouin, Michael F. Singer

Abstract: We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of Picard-Vessiot extensions over fields with not necessarily algebraically closed subfields of constants. We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of Picard-Vessiot extensions over fields with not necessarily algebraically closed subfields of constants. △ Less

Submitted 21 May, 2007; originally announced May 2007.

MSC Class: 12H10; 03C60; 12L12; 39A13

Constant scalar curvature Kaehler surfaces and parabolic polystability

Authors: Yann Rollin, Michael A. Singer

Abstract: A complex ruled surface admits an iterated blow-up encoded by a parabolic structure with rational weights. Under a condition of parabolic stability, one can construct a Kaehler metric of constant scalar curvature on the blow-up according to math.DG/0412405. We present a generalization of this construction to the case of parabolically polystable ruled surfaces. Thus we can produce numerous exampl… ▽ More A complex ruled surface admits an iterated blow-up encoded by a parabolic structure with rational weights. Under a condition of parabolic stability, one can construct a Kaehler metric of constant scalar curvature on the blow-up according to math.DG/0412405. We present a generalization of this construction to the case of parabolically polystable ruled surfaces. Thus we can produce numerous examples of Kaehler surfaces of constant scalar curvature with circle or toric symmetry. △ Less

Submitted 4 December, 2007; v1 submitted 8 March, 2007; originally announced March 2007.

Comments: 28 pages; no figures; v2 relaxed notion of sporadic parabolic structures

MSC Class: 53C55; 53C25; 53C20; 53C21; 14E15

Extremal metrics on blow ups

Authors: C. Arezzo, F. Pacard, M. Singer

Abstract: Given a compact Kahler manifold with an extremal metric (M,ω), we give sufficient conditions on finite sets points p_1,...,p_n and weights a_1,...a_n for which the blow up of M at p_1,...,p_n has an extremal metric in the Kahler class π^*[ω] - ε(a_1 PD[E_1] + .. + a_n PD[E_n]) for all εsufficiently small. In particular our result implies that if (M,ω) is a toric manifold and p_1,...,p_n is any s… ▽ More Given a compact Kahler manifold with an extremal metric (M,ω), we give sufficient conditions on finite sets points p_1,...,p_n and weights a_1,...a_n for which the blow up of M at p_1,...,p_n has an extremal metric in the Kahler class π^*[ω] - ε(a_1 PD[E_1] + .. + a_n PD[E_n]) for all εsufficiently small. In particular our result implies that if (M,ω) is a toric manifold and p_1,...,p_n is any subset of the fixed locus of the torus action, then such metrics exist for any choice of the weights. The relationship with previous constructions of the first two authors for Kahler constant scalar curvature metrics is discussed. △ Less

Submitted 31 December, 2006; originally announced January 2007.

Comments: 39 pages

MSC Class: 58E11; 32C17

Journal ref: Duke Math. J. 157, no. 1 (2011), 1-51

Equivariant and fractional index of projective elliptic operators

Authors: V. Mathai, R. B. Melrose, I. M. Singer

Abstract: In this note the fractional analytic index, for a projective elliptic operator associated to an Azumaya bundle, of DG/0402329 is related to the equivariant index of Atiyah and Singer for an associated transversally elliptic operator. In this note the fractional analytic index, for a projective elliptic operator associated to an Azumaya bundle, of DG/0402329 is related to the equivariant index of Atiyah and Singer for an associated transversally elliptic operator. △ Less

Submitted 1 July, 2007; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: 7 pages; final version, to appear in JDG

Journal ref: Journal of Differential Geometry, 78 no.3 (2008) 465-473

A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules

Authors: Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng

Abstract: We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have… ▽ More We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered. △ Less

Submitted 21 April, 2006; originally announced April 2006.

Comments: To appear in the Proceedings of ISSAC 2006

Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations

Authors: Michael F. Singer

Abstract: McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first. McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first. △ Less

Submitted 1 February, 2006; originally announced February 2006.

Comments: 6 pages

MSC Class: 03C10; 35A05; 12H05

Continued fractions and Einstein manifolds of infinite topological type

Authors: David M. J. Calderbank, Michael A. Singer

Abstract: We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) o… ▽ More We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) on which we constructed complete self-dual Einstein metrics in previous work. △ Less

Submitted 30 August, 2005; originally announced August 2005.

Comments: 16 pages; 1 figure

MSC Class: 53C25; 58J60

Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups

Authors: Phyllis J. Cassidy, Michael F. Singer

Abstract: We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into… ▽ More We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into this theory and show how results from the theory of linear differential algebraic groups may be used to classify systems of second order linear differential equations. △ Less

Submitted 17 February, 2005; originally announced February 2005.

MSC Class: 34M50; 12H05;12H20

Construction of Kaehler surfaces with constant scalar curvature

Authors: Yann Rollin, Michael A. Singer

Abstract: We present new constructions of Kaehler metrics with constant scalar curvature on complex surfaces, in particular on certain del Pezzo surfaces. Some higher dimensional examples are provided as well. We present new constructions of Kaehler metrics with constant scalar curvature on complex surfaces, in particular on certain del Pezzo surfaces. Some higher dimensional examples are provided as well. △ Less

Submitted 14 April, 2005; v1 submitted 20 December, 2004; originally announced December 2004.

Comments: 20 pages; 5 figures ; Higher dimensional examples added in v2

MSC Class: 53C55; 53C25; 53C20; 53C21; 14E15

Toric selfdual Einstein metrics on compact orbifolds

Authors: David M. J. Calderbank, Michael A. Singer

Abstract: We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in terms of the intersection form of the 4-orbifold. We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in terms of the intersection form of the 4-orbifold. △ Less

Submitted 8 February, 2005; v1 submitted 2 May, 2004; originally announced May 2004.

Comments: 14 pages; substantially revised with the addition of a new classification result and some missing details in the proofs

MSC Class: 53C25

Journal ref: Duke Math. J. 133 (2006) 237-258.

Non-minimal scalar-flat Kaehler surfaces and parabolic stability

Authors: Yann Rollin, Michael A. Singer

Abstract: A new construction is presented of scalar-flat Kaehler metrics on non-minimal ruled surfaces. The method is based on the resolution of singularities of orbifold ruled surfaces which are closely related to rank-2 parabolically stable holomorphic bundles. This rather general construction is shown also to give new examples of low genus: in particular, it is shown that CP^2 blown up at 10 suitably c… ▽ More A new construction is presented of scalar-flat Kaehler metrics on non-minimal ruled surfaces. The method is based on the resolution of singularities of orbifold ruled surfaces which are closely related to rank-2 parabolically stable holomorphic bundles. This rather general construction is shown also to give new examples of low genus: in particular, it is shown that CP^2 blown up at 10 suitably chosen points, admits a scalar-flat Kaehler metric; this answers a question raised by Claude LeBrun in 1986 in connection with the classification of compact self-dual 4-manifolds. △ Less

Submitted 9 December, 2004; v1 submitted 22 April, 2004; originally announced April 2004.

Comments: Final version, 30 pages, the appendix has been suppressed and will appear elsewhere, to be published in Inventiones Mathematicae

MSC Class: 53C55; 53C25; 53C20; 53C21; 14E15

Journal ref: Inventiones Mathematicae, vol 162 (2005) p237-270

On the Constructive Inverse Problem in Differential Galois Theory

Authors: William J. Cook, Claude Mitschi, Michael F. Singer

Abstract: We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a product of groups of type An, Cn, Dn, E6, or E7, we construct a differential equation over C(x) having Galois group G. We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a product of groups of type An, Cn, Dn, E6, or E7, we construct a differential equation over C(x) having Galois group G. △ Less

Submitted 5 June, 2005; v1 submitted 22 March, 2004; originally announced March 2004.

Comments: Several misprints have been corrected and the statement of Propositions 3.2 and 3.4 have been made more precise and their proofs expanded

MSC Class: 34M50 (Primary) 12H05; 12H20 (Secondary)