相关论文: How to show a set is not algebraic

For the obstacle problem with a nonlinear operator, we characterize the space of global solutions with compact contact sets. This is achieved by constructing a bijection onto a class of quadratic polynomials describing the asymptotic…

We study port-Hamiltonian systems on a familiy of intervals and characterise all boundary conditions leading to $m$-accretive realisations of the port-Hamiltonian operator and thus to generators of contractive semigroups. The proofs are…

In the paper "An Abelian Loop for Non-Composites" (arXiv:110.14716), we introduced a group-like structure consisting of odd prime numbers and 1, with properties that allowed us to prove analogous results to well known theorems in Number…

If $T$ is a semibounded self-adjoint operator in a Hilbert space $(H, \, (\cdot , \cdot))$ then the closure of the sesquilinear form $(T \cdot , \cdot)$ is a unique Hilbert space completion. In the non-semibounded case a closure is a…

We find new sufficient conditions for the commutator map of a real semisimple Lie algebra to be surjective. As an application we prove the surjectivity of the commutator map for all simple algebras except $\mathfrak su_{p,q}$ ($p$ or $q$…

We investigate the algebraic structure on the set of closure operations of a ring. We show the set of closure operations is not a monoid under composition for a discrete valuation ring. Even the set of semiprime operations over a DVR is not…

In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic…

We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and…

A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a…

We consider theories characterized by a set of Ward operators which do not form a closed algebra. We impose the Slavnov--Taylor identity built out of the Ward operators and we derive the acceptable breaking of the algebra and the general…

The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X$ is homeomorphic to a sphere or a closed manifold, then any…

A toral algebraic set $A$ is an algebraic set in $\C^n$ whose intersection with $\T^n$ is sufficiently large to determine the holomorphic functions on $A$. We develop the theory of these sets, and give a number of applications to function…

It is shown that there exists a compact planar set K such that the uniform algebra R(K) is nontrivial and strongly regular. This settles an issue raised by Donald Wilken 55 years ago. It is shown that the set K can be chosen such that, in…

Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise…

We study the computably enumerable sets in terms of the: (a) Kolmogorov complexity of their initial segments; (b) Kolmogorov complexity of finite programs when they are used as oracles. We present an extended discussion of the existing…

The Hilbert function of standard graded algebras are well understood by Macaulay's theorem and very little is known in the local case, even if we assume that the local ring is a complete intersection. An extension to the power series ring…

Several authors have proved Lefschetz type formulae for the local Euler obstruction. In particular, a result of this type is proved in [BLS].The formula proved in that paper turns out to be equivalent to saying that the local Euler…

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

In the present paper we describe topological obstructions to embedding of a (complex) matrix algebra bundle into a trivial one under some additional arithmetic condition on their dimensions. We explain a relation between this problem and…

It is shown that the application of the non-Abelian Stokes theorem to the computation of the operators constructed with Wilson loop will lead to ambiguity, if the gauge field under consideration is a non-trivial one. This point is…