Related papers: Constructing Class invariants

Let G be a finite group acting linearly on the polynomial ring with invariant ring R. If the action is small, then a classical result of Auslander gives in dimension two a correspondence between linear representations of G and maximal…

The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and,…

This paper identifies a new class of shape invariant models. These models are based on extensions of conventional quantum mechanics that satisfy a string-motivated minimal length uncertainty relation. An important feature of our…

We sketch the construction of a derived enhancement of the reciprocity isomorphism of class field theory. Details will appear in a forthcoming joint paper of the authors with A. Raksit.

This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…

We prove that the generating series of special divisors in toroidal compactifications of orthogonal Shimura varieties is a mixed mock modular form. More precisely, we find an explicit completion using theta series associated to rays in the…

We describe recent work on the construction of well-behaved arithmetic models for large classes of Shimura varieties and report on progress in the study of these models.

We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an…

We define a relation that describes the ternary commutator for congruence modular varieties. Properties of this relation are used to investigate the theory of the higher commutator for congruence modular varieties.

The value function plays a crucial role as a measure for the cumulative future reward an agent receives in both reinforcement learning and optimal control. It is therefore of interest to study how similar the values of neighboring states…

In arXiv:1709.07504 Aguiar and Ardila give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on…

Norm-compatible families of cohomology classes for Shimura varieties, and other arithmetic symmetric spaces, play an important role in Iwasawa theory of automorphic forms. The aim of this note is to give a systematic approach to proving…

We study reciprocity laws involving complex line bundles on fibrations in oriented circles. In particularly, we prove the following reciprocity law. Let $B$ be a complex manifold and $\pi_i : M_i \to B$ be a fibration in oriented circles,…

Given a weight 2 and level p^2 modular form f, we construct two weight 3/2 modular forms (possibly zero) of level 4p^2 and non trivial character mapping to f via the Shimura correspondence. Then we relate the coefficients of the constructed…

In this paper we propose a theory of contact invariants and open string invariants, which are generalizations of the relative invariants. We introduce two moduli spaces $\bar{\mathcal{M}}_{A}(M^{+},C,g,m+\nu,{\bf y},{\bf…

Special values of Siegel modular functions for $\operatorname{Sp} (\mathbb{Z})$ generate class fields of CM fields. They also yield abelian varieties with a known endomorphism ring. Smaller alternative values of modular functions that lie…

In this paper, we prove a crucial theorem called Mirroring Theorem which affirms that given a collection of samples with enough information in it such that it can be classified into classes and subclasses then (i) There exists a mapping…

Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent…

One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, also known as its contract); the present work takes advantage of this…

We prove a reciprocity formula between Gauss sums that is used in the computation of certain quantum invariants of 3-manifolds. Our proof uses the discriminant construction applied to the tensor product of lattices.