Let G denote a finite group and π : Z → Y a Galois covering of smooth projective curves with Galois group G. For every subgroup H of G there is a canonical action of the corresponding Hecke algebra Q[H\G/H ] on the Jacobian of the curve X = Z/H . To each rational irreducible representation W of G we associate an idempotent in the Hecke algebra, which induces a correspondence of the curve X and ...

Let π : Z → X be a Galois covering of smooth projective curves with Galois group the Weyl group of a simple and simply connected Lie group G. For any dominant weight λ consider the curve Y = Z/Stab(λ). The Kanev correspondence defines an abelian subvariety Pλ of the Jacobian of Y . We compute the type of the polarization of the restriction of the canonical principal polarization of Jac(Y ) to P...

We introduce a new type of closure operator on the set of relations, max-implementation, and its weaker analog max-quantification. Then we show that approximation reductions between counting constraint satisfaction problems (CSPs) are preserved by these two types of closure operators. Together with some previous results this means that the approximation complexity of counting CSPs is determined...

Abstract Interpretation, one of the most applied techniques for semantics based static analysis of software, is based on two main key-concepts: the correspondence between concrete and abstract semantics through Galois connections/insertions, and the feasibility of a fixed point computation of the abstract semantics, through the fast convergence of widening operators. The latter point is crucial...

1.1. Let X be a smooth, complete, geometrically connected curve over Fq. Denote by F the field of rational functions on X , by A the ring of adeles of F , and by Gal(F/F ) the Galois group of F . The present paper may be considered as a step towards understanding the geometric Langlands correspondence between n–dimensional `–adic representations of Gal(F/F ) and automorphic forms on the group G...

The Svenonius theorem establishes the correspondence between definability of relations in a countable structure and automorphism groups these extensions structure. This may help finding description lattice constituted by all spaces (reducts) original Results on lattices were previously obtained only for ω-categorical structures with finite signature. In our work, we introduce concept an upward ...

In Carayol’s note [4], a geometric construction of the Galois representations associated to Hilbert modular forms and the compatibility with the local Langlands correspondence are discussed. In loc. cit., the compatibility is established in the case = p where the Galois representation is an -adic representation and p is the prime divided by the prime p of the totally real field where the restri...

In Carayol’s note [4], a geometric construction of the Galois representations associated to Hilbert modular forms and the compatibility with the local Langlands correspondence are discussed. In loc. cit., the compatibility is established in the case = p where the Galois representation is an -adic representation and p is the prime divided by the prime p of the totally real field where the restri...