Source author record

Sergey Gorchinskiy

Sergey Gorchinskiy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2016arXiv

A higher-dimensional Contou-Carrère symbol: local theory

We construct a higher-dimensional Contou-Carrère symbol and we study its various fundamental properties. The higher-dimensional Contou-Carrère symbol is defined by means of the boundary map for $K$-groups. We prove its universal property. We provide an explicit formula for the higher-dimensional Contou-Carrère symbol over $\mathbb Q$ and we prove integrality of this formula. A relation with the higher-dimensional Witt pairing is also studied.

preprint2016arXiv

Continuous homomorphisms between algebras of iterated Laurent series over a ring

We study continuous homomorphisms between algebras of iterated Laurent series over a commutative ring. We give a full description of such homomorphisms in terms of a discrete data determined by the images of parameters. In similar terms, we give a criterion of invertibility of an endomorphism and provide an explicit formula for the inverse endomorphism. We study the behavior of the higher-dimensional residue under continuous homomorphisms.

preprint2016arXiv

Higher-dimensional Contou-Carrère symbol and continuous automorphisms

We prove that the higher-dimensional Contou-Carrère symbol is invariant under continuous automorphisms of algebras of iterated Laurent series over a ring. Applying this property, we obtain a new explicit formula for the higher-dimensional Contou-Carrère symbol. Unlike previously known formulas, this formula is given over an arbitrary ring, not necessarily a $\mathbb Q$-algebra, and does not involve algebraic $K$-theory.

preprint2015arXiv

Positive model structures for abstract symmetric spectra

We give a general method of constructing positive stable model structures for symmetric spectra over an abstract simplicial symmetric monoidal model category. The method is based on systematic localization, in Hirschhorn's sense, of a ceratin positive projective model structure on spectra, where positivity basically means the truncation of the zero slice. The localization above is by the set of stabilizing morphisms, or their truncated version.

preprint2013arXiv

Isomonodromic differential equations and differential categories

We study isomonodromicity of systems of parameterized linear differential equations and related conjugacy properties of linear differential algebraic groups by means of differential categories. We prove that isomonodromicity is equivalent to isomonodromicity with respect to each parameter separately under a filtered-linearly closed assumption on the field of functions of parameters. Our result implies that one does not need to solve any non-linear differential equations to test isomonodromicity anymore. This result cannot be further strengthened by weakening the requirement on the parameters as we show by giving a counterexample. Also, we show that isomonodromicity is equivalent to conjugacy to constants of the associated parameterized differential Galois group, extending a result of P. Cassidy and M. Singer, which we also prove categorically. We illustrate our main results by a series of examples, using, in particular, a relation between Gauss-Manin connection and parameterized differential Galois groups.

preprint2013arXiv

Parameterized Picard-Vessiot extensions and Atiyah extensions

Generalizing Atiyah extensions, we introduce and study differential abelian tensor categories over differential rings. By a differential ring, we mean a commutative ring with an action of a Lie ring by derivations. In particular, these derivations act on a differential category. A differential Tannakian theory is developed. The main application is to the Galois theory of linear differential equations with parameters. Namely, we show the existence of a parameterized Picard-Vessiot extension and, therefore, the Galois correspondence for many differential fields with, possibly, non-differentially closed fields of constants, that is, fields of functions of parameters. Other applications include a substantially simplified test for a system of linear differential equations with parameters to be isomonodromic, which will appear in a separate paper. This application is based on differential categories developed in the present paper, and not just differential algebraic groups and their representations.

preprint2008arXiv

Adelic resolution for homology sheaves

A generalization of the usual ideles group is proposed, namely, we construct certain adelic complexes for sheaves of $K$-groups on schemes. More generally, such complexes are defined for any abelian sheaf on a scheme. We focus on the case when the sheaf is associated to the presheaf of a homology theory with certain natural axioms, satisfied by $K$-theory. In this case it is proven that the adelic complex provides a flasque resolution for the above sheaf and that the natural morphism to the Gersten complex is a quasiisomorphism. The main advantage of the new adelic resolution is that it is contravariant and multiplicative in contrast to the Gersten resolution. In particular, this allows to reprove that the intersection in Chow groups coincides up to sign with the natural product in the corresponding $K$-cohomology groups. Also, we show that the Weil pairing can be expressed as a Massey triple product in $K$-cohomology groups with certain indices.

preprint2004arXiv

Adelic Lefschetz formula for the action of a one-dimensional torus

There exists a well-known Lefschetz formula for the number of fixed points in algebraic topology. In algebraic geometry, there exist cohomologies of coherent sheaves. It is natural to consider the same alternated sum of traces as in Lefschetz formula for cohomologies of sheaves. In the present paper, we consider the case of the action of a one-dimensional torus on a smooth projectve variety. Using theory of adelic complexes it becomes possible to rewrite coherent Lefschetz formula in a new compact form and then to prove it.