Related papers: Schertz style class invariants for higher degree C…

We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method…

We introduce a new stable birational invariant, which takes the form of a functor sending a degenerating variety to the homotopy type of a chain complex. Our invariant is a categorification of the motivic volume of Nicaise and Shinder. From…

Notable results on the special values of $L$-functions of Siegel modular forms were obtained by J. Sturm in the case when the degree $n$ is even and the weight $k$ is an integer. In this paper we extend this method to half-integer weights…

A surface in a three-dimensional metric Lie group $G$ is said invariant if it is invariant with respect to a one-dimensional subgroup $\Gamma$ of the isometry group of $G$. Is this work we focus on unimodular metric Lie groups $G$ that can…

We study the spectral properties of Schr\"odinger operators on a compact connected Riemannian manifold $M$ without boundary in case that the underlying Hamiltonian system possesses certain symmetries. More precisely, if $M$ carries an…

We present a theory for splitting algebras of monic polynomials over rings, and apply the results to symmetric functions, and Galois theory. Our main result is that the ring of invariants of a splitting algebra under the symmetric group…

We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincar\'e series in a companion paper. The source term of the Laplace equation is a product of…

In this paper we give a general family of conformal invariants associated to bordered Riemann surfaces endowed with boundary parametrizations, or equivalently compact surfaces endowed with conformal maps. Each invariant is specified by a…

Let $M$ denote the vector space of $2 \times 2$ matrices with coefficients in $\mathbb{F}_3$ and trace zero. Let $G = SL_2(\mathbb{F}_3)$. Then $G$ acts on $M$ via conjugation. Let $R =(S(M^*) \otimes \Lambda(M^*))$ be the algebra of…

We study the ergodic properties of Schr\"odinger operators on a compact connected Riemannian manifold $M$ without boundary in case that the underlying Hamiltonian system possesses certain symmetries. More precisely, let $M$ carry an…

We give a polynomial gluing construction of two groups $G_X\subseteq GL(\ell,\mathbb F)$ and $G_Y\subseteq GL(m,\mathbb F)$ which results in a group $G\subseteq GL(\ell+m,\mathbb F)$ whose ring of invariants is isomorphic to the tensor…

We prove a vanishing theorem for one forms on the moduli stack of principally polarized abelian varieties of genus g>1 with level structure N over fields of characteristic p different from two. This is used to compute the Picard groups of…

We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our…

We introduce a new collection of partially global Galois cohomology classes subsuming both plectic Heegner points and mock plectic invariants. The former are recovered as localizations of plectic Heegner classes, while the latter arise as…

Let $N$ be a positive square-free integer such that the discrete group $\Gamma_{0}(N)^{+}$ has genus one. In a previous article, we constructed canonical generators $x_{N}$ and $y_{N}$ of the holomorphic function field associated to…

Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples of semigroups to…

Let $p\geq 5$ be a prime. We construct modular Galois representations for which the $\mathbb{Z}_p$-corank of the $p$-primary Selmer group (i.e., $\lambda$-invariant) over the cyclotomic $\mathbb{Z}_p$-extension is large. More precisely, for…

Given a finite group scheme $\cG$ over an algebraically closed field $k$ of characteristic $\Char(k)=p>0$, we introduce new invariants for a $\cG$-module $M$ by associating certain morphisms $\deg^j_M : U_M \lra \Gr_d(M) \ \…

The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators…

Let $G$ be a simply connected semisimple group over $\mathbb{C}$. We show that a certain involution of an open subset of the affine Grassmannian of $G$, defined previously by Achar and the author, corresponds to the action of the nontrivial…