Related papers: The higher sharp II: on $M_2^\#$

In this article, we continue the study of $L^p$-boundedness of the maximal operator $\mathcal M_S$ associated to averages along isotropic dilates of a given, smooth hypersurface $S$ in 3-dimensional Euclidean space. We focus here on small…

Let A be an associative complex algebra and L an invariant linear functional on it (trace). Let i be an involutive antiautomorphism of A such that L(i(a))=L(a) for any a in A. Then A admits a symmetric invariant bilinear form (a, b)=L(a…

In this paper we study higher Deligne--Lusztig representations of reductive groups over finite quotients of discrete valuation rings. At even levels, we show that these geometrically constructed representations coincide with certain induced…

We give explicit estimates for the Stirling numbers of the second kind $S(n,m)$. With a few exceptions, such estimates are asymptotically sharp. The form of these estimates varies according to $m$ lying in the central or non-central regions…

Let s,t,m,n be positive integers such that sm=tn. Let M(m,s;n,t) be the number of m x n matrices over {0,1,2,...} with each row summing to s and each column summing to t. Equivalently, M(m,s;n,t) counts 2-way contingency tables of order m x…

In $\mathcal L$, the semilattice of faces of an $n$-cube, we count the number of automorphisms of $\mathcal L$ that fix a given subalgebra -- either pointwise or as a subalgebra. By using M\"obius inversion we get a formula for the number…

Given a positive integer $n$ and a partition $(n_1,\ldots,n_r)$ of $n$, one can consider the associated $n$-dimensional multiprojective space $\mathbb{P}^{n_1}\times \cdots \times \mathbb{P}^{n_r}$. These multiprojective spaces are…

The positive existential theories of the sets $M_n(\mathbb N)$ without parameters build an inclusion lattice isomorhic with the lattice of divisibility. All these sets are algorithmically undecidable. In further sections some easier…

We develop a denotational semantics of muLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional muMALL with exponentials. Our general categorical setting is based on the…

In this short note, we given a new proof of Mitchell's theorem that $L_{T\left(n\right)} K(Z) \cong 0$ for $n \geq 2$. Instead of reducing the problem to delicate representation theory, we use recently established hyperdescent technology…

In this article, we give a family of examples of algebras, showing that for every $n \geq 2$ and $m \geq 0$, there is an algebra displaying a path of n irreducible morphisms between indecomposable modules whose composite lies in the…

The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$.…

Given a rational point on a curve in a rational isogeny class, a natural question concerns the field of definition of its pre-images. The multiplication by m endomorphism is a powerful and much-used tool. The pre-images for this map are…

The CFT dual of the higher spin theory with minimal N = 1 spectrum is determined. Unlike previous examples of minimal model holography, there is no free parameter beyond the central charge, and the CFT can be described in terms of a…

The number of apparent double points of a smooth, irreducible projective variety $X$ of dimension $n$ in $\Proj^{2n+1}$ is the number of secant lines to $X$ passing through the general point of $\Proj^{2n+1}$. This classical notion dates…

It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…

The goal of this work is twofold: (i) to provide a detailed analysis of some categories of inductive graded ring - a concept introduced in [DM98] in order to provide a solution of Marshall's signature conjecture in the algebraic theory of…

In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…

We construct a new class of finite dimensional indecomposable representations of simple superalgebras which may explain, in a natural way, the existence of the heavier elementary particles. In type I Lie superalgebras sl(m/n) and osp(2/2n),…

We consider the logic MSO+U, which is monadic second-order logic extended with the unbounding quantifier. The unbounding quantifier is used to say that a property of finite sets holds for sets of arbitrarily large size. We prove that the…