Related papers: Regular $m$-gonal forms

We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note.

The geometric Lagrangian theory (of arbitrary order) is based on the analysis of some basic mathematical objects such as: the contact ideal, the (exact) variational sequence, the existence of Euler-Lagrange and Helmholtz-Sonin forms, etc.…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

Several large classes of homogeneous spaces are known to be formal---in the sense of Rational Homotopy Theory. However, it seems that far fewer examples of non-formal homogeneous spaces are known. In this article we provide several…

We construct a resonant normal form for an area-preserving map near a generic resonant elliptic fixed point. The normal form is obtained by a simplification of a formal interpolating Hamiltonian. The resonant normal form is unique and…

We find a canonical form for pure states of a general multipartite system, in which the constraints on the coordinates (with respect to a factorisable orthonormal basis) are simply that certain ones vanish and certain others are real. For…

In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on…

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…

In this paper, we show that certain sums of generalized $m$-gonal numbers represent every positive integer if and only if they represent every positive integer up to an explicit bound $C_m$, verifying a conjecture of Sun for sufficiently…

We consider various regular graphs defined on the set of elements of given rank of a finite polar space. It is likely that no two such graphs, of the same kind but defined for different ranks, can have the same degree. We shall prove this…

We present a uniform description of sets of $m$ linear forms in $n$ variables over the field of rational numbers whose computation requires $m(n - 1)$ additions.

Let $X$ be a smooth complex projective variety such that the Albanese map of $X$ is generically finite onto its image. Here we study the so-called eventual $m$-paracanonical map of $X$ (when $m=1$ we also assume $\chi(K_X)>0$). We show that…

We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of…

We consider Diophantine inequalities of the kind |f(x)| \le m, where F(X) \in Z[X] is a homogeneous polynomial which can be expressed as a product of d homogeneous linear forms in n variables with complex coefficients and m\ge 1. We say…

This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.

This paper presents the log-concavity of the $m$-gonal figurate number sequences. The author gives and proves the recurrence formula for $m$-gonal figurate number sequences and its corresponding quotient sequences which are found to be…

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

We study fundamental groups of non compact Riemannian manifolds. We find conditions which ensure that the fundamental group is trivial, finite or finitely generated.

Let $\sigma_b(X_{m,d}(\mathbb {C}))(\mathbb {R})$, $b(m+1) < \binom{m+d}{m}$, denote the set of all degree $d$ real homogeneous polynomials in $m+1$ variables (i.e. real symmetric tensors of format $(m+1)\times ... \times (m+1)$, $d$ times)…

We prove that there are only finitely many even lattices L of signature (2,n) with n>14 such that the modular variety defined by the stable orthogonal group of L is not of general type.