Related papers: Parametrization of Formal Norm Compatible Sequence…

Effective field theory provides a new perspective on the predictive power of Renormalization Group fixed points. Critical trajectories between different fixed points confine the regions of UV-complete, IR-complete, as well as conformal…

Using the previously constructed explicit reciprocity laws for the generalized Kummer pairing of an arbitrary (one-dimensional) formal group, in this article a special consideration is given to Lubin-Tate formal groups. In particular, this…

In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the…

We study formal power series which can be interpreted as interpolations of Fibonacci and Lucas polynomials with even (or odd) indices.

We show that recent multivariate generalizations of the Araki-Lieb-Thirring inequality and the Golden-Thompson inequality [Sutter, Berta, and Tomamichel, Comm. Math. Phys. (2016)] for Schatten norms hold more generally for all unitarily…

We obtain a result concerning the stability under the interpolation with functional parameter method for the approximation spaces of Lorentz-Marcinkiewicz type and also for the approximation spaces generated by symmetric norming functions…

Let $d\ge 1$ be an integer. We use the methods introduced by Lue Pan to prove that the compactly supported cohomology of Lubin-Tate towers and Drinfeld towers are isomorphic, as $\text{GL}_{d+1}(L)\times D_{L,\frac{1}{d+1}}^\times$-modules.

This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical, intuitionistic, modal, and substructural logics. Central to the discussion…

We define and study stacks which parametrize Lubin--Tate $(\varphi,\Gamma)$-modules. By working at a perfectoid level, we compare these with the Emerton--Gee stacks of cyclotomic $(\varphi,\Gamma)$-modules. As a consequence, we deduce…

We prove finiteness and base change properties for analytic cohomology of families of $L$-analytic $(\varphi_L,\Gamma_L)$-modules parametrised by affinoid algebras in the sense of Tate. For technical reasons we work over a field $K$…

We introduce a Gentzen-style framework, called layered sequent calculi, for modal logic K5 and its extensions KD5, K45, KD45, KB5, and S5 with the goal to investigate the uniform Lyndon interpolation property (ULIP), which implies both the…

In this paper, we study Iwasawa theory for Tate motives over totally real fields. More precisely, we construct a zeta element that interpolates the values of $L$-functions at positive integers over totally real fields under a certain…

Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…

We describe work of Faltings on the construction of \'etale cohomology classes associated to symplectic Shimura varieties and show that they satisfy certain trace compatibilities similar to the ones of Siegel units in the modular curve…

Under a hypothesis of classically conformal theories, we investigate the minimal B-L extended Standard Model, which naturally provides the seesaw mechanism for explaining tiny neutrino masses. In this setup, the radiative gauge symmetry…

Let K be a finite extension of Q_p with residue field F_q and let P(T) = T^d + a_{d-1}T^{d-1} + ... +a_1 T, where d is a power of q and a_i is in the maximal ideal of K for all i. Let u_0 be a uniformizer of O_K and let {u_n}_{n \geq 0} be…

We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every…

We consider Lifshitz-type scalar theories with explicit breaking of the Lorentz symmetry that, in addition, exhibit anisotropic scaling laws near the ultraviolet fixed point. Using the proper time regularization method on the spatial…

We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four…

We construct automorphisms of $\C^n$ which map certain discrete sequences one onto another with prescribed finite jet at each point, thus solving a general Mittag-Leffler interpolation problem for automorphisms. Under certain circumstances,…