Showing 1–10 of 10 results for author: Stepanov, D A

Elimination of parasitic solutions in theory of flexible polyhedra

Authors: I. Kh. Sabitov, D. A. Stepanov

Abstract: The action of the rotation group $SO(3)$ on systems of $n$ points in the $3$-dimensional Euclidean space $\mathbf{R}^3$ induces naturally an action of $SO(3)$ on $\mathbf{R}^{3n}$. In the present paper we consider the following question: do there exist $3$ polynomial functions $f_1$, $f_2$, $f_3$ on $\mathbf{R}^{3n}$ such that the intersection of the set of common zeros of $f_1$, $f_2$, and $f_3$… ▽ More The action of the rotation group $SO(3)$ on systems of $n$ points in the $3$-dimensional Euclidean space $\mathbf{R}^3$ induces naturally an action of $SO(3)$ on $\mathbf{R}^{3n}$. In the present paper we consider the following question: do there exist $3$ polynomial functions $f_1$, $f_2$, $f_3$ on $\mathbf{R}^{3n}$ such that the intersection of the set of common zeros of $f_1$, $f_2$, and $f_3$ with each orbit of $SO(3)$ in $R^{3n}$ is nonempty and finite? Questions of this kind arise when one is interested in relative motions of a given set of $n$ points, i.e., when one wants to exclude the local motions of the system of points as a rigid body. An example is the problem of deciding whether a given polyhedron is non-trivially flexible. We prove that such functions do exist. To get a necessary system of equations $f_1=0$, $f_2=0$, $f_3=0$, we show how starting by choice of a hypersurface in $\mathbf{CP}^{n-1}$ containing no conics, no lines, and no real points one can find such a system. △ Less

Submitted 10 February, 2020; originally announced February 2020.

Comments: 14 pages

MSC Class: 51F25

Journal ref: Beitr. Algebra Geom. 62(3) (2021), 687-703

Universal valued fields and lifting points in local tropical varieties

Authors: D. A. Stepanov

Abstract: Let $k$ be a field with a real valuation $ν$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $μ$ on $K$ extending $ν$ such that any real ring valuation of $R$ is induced by $μ$ via some homomorphism from $R$ to $K$; $K$ can be chosen to be a field. Then we study the case when $ν$ is trivial and $R$ a complete local Noetherian ring with the residue field $k$.… ▽ More Let $k$ be a field with a real valuation $ν$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $μ$ on $K$ extending $ν$ such that any real ring valuation of $R$ is induced by $μ$ via some homomorphism from $R$ to $K$; $K$ can be chosen to be a field. Then we study the case when $ν$ is trivial and $R$ a complete local Noetherian ring with the residue field $k$. Let $K$ be the ring $\bar{k}[[t^\R]]$ of Hahn series with its natural valuation $μ$; $\bar{k}$ is an algebraic closure of $k$. Despite $K$ is not universal in the strong sense defined above, it has the following weak universality property: for any local valuation $v$ and a finite set of elements $x_1,...,x_n$ of $R$ there exists a homomorphism $f\colon R\to K$ such that $v(x_i)=μ(f(x_i))$, $i=1,...,n$. If $R=k[[x_1,...,x_n]]/I$ for an ideal $I$, this property implies that every point of the local tropical variety of $I$ lifts to a $K$-point of $R$. Similarly, if $R=k[x_1,...,x_n]/I$ is a finitely generated algebra over $k$, lifting points in the tropical variety of $I$ can be interpreted as the weak universality property of the field $\bar{k}((t^\R))$ of Hahn series. △ Less

Submitted 29 April, 2013; originally announced April 2013.

Comments: 13 pages

Three-dimensional isolated quotient singularities in odd characteristic

Authors: D. A. Stepanov

Abstract: Let a finite group G act linearly on a finite dimensional vector space V over an algebraically closed field k of characteristic p>2. Assume that the quotient V/G is an isolated singularity. In the case when p does not divide the order of G, isolated singularities V/G are completely classified and their classification reduces to Zassenhaus-Vincent-Wolf classification of isolated quotient singularit… ▽ More Let a finite group G act linearly on a finite dimensional vector space V over an algebraically closed field k of characteristic p>2. Assume that the quotient V/G is an isolated singularity. In the case when p does not divide the order of G, isolated singularities V/G are completely classified and their classification reduces to Zassenhaus-Vincent-Wolf classification of isolated quotient singularities over the field of complex numbers. In the present paper we show that if dimension of V is 3, then also in the modular case (p divides the order of G) classification of isolated quotient singularities reduces to Zassenhaus-Vincent-Wolf classification. Some remarks on modular quotient singularities in other dimensions and in even characteristic are also given. △ Less

Submitted 9 June, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: v2: some references added, minor improvements; 14 pages

MSC Class: 14B05; 14L30; 13A50

Gorenstein isolated quotient singularities over C

Authors: D. A. Stepanov

Abstract: In this paper we review the classification of isolated quotient singularities over the field of complex numbers due to H. Zassenhaus, G. Vincent, and G. A. Wolf. As an application we describe Gorenstein isolated quotient singularities over C, generalizing a result of K. Kurano and S. Nishi. In this paper we review the classification of isolated quotient singularities over the field of complex numbers due to H. Zassenhaus, G. Vincent, and G. A. Wolf. As an application we describe Gorenstein isolated quotient singularities over C, generalizing a result of K. Kurano and S. Nishi. △ Less

Submitted 14 December, 2010; originally announced December 2010.

Comments: 27 pages

MSC Class: 14J45

Journal ref: Proceedings of the Edinburgh Math. Soc. (Series 2) 57(3) (2014), 811-839

Smooth 3-dimensional canonical thresholds

Authors: D. A. Stepanov

Abstract: If $X$ is an algebraic variety with at worst canonical singularities and $S$ is a $\Q$-Cartier hypersurface in $X$, the canonical threshold of the pair $(X,S)$ is the supremum of $c\in\R$ such that the pair $(X,cS)$ is canonical. We show that the set of all possible canonical thresholds of the pairs $(X,S)$, where $X$ is a germ of smooth 3-dimensional variety, satisfies the ascending chain condi… ▽ More If $X$ is an algebraic variety with at worst canonical singularities and $S$ is a $\Q$-Cartier hypersurface in $X$, the canonical threshold of the pair $(X,S)$ is the supremum of $c\in\R$ such that the pair $(X,cS)$ is canonical. We show that the set of all possible canonical thresholds of the pairs $(X,S)$, where $X$ is a germ of smooth 3-dimensional variety, satisfies the ascending chain condition. We also deduce a formula for the canonical threshold of $(\C^3,S)$, where S is a Brieskorn singularity. △ Less

Submitted 18 January, 2010; v1 submitted 16 December, 2009; originally announced December 2009.

Comments: Dedicated to the memory of my advisor Vasilii Alekseevich Iskovskikh. 14 pages; v3: minor corrections

MSC Class: 14J45

Journal ref: (Russian), Matem. Zametki 90 (2011), 285-299

Combinatorial structure of exceptional sets in resolutions of singularities

Authors: D. A. Stepanov

Abstract: The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity. The homotopy type of the dual complex does not depend on the choice of a resolution and thus can be considered as an invariant of singularity. In this preprin… ▽ More The dual complex can be associated to any resolution of singularities whose exceptional set is a divisor with simple normal crossings. It generalizes to higher dimensions the notion of the dual graph of a resolution of surface singularity. The homotopy type of the dual complex does not depend on the choice of a resolution and thus can be considered as an invariant of singularity. In this preprint we show that the dual complex is homotopy trivial for resolutions of 3-dimensional terminal singularities and for resolutions of Brieskorn singularities. We also review our earlier results on resolutions of rational and hypersurface singularities. △ Less

Submitted 29 November, 2006; originally announced November 2006.

Comments: 18 pages; to appear as a preprint of the Max-Planck-Institut, Bonn

MSC Class: 14B05; 32S50

A note on resolution of rational and hypersurface singularities

Authors: D. A. Stepanov

Abstract: It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an is… ▽ More It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type of a point. △ Less

Submitted 22 April, 2009; v1 submitted 5 February, 2006; originally announced February 2006.

Comments: 10 pages, the structure of the paper has been slightly revised and a mistake in the proof of degeneration of spectral sequence in Lemma 2.3 (Lemma 2.4 of the published version of the paper) has been corrected

MSC Class: 14B05; 32S50

Journal ref: Proc. Amer. Math. Soc. 136 (2008), 2647-2654

A note on the dual complex associated to a resolution of singularities

Authors: D. A. Stepanov

Abstract: The dual complex associated to a resolution of singularities generalizes the notion of a resolution graph of a surface singularity to any dimension. We show that homotopy type of the dual complex is an invariant of an isolated singularity. The dual complex associated to a resolution of singularities generalizes the notion of a resolution graph of a surface singularity to any dimension. We show that homotopy type of the dual complex is an invariant of an isolated singularity. △ Less

Submitted 25 September, 2005; originally announced September 2005.

Comments: 5 pages

MSC Class: 14J45

Journal ref: (Russian), Uspekhi Matem. Nauk 61(1) (2006), 185-186

Non-rational divisors over non-Gorenstein terminal singularities

Authors: D. A. Stepanov

Abstract: Let $(X,o)$ be a germ of a 3-dimensional terminal singularity of index $m\geq 2$. If $(X,o)$ has type cAx/4, cD/3-3, cD/2-2, or cE/2, then assume that the standard equation of $X$ in $\mathbb{C}^4/\mathbb{Z}_m$ is non-degenerate with respect to its Newton diagram. Let $π\colon Y\to X$ be a resolution. We show that there are not more than 2 non-rational divisors $E_i$, $i=1,2$, on $Y$ such that… ▽ More Let $(X,o)$ be a germ of a 3-dimensional terminal singularity of index $m\geq 2$. If $(X,o)$ has type cAx/4, cD/3-3, cD/2-2, or cE/2, then assume that the standard equation of $X$ in $\mathbb{C}^4/\mathbb{Z}_m$ is non-degenerate with respect to its Newton diagram. Let $π\colon Y\to X$ be a resolution. We show that there are not more than 2 non-rational divisors $E_i$, $i=1,2$, on $Y$ such that $π(E_i)=o$ and discrepancy $a(E_i,X)\leq 1$. When such divisors exist, we describe them as exceptional divisors of certain blowups of $X$ and study their birational type. △ Less

Submitted 26 October, 2004; originally announced October 2004.

Comments: 17 pages, LaTeX2e

MSC Class: 14J45

Journal ref: (Russian) Proceedings of the International Conference dedicated to to the 250th Anniversary of Moscow University and to the 75th Anniversary of the Department of Higher Algebra, Fundamental and Appl. Math. 11(2) (2005), 169-184

Non-rational divisors over non-degenerate cDV-points

Authors: D. A. Stepanov

Abstract: Let $(X,o)$ be a 3-dimensional terminal singularity of type $cD$ or $cE$ defined in $\mathbb{C}^4$ by an equation non-degenerate with respect to its Newton diagram. We show that there is not more than 1 non-rational divisor $E$ over $(X,o)$ with discrepancy $a(E,X)=1$. We also describe all blowups $σ$ of $(X,o)$ such that $E=\Exc(σ)$ is non-rational and $a(E,X)=1$. Let $(X,o)$ be a 3-dimensional terminal singularity of type $cD$ or $cE$ defined in $\mathbb{C}^4$ by an equation non-degenerate with respect to its Newton diagram. We show that there is not more than 1 non-rational divisor $E$ over $(X,o)$ with discrepancy $a(E,X)=1$. We also describe all blowups $σ$ of $(X,o)$ such that $E=\Exc(σ)$ is non-rational and $a(E,X)=1$. △ Less

Submitted 21 July, 2004; originally announced July 2004.

Comments: 15 pages

MSC Class: 14J45

Journal ref: (Russian) Matem. Sbornik 196(7) (2005), 133-146