Related papers: GAGA theorems
The invariance theorems obtained in analytical mechanics and derived from Noether's theorems can be adapted to fluid mechanics. For this purpose, it is useful to give a functional representation of the fluid motion and to interpret the…
A geometric global formulation of the higher-order Lagrangian formalism for systems with finite number of degrees of freedom is provided. The formalism is applied to the study of systems with groups of Noetherian symmetries.
The theory of the calculus of variations for fuzzy systems was recently initiated in [7], with the proof of the fuzzy Euler-Lagrange equation. Using fuzzy Euler-Lagrange equation, we obtain here a Noether-like theorem for fuzzy variational…
We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…
A group theoretical mechanism for unification of local gauge and spacetime symmetries is introduced. No-go theorems prohibiting such unification are circumvented by slightly relaxing the usual requirement on the gauge group: only the so…
Using techniques of projective geometry, we give elementary proofs of two theorems concerning Hagge configurations.
We consider a model of steady, incompressible non-Newtonian flow with neglected convective term under external forcing. Our structural assumptions allow for certain non-degenerate power-law or Carreau-type fluids. We provide the full-range…
Some mathematical theorems represent ideas that are discovered again and again in different forms. One such theorem is Hall's marriage theorem. This theorem is equivalent to several other theorems in combinatorics and optimization theory,…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
The purpose of this article is to present a "Groupoid proof" to the Lefschetz fixed point formula for elliptic complexes. We shall define a "relative version" of tangent groupoid, describe the corresponding pseudodifferential calculi and…
The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…
The present status of Unified Theories is summarized with special emphasis on their possible experimental tests. Outline: i) Unification of couplings; ii) Where can a positive signal come from? iii) HERA anomaly and Unification; iv) Recent…
We state and prove a Lemma in 1 variable Calculus, that justifies some arguments previously used to ilustrate non-uniqueness of some generalized physical quantities.
This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…
In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\phi$ is provable in classical propositional logic if and only if $\neg\neg\phi$ is provable in intuitionistic propositional logic. We work in…
In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Gr\"otzsch theorem.
Making use of the Lagrange anchor construction introduced earlier to quantize non-Lagrangian field theories, we extend the Noether theorem beyond the class of variational dynamics.
In this paper we introduce some new methods to understand the analytic behaviour of the zeta function of a group. We can then combine this knowledge with suitable Tauberian theorems to deduce results about the growth of subgroups in a…
We extend the analogy between the extended Robba rings of p-adic Hodge theory and the one-dimensional affinoid algebras of rigid analytic geometry, proving some fundamental properties that are well known in the latter case. In particular,…
We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions…