Related papers: On higher Gauss maps

We present a unified formulation for higher gauge theory using generalized forms, encompassing higher connections, curvatures, and gauge transformations. We begin by developing the calculus of generalized forms valued in higher algebras and…

Let $\mathbf{G}=\{G_1, \ldots, G_m\}$ be a graph collection on a common vertex set $V$ of size $n$ such that $\delta(G_i) \geq (1+o(1))n/2$ for every $i \in [m]$. We show that $\mathbf{G}$ contains every Hamilton cycle pattern. That is, for…

We prove upper bounds on the face numbers of simplicial complexes in terms on their girths, in analogy with the Moore bound from graph theory. Our definition of girth generalizes the usual definition for graphs.

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma. Ng\^o's approach is based on a study of the elliptic part of the…

We give two characterizations of cones over ellipsoids in real normed vector spaces. Let $C$ be a closed convex cone with nonempty interior such that $C$ has a bounded section of codimension $1$. We show that $C$ is a cone over an ellipsoid…

In this paper, we extend previous results to prove that generalized modular forms with rational Fourier expansions whose divisors are supported only at the cusps and certain other points in the upper half plane are actually classical…

Let $G$ be a $k$-connected graph with $k\geq 2$. In this paper we first prove that: For two distinct vertices $x$ and $z$ in $G$, it contains a path passing through its any $k-2$ {specified} vertices with length at least the average degree…

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…

Let $G$ be a $p$-divisible group over a complete discrete valuation ring $R$ of characteristic $p$. The generic fiber of $G$ determines a Galois representation $\rho$. The image of $\rho$ admits a ramification filtration and a Lie…

Graphs on integer points of polytopes whose edges come from a set of allowed differences are studied. It is shown that any simple graph can be embedded in that way. The minimal dimension of such a representation is the fiber dimension of…

In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive…

We prove that the upper metric mean dimension of $C^0$-generic homeomorphisms, acting on a compact smooth boundaryless manifold with dimension greater than one, coincides with the dimension of the manifold. In the case of continuous…

In this paper the strong metric dimension of generalized Petersen graphs $GP(n,2)$ is considered. The exact value is determined for cases $n=4k$ and $n=4k+2$, while for $n=4k+1$ an upper bound of the strong metric dimension is presented.

Let X be a complex projective n-dimensional manifold of general type, whose canonical system is composite with a pencil. If the Albanese map is generically finite, but not surjective, or if the irregularity is strictly larger than n and the…

In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some…

In this note we prove (under mild hypotheses) that $f$ is a nontrivial character of $\mathbb{F}_p$ if and only if the Fourier transform of $f$ has magnitude 1 somewhere in $\mathbb{F}_p^\times$. This implies a converse to a theorem of Gauss…

We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes \Gamma$ is a pro-$p$ group, $\Gamma$ a…

We study the generalized roundness of finite metric spaces whose distance matrix $D$ has the property that every row of $D$ is a permutation of the first row. The analysis provides a way to characterize subsets of the Hamming cube $\{ 0, 1…

It is shown that the cone in $\mathbb{R}^{d+1}$ has Fourier dimension $d-1$. This verifies a conjecture of Fraser and Kroon.

We introduce a geometric generalization of Hall's marriage theorem. For any family $F = \{X_1, \dots, X_m\}$ of finite sets in $\mathbb{R}^d$, we give conditions under which it is possible to choose a point $x_i\in X_i$ for every $1\leq i…