Related papers: Rankin-Cohen brackets of eigenforms and modular fo…

We classify the closed orbits under the action of maximal tori on the S-adic homogeneous spaces. As an application, we prove that if the set of values at the integer points of any homogeneous non-degenerate split form is discrete, then the…

We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…

For an open set in a compact smooth oriented Riemannian n-manifold and a positive finite Borel measure with support contained in the closure of the open set, we define an associated Krein-Feller operator on k-forms by assuming the Poincare…

Standard singularity theorems are proven in Lorentzian manifolds of arbitrary dimension n if they contain closed trapped submanifolds of arbitrary co-dimension. By using the mean curvature vector to characterize trapped submanifolds, a…

We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are interpreted over constructor terms (representing data values),…

A double Poisson bracket, in the sense of M. Van den Bergh, is an operation on an associative algebra $A$ which induces a Poisson bracket on each representation space $\operatorname{Rep}(A,n)$ in an explicit way. In this note, we study the…

We study holographic operators associated with Rankin-Cohen brackets which are symmetry breaking operators for the restriction of tensor products of holomorphic discrete series of SL2(R). Furthermore, we investigate a geometrical…

We discuss a gap in Besse's book, recently pointed out by Merton, which concerns the classification of Riemannian manifolds admitting a Codazzi tensors with exactly two distinct eigenvalues. For such manifolds, we prove a structure theorem,…

As a step to establish the McKay conjecture on character degrees of finite groups, we verify the inductive McKay condition introduced by Isaacs-Malle-Navarro for simple groups of Lie type $A_{n-1}$, split or twisted. Key to the proofs is…

Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of…

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…

In [2], the authors prove Stillman's conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field $K$ or the number of variables, $n$ forms of degree at most $d$ in a polynomial ring $R$…

Given an inner model $W \subset V$ and a regular cardinal $\kappa$, we consider two alternatives for adding a subset to $\kappa$ by forcing: the Cohen poset $Add(\kappa,1)$, and the Cohen poset of the inner model $Add(\kappa,1)^W$. The…

We prove that if a non-singular planar map $\Lambda \in C^2(R^2,R^2)$ has a convex component, then $\Lambda$ is injective. We do not assume strict convexity.

A function from configuration space to moduli space of surface may induce a homomorphism between their fundamental groups which are braid groups and mapping class groups of surface, respectively. This map $\phi: B_k \rightarrow…

In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…

We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations. The type theory imposes an…

For a fixed finite dimensional algebra $A$, we study representation embeddings of the form $mod(B)\rightarrow mod(A)$. Such an embedding is called homological, if it induces an isomorphism on all Ext-groups and weakly homological, if only…

It is illustrated by the fitted Regge trajectories for a large majority of mesons that both the radial and orbital Regge trajectories for mesons prefer being concave. The concavity of the meson Regge trajectories is model-independent. If…

We classify indecomposable pure injective modules over domestic string algebras, verifying Ringel's conjecture on the structure of such modules.