Related papers: Around the Chevalley-Weil Theorem
We give a quite detailed overview on the proof of the Cheeger-Colding-Gromoll splitting theorem in the abstract framework of spaces with Riemannian Ricci curvature bounded from below.
This paper investigates Voevodsky's univalence axiom in intensional Martin-L\"of type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various…
We give a geometric proof of a theorem of Weyl on the continuous part of the spectrum of Sturm-Liouville operators on the half-line with asymptotically constant coefficients. Earlier proofs due to Weyl and Kodaira depend on special features…
It is pointed out that the language of quotient groups and wrapped distributions allows an elementary discussion of Benford's Law, and adds arguments supporting wide-spread observability of this statistics.
In this note a proof of a differential analog of Chevalley's theorem \cite{C} on homomorphism extensions is given. An immediate corollary is a condition of finitenes of extensions of differential algebras and several equivalent definitions…
We will explain how elementary concepts of relative homological algebra yield the Taylor tower for functors from pointed categories to abelian groups recovering the constructions of Johnson and McCarthy.
We consider theories with gauged chiral fermions in which there are abelian anomalies, and no nonabelian anomalies (but there may be nonabelian gauge fields present). We construct an associated theory that is gauge invariant,…
We give a uniform proof of a significant part of the Cachazo-Douglas-Seiberg-Witten conjecture by using topology and geometry of infinite Grassmannians.
In this paper we establish a version of the Paley-Wiener theorem of Fourier analysis in the frame of the Mellin transform. We provide two different proofs, one involving complex analysis arguments, namely the Riemann surface of the…
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}\Sigma$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to…
We expose here a short proof of Cramer's theorem in R based on convex duality.
We discuss topological obstructions to putting chiral fermions on an even dimensional lattice. The setting includes Ginsparg-Wilson fermions, but is more general. We prove a theorem which relates the total chirality to the difference of…
We prove two conjectures posed in 2016 concerning a generalization of the Sawayama-Th\'ebault Theorem and the Sawayama Lemma. We show that this generalized statement can be viewed in Laguerre geometry, which provides a natural framework for…
We give the general solution of the Ward identity for the linear vector supersymmetry which characterizes all topological models. Such solution, whose expression is quite compact and simple, greatly simplifies the study of theories…
We study Thom Transversality Theorem using a point of view, suggested by Gromov, which allows to avoid the use of Sard Theorem and gives finer informations on the structure of the set of non-transverse maps.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian…
In this paper, the geometric approach to the virial theorem developed in \cite{CFR12} is written in terms of quasi-velocities (see \cite{CNCS07}). A generalization of the virial theorem for mechanical systems on Lie algebroids is also…
Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that…
Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis.…
We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular we consider conservative nonlinear oscillators and a bifurcation problem. In the former case we obtain the same main result…