Related papers: Differentiability of Mather's $\beta$-function vs …

We modify the definition of l^1-homology and argue why our definition is more adequate than the classical one. While we cannot reconstruct the classical l^1-homology from the new definition for various reasons, we can reconstruct its…

A first-order Lagrangian $L^\nabla $ variationally equivalent to the second-order Einstein-Hilbert Lagrangian is introduced. Such a Lagrangian depends on a symmetric linear connection, but the dependence is covariant under diffeomorphisms.…

Let $\Lambda, \Lambda'$ be a pair of closed Legendrian submanifolds in a closed contact manifold $(Y, \xi = Ker(\alpha))$ related by a Legendrian cobordism $W\subset (\mathbb{C}\times Y, \tilde{\xi}=Ker(-y dx +\alpha))$. In this note, we…

We study the generalization of S-duality to non-commutative gauge theories. For rank one theories, we obtain the leading terms of the dual theory by Legendre transforming the Lagrangian of the non-commutative theory expressed in terms of a…

We study a certain class of arithmetic functions that appeared in Klurman's classification of $\pm 1$ multiplicative functions with bounded partial sums, c.f., Comp. Math. 153 (8), 2017, pp. 1622-1657. These functions are periodic and…

Hilbert initiated the standpoint in foundations of mathematics. From this standpoint, we allow only a finite number of repetitions of elementary operations when we construct objects and morphisms. When we start from a subset of a Euclidean…

We prove a perturbation theorem for the $k$-jets, $k\geq 2$, of the Poincar\'e map of a closed orbit of the Hamiltonian flow of a Tonelli Hamiltonian $H: T^*M\to \R$, on a closed manifold $M$. As a consequence we obtain Ma\~n\'e generic…

We prove the following version of the Campana's orbifold conjecture: Let $X$ be a complex non-singular projective variety of dimension $n$. Let $D_1,\ldots,D_{n+1}$ be $\mathbb Z$-linearly independent effective divisors in ${\rm Div}(X)$…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

The partition function of an N=2 gauge theory in the Omega-background satisfies, for generic value of the parameter beta=-eps_1/eps_2, the, in general extended, but otherwise beta-independent, holomorphic anomaly equation of special…

We show that in a weak globular $\omega$-category, all composition operations are equivalent and commutative for cells with sufficiently degenerate boundary, which can be considered a higher-dimensional generalisation of the Eckmann-Hilton…

We show that, for every compact n-dimensional manifold, n\geq 1, there is a residual subset of Diff^1(M) of diffeomorphisms for which the homoclinic class of any periodic saddle of f verifies one of the following two possibilities: Either…

Fix a commutative monoid $(T,+,0)$, a commutative monoid $(\Gamma,+,0_\Gamma)$, and a map \[ (a,\alpha,b,\beta,c)\longmapsto a\,\alpha\,b\,\beta\,c\in T \] which is additive in each variable and associative in the ternary sense. A left…

\noindent Let $M\to N$ (resp.\ $C\to N$) be the fibre bundle of pseudo-Riemannian metrics of a given signature (resp.\ the bundle of linear connections) on an orientable connected manifold $N$. A geometrically defined class of first-order…

We develop a differential theory for the polarity transform parallel to that for the Legendre transform, which is applicable when the functions studied are "geometric convex", namely convex, non-negative and vanish at the origin. This…

Aubry-Mather is traditionally concerned with Tonelli Hamiltonian (convex and super-linear). In \cite{Vi,MVZ}, Mather's $\alpha$ function is recovered from the homogenization of symplectic capacities. This allows the authors to extend the…

The alternative version of Hamiltonian formalism for higher-derivative theories is proposed. As compared with the standard Ostrogradski approach it has the following advantages: (i) the Lagrangian, when expressed in terms of new variables…

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…

Recently, Lobb and Nijhoff initiated the study of variational (Lagrangian) structure of discrete integrable systems from the perspective of multi-dimensional consistency. In the present work, we follow this line of research and develop a…

Let $G/P$ be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in $G/P$, and for a Schubert variety pulled back via the natural projection $G/Q \to G/P$. We…