-
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Authors:
Bharat Adsul,
Paul Gastin,
Shantanu Kulkarni,
Pascal Weil
Abstract:
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively complete with respect to regular trace languages. Because of locality, specifications in this logic are efficiently translated into asynchronous automata, in a way that reflects the structure of formulas. In particular, we o…
▽ More
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively complete with respect to regular trace languages. Because of locality, specifications in this logic are efficiently translated into asynchronous automata, in a way that reflects the structure of formulas. In particular, we obtain a new proof of Zielonka's fundamental theorem and we prove that any regular trace language can be implemented by a cascade product of localized asynchronous automata, which essentially operate on a single process.
These results refine earlier results by Adsul et al. which involved a larger fragment of past propositional dynamic logic and used Mukund and Sohoni's gossip automaton. Our new results avoid using this automaton, or Zielonka's timestam** mechanism and, in particular, they show how to implement a gossip automaton as a cascade product.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
Orbit closures, stabilizer limits and intermediate $G$-varieties
Authors:
Bharat Adsul,
Milind Sohoni,
K V Subrahmanyam
Abstract:
In this paper we study the orbit closure problem for a reductive group $G\subseteq GL(X)$ acting on a finite dimensional vector space $V$ over $\C$. We assume that the center of $GL(X)$ lies within $G$ and acts on $V$ through a fixed non-trivial character. We study points $y,z\in V$ where (i) $z$ is obtained as the leading term of the action of a 1-parameter subgroup $λ(t)\subseteq G$ on $y$, and…
▽ More
In this paper we study the orbit closure problem for a reductive group $G\subseteq GL(X)$ acting on a finite dimensional vector space $V$ over $\C$. We assume that the center of $GL(X)$ lies within $G$ and acts on $V$ through a fixed non-trivial character. We study points $y,z\in V$ where (i) $z$ is obtained as the leading term of the action of a 1-parameter subgroup $λ(t)\subseteq G$ on $y$, and (ii) $y$ and $z$ have large distinctive stabilizers $K,H \subseteq G$. Let $O(z)$ (resp. $O(y)$) denote the $G$-orbits of $z$ (resp. $y$), and $\overline{O(z)}$ (resp. $\overline{O(y)}$) their closures, then (i) implies that $z\in \overline{O(y)}$. We address the question: under what conditions can (i) and (ii) be simultaneously satisfied, i.e, there exists a 1-PS $λ\subseteq G$ for which $z$ is observed as a limit of $y$. Using $λ$, we develop a leading term analysis which applies to $V$ as well as to ${\cal G}= Lie(G)$ the Lie algebra of $G$ and its subalgebras ${\cal K}$ and ${\cal H}$, the Lie algebras of $K$ and $H$ respectively. Through this we construct the Lie algebra $\hat{\cal K} \subseteq {\cal H}$ which connects $y$ and $z$ through their Lie algebras. We develop the properties of $\hat{\cal K}$ and relate it to the action of ${\cal H}$ on $\overline{N}=V/T_z O(z)$, the normal slice to the orbit $O(z)$.
We examine the case of {\em alignment} when a semisimple element belongs to both ${\cal H}$ and ${\cal K}$, and the conditions for the same. We illustrate some consequences of alignment. Next, we examine the possibility of {\em intermediate $G$-varieties} $W$ which lie between the orbit closures of $z$ and $y$, i.e. $\overline{O(z)} \subsetneq W \subsetneq O(y)$. These have a direct bearing on representation theoretic as well as geometric properties which connect $z$ and $y$.
△ Less
Submitted 17 October, 2023; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Geometric Complexity Theory -- Lie Algebraic Methods for Projective Limits of Stable Points
Authors:
Bharat Adsul,
Milind Sohoni,
K V Subrahmanyam
Abstract:
Let $G$ be a connected reductive group acting on a complex vector space $V$ and projective space ${\mathbb P}V$. Let $x\in V$ and ${\cal H}\subseteq {\cal G}$ be the Lie algebra of its stabilizer. Our objective is to understand points $[y]$, and their stabilizers which occur in the vicinity of $[x]$. We construct an explicit ${\cal G}$-action on a suitable neighbourhood of $x$, which we call the l…
▽ More
Let $G$ be a connected reductive group acting on a complex vector space $V$ and projective space ${\mathbb P}V$. Let $x\in V$ and ${\cal H}\subseteq {\cal G}$ be the Lie algebra of its stabilizer. Our objective is to understand points $[y]$, and their stabilizers which occur in the vicinity of $[x]$. We construct an explicit ${\cal G}$-action on a suitable neighbourhood of $x$, which we call the local model at $x$. We show that Lie algebras of stabilizers of points in the vicinity of $x$ are parameterized by subspaces of ${\cal H}$. When ${\cal H}$ is reductive these are Lie subalgebras of ${\cal H}$. If the orbit of $x$ is closed this also follows from Luna's theorem. Our construction involves a map connected to the local curvature form at $x$. We apply the local model to forms, when the form $g$ is obtained from the form $f$ as the leading term of a one parameter family acting on $f$. We show that there is a flattening ${\cal K}_0$ of ${\cal K}$, the stabilizer of $f$ which sits as a subalgebra of ${\cal H}$, the stabilizer $g$. We specialize to the case of forms $f$ whose $SL(X)$-orbits are affine, and the orbit of $g$ is of co-dimension $1$. We show that (i) either ${\cal H}$ has a very simple structure, or (ii) conjugates of the elements of ${\cal K}$ also stabilize $g$ and the tangent of exit. Next, we apply this to the adjoint action. We show that for a general matrix $X$, the signatures of nilpotent matrices in its projective orbit closure (under conjugation) are determined by the multiplicity data of the spectrum of $X$. Finally, we formulate the path problem of finding paths with specific properties from $y$ to its limit points $x$ as an optimization problem using local differential geometry. Our study is motivated by Geometric Complexity Theory proposed by the second author and Ketan Mulmuley.
△ Less
Submitted 1 January, 2022;
originally announced January 2022.
-
First-Order logic and its Infinitary Quantifier Extensions over Countable Words
Authors:
Bharat Adsul,
Saptarshi Sarkar,
A. V. Sreejith
Abstract:
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as boolean closure of existential fragment of FO via a strengthening of Simon's theorem about piecewise testable languages. We propose a new extension of FO which adm…
▽ More
We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as boolean closure of existential fragment of FO via a strengthening of Simon's theorem about piecewise testable languages. We propose a new extension of FO which admits infinitary quantifiers to reason about the inherent infinitary properties of countable words. We provide a very natural and hierarchical block-product based characterization of the new extension. We also explicate its role in view of other natural and classical logical systems such as WMSO and FO[cut] - an extension of FO where quantification over Dedekind-cuts is allowed. We also rule out the possibility of a finite basis for a block-product based characterization of these logical systems. Finally, we report simple but novel algebraic characterizations of one variable fragments of the hierarchies of the new proposed extension of FO.
△ Less
Submitted 3 July, 2021;
originally announced July 2021.
-
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Authors:
Bharat Adsul,
Paul Gastin,
Saptarshi Sarkar,
Pascal Weil
Abstract:
We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nature of traces and the underlying causality and concurrency between events, and can be said to support true concurrency. They generalize the tools that have been so efficient in understanding, classifying and reasoning ab…
▽ More
We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nature of traces and the underlying causality and concurrency between events, and can be said to support true concurrency. They generalize the tools that have been so efficient in understanding, classifying and reasoning about word languages. In particular, we introduce an asynchronous version of the wreath product operation and we describe the trace languages recognized by such products (the so-called asynchronous wreath product principle). We then propose a decomposition result for recognizable trace languages, analogous to the Krohn-Rhodes theorem, and we prove this decomposition result in the special case of acyclic architectures. Finally, we introduce and analyze two distributed automata-theoretic operations. One, the local cascade product, is a direct implementation of the asynchronous wreath product operation. The other, global cascade sequences, although conceptually and operationally similar to the local cascade product, translates to a more complex asynchronous implementation which uses the gossip automaton of Mukund and Sohoni. This leads to interesting applications to the characterization of trace languages definable in first-order logic: they are accepted by a restricted local cascade product of the gossip automaton and 2-state asynchronous reset automata, and also by a global cascade sequence of 2-state asynchronous reset automata. Over distributed alphabets for which the asynchronous Krohn-Rhodes theorem holds, a local cascade product of such automata is sufficient and this, in turn, leads to the identification of a simple temporal logic which is expressively complete for such alphabets.
△ Less
Submitted 27 June, 2022; v1 submitted 23 May, 2021;
originally announced May 2021.
-
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)
Authors:
Bharat Adsul,
Paul Gastin,
Saptarshi Sarkar,
Pascal Weil
Abstract:
We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non-trivial generalization of the wreath product operation to the trace setting. A novel local wreath product principle has been established. The new framework is crucially used to propose a decomposition result for recognizable trace languages, which is an…
▽ More
We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non-trivial generalization of the wreath product operation to the trace setting. A novel local wreath product principle has been established. The new framework is crucially used to propose a decomposition result for recognizable trace languages, which is an analogue of the Krohn-Rhodes theorem. We prove this decomposition result in the special case of acyclic architectures and apply it to extend Kamp's theorem to this setting. We also introduce and analyze distributed automata-theoretic operations called local and global cascade products. Finally, we show that aperiodic trace languages can be characterized using global cascade products of localized and distributed two-state reset automata.
△ Less
Submitted 30 August, 2020; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Fast Algorithms for Rank-1 Bimatrix Games
Authors:
Bharat Adsul,
Jugal Garg,
Ruta Mehta,
Milind Sohoni,
Bernhard von Stengel
Abstract:
The rank of a bimatrix game is the matrix rank of the sum of the two payoff matrices. This paper comprehensively analyzes games of rank one, and shows the following: (1) For a game of rank r, the set of its Nash equilibria is the intersection of a generically one-dimensional set of equilibria of parameterized games of rank r-1 with a hyperplane. (2) One equilibrium of a rank-1 game can be found in…
▽ More
The rank of a bimatrix game is the matrix rank of the sum of the two payoff matrices. This paper comprehensively analyzes games of rank one, and shows the following: (1) For a game of rank r, the set of its Nash equilibria is the intersection of a generically one-dimensional set of equilibria of parameterized games of rank r-1 with a hyperplane. (2) One equilibrium of a rank-1 game can be found in polynomial time. (3) All equilibria of a rank-1 game can be found by following a piecewise linear path. In contrast, such a path-following method finds only one equilibrium of a bimatrix game. (4) The number of equilibria of a rank-1 game may be exponential. (5) There is a homeomorphism between the space of bimatrix games and their equilibrium correspondence that preserves rank. It is a variation of the homeomorphism used for the concept of strategic stability of an equilibrium component.
△ Less
Submitted 22 December, 2019; v1 submitted 11 December, 2018;
originally announced December 2018.
-
Incorporating Sharp Features in the General Solid Sweep Framework
Authors:
Bharat Adsul,
**esh Machchhar,
Milind Sohoni
Abstract:
This paper extends a recently proposed robust computational framework for constructing the boundary representation (brep) of the volume swept by a given smooth solid moving along a one parameter family $h$ of rigid motions. Our extension allows the input solid to have sharp features, i.e., to be of class G0 wherein, the unit outward normal to the solid may be discontinuous. In the earlier framewor…
▽ More
This paper extends a recently proposed robust computational framework for constructing the boundary representation (brep) of the volume swept by a given smooth solid moving along a one parameter family $h$ of rigid motions. Our extension allows the input solid to have sharp features, i.e., to be of class G0 wherein, the unit outward normal to the solid may be discontinuous. In the earlier framework, the solid to be swept was restricted to be G1, and thus this is a significant and useful extension of that work. This naturally requires a precise description of the geometry of the surface generated by the sweep of a sharp edge supported by two intersecting smooth faces. We uncover the geometry along with the related issues like parametrization, self-intersection and singularities via a novel mathematical analysis. Correct trimming of such a surface is achieved by a delicate analysis of the interplay between the cone of normals at a sharp point and its trajectory under $h$. The overall topology is explicated by a key lifting theorem which allows us to compute the adjacency relations amongst entities in the swept volume by relating them to corresponding adjacencies in the input solid. Moreover, global issues related to body-check such as orientation are efficiently resolved. Many examples from a pilot implementation illustrate the efficiency and effectiveness of our framework.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
A Computational Framework for Boundary Representation of Solid Sweeps
Authors:
Bharat Adsul,
**esh Machchhar,
Milind Sohoni
Abstract:
This paper proposes a robust algorithmic and computational framework to address the problem of modeling the volume obtained by swee** a solid along a trajectory of rigid motions. The boundary representation (simply brep) of the input solid naturally induces a brep of the swept volume. We show that it is locally similar to the input brep and this serves as the basis of the framework. All the same…
▽ More
This paper proposes a robust algorithmic and computational framework to address the problem of modeling the volume obtained by swee** a solid along a trajectory of rigid motions. The boundary representation (simply brep) of the input solid naturally induces a brep of the swept volume. We show that it is locally similar to the input brep and this serves as the basis of the framework. All the same, it admits several intricacies: (i) geometric, in terms of parametrizations and, (ii) topological, in terms of orientations. We provide a novel analysis for their resolution. More specifically, we prove a non-trivial lifting theorem which allows to locally orient the output using the orientation of the input. We illustrate the framework by providing many examples from a pilot implementation.
△ Less
Submitted 31 March, 2014;
originally announced April 2014.
-
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures
Authors:
Abhisekh Sankaran,
Bharat Adsul,
Supratik Chakraborty
Abstract:
We investigate a generalization of the Łoś-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion for first-order logic corresponds to definability by $\exists^k\forall^*$ sentences. In this paper, we identify two properties of classes of finite structures that…
▽ More
We investigate a generalization of the Łoś-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion for first-order logic corresponds to definability by $\exists^k\forall^*$ sentences. In this paper, we identify two properties of classes of finite structures that ensure the above correspondence. The first is based on well-quasi-ordering under the embedding relation. The second is a logic-based combinatorial property that strictly generalizes the first. We show that starting with classes satisfying any of these properties, the classes obtained by applying operations like disjoint union, cartesian and tensor products, or by forming words and trees over the classes, inherit the same property. As a fallout, we obtain interesting classes of structures over which an effective version of the Łoś-Tarski theorem holds.
△ Less
Submitted 23 January, 2014;
originally announced January 2014.
-
Local and Global Analysis of Parametric Solid Sweeps
Authors:
Bharat Adsul,
**esh Machchhar,
Milind Sohoni
Abstract:
In this work, we propose a detailed computational framework for modelling the envelope of the swept volume, that is the boundary of the volume obtained by swee** an input solid along a trajectory of rigid motions. Our framework is adapted to the well-established industry-standard brep format to enable its implementation in modern CAD systems. This is achieved via a "local analysis", which covers…
▽ More
In this work, we propose a detailed computational framework for modelling the envelope of the swept volume, that is the boundary of the volume obtained by swee** an input solid along a trajectory of rigid motions. Our framework is adapted to the well-established industry-standard brep format to enable its implementation in modern CAD systems. This is achieved via a "local analysis", which covers parametrization and singularities, as well as a "global theory" which tackles face-boundaries, self-intersections and trim curves. Central to the local analysis is the "funnel" which serves as a natural parameter space for the basic surfaces constituting the sweep. The trimming problem is reduced to the problem of surface-surface intersections of these basic surfaces. Based on the complexity of these intersections, we introduce a novel classification of sweeps as either decomposable or non-decomposable. Further, we construct an {\em invariant} function $θ$ on the funnel which efficiently separates decomposable and non-decomposable sweeps. Through a geometric theorem we also show intimate connections between $θ$, local curvatures and the inverse trajectory used in earlier works as an approach towards trimming. In contrast to the inverse trajectory approach, $θ$ is robust and is the key to a complete structural understanding, and an efficient computation of both, the singular locus and the trim curves, which are central to a stable implementation. Several illustrative outputs of a pilot implementation are included.
△ Less
Submitted 31 May, 2013;
originally announced May 2013.
-
Generalizations of the Los-Tarski Preservation Theorem
Authors:
Abhisekh Sankaran,
Bharat Adsul,
Supratik Chakraborty
Abstract:
We present new preservation theorems that semantically characterize the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic, for each natural number $k$. Unlike preservation theorems in the literature that characterize the $\exists^* \forall^*$ and $\forall^* \exists^*$ prefix classes, our theorems relate the count of quantifiers in the leading block of the quantifi…
▽ More
We present new preservation theorems that semantically characterize the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic, for each natural number $k$. Unlike preservation theorems in the literature that characterize the $\exists^* \forall^*$ and $\forall^* \exists^*$ prefix classes, our theorems relate the count of quantifiers in the leading block of the quantifier prefix to natural quantitative properties of the models. As special cases of our results, we obtain the classical Los-Tarski preservation theorem for sentences in both its extensional and substructural versions. For arbitrary finite vocabularies, we also generalize the extensional version of the Los-Tarski preservation theorem for theories. We also present an interpolant-based approach towards these results. Finally, we present partial results towards generalizing to theories, the substructural version of the Los-Tarski theorem and in the process, we give a preservation theorem that provides a semantic characterization of $Σ^0_n$ theories for each natural number $n$.
△ Less
Submitted 17 June, 2013; v1 submitted 18 February, 2013;
originally announced February 2013.
-
Preservation under Substructures modulo Bounded Cores
Authors:
Abhisekh Sankaran,
Bharat Adsul,
Vivek Madan,
Pritish Kamath,
Supratik Chakraborty
Abstract:
We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures modulo bounded cores}, and present a syntactic characterization via $Σ_2^0$ sentences for properties of arbitrary structures definable by FO sentences. As a sharper characterization, we further show that the count of exi…
▽ More
We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures modulo bounded cores}, and present a syntactic characterization via $Σ_2^0$ sentences for properties of arbitrary structures definable by FO sentences. As a sharper characterization, we further show that the count of existential quantifiers in the $Σ_2^0$ sentence equals the size of the smallest bounded core. We also present our results on the sharper characterization for special fragments of FO and also over special classes of structures. We present a (not FO-definable) class of finite structures for which the sharper characterization fails, but for which the classical Łoś-Tarski preservation theorem holds. As a fallout of our studies, we obtain combinatorial proofs of the Łoś-Tarski theorem for some of the aforementioned cases.
△ Less
Submitted 12 July, 2012; v1 submitted 7 May, 2012;
originally announced May 2012.
-
A procedural framework and mathematical analysis for solid sweeps
Authors:
Bharat Adsul,
**esh Machchhar,
Milind Sohoni
Abstract:
Swee** is a powerful and versatile method of designing objects. Boundary of volumes (henceforth envelope) obtained by swee** solids have been extensively investigated in the past, though, obtaining an accurate parametrization of the envelope remained computationally hard. The present work reports our approach to this problem as well as the important problem of identifying self-intersections wi…
▽ More
Swee** is a powerful and versatile method of designing objects. Boundary of volumes (henceforth envelope) obtained by swee** solids have been extensively investigated in the past, though, obtaining an accurate parametrization of the envelope remained computationally hard. The present work reports our approach to this problem as well as the important problem of identifying self-intersections within the envelope. Parametrization of the envelope is, of course, necessary for its use in most current CAD systems. We take the more interesting case when the solid is composed of several faces meeting smoothly. We show that the face structure of the envelope mimics locally that of the solid. We adopt the procedural approach at defining the geometry in this work which has the advantage of being accurate as well as computationally efficient. The problem of detecting local self-intersections is central to a robust implementation of the solid sweep. This has been addressed by computing a subtle mathematical invariant which detects self-intersections, and which is computationally benign and requires only point queries.
△ Less
Submitted 4 April, 2012;
originally announced April 2012.
-
Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm
Authors:
Bharat Adsul,
Jugal Garg,
Ruta Mehta,
Milind Sohoni
Abstract:
Given a rank-1 bimatrix game (A,B), i.e., where rank(A+B)=1, we construct a suitable linear subspace of the rank-1 game space and show that this subspace is homeomorphic to its Nash equilibrium correspondence. Using this homeomorphism, we give the first polynomial time algorithm for computing an exact Nash equilibrium of a rank-1 bimatrix game. This settles an open question posed in Kannan and The…
▽ More
Given a rank-1 bimatrix game (A,B), i.e., where rank(A+B)=1, we construct a suitable linear subspace of the rank-1 game space and show that this subspace is homeomorphic to its Nash equilibrium correspondence. Using this homeomorphism, we give the first polynomial time algorithm for computing an exact Nash equilibrium of a rank-1 bimatrix game. This settles an open question posed in Kannan and Theobald (SODA 2007) and Theobald (2007). In addition, we give a novel algorithm to enumerate all the Nash equilibria of a rank-1 game and show that a similar technique may also be applied for finding a Nash equilibrium of any bimatrix game. This technique also proves the existence, oddness and the index theorem of Nash equilibria in a bimatrix game. Further, we extend the rank-1 homeomorphism result to a fixed rank game space, and give a fixed point formulation on $[0,1]^k$ for solving a rank-k game. The homeomorphism and the fixed point formulation are piece-wise linear and considerably simpler than the classical constructions.
△ Less
Submitted 4 November, 2010; v1 submitted 15 October, 2010;
originally announced October 2010.
-
Nash equilibria in Fisher market
Authors:
Bharat Adsul,
Ch. Sobhan Babu,
Jugal Garg,
Ruta Mehta,
Milind Sohoni
Abstract:
Much work has been done on the computation of market equilibria. However due to strategic play by buyers, it is not clear whether these are actually observed in the market. Motivated by the observation that a buyer may derive a better payoff by feigning a different utility function and thereby manipulating the Fisher market equilibrium, we formulate the {\em Fisher market game} in which buyers str…
▽ More
Much work has been done on the computation of market equilibria. However due to strategic play by buyers, it is not clear whether these are actually observed in the market. Motivated by the observation that a buyer may derive a better payoff by feigning a different utility function and thereby manipulating the Fisher market equilibrium, we formulate the {\em Fisher market game} in which buyers strategize by posing different utility functions. We show that existence of a {\em conflict-free allocation} is a necessary condition for the Nash equilibria (NE) and also sufficient for the symmetric NE in this game. There are many NE with very different payoffs, and the Fisher equilibrium payoff is captured at a symmetric NE. We provide a complete polyhedral characterization of all the NE for the two-buyer market game. Surprisingly, all the NE of this game turn out to be symmetric and the corresponding payoffs constitute a piecewise linear concave curve. We also study the correlated equilibria of this game and show that third-party mediation does not help to achieve a better payoff than NE payoffs.
△ Less
Submitted 11 May, 2010; v1 submitted 25 February, 2010;
originally announced February 2010.
-
Quantum deformations of the restriction of $GL_{mn}(\C)$-modules to $GL_m(\C) \times GL_n(\C)$
Authors:
B. Adsul,
M. Sohoni,
K. V. Subrahmanyam
Abstract:
In this paper, we consider the restriction of finite dimensional $GL_{mn} (\C)$-modules to the subgroup ${GL_m (\C)\times GL_n (\C)}$. In particular, for a Weyl module $V_λ (\C^{mn})$ of $U_q(gl_{mn})$ we construct a representation $W_λ$ of $U_q (gl_m)\otimes U_q (gl_n)$ such that at $q=1$, the restriction of $V_λ (\C^{mn})$ to $U_1 (gl_m)\otimes U_1 (gl_n)$ matches its action on $W_λ$ at $q=1$. T…
▽ More
In this paper, we consider the restriction of finite dimensional $GL_{mn} (\C)$-modules to the subgroup ${GL_m (\C)\times GL_n (\C)}$. In particular, for a Weyl module $V_λ (\C^{mn})$ of $U_q(gl_{mn})$ we construct a representation $W_λ$ of $U_q (gl_m)\otimes U_q (gl_n)$ such that at $q=1$, the restriction of $V_λ (\C^{mn})$ to $U_1 (gl_m)\otimes U_1 (gl_n)$ matches its action on $W_λ$ at $q=1$. Thus $W_λ$ is a $q$-deformation of the module $V_λ$. This is achieved by first constructing a $U_q (gl_m)\otimes U_q (gl_n)$-module $\wedge^k $, a $q$-deformation of the simple $GL_{mn} (\C)$-module $\wedge^k (\C^{mn})$. We also construct the bi-crystal basis for $\wedge^k $ and show that it consists of signed subsets. Next, we develop $U_q (gl_m) \otimes U_q (gl_n)$-equivariant maps $ψ_{a,b} :\wedge^{a+1} \otimes \wedge^{b-1} \to \wedge^a \otimes \wedge^b$. This is used as the building block to construct the general $W_λ$.
△ Less
Submitted 6 October, 2010; v1 submitted 1 May, 2009;
originally announced May 2009.