Related papers: Unipotent monodromy and arithmetic D-modules

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

We define and study the overconvergent site of an algebraic variety, the sheaf of overconvergent functions on this site and show that the modules of finite presentations correspond to Berthelot's overconvergent isocrystals. We work with…

A logic has uniform interpolation if its formulas can be projected down to given subsignatures, preserving all logical consequences that do not mention the removed symbols; the weaker property of (Craig) interpolation allows the projected…

In the first part of this article we prove that one of the conditions required in the original definition of nearly Frobenius algebra, the coassociativity, is redundant. Also, we determine the Frobenius dimension of the product and tensor…

We introduce the notion of a matroid M over a commutative ring R, assigning to every subset of the ground set an R-module according to some axioms. When R is a field, we recover matroids. When R=$\mathbb{Z}$, and when R is a DVR, we get…

In this work we introduce the notion of almost-symmetry for generalized numerical semigroups. In addition to the main properties occurring in this new class, we present several characterizations for its elements. In particular we show that…

Our first result is a noncommutative form of Jessen/Marcinkiewicz/Zygmund theorem for the maximal limit of multiparametric martingales or ergodic means. It implies bilateral almost uniform convergence with initial data in the expected…

A famous theorem of Nakaoka asserts that the cohomology of the symmetric group stabilizes. The first author generalized this theorem to non-trivial coefficient systems, in the form of $\mathrm{FI}$-modules over a field, though one now…

We compute the monodromy of the mirabolic Harish-Chandra D-module for all values of the parameters (theta,c) in rank 1, and outside an explicit codimension 2 set of values in ranks 2 and higher. This shows in particular that the…

We adapt Caro's notion of overholonomicity to give a definition of holonomic D-cap-modules on rigid analytic spaces. We prove stability under five of the six operations (both inverse image functors, duality, and both direct image functors…

The matter sector of four-dimensional effective supergravity models obtained from the weakly coupled heterotic string contains many moduli. In particular, flat directions of the D-term part of the scalar potential in the presence of an…

Let $\Gamma$ denote a distance-regular graph with diameter $D\geq 3$ and Bose-Mesner algebra $M$. For $\theta\in C\cup \infty$ we define a 1 dimensional subspace of $M$ which we call $M(\theta)$. If $\theta\in C$ then $M(\theta)$ consists…

A generalization of the Macdonald polynomials depending upon both commuting and anticommuting variables has been introduced recently. The construction relies on certain orthogonality and triangularity relations. Although many…

We define the notion of {\it Dwork family of logarithmic $F$-crystals}, a typical example of which is the family of Gauss hypergeometricdifferential systems, viewed as parametrized by their exponents of algebraic monodromy. The $p$-adic…

We prove homological stability for both general linear groups of modules over a ring with finite stable rank and unitary groups of quadratic modules over a ring with finite unitary stable rank. In particular, we do not assume the modules…

We study the connections between three seemingly different combinatorial structures - "uniform" brackets in statistics and probability theory, "containers" in online and distributed learning theory, and "combinatorial Macbeath regions", or…

We study monoids generated by various combinations of idempotents and one- or two-sided units of an infinite partial Brauer monoid. This yields a total of eight such monoids, each with a natural characterisation in terms of relationships…

In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and…

We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of…

We study several rigidity properties of $p$-adic local systems on a smooth rigid analytic space $X$ over a $p$-adic field. We prove that the monodromy of the log isocrystal attached to a $p$-adic local system is ''rigid'' along irreducible…