Results 1 to 10 of about 201,390 (279)
Coalgebraic Geometric Logic: Basic Theory [PDF]
Logical Methods in Computer Science, 2022 Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of ...
Nick Bezhanishvili +2 more
doaj +5 more sources
Twisted geometric Satake equivalence [PDF]
Journal of the Institute of Mathematics of Jussieu, 2009 We generalize the classical Satake equivalence as follows. Let k be an algebraically closed field, set O=k[[t]] and F=k((t)). For an almost simple algebraic group G we classify central extensions of G(F) by the multiplicative group.
Finkelberg, Michael, Lysenko, Sergey
core +7 more sources
A Note on Flips in Diagonal Rectangulations [PDF]
Discrete Mathematics & Theoretical Computer Science, 2018 Rectangulations are partitions of a square into axis-aligned rectangles. A number of results provide bijections between combinatorial equivalence classes of rectangulations and families of pattern-avoiding permutations.
Jean Cardinal +2 more
doaj +6 more sources
On geometrically equivalent S-acts [PDF]
International Journal of Algebra and Computation, 2011 In this paper, considering the geometric equivalence for algebras of a variety $_{S}A$ of S-acts over a monoid S, we obtain representation theorems describing all types of the equivalence classes of geometrically equivalent S-acts of varieties $_{S}A ...
Katsov, Yefim
core +4 more sources
ABOUT CODE EQUIVALENCE — A GEOMETRIC APPROACH
, 2022 The equivalence test is a main part in any classification problem. It helps to prove bounds for the main parameters of the considered combinatorial structures and to study their properties. In this paper, we present algorithms for equivalence of linear codes, based on their relation to multisets of points in a projective geometry.
Iliya G Bouyukliev
exaly +3 more sources
A combinatorial geometric Satake equivalence
Advances in Mathematics, 2016 The geometric Satake correspondence provides an equivalence of categories between the Satake category of spherical perverse sheaves on the affine Grassmannian and the category of representations of the dual group. In this note, we define a combinatorial version of the Satake category using irreducible components of fibres of the convolution morphism ...
Joel Kamnitzer
exaly +4 more sources
Bio-inspired unified model for representing geometric relations in robotic perception [PDF]
Scientific ReportsDespite remarkable progress in robotic visual technologies over the past decade, the modeling of complex geometric relations is still constrained by numerical models.
Yan Yi +4 more
doaj +2 more sources
Geometrical equivalence and action type geometrical equivalence of group representations [PDF]
Algebra and Discrete Mathematics, 2020 In this paper we construct an example of two representations (V1,G1) and (V2,G2) which are action type geometrically equivalent and groups G1 and G2 are geometrically equivalent, but the representations (V1,G1) and (V2,G2) are not geometrically equivalent.
Simoes da Silva, J., Tsurkov, A.
openaire +4 more sources
Constructing geometrically equivalent hyperbolic orbifolds [PDF]
Algebraic & Geometric Topology, 2017 In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously.
McReynolds, David +2 more
openaire +4 more sources
Invariants of vector configurations [PDF]
Discrete Mathematics & Theoretical Computer Science, 2012 We investigate the Zariski closure of the projective equivalence class of a matrix. New results are presented regarding the matrices in this variety and their matroids, and we give equations for the variety.
Andrew Berget, Alex Fink
doaj +1 more source