Showing 1–11 of 11 results for author: Trushin, D

Morphisms of Berkovich curves and the different function

Authors: Adina Cohen, Michael Temkin, Dmitri Trushin

Abstract: Given a generically étale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $δ_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$. This provides a new invariant for studying $f$, which cannot be obtained by the usual reduction techniques. We prove that $δ_f$ is a piecewise monomial function satisfying a balancing cond… ▽ More Given a generically étale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $δ_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$. This provides a new invariant for studying $f$, which cannot be obtained by the usual reduction techniques. We prove that $δ_f$ is a piecewise monomial function satisfying a balancing condition at type 2 points analogous to the classical Riemann-Hurwitz formula, and show that $δ_f$ can be used to explicitly construct the simultaneous skeletons of $X$ and $Y$. As an application, we use our results to completely describe the topological ramification locus of $f$ when its degree equals to the residue characteristic $p$. △ Less

Submitted 31 August, 2016; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: Final version, 49 pages, to appear in Adv.Math

Algebraization of a Cartier divisor

Authors: Dmitry Trushin

Abstract: We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves affirmatively a problem raised by M. Temkin and has applications to desingularization theory. We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves affirmatively a problem raised by M. Temkin and has applications to desingularization theory. △ Less

Submitted 15 October, 2012; originally announced October 2012.

Comments: 52 pages

MSC Class: 13B40 13J15 14B12 14B25

Computing Constraint Sets for Differential Fields

Authors: Russell Miller, Alexey Ovchinnikov, Dmitry Trushin

Abstract: Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems to the setting of differential fields K, with constrained pairs of differential polynomials over K assuming the role of the irreducible polynomials. We prove that two of the three basic aspects of Kronecker's Theorem re… ▽ More Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems to the setting of differential fields K, with constrained pairs of differential polynomials over K assuming the role of the irreducible polynomials. We prove that two of the three basic aspects of Kronecker's Theorem remain true here, and that the reducibility in one direction (but not the other) from Rabin's Theorem also continues to hold. △ Less

Submitted 11 April, 2014; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: 42 pages

MSC Class: 12H05 (Primary) 03D25; 13N10; 34M15 (Secondary)

Journal ref: Journal of Algebra, Volume 407, 2014, pp 316-357

Galois theory of difference equations with periodic parameters

Authors: Benjamin Antieau, Alexey Ovchinnikov, Dmitry Trushin

Abstract: We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this to constructively test if solutions of linear q-difference equations, with complex q, not a root of unity, satisfy any polynomial q'-difference equations with q' being a root of unity. We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this to constructively test if solutions of linear q-difference equations, with complex q, not a root of unity, satisfy any polynomial q'-difference equations with q' being a root of unity. △ Less

Submitted 23 April, 2014; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 42 pages

MSC Class: 12H10; 13N99; 20H25; 39A13

Journal ref: Communications in Algebra, Volume 42(9), 2014, pp 3902-3943

Local dimension of differential algebraic variety

Authors: Dima Trushin

Abstract: We consider a relation between local and global characteristics of a differential algebraic variety. We prove that dimension of tangent space for every regular point of an irreducible differential algebraic variety coincides with dimension of the variety. Additionally, we classify tangent spaces at regular points in the case of one derivation. We consider a relation between local and global characteristics of a differential algebraic variety. We prove that dimension of tangent space for every regular point of an irreducible differential algebraic variety coincides with dimension of the variety. Additionally, we classify tangent spaces at regular points in the case of one derivation. △ Less

Submitted 17 September, 2009; originally announced September 2009.

Comments: 20 pages

MSC Class: 12H05

Difference Nullstellensatz

Authors: Dima Trushin

Abstract: We prove different forms of the Nullstellensatz for difference fields and absolutely flat simple difference rings, called pseudofields. A difference ring is a ring on which an arbitrary group is acting by means of ring automorphisms. We prove different forms of the Nullstellensatz for difference fields and absolutely flat simple difference rings, called pseudofields. A difference ring is a ring on which an arbitrary group is acting by means of ring automorphisms. △ Less

Submitted 6 March, 2011; v1 submitted 26 August, 2009; originally announced August 2009.

Comments: 19 pages, introduction has been rewritten, English grammatical mistakes have been corrected, section 2 has been added, section 3 (now section 4) has been extended

MSC Class: 12H05

Difference Nullstellensatz in the case of finite group

Authors: Dima Trushin

Abstract: We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove the Nullstellensatz over pseudofields and investigate geometric properties of pseudovarieties. We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove the Nullstellensatz over pseudofields and investigate geometric properties of pseudovarieties. △ Less

Submitted 20 October, 2010; v1 submitted 26 August, 2009; originally announced August 2009.

Comments: 43 pages. In Proposition 25 (Statement 25), condition (3) was added. Propositions 26, 34 were added. For Proposition 31 (Statement 29), a second proof was added. Sections 4.6-4.10 were added. For Proposition 42 (Statement 37), a complete proof was added. Propositions 44, 46 (Statement 39, 40) were generalized. Additionally, some typos were corrected. The abstract was slightly modified

MSC Class: 12H05

Inheritance of Properties of Spectra

Authors: Dima Trushin

Abstract: A mechanism for the inheritance of properties of spectra by differential spectra is developed and applied to prove geometric properties of morphisms of differential algebraic varieties. A mechanism for the inheritance of properties of spectra by differential spectra is developed and applied to prove geometric properties of morphisms of differential algebraic varieties. △ Less

Submitted 12 January, 2011; v1 submitted 31 July, 2009; originally announced July 2009.

Comments: 15 pages, this version coincides with the published one

MSC Class: 12H05

Journal ref: Mathematical Notes, 2010, Vol. 88, No. 6, pp. 100-110

Global sections of structure sheaves of Keigher rings

Authors: Dima Trushin

Abstract: Answering a question of J.~Kovacic, we show that, for any Keigher ring, its differential spectrum coincides with the differential spectrum of the ring of global sections of the structure sheaf. In particular, we obtain the answer for Ritt algebras, that is, differential rings containing the rational numbers. Answering a question of J.~Kovacic, we show that, for any Keigher ring, its differential spectrum coincides with the differential spectrum of the ring of global sections of the structure sheaf. In particular, we obtain the answer for Ritt algebras, that is, differential rings containing the rational numbers. △ Less

Submitted 29 November, 2010; v1 submitted 25 July, 2009; originally announced July 2009.

Comments: 8 pages, an information about financial support has been added

MSC Class: 12H05

Nullstellensatz over quasifields

Authors: Dima Trushin

Abstract: We investigate the least studied class of differential rings -- the class of differential rings of nonzero characteristic. We present the notion of differentially closed quasifield and develop geometrical theory of differential equations in nonzero characteristic. The notions of quasivarieties and their morphisms are scrutinized. Presented machinery is a basis for reduction modulo p for differen… ▽ More We investigate the least studied class of differential rings -- the class of differential rings of nonzero characteristic. We present the notion of differentially closed quasifield and develop geometrical theory of differential equations in nonzero characteristic. The notions of quasivarieties and their morphisms are scrutinized. Presented machinery is a basis for reduction modulo p for differential equations. △ Less

Submitted 5 June, 2009; originally announced June 2009.

Comments: 21 pages

MSC Class: 12H05

Splitting fields and general differential Galois theory

Authors: Dima Trushin

Abstract: An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on the search for prime differential ideals of special form in tensor products of differential rings. The main results demonstrating the work of the technique obtai… ▽ More An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on the search for prime differential ideals of special form in tensor products of differential rings. The main results demonstrating the work of the technique obtained are the theorem on the constructedness of the differential closure and the general theorem on the Galois correspondence for normal extensions.. △ Less

Submitted 26 December, 2010; v1 submitted 5 June, 2009; originally announced June 2009.

Comments: 33 pages, this version coincides with the published one

MSC Class: 12H05

Journal ref: Sbornik: Mathematics, 201:9 (2010) 1323--1353