相关论文: Direct twisted Galois stratification

A categorical theory for the discretization of a large class of dynamical systems with variable coefficients is proposed. It is based on the existence of covariant functors between the Rota category of Galois differential algebras and…

We provide an explicit characterization of the properties of primitive recursive functions that are decidable or semi-decidable, given a primitive recursive index for the function. The result is much more general as it applies to any c.e.…

Let p be a prime number and f an overconvergent p-adic automorphic form on a definite unitary group which is split at p. Assume that f is of "classical weight" and that its Galois representation is crystalline at places dividing p, then f…

In this article we look into characterizing primitive groups in the following way. Given a primitive group we single out a subset of its generators such that these generators alone (the so-called primitive generators) imply the group is…

On a space of stable maps, the psi classes are modified by subtracting certain boundary divisors. The top products of modified psi classes, usual psi classes, and classes pulled back along the evaluation maps are called twisted descendants;…

Discussed here is descent theory in the differential context where everything is equipped with a differential operator. To answer a question personally posed by A. Pianzola, we determine all twisted forms of the differential Lie algebras…

We propose a conjecture on the relative twist formula of $\ell$-adic sheaves, which can be viewed as a generalization of Kato-Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative…

This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental…

Let $F$ be a number field and $p\geq7$ a rational prime. We obtain a simple descent criterion characterising those projective Galois representations $\overline\rho:G_F\to\mathrm{PGL}_2(\mathbb{F}_p)$ for which the corresponding twist…

We consider linear preferential attachment trees, and show that they can be regarded as random split trees in the sense of Devroye (1999), although with infinite potential branching. In particular, this applies to the random recursive tree…

The sets of primitive foms may be decomposed into some Galois conjugacy classes. The purpose of this paper is to write down all of such classes with cardinal 1 or 2, explicitly in terms of some Eisenstein series, for level 1,2,3,4,6,8,9.…

We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable…

We prove that finite groups have the same complex character tables iff the group algebras are twisted forms of each other as Drinfel'd quasi-bialgebras or iff there is non-associative bi-Galois algebra over these groups. The interpretations…

We prove that an iterative derivation $\delta_F$ on a field $F$ can be extended to an iterative derivation $\delta_A$ on a central simple $F-$algebra $A$ if the characteristic of $F$ does not divide the exponent of $A$ in the Brauer group…

In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda. It is…

It is well known that general recursion cannot be expressed within Martin-Loef's type theory and various approaches have been proposed to overcome this problem still maintaining the termination of the computation of the typable terms. In…

We introduce what we call "alternative twisted tensor products" for not necessarily associative algebras, as a common generalization of several different constructions: the Cayley-Dickson process, the Clifford process and the twisted tensor…

For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…

The notion of Galois currents in Rational Conformal Field Theory is introduced and illustrated on simple examples. This leads to a natural partition of all theories into two classes, depending on the existence of a non-trivial Galois…