Results 51 to 60 of about 23,944 (147)
A brief survey on local holomorphic dynamics in higher dimensions
We give a brief survey on local holomorphic dynamics in higher dimensions. The main novelty of this note is that we will organize the material by the "level" of local invariants rather than the type of maps.Comment: 10 pages, to appear in the Proceedings
Rong, Feng
core +1 more source
Polynomial bounds for invariant functions separating orbits
Clarified proofs, algorithms, and notation.
openaire +3 more sources
Minimal generating and separating sets for O(3)-invariants of several matrices
Given an algebra $F[H]^G$ of polynomial invariants of an action of the group $G$ over the vector space $H$, a subset $S$ of $F[H]^G$ is called separating if $S$ separates all orbits that can be separated by $F[H]^G$. A minimal separating set is found for
Ferreira, Ronaldo José Sousa +1 more
core
Stable concordance of knots in 3-manifolds
Knots and links in 3-manifolds are studied by applying intersection invariants to singular concordances. The resulting link invariants generalize the Arf invariant, the mod 2 Sato-Levine invariants, and Milnor's triple linking numbers.
Boyer +11 more
core +1 more source
Generic separation for modular invariants
For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the field of rational invariants. A similar result is proven for decomposable representations of $G$.
Reimers, Fabian, Sezer, Müfit
openaire +2 more sources
The invariant Π⁰_{𝛼} separation principle [PDF]
We “invariantize” the classical theory of alternated unions to obtain new separation results in both invariant descriptive set theory and in infinitary logic. Application is made to the theory of definitions of countable models.
openaire +1 more source
Separating invariants and finite reflection groups
This paper introduces the notion of a geometric separating algebra, for distinguishing between the orbits of a group on some geometric or algebraic space. Given a representation of a group \(G\) on some finite-dimensional space \(V\) over a field \(k\), let \(k[V]\) be the symmetric algebra on the vector space dual of \(V\), and let \(k[V]^G\) be the ...
openaire +2 more sources
Parsimony and the rank of a flattening matrix. [PDF]
Snyman J, Fox C, Bryant D.
europepmc +1 more source
Synthesising Functional Invariants in Separation Logic [PDF]
We describe the CORE system which automatically proves fully functional specifications about pointer programs, generating functional parts of the invariants automatically where necessary.
Maclean, Ewen +2 more
openaire
Separating Invariants of Finite Groups
This thesis studies separating invariants of finite algebraic groups acting on affine varieties through automorphisms. We investigate the question: what restrictions does the existence of a separating set of small size, or a separating algebra with interesting structural properties impose on the group action.
openaire +1 more source

