Related papers: GAGA theorems

We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…

Using supervector fields and graded forms along a morphism, we study the geometry of ordinary differential superequations, extend the formalism of higher order Lagrangian mechanics to the graded context and prove a generalization of…

This is an announcement of results proved in [GGS1], [GGS2], [C], and [CG] where methods from Lie theory were used as new tools for the study of symplectic Lefschetz fibrations.

Haga's fold in paper folding is generalized. Recent generalization of Haga's theorems and problems in Wasan geometry involving Haga's fold are also generalized.

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…

In this paper, we present some new inequalities for the gamma function. The main tools are the multiple-correction method developed in our previous works, and a generalized Mortici's lemma.

Using the commutativity of a general variation with the time differentiation we discuss both global and local (gauge) symmetries of a lagrangian from a unified point of view. The Noether considerations are thereby applicable for both cases.…

We introduce methods that allow to derive continuous-time versions of various discrete-time ergodic theorems. We then illustrate these methods by giving simple proofs and refinements of some known results as well as establishing new results…

We present a survey of ergodic theorems for actions of algebraic and arithmetic groups recently established by the authors, as well as some of their applications. Our approach is based on spectral methods employing the unitary…

In quantum logical terms, Hardy-type arguments can be uniformly presented and extended as collections of intertwined contexts and their observables. If interpreted classically those structures serve as graph-theoretic "gadgets" that enforce…

This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general…

Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…

This paper presents the Euler-Lagrange equations for fractional variational problems with multiple integrals. The fractional Noether-type theorem for conservative and nonconservative generalized physical systems is proved. Our approach uses…

Study of gauge symmetry is carried over the different interacting and noninteracting field theoretical models through a prescription based on lagrangian formulation. It is found that the prescription is capable of testing whether a given…

We prove that several results in different areas of number theory such as the divergent series, summation of arithmetic functions, uniform distribution modulo one and summation over prime numbers which are currently considered to be…

We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.

We prove a new inequality for Gaussian processes, this inequality implies the Gordon-Chevet inequality. Some remarks on Gaussian proofs of Dvoretzky's theorem are given.

Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.