Related papers: Descent of varieties using a Groebner basis argume…
A universal Gr\"obner basis of an ideal is the union of all its reduced Gr\"obner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp…
We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a…
We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…
We show that an earlier conjecture of the author, on diophantine approximation of rational points on varieties, implies the ``abc conjecture'' of Masser and Oesterl'e. In fact, a weak form of the former conjecture is sufficient, involving…
The primary purpose is to introduce and explore projective varieties, $\text{GRASS}_{\bf d}(\Lambda)$, parametrizing the full collection of those modules over a finite dimensional algebra $\Lambda$ which have dimension vector $\bf d$. These…
A Frobenius difference field is an algebraically closed field of characteristic $p>0$, enriched with a symbol for $x \mapsto x^{p^m}$. We study a sentence or formula in the language of fields with a distinguished automorphism, interpreted…
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…
Computation of parallel lines (envelopes) to parabolas, ellipses, and hyperbolas is of importance in structure engineering and theory of mechanisms. Homogeneous polynomials that implicitly define parallel lines for the given offset to a…
We study \'etale descent of derivations of algebras with values in a module. The algebras under consideration are twisted forms of algebras over rings, and apply to all classes of algebras, notably associative and Lie algebras, such as the…
This paper studies separating invariants of finite groups acting on affine varieties through automorphisms. Several results, proved by Serre, Dufresne, Kac-Watanabe and Gordeev, and Jeffries and Dufresne exist that relate properties of the…
We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…
We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from…
We classify all normal Schubert varieties in the affine Grassmannian of a semisimple group over an arbitrary field with special attention to small positive characteristic. The proof is elementary and relies on tangent space calculations for…
The descent algebra of the symmetric group, over a field of non-zero characteristic p, is studied. A homomorphism into the algebra of generalised p-modular characters of the symmetric group is defined. This is then used to determine the…
When the base ring is not a field, power reductivity of a group scheme is a basic notion, intimately tied with finite generation of subrings of invariants. Geometric reductivity is weaker and less pertinent in this context. We give a survey…
In this note we survey recent results on automorphisms of affine algebraic varieties, infinitely transitive group actions and flexibility. We present related constructions and examples, and discuss geometric applications and open problems.
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of…
Using properties of the Frobenius eigenvalues, we show that, in a precise sense, ``most'' isomorphism classes of (principally polarized) simple abelian varieties over a finite field are characterized up to isogeny by the sequence of their…
In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…
In this paper, we give decision criteria for normal binomial difference polynomial ideals in the univariate difference polynomial ring F{y} to have finite difference Groebner bases and an algorithm to compute the finite difference Groebner…