Integrability of higher pentagram maps

We define higher pentagram maps on polygons in $\mathbb{P }^d$ for any dimension $d$ , which extend R. Schwartz’s definition of the 2D pentagram map. We prove their integrability by presenting Lax representations with a spectral parameter for scale invariant maps. The corresponding continuous limit of the pentagram map in dimension $d$ is shown to be the $(2,d+1)$ -equation of the KdV hierarchy, generalizing the Boussinesq equation in 2D. We also study in detail the 3D case, where we prove integrability for both closed and twisted polygons and describe the spectral curve, first integrals, the corresponding tori and the motion along them, as well as an invariant symplectic structure.     

A reverse isoperimetric inequality for J-holomorphic curves

We prove that the length of the boundary of a J-holomorphic curve with Lagrangian boundary conditions is dominated by a constant times its area. The constant depends on the symplectic form, the almost complex structure, the Lagrangian boundary conditions and the genus. A similar result holds for the length of the real part of a real J-holomorphic curve. The infimum over J of the constant properly normalized gives an invariant of Lagrangian submanifolds. We calculate this invariant to be \({2\pi}\) for the Lagrangian submanifold \({\mathbb{R} P^n \subset \mathbb{C} P^n.}\) We apply our result to prove compactness of moduli of J-holomorphic maps to non-compact target spaces that are asymptotically exact. In a different direction, our result implies the adic convergence of the superpotential.     

Mixed Invariant Subspaces over the Bidisk

It is known that the structure of invariant subspaces I of the Hardy space H ² over the bidisk is extremely complicated. One reason is that it is difficult to describe infinite dimensional wandering spaces ${I\ominus zI}$ completely. In this paper, we study the structure of nontrivial closed subspaces N of H ² with ${T_zN\subset N}$ and ${T^*_wN\subset N}$ , which are called mixed invariant subspaces under T _z and ${T^*_w}$ . We know that the dimension of ${N\ominus zN}$ ranges from 1 to ??. If ${T^*_w(N\ominus zN)\subset N\ominus zN}$ , we may describe N completely. If ${T^*_w(N\ominus zN)\not\subset N\ominus zN}$ , it seems difficult to describe N generally. So we study N under the condition ${dim\,(N\ominus zN)=1}$ . Write ${M=H^2\ominus N}$ . We describe ${M\ominus wM}$ precisely. We give a characterization of N for which there is a nonzero function ${\varphi}$ in ${M\ominus wM}$ satisfying ${z^k\varphi\in M\ominus wM}$ for every k ?? 0. We also see that the space ${M\ominus wM}$ has a deep connection with the de Branges?CRovnyak spaces studied by Sarason.     

Lipschitz Homotopy Groups of the Heisenberg Groups

Lipschitz and horizontal maps from an n-dimensional space into the (2n + 1)-dimensional Heisenberg group ${\mathbb{H}^n}$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Haj?asz-Lukyanenko-Tyson constructed horizontal maps from S ^k to ${\mathbb{H}^n}$ which factor through n-spheres and showed that these maps have no smooth horizontal fillings. In this paper, however, we build on an example of Kaufman to show that these maps sometimes have Lipschitz fillings. This shows that the Lipschitz and the smooth horizontal homotopy groups of a space may differ. Conversely, we show that any Lipschitz map ${S^k \to \mathbb{H}^1}$ factors through a tree and is thus Lipschitz null-homotopic if ${k \geq 2}$ .     

Polynomial growth harmonic functions on finitely generated abelian groups

In the present paper, we develop geometric analysis techniques on Cayley graphs of finitely generated abelian groups to study the polynomial growth harmonic functions. We provide a geometric analysis proof of the classical Heilbronn theorem (Heilbronn in Proc Camb Philos Soc 45:194–206, 1949) and the recent Nayar theorem (Nayar in Bull Pol Acad Sci Math 57:231–242, 2009) on polynomial growth harmonic functions on lattices $\mathbb Z ^n$ that does not use a representation formula for harmonic functions. In the abelian group case, by Yau’s gradient estimate, we actually give a simplified proof of a general polynomial growth harmonic function theorem of (Alexopoulos in Ann Probab 30:723–801, 2002). We calculate the precise dimension of the space of polynomial growth harmonic functions on finitely generated abelian groups by linear algebra, rather than by Floquet theory Kuchment and Pinchover (Trans Am Math Soc 359:5777–5815, 2007). While the Cayley graph not only depends on the abelian group, but also on the choice of a generating set, we find that this dimension depends only on the group itself. Moreover, we also calculate the dimension of solutions to higher order Laplace operators.     

On the surjectivity of weighted Gaussian maps

We study the surjectivity of suitable weighted Gaussian maps $\gamma _{a,b}(X,L)$ which provide a natural generalization of the standard Gaussian maps and encode the local geometry of the locus $\mathfrak{Th }^r_{g,h}\subset \mathcal M _g$ of curves endowed with an $h$ -th root $L$ of the canonical bundle satisfying $h^0(L)\ge r+1$ . In particular, we get a bound on the dimension of its Zariski tangent space, hich turns out to be sharp in the special case $r=0$ . Finally, we describe this locus in the case of complete intersection curves.     

On Families of Graphs of Large Cycle Indicator, Matrices of Large Order and Key Exchange Protocols With Nonlinear Polynomial Maps of Small Degree

This paper studies the group theoretical protocol of Diffie?CHellman key exchange in the case of symmetrical group ${S_{p^n}}$ and more general Cremona group ${C(\mathbb K^n)}$ of polynomial automorphisms of free module ${\mathbb K^n}$ over arbitrary commutative ring ${\mathbb K}$ . This algorithm depends very much on the choice of the base ${g_n \in C( \mathbb K^n)}$ . It is important to work with the base ${g_n \in C( \mathbb K^n)}$ , which is a polynomial map of a small degree and a large order such that the degrees of all powers ${g_n^k}$ are also bounded by a small constant. We suggest fast algorithms for generation of a map ${g_n={f_n} \xi_nf_n^{-1}}$ , where ?? _n is an affine transformation (degree is 1) of a large order and f _n is a fixed nonlinear polynomial map in n variables such that ${f_n^{-1}}$ is also a polynomial map and both maps f _n and ${f_n^{-1}}$ are of small degrees. The method is based on properties of infinite families of graphs with a large cycle indicator and families of graphs of a large girth in particular. It guaranties that the order of g _n is tending to infinity as the dimension n tends to infinity. We propose methods of fast generation of special families of cubical maps f _n such that ${f_n^{-1}}$ is also of degree 3 based on properties of families of graphs of a large girth and graphs with a large cycle indicator. At the end we discuss cryptographical applications of maps of the kind ?? f _n ??^?1 and some graph theoretical problems motivated by such applications.     

Eigenvalues of the Laplacian and extrinsic geometry

We extend the results given by Colbois, Dryden and El Soufi on the relationships between the eigenvalues of the Laplacian and an extrinsic invariant called intersection index, in two directions. First, we replace this intersection index by invariants of the same nature which are stable under small perturbations. Second, we consider complex submanifolds of the complex projective space $\mathbb C P^N$ instead of submanifolds of $\mathbb R ^N$ and we obtain an eigenvalue upper bound depending only on the dimension of the submanifold which is sharp for the first non-zero eigenvalue.     

Equi-harmonic maps and Plücker formulae for horizontal-holomorphic curves on flag manifolds

In this paper, we derive Plücker formulae for holomorphic maps into the maximal flag manifolds of the complex semi-simple Lie groups. Holomorphy is taken with respect to either an invariant complex structure or an invariant almost complex structure that takes part of a \((1,2)\) -symplectic Hermitian structure. The maps are assumed to be horizontal, in the case of a complex structure or to satisfy a generalization of this hypothesis in the \((1,2)\) -symplectic case. We also provide a relationship between holomorphic-horizontal curves and equiharmonic maps.     

Equilibrium measures on saddle sets of holomorphic maps on \mathbb{P }^2

We consider the case of hyperbolic basic sets $\Lambda $ of saddle type for holomorphic maps $f:{\mathbb{P }}^2{\mathbb{C }}\rightarrow {\mathbb{P }}^2{\mathbb{C }}$ . We study equilibrium measures $\mu _\phi $ associated to a class of Hölder potentials $\phi $ on $\Lambda $ , and find the measures $\mu _\phi $ of iterates of arbitrary Bowen balls. Estimates for the pointwise dimension $\delta _{\mu _\phi }$ of $\mu _\phi $ that involve Lyapunov exponents and a correction term are found, and also a formula for the Hausdorff dimension of $\mu _\phi $ in the case when the preimage counting function is constant on $\Lambda $ . For terminal/minimal saddle sets we prove that an invariant measure $\nu $ obtained as a wedge product of two positive closed currents, is in fact the measure of maximal entropy for the restriction $f|_\Lambda $ . This allows then to obtain formulas for the measure $\nu $ of arbitrary balls, and to give a formula for the pointwise dimension and the Hausdorff dimension of $\nu $ .     

Generating Functions for Spherical Harmonics and Spherical Monogenics

In this paper, we study generating functions for the standard orthogonal bases of spherical harmonics and spherical monogenics in \({\mathbb{R}^{m}}\) . Here spherical monogenics are polynomial solutions of the Dirac equation in \({\mathbb{R}^{m}}\) . In particular, we obtain the recurrence formula which expresses the generating function in dimension m in terms of that in dimension m–1. Hence we can find closed formulæ of generating functions in \({\mathbb{R}^{m}}\) by induction on the dimension m.     

Combinatorial scheme of finding minimal number of periodic points for smooth self-maps of simply connected manifolds

Let M be a closed smooth connected and simply connected manifold of dimension m at least 3, and let r be a fixed natural number. The topological invariant ${{D^m_r} [f]}$ , defined by the authors in [Forum Math. 21 (2009), 491–509], is equal to the minimal number of r-periodic points in the smooth homotopy class of f, a given self-map of M. In this paper, we present a general combinatorial scheme of computing ${{D^m_r} [f]}$ for arbitrary dimension m ≥ 4. Using this approach we calculate the invariant in case r is a product of different odd primes. We also obtain an estimate for ${{D^m_r} [f]}$ from below and above for some other natural numbers r.     

Optimal Reconstruction Might be Hard

Given as input a point set $\mathcal S $ that samples a shape $\mathcal A $ , the condition required for inferring Betti numbers of $\mathcal A $ from $\mathcal S $ in polynomial time is much weaker than the conditions required by any known polynomial time algorithm for producing a topologically correct approximation of $\mathcal A $ from $\mathcal S $ . Under the former condition which we call the weak precondition, we investigate the question whether a polynomial time algorithm for reconstruction exists. As a first step, we provide an algorithm which outputs an approximation of the shape with the correct Betti numbers under a slightly stronger condition than the weak precondition. Unfortunately, even though our algorithm terminates, its time complexity is unbounded. We then identify at the heart of our algorithm a test which requires answering the following question: given 2 two-dimensional simplicial complexes $L \subset K$ , does there exist a simplicial complex containing $L$ and contained in $K$ which realizes the persistent homology of $L$ into $K$ ? We call this problem the homological simplification of the pair $(K,L)$ and prove that this problem is NP-complete, using a reduction from 3SAT.     

Galois ring extensions and localized modular rings of invariants of p-groups

We apply recent results on Galois-ring extensions and trace surjective algebras to analyze dehomogenized modular invariant rings of finite p-groups, as well as related localizations. We describe criteria for the dehomogenized invariant ring to be polynomial or at least regular and we show that for regular affine algebras with possibly non-linear action by a p-group, the singular locus of the invariant ring is contained in the variety of the transfer ideal. If V is the regular module of an arbitrary finite p-group, or V is any faithful representation of a cyclic p-group, we show that there is a suitable invariant linear form, inverting which renders the ring of invariants into a “localized polynomial ring” with dehomogenization being a polynomial ring. This is in surprising contrast to the fact that for a faithful representation of a cyclic group of order larger than p, the ring of invariants itself cannot be a polynomial ring by a result of Serre. Our results here generalize observations made by Richman [R] and by Campbell and Chuai [CCH].     

Non-negative Spectral Measures and Representations of C*-Algebras

Regular normalized W-valued spectral measures on a compact Hausdorff space X are in one-to-one correspondence with unital *-representations ${\rho : C(X, \mathbb{C}) \to W}$ , where W stands for a von Neumann algebra. In this paper we show that for every compact Hausdorff space X and every von Neumann algebras W ₁, W ₂ there is a one-to-one correspondence between unital *-representations ${\rho : C(X, W_1) \to W_2}$ and special B(W ₁, W ₂)-valued measures on X that we call non-negative spectral measures. Such measures are special cases of non-negative measures that we introduced in our previous paper (Cimpri? and Zalar, J Math Anal Appl 401:307–316, 2013) in connection with moment problems for operator polynomials.     

Nonuniqueness of a Gibbs measure for the Ising ball model

We study a new model, the so-called Ising ball model on a Cayley tree of order k ≥ 2. We show that there exists a critical activity \(\lambda _{cr} = \sqrt[4]{{0.064}}\) such that at least one translation-invariant Gibbs measure exists for λ ≥ λ _cr , at least three translation-invariant Gibbs measures exist for 0 < λ < λ _cr , and for some λ, there are five translation-invariant Gibbs measures and a continuum of Gibbs measures that are not translation invariant. For any normal divisor \(\hat G\) of index 2 of the group representation on the Cayley tree, we study \(\hat G\) -periodic Gibbs measures. We prove that there exists an uncountable set of \(\hat G\) -periodic (not translation invariant and “checkerboard” periodic) Gibbs measures.     

Spaces of Polygonal Triangulations and Monsky Polynomials

Given a combinatorial triangulation of an n-gon, we study (a) the space of all possible drawings in the plane such the edges are straight line segments and the boundary has a fixed shape, and (b) the algebraic variety of possibilities for the areas of the triangles in such drawings. We define a generalized notion of triangulation, and we show that the areas of the triangles in a generalized triangulation ${\mathcal {T}}$ of a square must satisfy a single irreducible homogeneous polynomial relation $p({\mathcal {T}})$ depending only on the combinatorics of ${\mathcal {T}}$ . The invariant $p({\mathcal {T}})$ is called the Monsky polynomial; it captures algebraic, geometric, and combinatorial information about ${\mathcal {T}}$ . We give an algorithm that computes a lower bound on the degree of $p({\mathcal {T}})$ , and we present several examples in which the algorithm is used to compute the degree.     

A simply connected numerical Campedelli surface with an involution

We construct a simply connected minimal complex surface of general type with $p_g=0$ and $K^2=2$ which has an involution such that the minimal resolution of the quotient by the involution is a simply connected minimal complex surface of general type with $p_g=0$ and $K^2=1$ . In order to construct the example, we combine a double covering and $\mathbb Q $ -Gorenstein deformation. Especially, we develop a method for proving unobstructedness for deformations of a singular surface by generalizing a result of Burns and Wahl which characterizes the space of first order deformations of a singular surface with only rational double points. We describe the stable model in the sense of Kollár and Shepherd-Barron of the singular surfaces used for constructing the example. We count the dimension of the invariant part of the deformation space of the example under the induced $\mathbb Z /{2}\mathbb Z $ -action.