Related papers: The Zariski Cancellation Problem and related probl…
These notes are an introduction to and an overview of the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After some background in characteristic-p-geometry, we sketch the Kodaira-Enriques…
We develop a probabilistic algorithm of Kronecker type for computing a Kronecker representation of a zero-dimensional linear section of an algebraic variety $V$ defined over a perfect field $k$. The variety $V$ is the Zariski closure of the…
We consider a numerical method to solve the local cohomology problem related to the gauge anomaly cancellation in U(1) chiral gauge theories. In the cohomological analysis of the chiral anomaly, it is required to carry out the…
Considering cylindrical topology we present the static solution for a charged black hole in conformal gravity. We show that unlike the general relativistic case there are two different solutions, both including a factor that when set to…
General hypersurfaces of any causal character can be studied abstractly using the hypersurface data formalism. In the null case, we write down all tangential components of the ambient Ricci tensor in terms of the abstract data. Using this…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
The goal of this note is to introduce Teissier singularities and to explain why they are candidate to play, in positive characteristics, a role for resolution of singularities which is similar to the role played by quasi-ordinary…
Let $\mathcal{Q}$ be an irreducible quartic with two nodes and one cusp as its singularities and let $\mathcal{C}$ be a conic such that the intersection multiplicity at each point of $\mathcal{C} \cap \mathcal{Q}$ is even and $\mathcal{C}…
This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to…
The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the…
In this paper we study Zariski Decomposition with support in a negative definite cycle, a variation introduced by Y. Miyaoka. We provide two extensions of the original statement, which was originally meant for effective $\Q$-divisors: we…
We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…
We consider the inverse Galois problem over function fields of positive characteristic p, for example, the inverse Galois problem over the projective line. We describe a method to construct certain Galois covers of the projective line and…
The purpose of this paper is to study finite-dimensional Lie algebras over a field k of characteristic zero which admit a commutative polarization (CP). Among the many results and examples, it is shown that, if k is algebraically closed,…
We revisit the matrix problems sparse null space and matrix sparsification, and show that they are equivalent. We then proceed to seek algorithms for these problems: We prove the hardness of approximation of these problems, and also give a…
This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the…
Let F:X->B be a morphism of varieties in characteristic zero. The problem of semistable reduction of F was stated as a problem in the combinatorics of polyhedral complexes by Abramovich and Karu (alg-geom/9707012). In this paper we solve…
In this paper, complement-equivalent arithmetic Zariski pairs will be exhibited answering in the negative a question by Eyral-Oka on these curves and their groups. A complement-equivalent arithmetic Zariski pair is a pair of complex…
We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on…
This is a survey of the existing literature, the state of the art, and a few minor new results and open questions regarding the essential dimension of central simple algebras and finite sequences of such algebras over fields whose…