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

We show that, also within the class of representation-tame finite dimensional algebras $\Lambda$, the big left finitistic dimension of $\Lambda$ may be strictly larger than the little. In fact, the discrepancies $Findim \Lambda - findim…

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_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…

We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

In light of the well-known fact that the $n$th divided difference of any polynomial of degree $m$ must be zero while $m<n$,the present paper proves the $(\alpha,\beta)$-inversion formula conjectured by Hsu and Ma [J. Math. Res. $\&$…

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k < \omega$ and for finite sets of real elements. Now suppose that, in…

Let $P_{\lambda\Sigma_n}$ be the Ehrhart polynomial associated to an intergal multiple $\lambda$ of the standard symplex $\Sigma_n \subset \mathbb{R}^n$. In this paper we prove that if $(M, L)$ is an $n$-dimensional polarized toric manifold…

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

In this paper, we establish Deligne's logarithmic comparison theorem and the $E_1$-degeneration of the corresponding Hodge-de Rham spectral sequence, in the setting of toroidal embeddings. Along the way, we prove Kawamata-Viehweg Vanishing…

In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how…

Let \ $\lambda \in \mathbb{Q}^{*+}$ \ and consider a multivalued formal function of the type $$ \phi(s) : = \sum_{j=0}^k \ c_j(s).s^{\lambda + m_j}.(Log\, s)^j $$ where \ $c_j \in \C[[s]], m_j \in \mathbb{N}$ \ for \ $j \in [0,k-1]$. The…

This is the geometric part of two papers on the cohomology of Kaehler groups. Using non-Abelian Hodge theory we show that if a finitely presented group with an unbounded complex linear morphism is the fundamental group of a compact Kaehler…

We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them "on a cone." We prove that they are in one-to-one correspondence with the Wadge degrees, which can…

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…

In this paper we demonstrate how the Legendre transform connects the statements of Noether's theorem in Hamiltonian and Lagrangian mechanics. We give precise definitions of symmetries and conserved quantities in both the Hamiltonian and…

In this article, following an insight of Kontsevich, we extend the famous Weil conjecture (as well as the strong form of the Tate conjecture) from the realm of algebraic geometry to the broad noncommutative setting of dg categories. As a…

This paper has three objectives. First to recall the link between the classical Legendre-Fenschel transformation and a useful isomorphism between 1-jets of functions on a vector bundle and on its dual. As a particular consequence we obtain…

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

We introduce a positive scalar function $\rho(a, \Omega)$ for a domain $\Omega$ of a complex manifold $X$ with a global holomorphic frame of the cotangent bundle by closed Abelian differentials, which heuristically measure the distance from…