Related papers: On the Ohno-Nakagawa Theorem

We give a simplified proof of an optimal version of the Ohsawa-Takegoshi $L^2$-extension theorem. We follow the variational proof by Berndtsson-Lempert and use the method in the paper of McNeal-Varolin. As an application, we give an optimal…

In this work we study, in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the…

In this paper, we use two-variable Laurent polynomials attached to matrices to encode properties of compositions of sequences. The Lagrange identity in the ring of Laurent polynomials is then used to give a short and transparent proof of a…

In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog…

This paper provides two extensions of first order logic by `$\omega$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $\omega$-logic,…

We introduce the multivariable connected sum which is a generalization of Seki-Yamamoto's connected sum and prove the fundamental identity for these sums by series manipulation. This identity yields explicit procedures for evaluating…

In recent work, Rosenbaum and Wagner showed that isomorphism of explicitly listed $p$-groups of order $n$ could be tested in $n^{\frac{1}{2}\log_p n + O(p)}$ time, roughly a square root of the classical bound. The $O(p)$ term is entirely…

Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category…

Recent work by Philbin [1] has provided a Lagrangian theory that establishes a general method for the canonical quantization of the electromagnetic field in any dispersive, lossy, linear dielectric. Working from this theory, we extend the…

Possible generalizations of quantum theory permitting to describe in a unique way the development of the quantum system and the measurement process are discussed. The approach to the problem based on the Lindblad's equation for the…

We shall prove a convergence result relative to sequences of Minkowski symmetrals of general compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite…

We revisit the linearization theorems for proper Lie groupoids around general orbits (statements and proofs). In the the fixed point case (known as Zung's theorem) we give a shorter and more geometric proof, based on a Moser deformation…

We extend the results of [CGLS22] to higher weight modular forms and prove a rank $0$ Tamagawa number formula (also known as the Bloch-Kato conjecture) for modular forms at good Eisenstein primes, under some technical assumption on periods.…

Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…

We prove that the celebrated It\^{o}'s theorem for groups remains valid at the level of Leibniz algebras: if $\mathfrak{g}$ is a Leibniz algebra such that $\mathfrak{g} = A + B$, for two abelian subalgebras $A$ and $B$, then $\mathfrak{g}$…

Every conic symplectic singularity admits a universal Poisson deformation and a universal filtered quantization, thanks to the work of Losev and Namikawa. We begin this paper by showing that every such variety admits a universal equivariant…

We prove a localization theorem for affine $W$-algebras in the spirit of Beilinson--Bernstein and Kashiwara--Tanisaki. More precisely, for any non-critical regular weight $\lambda$, we identify $\lambda$-monodromic Whittaker $D$-modules on…

In general, the system of $2$nd-order partial differential equations made of the Euler-Lagrange equations of classical field theories are not compatible for singular Lagrangians. This is the so-called second-order problem. The first aim of…

We give an analytic proof of the Saito vanishing theorem using $L^{2}$-methods, by going back to the original idea for the proof of the Kodaira vanishing theorem.

For a congruence subgroup $\Gamma$, we define the notion of $\Gamma$-equivalence on binary quadratic forms which is the same as proper equivalence if $\Gamma = \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $\Gamma$-equivalence such as…