Showing 1–19 of 19 results for author: Bøgvad, R

Rodrigues' descendants of a polynomial and Boutroux curves

Authors: Rikard Bøgvad, Christian Hägg, Boris Shapiro

Abstract: Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$. Our description of this asymptotic is expressed in terms of an explicit harmon… ▽ More Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$. Our description of this asymptotic is expressed in terms of an explicit harmonic function uniquely determined by the plane rational curve emerging from the application of the saddle point method to the integral representation of the latter polynomials using Cauchy's formula for higher derivatives. As a consequence of our method, we conclude that this curve is birationally equivalent to the zero locus of the bivariate algebraic equation satisfied by the Cauchy transform of the asymptotic root-counting measure for the latter polynomial sequence. We show that this harmonic function is also associated with an abelian differential having only purely imaginary periods and the latter plane curve belongs to the class of Boutroux curves initially introduced by Bertola. As an additional relevant piece of information, we derive a linear ordinary differential equation satisfied by $\{R_{[αn],n,P}(z)\}$ as well as higher derivatives of powers of more general functions. △ Less

Submitted 23 May, 2023; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 54 pages, revised final version, to appear in Constructive Approximation

Generalizing Tran's Conjecture

Authors: Rikard Bögvad, Innocent Ndikubwayo, Boris Shapiro

Abstract: A conjecture of Khang Tran [6] claims that for an arbitrary pair of polynomials $A(z)$ and $B(z)$, every zero of every polynomial in the sequence $\{P_n(z)\}_{n=1}^\infty$ satisfying the three-term recurrence relation of length $k$ $$P_n(z)+B(z)P_{n-1}(z)+A(z)P_{n-k}(z)=0 $$ with the standard initial conditions $P_0(z)=1$, $P_{-1}(z)=\dots=P_{-k+1}(z)=0$ which is not a zero of $A(z)$ lies on the r… ▽ More A conjecture of Khang Tran [6] claims that for an arbitrary pair of polynomials $A(z)$ and $B(z)$, every zero of every polynomial in the sequence $\{P_n(z)\}_{n=1}^\infty$ satisfying the three-term recurrence relation of length $k$ $$P_n(z)+B(z)P_{n-1}(z)+A(z)P_{n-k}(z)=0 $$ with the standard initial conditions $P_0(z)=1$, $P_{-1}(z)=\dots=P_{-k+1}(z)=0$ which is not a zero of $A(z)$ lies on the real (semi)-algebraic curve $\mathcal C \subset \mathbb {C}$ given by $$\Im \left(\frac{B^k(z)}{A(z)}\right)=0\quad {\rm and}\quad 0\le (-1)^k\Re \left(\frac{B^k(z)}{A(z)}\right)\le \frac{k^k}{(k-1)^{k-1}}.$$ In this short note, we show that for the recurrence relation (generalizing the latter recurrence of Tran) given by $$P_n(z)+B(z)P_{n-\ell}(z)+A(z)P_{n-k}(z)=0, $$ with coprime $k$ and $\ell$ and the same standard initial conditions as above, every root of $P_n(z)$ which is not a zero of $A(z)B(z)$ belongs to the real algebraic curve $\mathcal C_{\ell,k}$ given by $$\Im \left(\frac{B^k(z)}{A^\ell(z)}\right)=0.$$ △ Less

Submitted 16 March, 2020; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: 7 pages, 1 figure

MSC Class: 2010 Primary 12D10; Secondary 26C10; 30C15

Length and decomposition of the cohomology of the complement to a hyperplane arrangement

Authors: Rikard Bøgvad, Iara Gonçalves

Abstract: Let $\mathcal A$ be a hyperplane arrangement in $\mathbb C^n$. We show that the number of decomposition factors as a perverse sheaf of the direct image $Rj_*\mathbb C_U $ of the constant sheaf on the complement $U$ to the arrangement is given by the Poincaré polynomial of the arrangement. Furthermore we describe the composition factors of $Rj_*\mathbb C_U $ as certain local cohomology sheaves and… ▽ More Let $\mathcal A$ be a hyperplane arrangement in $\mathbb C^n$. We show that the number of decomposition factors as a perverse sheaf of the direct image $Rj_*\mathbb C_U $ of the constant sheaf on the complement $U$ to the arrangement is given by the Poincaré polynomial of the arrangement. Furthermore we describe the composition factors of $Rj_*\mathbb C_U $ as certain local cohomology sheaves and give their multiplicity. △ Less

Submitted 7 September, 2018; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: Final corrected version, with more references added, to appear in Proc. AMS

Decomposition of Perverse Sheaves on Plane Line Arrangements

Authors: Rikard Bøgvad, Iara Gonçalves

Abstract: On the complement $X= {\mathbb C}^2 - \bigcup_{i=1}^n L_i$ to a central plane line arrangement $\bigcup_{i=1}^n L_i \subset {\mathbb C}^2$, a locally constant sheaf of complex vector spaces $\mathcal L_a$ is associated to any multi-index $a \in {\mathbb C}^n$. Using the description of MacPherson and Vilonen of the category of perverse sheaves (\cite{MV2} and \cite {MV3}) we obtain a criterion for… ▽ More On the complement $X= {\mathbb C}^2 - \bigcup_{i=1}^n L_i$ to a central plane line arrangement $\bigcup_{i=1}^n L_i \subset {\mathbb C}^2$, a locally constant sheaf of complex vector spaces $\mathcal L_a$ is associated to any multi-index $a \in {\mathbb C}^n$. Using the description of MacPherson and Vilonen of the category of perverse sheaves (\cite{MV2} and \cite {MV3}) we obtain a criterion for the irreducibility and number of decomposition factors of the direct image $Rj_* \mathcal L_a$ as a perverse sheaf, where $j: X \rightarrow {\mathbb C}^2$ is the canonical inclusion. △ Less

Submitted 8 March, 2017; originally announced March 2017.

MSC Class: 55N30

A refinement of Pólya's method to construct Voronoi diagrams for rational functions

Authors: Rikard Bögvad, Christian Hägg

Abstract: Given a complex polynomial $P$ with zeroes $z_1,\dotsc,z_d$, we show that the asymptotic zero-counting measure of the iterated derivatives $Q^{(n)}, \ n=1,2,\dotsc$, where $Q=R/P$ is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with $z_1,\dotsc,z_d$. This refines Pólya's Shire theorem for these functions.… ▽ More Given a complex polynomial $P$ with zeroes $z_1,\dotsc,z_d$, we show that the asymptotic zero-counting measure of the iterated derivatives $Q^{(n)}, \ n=1,2,\dotsc$, where $Q=R/P$ is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with $z_1,\dotsc,z_d$. This refines Pólya's Shire theorem for these functions. In addition, we prove a similar result, using currents, for Voronoi diagrams associated with generic hyperplane configurations in $\mathbb C^m$. △ Less

Submitted 3 March, 2017; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: Final version as accepted by JMAA, with some minor corrections

On asymptotic Gauss-Lucas theorem

Authors: R. Boegvad, D. Khavinson, B. Shapiro

Abstract: In this note we extend the Gauss-Lucas theorem on the zeros of the derivative of a univariate polynomial to the case of sequences of univariate polynomials whose almost all zeros lie in a given convex bounded domain in C. In this note we extend the Gauss-Lucas theorem on the zeros of the derivative of a univariate polynomial to the case of sequences of univariate polynomials whose almost all zeros lie in a given convex bounded domain in C. △ Less

Submitted 8 October, 2015; originally announced October 2015.

Comments: 4 pages, 2 figures

Decomposition of modules over invariant differential operators

Authors: Rikard Bögvad, Rolf Källström

Abstract: Let $G$ be a finite subgroup of the linear group of a finite-dimensional complex vector $V$, $B={\operatorname S}(V)$ be the symmetric algebra, ${\mathcal D}=\mathcal D^G_B$ the ring of $G$-invariant differential operators, and ${\mathcal D}^-$ its subring of negative degree operators. We prove that $M\mapsto M^{ann}= {\operatorname Ann}_{\mathcal D^-}(M)$ defines an isomorphism between the catego… ▽ More Let $G$ be a finite subgroup of the linear group of a finite-dimensional complex vector $V$, $B={\operatorname S}(V)$ be the symmetric algebra, ${\mathcal D}=\mathcal D^G_B$ the ring of $G$-invariant differential operators, and ${\mathcal D}^-$ its subring of negative degree operators. We prove that $M\mapsto M^{ann}= {\operatorname Ann}_{\mathcal D^-}(M)$ defines an isomorphism between the category of ${\mathcal D}$-submodules of $B$ and a category of modules formed as lowest weight spaces. This is applied to a construction of simple ${\mathcal D}$-submodules of $B$ when $G$ is a generalized symmetric group, to show that $B^{ann}$ is a so-called Gelfand model. Using differential algebra and lowest weight methods we also prove branching rules, entailing the main results in the representation theory of the symmetric group, such as a differential construction of the Young basis. △ Less

Submitted 7 June, 2016; v1 submitted 20 June, 2015; originally announced June 2015.

Comments: 34 pages. Updated treatment of the branching rule for the symmetric group

MSC Class: 14F10 20C30

On mother body measures with algebraic Cauchy transform

Authors: Rikard Bœgvad, Boris Shapiro

Abstract: Below we discuss the existence of a motherbody measure for the exterior inverse problem in potential theory in the complex plane. More exactly, we study the question of representability almost everywhere (a.e.) in C of (a branch of) an irreducible algebraic function as the Cauchy transform of a signed measure supported on a finite number of compact semi-analytic curves and a finite number of isola… ▽ More Below we discuss the existence of a motherbody measure for the exterior inverse problem in potential theory in the complex plane. More exactly, we study the question of representability almost everywhere (a.e.) in C of (a branch of) an irreducible algebraic function as the Cauchy transform of a signed measure supported on a finite number of compact semi-analytic curves and a finite number of isolated points. Firstly, we present a large class of algebraic functions for which there (conjecturally) always exists a positive measure with the above properties. This class was discovered in our earlier study %of the eigenpolynomials of exactly solvable linear differential operators. Secondly, we investigate in detail the representability problem in the case when the Cauchy transform satisfies a quadratic equation with polynomial coefficients a.e. in C. Several conjectures and open problems are posed. △ Less

Submitted 8 June, 2014; originally announced June 2014.

Comments: 22 pages, 3 figures

MSC Class: Primary 31A25; Secondary 35R30; 86A22

Zeros of a certain class of Gauss hypergeometric polynomials

Authors: Addisalem Abathun, Rikard Bøgvad

Abstract: In this paper, we give results that partially prove a conjecture which was discussed in our previous work (arXiv:1307.4991). More precisely, we prove that as $n\to \infty,$ the zeros of the polynomial$${}_{2}\text{F}_{1}\left[ \begin{array}{c} -n, αn+1\\ αn+2 \end{array} ; \begin{array}{cc} z \end{array}\right]$$ cluster on a certain curve defined as a part of a level curve of an explicit harmonic… ▽ More In this paper, we give results that partially prove a conjecture which was discussed in our previous work (arXiv:1307.4991). More precisely, we prove that as $n\to \infty,$ the zeros of the polynomial$${}_{2}\text{F}_{1}\left[ \begin{array}{c} -n, αn+1\\ αn+2 \end{array} ; \begin{array}{cc} z \end{array}\right]$$ cluster on a certain curve defined as a part of a level curve of an explicit harmonic function. This generalizes work by Boggs, Driver, Duren et. al, to a complex parameter $α$. △ Less

Submitted 16 May, 2014; originally announced May 2014.

Comments: 10 pages

Asymptotic distribution of zeros of a certain class of hypergeometric polynomials

Authors: Addisalem Abathun, Rikard Bøgvad

Abstract: We study the weak asymptotic behavior of the zeros of a family of a certain class of (generalized) hypergeometric polynomials, using the associated hypergeometric differential equation, as the parameters go to infinity. We describe the curve complex on which the zeros cluster, as level curves associated to integrals on an algebraic curve derived from the equation. In a certain degenerate case we… ▽ More We study the weak asymptotic behavior of the zeros of a family of a certain class of (generalized) hypergeometric polynomials, using the associated hypergeometric differential equation, as the parameters go to infinity. We describe the curve complex on which the zeros cluster, as level curves associated to integrals on an algebraic curve derived from the equation. In a certain degenerate case we make a precise conjecture, based and generalizing work by Duren, Driver et. al, and present experimental evidence for it. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Comments: 13 pages

Subharmonic Configurations and Algebraic Cauchy Transforms of Probability Measures

Authors: Jan-Erik Björk, Julius Borcea, Rikard Bøgvad

Abstract: We study subharmonic functions whose Laplacian is supported on a null set and in connected components of of the complement to the support admit harmonic extensions to larger sets. We prove that if such a function has a piecewise holomorphic derivative, then it is locally piecewise harmonic. In generic cases it coincides locally with the maximum of finitely many harmonic functions. Moreover, we d… ▽ More We study subharmonic functions whose Laplacian is supported on a null set and in connected components of of the complement to the support admit harmonic extensions to larger sets. We prove that if such a function has a piecewise holomorphic derivative, then it is locally piecewise harmonic. In generic cases it coincides locally with the maximum of finitely many harmonic functions. Moreover, we describe the support when the holomorphic derivative satisfies a global algebraic equation. The proofs follow classical patterns and our methods may also be of independent interest. △ Less

Submitted 23 December, 2009; originally announced December 2009.

Comments: 20 pages, one figure

Decomposition factors of D-modules on hyperplane configurations in general position

Authors: Tilahun Abebaw, Rikard Bogvad

Abstract: We calculate the decomposition series of the D-module defined as the push-forward of a rank one linear system on the complement of a normal crossings hyperplane configuration and use data of a resolution of singularities to give a sufficient criterion of the irreducibility of the corresponding module in general. We calculate the decomposition series of the D-module defined as the push-forward of a rank one linear system on the complement of a normal crossings hyperplane configuration and use data of a resolution of singularities to give a sufficient criterion of the irreducibility of the corresponding module in general. △ Less

Submitted 15 May, 2009; originally announced May 2009.

Comments: 12 pages

MSC Class: 32S40; 32S22; 32C38

Decomposition of D-modules over a hyperplane arrangement in the plane

Authors: Tilahun Abebaw, Rikard Bøgvad

Abstract: We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra. We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra. △ Less

Submitted 7 December, 2008; originally announced December 2008.

Comments: 13 pages

MSC Class: 32S40; 32S22; 32C38

Homogenized spectral problems for exactly solvable operators: asymptotics of polynomial eigenfunctions

Authors: Julius Borcea, Rikard Bøgvad, Boris Shapiro

Abstract: Consider a homogenized spectral pencil of exactly solvable linear differential operators $T_{\la}=\sum_{i=0}^k Q_{i}(z)\la^{k-i}\frac {d^i}{dz^i}$, where each $Q_{i}(z)$ is a polynomial of degree at most $i$ and $\la$ is the spectral parameter. We show that under mild nondegeneracy assumptions for all sufficiently large positive integers $n$ there exist exactly $k$ distinct values $\la_{n,j}$,… ▽ More Consider a homogenized spectral pencil of exactly solvable linear differential operators $T_{\la}=\sum_{i=0}^k Q_{i}(z)\la^{k-i}\frac {d^i}{dz^i}$, where each $Q_{i}(z)$ is a polynomial of degree at most $i$ and $\la$ is the spectral parameter. We show that under mild nondegeneracy assumptions for all sufficiently large positive integers $n$ there exist exactly $k$ distinct values $\la_{n,j}$, $1\le j\le k$, of the spectral parameter $\la$ such that the operator $T_{\la}$ has a polynomial eigenfunction $p_{n,j}(z)$ of degree $n$. These eigenfunctions split into $k$ different families according to the asymptotic behavior of their eigenvalues. We conjecture and prove sequential versions of three fundamental properties: the limits $Ψ_{j}(z)=\lim_{n\to\infty} \frac{p_{n,j}'(z)}{\la_{n,j}p_{n,j}(z)}$ exist, are analytic and satisfy the algebraic equation $\sum_{i=0}^k Q_{i}(z) Ψ_{j}^i(z)=0$ almost everywhere in $\bCP$. As a consequence we obtain a class of algebraic functions possessing a branch near $\infty\in \bCP$ which is representable as the Cauchy transform of a compactly supported probability measure. △ Less

Submitted 20 September, 2010; v1 submitted 19 May, 2007; originally announced May 2007.

Comments: A non-trivial mistake in the proof of Proposition 6 has been corrected. This does not necessitate any changes in the statement of Proposition 6 or in other results in the paper

MSC Class: 30C15; 31A35; 34E05

Piecewise harmonic subharmonic functions and positive Cauchy transforms

Authors: Julius Borcea, Rikard Bøgvad

Abstract: We give a local characterization of the class of functions having positive distributional derivative with respect to $\bar{z}$ that are almost everywhere equal to one of finitely many analytic functions and satisfy some mild non-degeneracy assumptions. As a consequence, we give conditions that guarantee that any subharmonic piecewise harmonic function coincides locally with the maximum of finite… ▽ More We give a local characterization of the class of functions having positive distributional derivative with respect to $\bar{z}$ that are almost everywhere equal to one of finitely many analytic functions and satisfy some mild non-degeneracy assumptions. As a consequence, we give conditions that guarantee that any subharmonic piecewise harmonic function coincides locally with the maximum of finitely many harmonic functions and we describe the topology of their level curves. These results are valid in a quite general setting as they assume no {\em à priori} conditions on the differentiable structure of the support of the associated Riesz measures. We also discuss applications to positive Cauchy transforms and we consider several examples and related problems. △ Less

Submitted 3 February, 2009; v1 submitted 16 June, 2005; originally announced June 2005.

Comments: Final version, to appear in Pacific J. Math.; 27 pages, 1 figure, LaTeX2e

MSC Class: 31A05 (Primary) 31A35; 30E20; 34M40 (Secondary)

On rational approximation of algebraic functions

Authors: Julius Borcea, Rikard Bögvad, Boris Shapiro

Abstract: We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by $f(z)$. Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computati… ▽ More We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by $f(z)$. Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Padé Conjecture and Nuttall's Conjecture for the sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ in the complement $\mathbb{CP}^1\setminus \D_{f}$, where $\D_{f}$ is the union of a finite number of segments of real algebraic curves and finitely many isolated points. In particular, our construction makes it possible to control the behavior of spurious poles and to describe the asymptotic ratio distribution of the family $\{r_{n}(z)\}_{n\in \mathbb{N}}$. As an application we settle the so-called 3-conjecture of Egecioglu {\em et al} dealing with a 4-term recursion related to a polynomial Riemann Hypothesis. △ Less

Submitted 16 June, 2005; v1 submitted 20 September, 2004; originally announced September 2004.

Comments: 25 pages, 8 figures, LaTeX2e, revised version to appear in Advances in Mathematics

MSC Class: Primary 30E10; Secondary 41A20; 41A21; 41A25; 42C05; 82B05

Journal ref: Advances in Mathematics vol. 204:2 (2006), 448-480.

Geometric interplay between function subspaces and their rings of differential operators

Authors: Rikard Bögvad, Rolf Källström

Abstract: We study, in the setting of algebraic varieties, finite-dimensional spaces of functions V that are invariant under a ring D^V of differential operators, and give conditions under which D^V acts irreducibly. We show how this problem, originally formulated in physics (Kamran-Milson-Olver), is related to the study of principal parts bundles and Weierstrass points (Laksov-Thorup), including a detail… ▽ More We study, in the setting of algebraic varieties, finite-dimensional spaces of functions V that are invariant under a ring D^V of differential operators, and give conditions under which D^V acts irreducibly. We show how this problem, originally formulated in physics (Kamran-Milson-Olver), is related to the study of principal parts bundles and Weierstrass points (Laksov-Thorup), including a detailed study of Taylor expansions. Under some conditions it is possible to obtain V and D^V as global sections of a line bundle and its ring of differential operators. We show that several of the published examples of D^V are of this type, and that there are many more -- in particular arising from toric varieties. △ Less

Submitted 24 March, 2004; originally announced March 2004.

Comments: 36 pages, LaTeX

On the homogeneous ideal of a projective nonsingular toric variety

Authors: Rikard Bögvad

Abstract: Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work. Reason for withdrawal: There is a serious mistake in the calculation of the divisor of the rational section used in the proof of Prop. 2.2.1., and with the correct value the argument does not work. △ Less

Submitted 25 September, 1995; v1 submitted 20 January, 1995; originally announced January 1995.

Comments: Paper withdrawn

Some homogeneous coordinate rings that are Koszul algebras

Authors: Rikard Bögvad

Abstract: Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are Koszul algebras. Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are Koszul algebras. △ Less

Submitted 25 September, 1995; v1 submitted 20 January, 1995; originally announced January 1995.

Comments: Revised version. Due to the mistake in alg-geom/9501012 the argument only works for homogeneous coordinate rings of Schubert varieties. This has also been proved by other authors and we have added references to them