Related papers: GAGA theorems
We prove the theorems which are equivalent to the Roland's results such that a new form of them allows to consider some generalizations. In particular, we give generators of primes more than a fixed prime.
Leggett-Garg inequalities are an important milestone in our quest to bridge the classical-quantum divide. An experimental investigation of these inequalities requires the so called \emph{non-invasive measurements}(NIM). It has become…
The Bell and Leggett-Garg tests offer operational ways to demonstrate that non-classical behavior manifests itself in quantum systems, and experimentalists have implemented these protocols to show that classical worldviews such as local…
In this paper, we first prove a local family version of the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula, then we extend the famous Witten's rigidity Theorems to the family case. Several family vanishing theorems for elliptic…
We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera. Furthermore, thanks to a structure theorem of…
In this thesis noncommutative gauge theory is extended beyond the canonical case, i.e. to structures where the commutator no longer is a constant. In the first part noncommutative spaces created by star-products are studied. We are able to…
Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…
Max Noether's Theorem asserts that if $\omega$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. The result was…
We construct quantifiable generalisations of Leggett-Garg tests for macro/ mesoscopic realism and noninvasive measurability that apply when not all outcomes of measurement can be identified as arising from one of two macroscopically…
We shall here consider extended theories of gravitation in the metric-affine formalism with matter coupled directly to the connection. A sufficiently general procedure will be exhibited to solve the resulting field equation associated to…
We develop the theory of geometric Eisenstein series and constant term functors for $\ell$-adic sheaves on stacks of bundles on the Fargues-Fontaine curve. In particular, we prove essentially optimal finiteness theorems for these functors,…
We use slicing by nongeneric pencils of hypersurfaces and prove a new theorem of Lefschetz type for singular non compact spaces, at the homotopy level. As applications, we derive results on the topology of the fibres of polynomial functions…
We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…
We prove an abstract Nyquist criterion in a general set up. As applications, we recover various versions of the Nyquist criterion, some of which are new.
The aim of this article is to establish new two-functions minimax inequalities extending classical results such as Simons' minimax theorem. Our results will be proved in a non-compact setting. We also prove, under general conditions, that…
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene algebra with tests, along the lines of the coalgebraic…
Generalizations of classical theta functions are proposed that include any even number of analytic parameters for which conditions of quasi-periodicity are fulfilled and that are representations of extended Heisenberg group. Differential…
A non-traditional proof of the Gregory-Leibniz series, based on the relationships among the zeta function, Bernoulli coefficients, and the Laurent expansion of the cotangent is given. New series for calculating pi are obtained.