Related papers: Symplectic Eichler criterion

We show that any first order ordinary differential equation with a known Lie point symmetry group can be discretized into a difference scheme with the same symmetry group. In general, the lattices are not regular ones, but must be adapted…

Given an affine Poisson algebra, that is singular one may ask whether there is an associated symplectic form. In the smooth case the answer is obvious: for the symplectic form to exist the Poisson tensor has to be invertible. In the…

It has been known for a long time that Ext's between IC-sheaves may often be expressed in terms of Hom's between cohomology groups. We prove a more general result under weaker assumptions. The result is used to describe the action of the…

We discuss a particular class of rational Gorenstein singularities, which we call symplectic. A normal variety V has symplectic singularities if its smooth part carries a closed symplectic 2-form whose pull-back in any resolution X --> V…

It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to…

Motivated by analogous results for the symmetric group and compact Lie groups, we study the distribution of the number of fixed vectors of a random element of a finite classical group. We determine the limiting moments of these…

We identify a family of torus representations such that the corresponding singular symplectic quotients at the $0$-level of the moment map are graded regularly symplectomorphic to symplectic quotients associated to representations of the…

We prove that any ample class on a primitive symplectic variety that is locally trivial deformation of O'Grady's singular 6 dimensional example is proportional to the first Chern class of a uniruled divisor. This result answers a question…

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…

Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…

We prove a sharp H\"older estimate for solutions of linear two-dimensional, divergence form elliptic equations with measurable coefficients, such that the matrix of the coefficients is symmetric and has {\em unit determinant}. Our result…

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice.…

In this paper, a symplectic structure on a Leibniz algebra is defined to be a {\em symmetric} nondegenerate bilinear form satisfying certain compatibility condition, and a phase space of a Leibniz algebra is defined to be a symplectic…

We determine the conjugacy classes of semisimple elements in the symplectic groups ${\rm Sp}(2m,F)$, where $F$ is an arbitrary field of characteristic not $2$. This note was originally a letter dated 23 March, 2006, from G.E. Wall to Cheryl…

We give a simple algorithm that enables us to determine whether a subgroup of finite index of the Hecke group is normal.

We develop the structure theory of symplectic Lie groups based on the study of their isotropic normal subgroups. The article consists of three main parts. In the first part we show that every symplectic Lie group admits a sequence of…

For a positive integer $k$, we extend the surjectivity results from special linear groups (Type $A_k$) and symplectic linear groups (Type $C_k$) onto product of generalized projective spaces by associating the rows or columns, to certain…

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…