Related papers: A corollary of the b-function lemma

This introductory paper studies a class of real analytic functions on the upper half plane satisfying a certain modular transformation property. They are not eigenfunctions of the Laplacian and are quite distinct from Maass forms. These…

Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…

In this note we prove that the set of all uniformly continuous units on a product system over a C* algebra B can be endowed with the structure of left right B - B Hilbert module after identifying similar units by the suitable equivalence…

In the first part we deepen the six-functor theory of (holonomic) logarithmic D-modules, in particular with respect to duality and pushforward along projective morphisms. Then, inspired by work of Ogus, we define a logarithmic analogue of…

We give an introduction to a theory of b-functions, i.e. Bernstein-Sato polynomials. After reviewing some facts from D-modules, we introduce b-functions including the one for arbitrary ideals of the structure sheaf. We explain the relation…

Let f be a quasi-homogeneous polynomial with an isolated singularity. We compute the length of the D-modules $Df^c/Df^{c+1}$ generated by complex powers of f in terms of the Hodge filtration on the top cohomology of the Milnor fiber. For…

Let $f$ be a nonzero holomorphic function in the unit ball $\mathbb B$ of the $n$-dimensional complex Euclidean space $\mathbb C^n$ such that the function $f$ vanishes on the set ${\sf Z}\subset \mathbb B$ and satisfies the constraint…

We investigate when a meromorphic connection on a smooth rigid analytic variety $X$ gives rise to a coadmissible $\mathcal{D}_X$-cap-module, and show that this is always the case when the roots of the corresponding $b$-functions are all of…

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…

We study automorphisms and invariants for the algebra $\mathbb{O}$ of octonions and octonionic slice regular functions $f:\mathbb{O} \to \mathbb{O}$.

In this paper, we introduce the notion of uniformly S-essential (u-S-essential) submodules. Let R be a commutative ring and S a multiplicative subset of R. A submodule K of an R-module M is said to be u-S-essential in M if for any submodule…

We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a…

Let $M$ be a subharmonic function on a domain $D$ in the complex plane $\mathbb C$ with the Riesz measure $\nu_M$. Let $f$ be a non-zero holomorphic function on $D$ such that $\log |f|\leq M$ on $D$ and the function $f$ vanish on a sequence…

We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and…

We prove Sarnak's M\"obius disjointness conjecture for all unipotent translations on homogeneous spaces of real connected Lie groups. Namely, we show that if $G$ is any such group, $\Gamma\subset G$ a lattice, and $u\in G$ an Ad-unipotent…

We establish a Crapo complementation formula for the M\"obius function $\mu^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $\mu^X \simeq \mu^{X\setminus K} + \mu^X*\zeta^K*\mu^X$. We work at…

We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain…

Rule sets are highly interpretable logical models in which the predicates for decision are expressed in disjunctive normal form (DNF, OR-of-ANDs), or, equivalently, the overall model comprises an unordered collection of if-then decision…

Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent…

Let $M$\/ be a subharmonic function with Riesz measure $\mu_M$ on the unit disk $\mathbb D$ in the complex plane $\mathbb C$. Let $f$ be a nonzero holomorphic function on $\mathbb D$ such that $f$ vanishes on ${\sf Z}\subset \mathbb D$, and…