Showing 1–15 of 15 results for author: Grundmeier, D

Rational Maps of Balls and their Associated Groups

Authors: Dusty Grundmeier, Jiří Lebl

Abstract: Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map. Given a proper, rational map of balls, D'Angelo and Xiao introduced five natural groups encoding properties of the map. We study these groups using a recently discovered normal form for rational maps of balls. Using this normal form, we also provide several new groups associated to the map. △ Less

Submitted 6 May, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

Comments: 11 pages. Fixed typos

MSC Class: 32H35

Constructing Group-Invariant CR Mappings

Authors: Jennifer Brooks, Sean Curry, Dusty Grundmeier, Purvi Gupta, Valentin Kunz, Alekzander Malcom, Kevin Palencia

Abstract: We construct CR mappings between spheres that are invariant under actions of finite unitary groups. In particular, we combine a tensoring procedure with D'Angelo's construction of a canonical group-invariant CR mapping to obtain new invariant mappings. We also explore possible gap phenomena in this setting. We construct CR mappings between spheres that are invariant under actions of finite unitary groups. In particular, we combine a tensoring procedure with D'Angelo's construction of a canonical group-invariant CR mapping to obtain new invariant mappings. We also explore possible gap phenomena in this setting. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: 11 pages

Algebraic properties of Hermitian sums of squares, II

Authors: Jennifer Brooks, Dusty Grundmeier, Hal Schenck

Abstract: We study real bihomogeneous polynomials $r(z,\bar{z})$ in $n$ complex variables for which $r(z,\bar{z}) \|z\|^2$ is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which describes the possible ranks for the squared norm $r(z,\bar{z}) \|z\|^2$ and has important implications for the study of proper holomorphic mappings between ba… ▽ More We study real bihomogeneous polynomials $r(z,\bar{z})$ in $n$ complex variables for which $r(z,\bar{z}) \|z\|^2$ is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which describes the possible ranks for the squared norm $r(z,\bar{z}) \|z\|^2$ and has important implications for the study of proper holomorphic mappings between balls in complex Euclidean spaces of different dimension. Questions about the possible signatures for $r(z,\bar{z})$ and the rank of $r(z,\bar{z}) \|z\|^2$ can be reformulated as questions about polynomial ideals. We take this approach and apply purely algebraic tools to obtain constraints on the signature of $r$. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 5 pages

MSC Class: 32A99

Sums of CR and projective dual CR functions

Authors: David E. Barrett, Dusty E. Grundmeier

Abstract: A smooth, strongly $\mathbb{C}$-convex, real hypersurface $S$ in $\mathbb{CP}^n$ admits a projective dual CR structure in addition to the standard CR structure. Given a smooth function $u$ on $S$, we provide characterizations for when $u$ can be decomposed as a sum of a CR function and a dual CR function. Following work of Lee on pluriharmonic boundary values, we provide a characterization using d… ▽ More A smooth, strongly $\mathbb{C}$-convex, real hypersurface $S$ in $\mathbb{CP}^n$ admits a projective dual CR structure in addition to the standard CR structure. Given a smooth function $u$ on $S$, we provide characterizations for when $u$ can be decomposed as a sum of a CR function and a dual CR function. Following work of Lee on pluriharmonic boundary values, we provide a characterization using differential forms. We further provide a characterization using tangential vector fields in the style of Audibert and Bedford. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Comments: 19 pages. To appear in Pure and Applied Mathematics Quarterly

MSC Class: 32V10

Sum of Squares Conjecture: the Monomial Case in $\mathbb{C}^3$

Authors: Jennifer Brooks, Dusty Grundmeier

Abstract: The goal of this article is to prove the Sum of Squares Conjecture for real polynomials $r(z,\bar{z})$ on $\mathbb{C}^3$ with diagonal coefficient matrix. This conjecture describes the possible values for the rank of $r(z,\bar{z}) \|z\|^2$ under the hypothesis that $r(z,\bar{z})\|z\|^2=\|h(z)\|^2$ for some holomorphic polynomial mapping $h$. Our approach is to connect this problem to the degree es… ▽ More The goal of this article is to prove the Sum of Squares Conjecture for real polynomials $r(z,\bar{z})$ on $\mathbb{C}^3$ with diagonal coefficient matrix. This conjecture describes the possible values for the rank of $r(z,\bar{z}) \|z\|^2$ under the hypothesis that $r(z,\bar{z})\|z\|^2=\|h(z)\|^2$ for some holomorphic polynomial mapping $h$. Our approach is to connect this problem to the degree estimates problem for proper holomorphic monomial mappings from the unit ball in $\mathbb{C}^2$ to the unit ball in $\mathbb{C}^k$. D'Angelo, Kos, and Riehl proved the sharp degree estimates theorem in this setting, and we give a new proof using techniques from commutative algebra. We then complete the proof of the Sum of Squares Conjecture in this case using similar algebraic techniques. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Comments: 17 pages. 6 figures

Rational sphere maps, linear programming, and compressed sensing

Authors: John P. D'Angelo, Dusty Grundmeier, Jiri Lebl

Abstract: We develop a link between degree estimates for rational sphere maps and compressed sensing. We provide several new ideas and many examples, both old and new, that amplify connections with linear programming. We close with a list of ten open problems. We develop a link between degree estimates for rational sphere maps and compressed sensing. We provide several new ideas and many examples, both old and new, that amplify connections with linear programming. We close with a list of ten open problems. △ Less

Submitted 23 December, 2019; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: 22 pages. To appear in a special issue of Complex Analysis and its Synergies entitled "Geometric Analysis of PDEs and Several Complex Variables". The changes from the first version are minimal, consisting primarily of two new sentences at the end of the introduction and a bit more discussion of Problem 4. We also corrected two typos, made two small changes for clarity, and added a reference

Journal ref: Complex Analysis and its Synergies, 6 (2020), no. 1, Paper No. 4

Projective-umbilic points of circular real hypersurfaces in $\mathbb C^2$

Authors: David E. Barrett, Dusty E. Grundmeier

Abstract: We show that the boundary of any bounded strongly pseudoconvex complete circular domain in $\mathbb C^2$ must contain points that are exceptionally tangent to a projective image of the unit sphere. We show that the boundary of any bounded strongly pseudoconvex complete circular domain in $\mathbb C^2$ must contain points that are exceptionally tangent to a projective image of the unit sphere. △ Less

Submitted 5 March, 2020; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: Some additional material

MSC Class: 32V99

Sup-norm Estimates for $\overline{\partial}$ in $\mathbb{C}^3$

Authors: Dusty Grundmeier, Lars Simon, Berit Stensønes

Abstract: We develop a method for proving sup-norm and Hölder estimates for $\overline{\partial}$ on wide class of finite type pseudoconvex domains in $\mathbb{C}^n$. A fundamental obstruction to proving sup-norm estimates is the possibility of singular complex curves with exceptionally high order of contact with the boundary. Our method handles this problem, and in $\mathbb{C}^3$, we prove sup-norm and Höl… ▽ More We develop a method for proving sup-norm and Hölder estimates for $\overline{\partial}$ on wide class of finite type pseudoconvex domains in $\mathbb{C}^n$. A fundamental obstruction to proving sup-norm estimates is the possibility of singular complex curves with exceptionally high order of contact with the boundary. Our method handles this problem, and in $\mathbb{C}^3$, we prove sup-norm and Hölder estimates for all bounded, pseudoconvex domains with real-analytic boundary. △ Less

Submitted 9 December, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 29 pages

MSC Class: 32T25; 32A26

Invariant CR Mappings between Hyperquadrics

Authors: Dusty Grundmeier, Kemen Linsuain, Brendan Whitaker

Abstract: We analyze a canonical construction of group-invariant CR Mappings between hyperquadrics due to D'Angelo. Given source hyperquadric of $Q(1,1)$, we determine the signature of the target hyperquadric for all finite subgroups of $SU(1,1)$. We also extend combinatorial results proven by Loehr, Warrington, and Wilf on determinants of sparse circulant determinants. We apply these results to study CR ma… ▽ More We analyze a canonical construction of group-invariant CR Mappings between hyperquadrics due to D'Angelo. Given source hyperquadric of $Q(1,1)$, we determine the signature of the target hyperquadric for all finite subgroups of $SU(1,1)$. We also extend combinatorial results proven by Loehr, Warrington, and Wilf on determinants of sparse circulant determinants. We apply these results to study CR mappings invariant under finite subgroups of $U(1,1)$. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Comments: 17 pages

Sums of CR functions from competing CR structures

Authors: David E. Barrett, Dusty E. Grundmeier

Abstract: In this paper we characterize sums of CR functions from competing CR structures in two scenarios. In one scenario the structures are conjugate and we are adding to the theory of pluriharmonic boundary values. In the second scenario the structures are related by projective duality considerations. In both cases we provide explicit vector field-based characterizations for two-dimensional circular dom… ▽ More In this paper we characterize sums of CR functions from competing CR structures in two scenarios. In one scenario the structures are conjugate and we are adding to the theory of pluriharmonic boundary values. In the second scenario the structures are related by projective duality considerations. In both cases we provide explicit vector field-based characterizations for two-dimensional circular domains satisfying natural convexity conditions. △ Less

Submitted 4 October, 2018; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 17 pages

Journal ref: Pacific J. Math. 293 (2018) 257-275

Initial monomial invariants of holomorphic maps

Authors: Dusty Grundmeier, Jiri Lebl

Abstract: We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and hyperquadrics, giving a readily computable invariant in this important case. For example, the generic initial monomials distinguish all four inequivalent rational pr… ▽ More We study a new biholomorphic invariant of holomorphic maps between domains in different dimensions based on generic initial ideals. We start with the standard generic monomial ideals to find invariants for rational maps of spheres and hyperquadrics, giving a readily computable invariant in this important case. For example, the generic initial monomials distinguish all four inequivalent rational proper maps from the two to the three dimensional ball. Next, we associate to each subspace $X \subset {\mathcal O}(U)$ a generic initial monomial subspace, which is invariant under biholomorphic transformations and multiplication by nonzero functions. The generic initial monomial subspace is a biholomorphic invariant for holomorphic maps if the target automorphism is linear fractional as in the case of automorphisms of spheres or hyperquadrics. △ Less

Submitted 9 September, 2015; v1 submitted 11 February, 2015; originally announced February 2015.

Comments: 16 pages, fixed typos, accepted to Math. Z

MSC Class: 32H02 (Primary); 13P25 (Secondary)

Journal ref: Math. Z. 282 (2016), no. 1, 371-387

An Application of Macaulay's Estimate to CR Geometry

Authors: Dusty Grundmeier, Jennifer Halfpap

Abstract: Several questions in CR geometry lead naturally to the study of bihomogeneous polynomials $r(z,\bar{z})$ on $\C^n \times \C^n$ for which $r(z,\bar{z})\norm{z}^{2d}=\norm{h(z)}^2$ for some natural number $d$ and a holomorphic polynomial mapping $h=(h_1,..., h_K)$ from $\C^n$ to $\C^K$. When $r$ has this property for some $d$, one seeks relationships between $d$, $K$, and the signature and rank of t… ▽ More Several questions in CR geometry lead naturally to the study of bihomogeneous polynomials $r(z,\bar{z})$ on $\C^n \times \C^n$ for which $r(z,\bar{z})\norm{z}^{2d}=\norm{h(z)}^2$ for some natural number $d$ and a holomorphic polynomial mapping $h=(h_1,..., h_K)$ from $\C^n$ to $\C^K$. When $r$ has this property for some $d$, one seeks relationships between $d$, $K$, and the signature and rank of the coefficient matrix of $r$. In this paper, we reformulate this basic question as a question about the growth of the Hilbert function of a homogeneous ideal in $\C[z_1,...,z_n]$ and apply a well-known result of Macaulay to estimate some natural quantities. △ Less

Submitted 31 March, 2013; originally announced April 2013.

Comments: 8 pages

MSC Class: 32A17; 32H99; 13D40

Bounding the rank of Hermitian forms and rigidity for CR mappings of hyperquadrics

Authors: Dusty Grundmeier, Jiri Lebl, Liz Vivas

Abstract: Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an application we prove a rigidity theorem for CR mappings between hyperquadrics in the spirit of the results of Baouendi-Huang and Baouendi-Ebenfelt-Huang. Given a… ▽ More Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an application we prove a rigidity theorem for CR mappings between hyperquadrics in the spirit of the results of Baouendi-Huang and Baouendi-Ebenfelt-Huang. Given a real-analytic CR mapping of a hyperquadric (not equivalent to a sphere) to another hyperquadric $Q(A,B)$, either the image of the mapping is contained in a complex affine subspace, or $A$ is bounded by a constant depending only on $B$. Finally, we prove a stability result about existence of nontrivial CR mappings of hyperquadrics. That is, as long as both $A$ and $B$ are sufficiently large and comparable, then there exist CR mappings whose image is not contained in a hyperplane. The rigidity result also extends when mapping to hyperquadrics in infinite dimensional Hilbert-space. △ Less

Submitted 9 October, 2013; v1 submitted 18 October, 2011; originally announced October 2011.

Comments: 25 pages, 1 figure, obsoletes arXiv:1006.0186. Provide a new complete proof in section 5. Accepted to Math. Ann

MSC Class: 32V30 (Primary) 13H10; 14P99; 47B15 (Secondary)

Journal ref: Mathematische Annalen, 358 (2014), no. 3-4, 1059-1089

Bounding the rank of positive Hermitian forms and rigidity for CR mappings of hyperquadrics

Authors: Dusty Grundmeier, Jiri Lebl

Abstract: This paper has been withdrawn as the proof of Lemma 4.1 is incomplete. This paper has been withdrawn as the proof of Lemma 4.1 is incomplete. △ Less

Submitted 6 July, 2010; v1 submitted 1 June, 2010; originally announced June 2010.

Comments: This paper has been withdrawn

MSC Class: 32V30 (Primary); 15B57; 14P99; 47B15 (Secondary)

Signature Pairs for Group-Invariant Hermitian Polynomials

Authors: Dusty Grundmeier

Abstract: We study the signature pair for certain group-invariant Hermitian polynomials arising in CR geometry. In particular, we determine the signature pair for the finite subgroups of $SU(2)$. We introduce the asymptotic positivity ratio and compute it for cyclic subgroups of $U(2)$. We calculate the signature pair for dihedral subgroups of $U(2)$. We study the signature pair for certain group-invariant Hermitian polynomials arising in CR geometry. In particular, we determine the signature pair for the finite subgroups of $SU(2)$. We introduce the asymptotic positivity ratio and compute it for cyclic subgroups of $U(2)$. We calculate the signature pair for dihedral subgroups of $U(2)$. △ Less

Submitted 11 April, 2010; originally announced April 2010.

Comments: 28 pages. Accepted in the International Journal of Mathematics

MSC Class: 32H02; 32H35