BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Brian Pike

Brian Pike contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.RTmath.ATmath.CV

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
4topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2015arXiv

Solvable Groups, Free Divisors and Nonisolated Matrix Singularities I: Towers of Free Divisors

We introduce a method for obtaining new classes of free divisors from representations $V$ of connected linear algebraic groups $G$ where $\dim(G)=\dim(V)$, with $V$ having an open orbit. We give sufficient conditions that the complement of this open orbit, the "exceptional orbit variety", is a free divisor (or a slightly weaker free* divisor) for "block representations" of both solvable groups and extensions of reductive groups by them. These are representations for which the matrix defined from a basis of associated "representation vector fields" on $V$ has block triangular form, with blocks satisfying certain nonsingularity conditions. For towers of Lie groups and representations this yields a tower of free divisors, successively obtained by adjoining varieties of singular matrices. This applies to solvable groups which give classical Cholesky-type factorization, and a modified form of it, on spaces of $m \times m$ symmetric, skew-symmetric or general matrices. For skew-symmetric matrices, it further extends to representations of nonlinear infinite dimensional solvable Lie algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Additive relative invariants and the components of a linear free divisor

A 'prehomogeneous vector space' is a rational representation $ρ:G\to\mathrm{GL}(V)$ of a connected complex linear algebraic group $G$ that has a Zariski open orbit $Ω\subset V$. Mikio Sato showed that the hypersurface components of $D:=V\setminus Ω$ are related to the rational characters $H\to\mathrm{GL}(\mathbb{C})$ of $H$, an algebraic abelian quotient of $G$. Mimicking this work, we investigate the 'additive functions' of $H$, the homomorphisms $Φ:H\to (\mathbb{C},+)$. Each such $Φ$ is related to an 'additive relative invariant', a rational function $h$ on $V$ such that $h\circ ρ(g)-h=Φ(g)$ on $Ω$ for all $g\in G$. Such an $h$ is homogeneous of degree $0$, and helps describe the behavior of certain subsets of $D$ under the $G$--action. For those prehomogeneous vector spaces with $D$ a type of hypersurface called a linear free divisor, we prove there are no nontrivial additive functions of $H$, and hence $H$ is an algebraic torus. From this we gain insight into the structure of such representations and prove that the number of irreducible components of $D$ equals the dimension of the abelianization of $G$. For some special cases ($G$ abelian, reductive, or solvable, or $D$ irreducible) we simplify proofs of existing results. We also examine the homotopy groups of $V\setminus D$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Fitting ideals of logarithmic vector fields and Saito's criterion

The germ of an analytic set $(X,p)$ in $\mathbb{C}^n$ has an associated $\mathscr{O}_{\mathbb{C}^n,p}$-module $\mathrm{Der}(-\log X)$ of `logarithmic vector fields', the ambient germs of holomorphic vector fields tangent to the smooth locus of $X$. For a module $L\subseteq \mathrm{Der}(-\log X)$ let $I_k(L)$ be the ideal generated by the $k\times k$ minors of a matrix of generators for $L$; these are the Fitting ideals of $\mathrm{Der}_{\mathbb{C}^n,p}/L$. We aim to: (i) find sufficient conditions on $\{I_k(L)\}$ to prove $L=\mathrm{Der}(-\log X)$; (ii) identify $\{I_k(\mathrm{Der}(-\log X))\}$, to provide a necessary condition for equality; and (iii) provide a geometric interpretation of these ideals. Even for $(X,p)$ smooth, an example shows that Fitting ideals alone are insufficient to prove equality, although we give a different criterion. Using (ii) and (iii) in the smooth case, we give partial answers to (ii) and (iii) for arbitrary $(X,p)$. When $(X,p)$ is a hypersurface, we give sufficient algebraic or geometric conditions for the reflexive hull of $L$ to equal $\mathrm{Der}(-\log X)$; for $L$ reflexive, this answers (i) and generalizes criteria of Saito for free divisors and Brion for linear free divisors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Solvable Group Representations and Free Divisors whose Complements are $K(π, 1)$'s

We apply previous results on the representations of solvable linear algebraic groups to construct a new class of free divisors whose complements are $K(π, 1)$'s. These free divisors arise as the exceptional orbit varieties for a special class of "block representations" and have the structure of determinantal arrangements. Among these are the free divisors defined by conditions for the (modified) Cholesky-type factorizations of matrices, which contain the determinantal varieties of singular matrices of various types as components. These complements are proven to be homotopy tori, as are the Milnor fibers of these free divisors. The generators for the complex cohomology of each are given in terms of forms defined using the basic relative invariants of the group representation.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Solvable Groups, Free Divisors and Nonisolated Matrix Singularities II: Vanishing Topology

In this paper we use the results from the first part to compute the vanishing topology for matrix singularities based on certain spaces of matrices. We place the variety of singular matrices in a geometric configuration of free divisors which are the "exceptional orbit varieties" for repesentations of solvable groups. Because there are towers of representations for towers of solvable groups, the free divisors actually form a tower of free divisors $E_n$, and we give an inductive procedure for computing the vanishing topology of the matrix singularities. The inductive procedure we use is an extension of that introduced by Lê-Greuel for computing the Milnor number of an ICIS. Instead of linear subspaces, we use free divisors arising from the geometric configuration and which correspond to subgroups of the solvable groups. Here the vanishing topology involves a singular version of the Milnor fiber; however, it still has the good connectivity properties and is homotopy equivalent to a bouquet of spheres, whose number is called the singular Milnor number. We give formulas for this singular Milnor number in terms of singular Milnor numbers of various free divisors on smooth subspaces, which can be computed as lengths of determinantal modules. In addition to being applied to symmetric, general and skew-symmetric matrix singularities, the results are also applied to Cohen--Macaulay singularities defined as 2 x 3 matrix singularities. We compute the Milnor number of isolated Cohen--Macaulay surface singularities of this type in $\mathbb{C}^4$ and the difference of Betti numbers of Milnor fibers for isolated Cohen--Macaulay 3--fold singularities of this type in $\mathbb{C}^5$.

0 citations0 reviewsNo code linkedOpen access