相关论文: Computation of Gross-Keating invariants

Let $B$ be a half-integral symmetric matrix of size $n$ defined over $\mathbb{Q}_p$. The Gross-Keating invariant of $B$ was defined by Gross and Keating, and has important applications to arithmetic geometry. But the nature of the…

Let F be a non-archimedian local field of characteristic 0, and O the ring of integres in F. We give an explicit formula for the Siegel series of a half-integral matrix over O. This formula expresses the Siegel series of a half-integral…

In this paper, we give a formula for the extended Gross-Keating datum of a quadratic form defined over a finite extension of $\mathbb{Z}_p$ (for $p>2$) or a finite unramified extension of $\mathbb{Z}_2$. As an application, we describe an…

Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…

In this paper, we describe an algorithm for computing algebraic modular forms on compact inner forms of $\mathrm{GSp}_4$ over totally real number fields. By analogues of the Jacquet-Langlands correspondence for $\mathrm{GL}_2$, this…

In this review article, we report on some recent advances on the computational aspects of cohomology intersection numbers of GKZ systems developed in \cite{GM}, \cite{MH}, \cite{MT} and \cite{MT2}. We also discuss the relation between…

Let $k$ be a field, let $G$ be a reductive algebraic group over $k$, and let $V$ be a linear representation of $G$. Geometric invariant theory involves the study of the $k$-algebra of $G$-invariant polynomials on $V$, and the relation…

Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_{1}, \ldots, x_{n}\}$ and match$(G)$, min-match$(G)$ and ind-match$(G)$ the matching number, minimum matching number and induced matching number of $G$, respectively. Let…

The paper deals with a construction of a separating system of rational invariants for finite dimensional generic algebras. In the process of dealing an approach to a rough classification of finite dimensional algebras is offered by…

We present `liesuperalg` a SageMath package for representation-theoretic calculations involving Lie superalgebras in Type A. Our package introduces functionality to calculate invariants of weights and produce the associated cup diagrams. We…

Let us consider a specialization of an untwisted quantum affine algebra of type $ADE$ at a nonzero complex number, which may or may not be a root of unity. The Grothendieck ring of its finite dimensional representations has two bases,…

We review the method of symplectic invariants recently introduced to solve matrix models loop equations, and further extended beyond the context of matrix models. For any given spectral curve, one defined a sequence of differential forms,…

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…

Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix…

We design a recursive algorithm to compute the partition function of the Ising model, summed over cubic maps with fixed size and genus. The algorithm runs in polynomial time, which is much faster than methods based on a Tutte-like, or…

The present work develops certain analytical tools required to construct and compute invariant kernels on the space of complex covariance matrices. The main result is the $\mathrm{L}^1$--Godement theorem, which states that any invariant…

We describe CompGIT, a SageMath package to describe Geometric Invariant Theory (GIT) quotients of projective space by simple groups. The implementation is based on algorithms described by Gallardo--Martinez-Garcia--Moon--Swinarski. In…

Let $G$ be a finite group, and $V$ a finite dimensional vector space over a field $k$ of characteristic dividing the order of $G$. Let $H \leq G$. The transfer map $k[V]^H \rightarrow k[V]^G$ is an important feature of modular invariant…

We contruct a one-to-one correspondence between a subset of numerical semigroups with genus $g$ and $\gamma$ even gaps and the integer points of a rational polytope. In particular, we give an overview to apply this correspondence to try to…

In this article we give various formulates for compute the number of all coninvolutions over the group of upper triangular matrix with entries into the ring of Gaussian integers module $p$ and the ring of Quaternions integers module $p$,…