Related papers: A note on integrating group scheme actions

We study actions of connected algebraic groups on normal algebraic varieties, and show how to reduce them to actions of affine subgroups.

In this paper, we introduce an iterative numerical method to solve systems of nonlinear equations. The third-order convergence of this method is analyzed. Several examples are given to illustrate the efficiency of the proposed method.

We introduce a nonlinear aggregation type classifier for functional data defined on a separable and complete metric space. The new rule is built up from a collection of $M$ arbitrary training classifiers. If the classifiers are consistent,…

Linear forms in logarithms over connected commutative algebraic groups over the algebraic numbers field have been studied widely. However, the theory of linear forms in logarithms over noncommutative algebraic groups have not been developed…

We construct an explicit infinite family of pairwise non-isomorphic infinite simple groups of type $\mathrm{F}_\infty$ (in particular, they are finitely presented) that act faithfully on the circle by orientation-preserving homeomorphisms,…

We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially…

This is a report on our long term project to find an algorithm to decide if a finitely presented group has a non-trivial action on a tree.

Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input. We define a logic whose formulae, called "iterated…

Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a…

A set grading on the split simple Lie algebra of type $D_{13}$, that cannot be realized as a group-grading, is constructed by splitting the set of positive roots into a disjoint union of pairs of orthogonal roots, following a pattern…

The main goal of this note is to provide a new proof of a classical result about projectivities between finite abelian groups. It is based on the concept of fundamental group lattice, studied in our previous papers \cite{8} and \cite{9}. A…

Suppose that a group $G$ acts transitively on the points of $\mathcal{P}$, a finite non-Desarguesian projective plane. We prove that if $G$ is insoluble then $G/O(G)$ is isomorphic to $SL_2(5)$ or $SL_2(5).2$.

We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the…

In this note we prove a decomposition related to the affine fundamental group and the projective fundamental group of a line arrangement and a reducible curve with a line component. We give some applications to this result.

In this paper we apply a recently proposed algebraic theory of integration to projective group algebras. These structures have received some attention in connection with the compactification of the $M$ theory on noncommutative tori. This…

We determine a considerable class of nonlinear partial differential equation systems which have global regular solutions. Uniqueness is not a direct general consequence of this method. The scheme can be applied to the incompressible Navier…

We study the projective systems in both continuous and discrete settings. These systems are linearizable by construction and thus, obviously, integrable. We show that in the continuous case it is possible to eliminate all variables but one…

A criterion for the existence of a birational embedding into a projective plane with non-collinear Galois points for algebraic curves is presented. A new example of a plane curve with non-collinear Galois points as an application is…

We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil's regularization theorem.

We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability problem is shown…