Related papers: Modules and Infinitary Logics

We prove the stable rationality of almost simple algebraic groups, the connected components of the Dynkin diagram of anisotropic kernel of which contain at most two vertices. The (stable) rationality of many isotropic almost simple groups…

For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…

We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the…

It is well known that if G is a finite group then the group of endotrivial modules is finitely generated. In this paper we investigate endotrivial modules over arbitrary finite group schemes. Our results can be applied to computing the…

Let $N$ be a normal subgroup of a group $G$. An $N$-module $Q$ is $G$-stable provided that $Q$ is equivalent to the twist $Q^g$ of $Q$ by $g$, for every $g\in G$. If the action of $N$ on $Q$ extends to an action of $G$ on $Q$, $Q$ is…

In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.

Given a class C of finite Kripke frames, we consider the uniform distribution on the frames from C with n states. A formula is almost surely valid in C if the probability that it is valid in a random C-frame with n states tends to 1 as n…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…

We extend a result of Greenberg and Stevens on the interpolation of modular symbols in Hida families to the context of non-split rational quaternion algebras. Both the definite case and the indefinite case are considered.

We study the arithmetic aspects of the finite group of extensions of abelian varieties defined over a number field. In particular, we establish relations with special values of L-functions and congruences between modular forms.

We introduce a strong notion of quasiconvexity in finitely generated groups, which we call stability. Stability agrees with quasiconvexity in hyperbolic groups and is preserved under quasi-isometry for finitely generated groups. We show…

For any finite abelian group G, we study the moduli space of abelian $G$-covers of elliptic curves, in particular identifying the irreducible components of the moduli space. We prove that, in the totally ramified case, the moduli space has…

Recently, Nitzan and Olsen showed that Balian-Low theorems (BLTs) hold for discrete Gabor systems defined on $\mathbb{Z}_d$. Here we extend these results to a multivariable setting. Additionally, we show a variety of applications of the…

For perturbations of integrable Hamiltonians systems, the Nekhoroshev theorem shows that all solutions are stable for an exponentially long interval of time, provided the integrable part satisfies a steepness condition and the system is…

We prove that the moduli spaces of framed bundles over a smooth projective curve are rational. We compute the Brauer group of these moduli spaces to be zero under some assumption on the stability parameter.

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…