Related papers: Real Algebraic Threefolds I: Terminal Singularitie…

All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the…

In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these…

A brief survey of real algebraic structures on topological spaces is given. This article is written for the Gokova Gemetry/Topology Conference proceedings.

Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…

It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…

This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…

We study automorphism groups of formal matrix algebras. We also consider automorphisms of ordinary matrix algebras (in particular, triangular matrix algebras).

We describe the structure of the algebraic group of automorphisms of all simple finite dimensional Lie superalgebras. Using this and \'etale cohomology considerations, we list all different isomorphism classes of the corresponding twisted…

We give a summary on spectral techniques for finite dimensional algebras and study its link to singularity theory. In particular, we offer a contribution to the categorification of the Milnor lattice of two-dimensional singularities through…

We study singularities and Artin's contraction theorem for orbifold surfaces. Our main result has a consequence which is in the direction of the birational Minimal Model Program for b-terminal orbifold surfaces. For example, we ascertain…

In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

The paper gives topological as well as rigid isotopy classification of smooth irreducible algebraic curves in the real projective 3-space for the case when the degree of the curve is at most six and its genus is at most one.

In the article it was shown the convergence of special integral of two dimensional Terry's problem. Main tools of the article are an investigation of real algebraic varieties and estimations of areas of algebraic surfaces.

The maximal subalgebras of the finite dimensional simple special Jordan superalgebras over an algebraically closed field of characteristic 0 are studied. This is a continuation of a previous paper by the same authors about maximal…

We study a germ of real analytic n-dimensional submanifold of $C^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations,…

We determine the geometric structure of a minimal projective threefold having two `independent and commutative' automorphisms of positive topological entropy, and generalize this result to higher-dimensional smooth minimal pairs (X, G). As…

We classify some special classes of non-rational Fano threefolds with terminal singularities. In particular, all such hyperelliptic and trigonal varieties are found.

We determine the homological residue fields, in the sense of tensor-triangular geometry, in a series of concrete examples ranging from topological stable homotopy theory to modular representation theory of finite groups.

Looking at the well understood case of log terminal surface singularities, one observes that each of them is the quotient of a factorial one by a finite solvable group. The derived series of this group reflects an iteration of Cox rings of…