Related papers: Le symbole de Hasse logarithmique
For a pair of quadratic forms with rational coefficients in at least $10$ variables, we prove an asymptotic formula for the number of common zeros under the assumption that the two forms determine a projective variety with exactly two…
The logarithmic derivative of a point process plays a key role in the general approach, due to the third author, to constructing diffusions preserving a given point process. In this paper we explicitly compute the logarithmic derivative for…
The GUE Hypothesis, which concerns the distribution of zeros of the Riemann zeta-function, is used to evaluate some integrals involving the logarithmic derivative of the zeta-function. Some connections are shown between the GUE Hypothesis…
In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a…
We are interested in classical and logarithmic imaginary classes of abelian number fields in connection with Iwasawa theory. For any given odd prime ${\ell}$ and any imaginary abelian number field K, we compute the isotypic components of…
In this paper we investigate some convergence and divergence properties of the logarithmic means of quadratical partial sums of double Fourier series of functions in the measure and in the $L$ Lebesgue norm.
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
In this paper we will give a computation of the \'{e}tale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the \'{e}tale fundamental group is naturally isomorphic to the Galois group of the maximal…
The problem of computing the index of a coincidence isometry of the hyper cubic lattice $\mathbb{Z}^{n}$ is considered. The normal form of a rational orthogonal matrix is analyzed in detail, and explicit formulas for the index of certain…
In this short survey we look at a few basic features of p-adic numbers, somewhat with the point of view of a classical analyst. In particular, with p-adic numbers one has arithmetic operations and a norm, just as for real or complex…
In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are…
On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…
We prove that the Hasse principle holds for cubic threefolds with 9 singular points over a number field.
We establish the Hasse principle for $100\%$ of conic bundles over $\mathbb{P}^1_{\mathbb{Q}}$.
In this paper, I aim to articulate and investigate the philosophical implications and inherent symbolism surrounding the mathematical properties of Ouroboros spaces and their respective functions. Initially, I provide a brief historical…
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…
The purpose of this note is to compare the properties of the symbolic pseudo-differential calculus on the Heisenberg and on the Engel groups; nilpotent Lie groups of 2-step and 3-step, respectively. Here we provide a preliminary analysis of…
We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to…
In this article we develop counterexamples to the Hasse principle using only techniques from undergraduate number theory and algebra. By keeping the technical prerequisites to a minimum, we hope to provide a path for nonspecialists to this…
We will present several examples in which ideas from ergodic theory can be useful to study some problems in arithmetic and algebraic geometry.