More Like this

1. On an Equivalence of Divisors on $$\overline {\text {M}}_{0,n}$$ from Gromov-Witten Theory and Conformal Blocks

   https://doi.org/10.1007/s00031-022-09752-6  

   Chen, L.; Gibney, A.; Heller, L.; Kalashnikov, E.; Larson, H.; Xu, W. (August 2022, Transformation Groups)

   Abstract We consider a conjecture that identifies two types of base point free divisors on$$\overline {\text {M}}_{0,n}$$ ${\overline{M}}_{0,n}$. The first arises from Gromov-Witten theory of a Grassmannian. The second comes from first Chern classes of vector bundles associated with simple Lie algebras in type A. Here we reduce this conjecture on$$\overline {\text {M}}_{0,n}$$ ${\overline{M}}_{0,n}$to the same statement forn= 4. A reinterpretation leads to a proof of the conjecture on$$\overline {\text {M}}_{0,n}$$ ${\overline{M}}_{0,n}$for a large class, and we give sufficient conditions for the non-vanishing of these divisors. 

   more » « less
2. Construction of a Dirichlet form on Metric Measure Spaces of Controlled Geometry

   https://doi.org/10.1007/s11118-024-10144-6  

   Butaev, Almaz; Luo, Liangbing; Shanmugalingam, Nageswari (June 2024, Potential Analysis)

   Abstract Given a compact doubling metric measure spaceXthat supports a 2-Poincaré inequality, we construct a Dirichlet form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$that is comparable to the upper gradient energy form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$. Our approach is based on the approximation ofXby a family of graphs that is doubling and supports a 2-Poincaré inequality (see [20]). We construct a bilinear form on$$N^{1,2}(X)$$ $N^{1,2}\left(X\right)$using the Dirichlet form on the graph. We show that the$$\Gamma $$ $\Gamma$-limit$$\mathcal {E}$$ $E$of this family of bilinear forms (by taking a subsequence) exists and that$$\mathcal {E}$$ $E$is a Dirichlet form onX. Properties of$$\mathcal {E}$$ $E$are established. Moreover, we prove that$$\mathcal {E}$$ $E$has the property of matching boundary values on a domain$$\Omega \subseteq X$$ $\Omega \subseteq X$. This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form$$\mathcal {E}$$ $E$) on a domain inXwith a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects. 

   more » « less
3. Introducing isodynamic points for binary forms and their ratios

   https://doi.org/10.1007/s40627-022-00112-4  

   Hägg, Christian; Shapiro, Boris; Shapiro, Michael (January 2023, Complex Analysis and its Synergies)

   Abstract The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Möbius group$${\mathcal {M}}$$ $M$on the set of triangles, Kimberling (Encyclopedia of Triangle Centers,http://faculty.evansville.edu/ck6/encyclopedia). Generalizing this classical result, we introduce below theisodynamicmap associating to a univariate polynomial of degree$$d\ge 3$$ $d\ge 3$with at most double roots a polynomial of degree (at most)$$2d-4$$ $2d-4$such that this map commutes with the action of the Möbius group$${\mathcal {M}}$$ $M$on the zero loci of the initial polynomial and its image. The roots of the image polynomial will be called theisodynamic pointsof the preimage polynomial. Our construction naturally extends from univariate polynomials to binary forms and further to their ratios. 

   more » « less
4. Finding solutions with distinct variables to systems of linear equations over $$\mathbb {F}_p$$

   https://doi.org/10.1007/s00208-022-02391-y  

   Sauermann, Lisa (April 2022, Mathematische Annalen)

   Abstract Let us fix a primepand a homogeneous system ofmlinear equations$$a_{j,1}x_1+\dots +a_{j,k}x_k=0$$ $a_{j,1}{x}_1+\cdots +a_{j,k}{x}_k=0$for$$j=1,\dots ,m$$ $j=1,\cdots ,m$with coefficients$$a_{j,i}\in \mathbb {F}_p$$ $a_{j,i}\in F_p$. Suppose that$$k\ge 3m$$ $k\ge 3m$, that$$a_{j,1}+\dots +a_{j,k}=0$$ $a_{j,1}+\cdots +a_{j,k}=0$for$$j=1,\dots ,m$$ $j=1,\cdots ,m$and that every$$m\times m$$ $m\times m$minor of the$$m\times k$$ $m\times k$matrix$$(a_{j,i})_{j,i}$$ ${\left(a_{j,i}\right)}_{j,i}$is non-singular. Then we prove that for any (large)n, any subset$$A\subseteq \mathbb {F}_p^n$$ $A\subseteq F_p^n$of size$$|A|> C\cdot \Gamma ^n$$ $\left|A\right|>C·{\Gamma }^n$contains a solution$$(x_1,\dots ,x_k)\in A^k$$ $(x_1,\cdots ,x_k)\in A^k$to the given system of equations such that the vectors$$x_1,\dots ,x_k\in A$$ $x_1,\cdots ,x_k\in A$are all distinct. Here,Cand$$\Gamma $$ $\Gamma$are constants only depending onp,mandksuch that$$\Gamma $\Gamma <p$. The crucial point here is the condition for the vectors$$x_1,\dots ,x_k$$ $x_1,\cdots ,x_k$in the solution$$(x_1,\dots ,x_k)\in A^k$$ $(x_1,\cdots ,x_k)\in A^k$to be distinct. If we relax this condition and only demand that$$x_1,\dots ,x_k$$ $x_1,\cdots ,x_k$are not all equal, then the statement would follow easily from Tao’s slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments. 

   more » « less
5. On Harmonic Hilbert Spaces on Compact Abelian Groups

   https://doi.org/10.1007/s00041-023-09992-4  

   Das, Suddhasattwa; Giannakis, Dimitrios (February 2023, Journal of Fourier Analysis and Applications)

   Abstract Harmonic Hilbert spaces on locally compact abelian groups are reproducing kernel Hilbert spaces (RKHSs) of continuous functions constructed by Fourier transform of weighted$$L^2$$ $L^2$spaces on the dual group. It is known that for suitably chosen subadditive weights, every such space is a Banach algebra with respect to pointwise multiplication of functions. In this paper, we study RKHSs associated with subconvolutive functions on the dual group. Sufficient conditions are established for these spaces to be symmetric Banach$$^*$$ ${}^{\ast }$-algebras with respect to pointwise multiplication and complex conjugation of functions (here referred to as RKHAs). In addition, we study aspects of the spectra and state spaces of RKHAs. Sufficient conditions are established for an RKHA on a compact abelian groupGto have the same spectrum as the$$C^*$$ $C^{\ast }$-algebra of continuous functions onG. We also consider one-parameter families of RKHSs associated with semigroups of self-adjoint Markov operators on$$L^2(G)$$ $L^2\left(G\right)$, and show that in this setting subconvolutivity is a necessary and sufficient condition for these spaces to have RKHA structure. Finally, we establish embedding relationships between RKHAs and a class of Fourier–Wermer algebras that includes spaces of dominating mixed smoothness used in high-dimensional function approximation. 

   more » « less